Class SvaStrengthExpression
- java.lang.Object
-
- ru.ispras.verilog.parser.model.basis.VerilogExpression
-
- ru.ispras.verilog.parser.sva.expression.SvaStrengthExpression
-
public final class SvaStrengthExpression extends VerilogExpression
SvaStrengthExpression
represents the sequence expression with strength specification.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
SvaStrengthExpression.Strength
Strength specifications.
-
Constructor Summary
Constructors Constructor Description SvaStrengthExpression()
Creates a new strength expression.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description SvaStrengthExpression
clone()
VerilogExpression
getSequence()
Returns the sequence expression.SvaStrengthExpression.Strength
getStrength()
Returns the strength specification.void
setSequence(VerilogExpression sequence)
Sets the sequence expression.void
setStrength(SvaStrengthExpression.Strength strength)
Sets the strength specification.-
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
-
getSequence
public VerilogExpression getSequence()
Returns the sequence expression.- Returns:
- the sequence expression.
-
setSequence
public void setSequence(VerilogExpression sequence)
Sets the sequence expression.- Parameters:
sequence
- - the specified sequence expression.
-
getStrength
public SvaStrengthExpression.Strength getStrength()
Returns the strength specification.- Returns:
- the strength specification.
-
setStrength
public void setStrength(SvaStrengthExpression.Strength strength)
Sets the strength specification.- Parameters:
strength
- - the specified strength specification.
-
clone
public SvaStrengthExpression clone()
- Overrides:
clone
in classVerilogExpression
-
-