Class SvaRangedExpression
- java.lang.Object
-
- ru.ispras.verilog.parser.model.basis.VerilogExpression
-
- ru.ispras.verilog.parser.sva.expression.SvaOperatorExpression
-
- ru.ispras.verilog.parser.sva.expression.SvaRangedExpression
-
public final class SvaRangedExpression extends SvaOperatorExpression
SvaRangedExpression
represents the SVA expressions containing range in addition to the operands.
-
-
Field Summary
-
Fields inherited from class ru.ispras.verilog.parser.sva.expression.SvaOperatorExpression
operands, operator
-
-
Constructor Summary
Constructors Constructor Description SvaRangedExpression()
Creates a new ranged expression.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description SvaRangedExpression
clone()
SvaRange
getRange()
Returns the range.void
setRange(SvaRange range)
Sets the range.-
Methods inherited from class ru.ispras.verilog.parser.sva.expression.SvaOperatorExpression
addOperand, getOperand, getOperands, getOperator, setOperator
-
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
-
getRange
public SvaRange getRange()
Returns the range.- Returns:
- the range.
-
setRange
public void setRange(SvaRange range)
Sets the range.- Parameters:
range
- - the specified range.
-
clone
public SvaRangedExpression clone()
- Overrides:
clone
in classSvaOperatorExpression
-
-