Class SvaCaseExpressionItem


  • public final class SvaCaseExpressionItem
    extends java.lang.Object
    SvaCaseExpressionItem represents the SVA case expression alternative.
    • Constructor Detail

      • SvaCaseExpressionItem

        public SvaCaseExpressionItem()
        Creates a new case alternative.
    • 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 class java.lang.Object
        Returns:
        the copy of this case item.
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object