Class SvaCaseExpressionItem
- java.lang.Object
-
- ru.ispras.verilog.parser.sva.expression.SvaCaseExpressionItem
-
public final class SvaCaseExpressionItem extends java.lang.Object
SvaCaseExpressionItem
represents the SVA case expression alternative.
-
-
Constructor Summary
Constructors Constructor Description SvaCaseExpressionItem()
Creates a new case alternative.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addValue(VerilogExpression value)
Adds a value to the set of values.SvaCaseExpressionItem
clone()
Clones this case item.VerilogExpression
getProperty()
Returns the alternative's property.java.util.Set<VerilogExpression>
getValues()
Returns the alternative's values.boolean
isDefault()
Shows whether the alternative is default.void
setDefault()
Makes the alternative default.void
setProperty(VerilogExpression property)
Sets the property expression.java.lang.String
toString()
-
-
-
Method Detail
-
getValues
public java.util.Set<VerilogExpression> getValues()
Returns the alternative's values.- Returns:
- the set of values.
-
addValue
public void addValue(VerilogExpression value)
Adds a value to the set of values.- Parameters:
value
- - the specified value.
-
getProperty
public VerilogExpression getProperty()
Returns the alternative's property.- Returns:
- the property expression.
-
setProperty
public void setProperty(VerilogExpression property)
Sets the property expression.- Parameters:
property
- - the specified property expression.
-
isDefault
public boolean isDefault()
Shows whether the alternative is default.- Returns:
true
if the alternative is default,false
otherwise.
-
setDefault
public void setDefault()
Makes the alternative default.
-
clone
public SvaCaseExpressionItem clone()
Clones this case item.- Overrides:
clone
in classjava.lang.Object
- Returns:
- the copy of this case item.
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-