Class SvaCaseExpression
- java.lang.Object
-
- ru.ispras.verilog.parser.model.basis.VerilogExpression
-
- ru.ispras.verilog.parser.sva.expression.SvaCaseExpression
-
public final class SvaCaseExpression extends VerilogExpression
SvaCaseExpression
represents the SVA case expression.
-
-
Constructor Summary
Constructors Constructor Description SvaCaseExpression()
Creates a new case expression.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addItem(SvaCaseExpressionItem item)
Adds an alternative to the case.SvaCaseExpression
clone()
VerilogExpression
getCaseExpression()
Returns the case condition.java.util.List<SvaCaseExpressionItem>
getItems()
Returns the case alternatives.void
setCaseExpression(VerilogExpression caseExpression)
Sets the case condition.java.lang.String
toString()
-
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
-
-
-
-
Method Detail
-
getCaseExpression
public VerilogExpression getCaseExpression()
Returns the case condition.- Returns:
- the case condition.
-
setCaseExpression
public void setCaseExpression(VerilogExpression caseExpression)
Sets the case condition.- Parameters:
caseExpression
- - the specified expression.
-
getItems
public java.util.List<SvaCaseExpressionItem> getItems()
Returns the case alternatives.- Returns:
- the list of alternatives.
-
addItem
public void addItem(SvaCaseExpressionItem item)
Adds an alternative to the case.- Parameters:
item
- - the specified case item.
-
clone
public SvaCaseExpression clone()
- Overrides:
clone
in classVerilogExpression
-
toString
public java.lang.String toString()
- Overrides:
toString
in classVerilogExpression
-
-