Class SvaEventExpression
- java.lang.Object
-
- ru.ispras.verilog.parser.model.basis.VerilogExpression
-
- ru.ispras.verilog.parser.sva.expression.SvaEventExpression
-
public final class SvaEventExpression extends VerilogExpression
SvaEventExpression
represents the SVA expression with event control.
-
-
Constructor Summary
Constructors Constructor Description SvaEventExpression()
Creates a new event expression.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description SvaEventExpression
clone()
java.util.List<VerilogEvent>
getEvent()
Returns the event control.VerilogExpression
getExpression()
Returns the expression.void
setEvent(java.util.List<VerilogEvent> event)
Sets the event control.void
setExpression(VerilogExpression expression)
Sets the expression.void
setNode(ru.ispras.fortress.expression.Node node)
Sets the original representation of the expression and resets the elaborated representation.-
Methods inherited from class ru.ispras.verilog.parser.model.basis.VerilogExpression
getAttributes, getDeclaration, getLiteral, getNode, getOperation, getPath, getReference, getValue, getVariable, isNull, isOperation, isReference, isValue, isVariable, setAttributes, setDeclaration, setPath, setReference, toString
-
-
-
-
Method Detail
-
getEvent
public java.util.List<VerilogEvent> getEvent()
Returns the event control.- Returns:
- the list of
VerilogEvent
.
-
setEvent
public void setEvent(java.util.List<VerilogEvent> event)
Sets the event control.- Parameters:
event
- - the list ofVerilogEvent
.
-
getExpression
public VerilogExpression getExpression()
Returns the expression.- Returns:
- the expression.
-
setExpression
public void setExpression(VerilogExpression expression)
Sets the expression.- Parameters:
expression
- - the specified expression.
-
setNode
public void setNode(ru.ispras.fortress.expression.Node node)
Description copied from class:VerilogExpression
Sets the original representation of the expression and resets the elaborated representation.- Overrides:
setNode
in classVerilogExpression
- Parameters:
node
- the expression representation.
-
clone
public SvaEventExpression clone()
- Overrides:
clone
in classVerilogExpression
-
-