Class SvaConditionalExpression
- java.lang.Object
-
- ru.ispras.verilog.parser.model.basis.VerilogExpression
-
- ru.ispras.verilog.parser.sva.expression.SvaOperatorExpression
-
- ru.ispras.verilog.parser.sva.expression.SvaConditionalExpression
-
public final class SvaConditionalExpression extends SvaOperatorExpression
SvaConditionalExpression
represents the SVA expressions containing logical conditions in addition to operands.
-
-
Field Summary
-
Fields inherited from class ru.ispras.verilog.parser.sva.expression.SvaOperatorExpression
operands, operator
-
-
Constructor Summary
Constructors Constructor Description SvaConditionalExpression()
Creates a new conditional expression.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description SvaConditionalExpression
clone()
VerilogExpression
getCondition()
Returns the condition.void
setCondition(VerilogExpression condition)
Sets the condition.-
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
-
getCondition
public VerilogExpression getCondition()
Returns the condition.- Returns:
- the condition.
-
setCondition
public void setCondition(VerilogExpression condition)
Sets the condition.- Parameters:
condition
- - the specified condition expression.
-
clone
public SvaConditionalExpression clone()
- Overrides:
clone
in classSvaOperatorExpression
-
-