Class SvaOperatorExpression
- java.lang.Object
-
- ru.ispras.verilog.parser.model.basis.VerilogExpression
-
- ru.ispras.verilog.parser.sva.expression.SvaOperatorExpression
-
- Direct Known Subclasses:
SvaConditionalExpression
,SvaRangedExpression
public class SvaOperatorExpression extends VerilogExpression
SvaOperatorExpression
represents the SVA operator-based expression.
-
-
Field Summary
Fields Modifier and Type Field Description protected java.util.List<VerilogExpression>
operands
Operands.protected SvaTemporalOperations
operator
Operator.
-
Constructor Summary
Constructors Modifier Constructor Description SvaOperatorExpression()
Creates a new operator-based expression.protected
SvaOperatorExpression(SvaOperatorExpression other)
Creates a new operator-based expression using the other.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addOperand(VerilogExpression operand)
Adds an operand to the expression.SvaOperatorExpression
clone()
VerilogExpression
getOperand(int index)
Returns the operand by index.java.util.List<VerilogExpression>
getOperands()
Returns the operands of the expression.SvaTemporalOperations
getOperator()
Returns the expression's operator.void
setOperator(SvaTemporalOperations operator)
Sets the expression's operator.-
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
-
-
-
-
Field Detail
-
operator
protected SvaTemporalOperations operator
Operator.
-
operands
protected java.util.List<VerilogExpression> operands
Operands.
-
-
Constructor Detail
-
SvaOperatorExpression
public SvaOperatorExpression()
Creates a new operator-based expression.
-
SvaOperatorExpression
protected SvaOperatorExpression(SvaOperatorExpression other)
Creates a new operator-based expression using the other.- Parameters:
other
- - the specified expression to copy.
-
-
Method Detail
-
getOperator
public SvaTemporalOperations getOperator()
Returns the expression's operator.- Returns:
- the operator.
-
setOperator
public void setOperator(SvaTemporalOperations operator)
Sets the expression's operator.- Parameters:
operator
- - the specified operator.
-
addOperand
public void addOperand(VerilogExpression operand)
Adds an operand to the expression.- Parameters:
operand
- - the specified operand.
-
getOperand
public VerilogExpression getOperand(int index)
Returns the operand by index.- Parameters:
index
- - the specified operand's index.- Returns:
- the operand.
-
getOperands
public java.util.List<VerilogExpression> getOperands()
Returns the operands of the expression.- Returns:
- the list of operands.
-
clone
public SvaOperatorExpression clone()
- Overrides:
clone
in classVerilogExpression
-
-