Class SvaDelayedExpression
- java.lang.Object
-
- ru.ispras.verilog.parser.model.basis.VerilogExpression
-
- ru.ispras.verilog.parser.sva.expression.SvaDelayedExpression
-
public final class SvaDelayedExpression extends VerilogExpression
SvaDelayedExpression
represents the SVA sequence of expressions separated by delays.
-
-
Constructor Summary
Constructors Constructor Description SvaDelayedExpression()
Creates a new expression.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addElement(SvaRange delay, VerilogExpression sequence)
Adds a delay-expression pair to the sequence.SvaDelayedExpression
clone()
void
computeNode()
Computes the node representation of the sequence.java.util.List<ru.ispras.fortress.util.Pair<SvaRange,VerilogExpression>>
getElements()
Returns the elements of the sequence expression.-
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, setNode, setPath, setReference, toString
-
-
-
-
Method Detail
-
addElement
public void addElement(SvaRange delay, VerilogExpression sequence)
Adds a delay-expression pair to the sequence.- Parameters:
delay
- - the specified delay range.sequence
- - the specified expression.
-
getElements
public java.util.List<ru.ispras.fortress.util.Pair<SvaRange,VerilogExpression>> getElements()
Returns the elements of the sequence expression.- Returns:
- the list of delay-expression pairs.
-
computeNode
public void computeNode()
Computes the node representation of the sequence.
-
clone
public SvaDelayedExpression clone()
- Overrides:
clone
in classVerilogExpression
-
-