Class SvaFirstMatchExpression
- java.lang.Object
-
- ru.ispras.verilog.parser.model.basis.VerilogExpression
-
- ru.ispras.verilog.parser.sva.expression.SvaFirstMatchExpression
-
public final class SvaFirstMatchExpression extends VerilogExpression
SvaFirstMatchExpression
represents the SVA first_match sequence expression.
-
-
Constructor Summary
Constructors Constructor Description SvaFirstMatchExpression()
Creates a new first_match expression.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addMatchAction(SvaSequenceMatchAction action)
Adds a match action to the expression.SvaFirstMatchExpression
clone()
VerilogExpression
getExpression()
Returns the sequence expression.java.util.List<SvaSequenceMatchAction>
getMatchActions()
Returns the sequence match actions.void
setExpression(VerilogExpression expression)
Sets the sequence 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
-
getExpression
public VerilogExpression getExpression()
Returns the sequence expression.- Returns:
- the sequence expression.
-
setExpression
public void setExpression(VerilogExpression expression)
Sets the sequence expression.- Parameters:
expression
- - the specified expression.
-
getMatchActions
public java.util.List<SvaSequenceMatchAction> getMatchActions()
Returns the sequence match actions.- Returns:
- the list of
SvaSequenceMatchAction
.
-
addMatchAction
public void addMatchAction(SvaSequenceMatchAction action)
Adds a match action to the expression.- Parameters:
action
- - the specified match action.
-
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 SvaFirstMatchExpression clone()
- Overrides:
clone
in classVerilogExpression
-
-