Class SvaRepeatedExpression
- java.lang.Object
-
- ru.ispras.verilog.parser.model.basis.VerilogExpression
-
- ru.ispras.verilog.parser.sva.expression.SvaRepeatedExpression
-
public final class SvaRepeatedExpression extends VerilogExpression
SvaRepeatedExpression
represents the SVA repeated expression.
-
-
Constructor Summary
Constructors Constructor Description SvaRepeatedExpression()
Creates a new repeated 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.SvaRepeatedExpression
clone()
VerilogExpression
getExpression()
Returns the expression that is repeated.java.util.List<SvaSequenceMatchAction>
getMatchActions()
Returns the match actions.SvaRepetition
getRepetition()
Returns the repetition.void
setExpression(VerilogExpression expression)
Sets the expression that is repeated.void
setNode(ru.ispras.fortress.expression.Node node)
Sets the original representation of the expression and resets the elaborated representation.void
setRepetition(SvaRepetition repetition)
Sets the repetition.-
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 expression that is repeated.- Returns:
- the expression.
-
setExpression
public void setExpression(VerilogExpression expression)
Sets the expression that is repeated.- Parameters:
expression
- - the specified expression.
-
getRepetition
public SvaRepetition getRepetition()
Returns the repetition.- Returns:
- the repetition.
-
setRepetition
public void setRepetition(SvaRepetition repetition)
Sets the repetition.- Parameters:
repetition
- - the specified repetition.
-
getMatchActions
public java.util.List<SvaSequenceMatchAction> getMatchActions()
Returns the 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 SvaRepeatedExpression clone()
- Overrides:
clone
in classVerilogExpression
-
-