Class SvaCaseExpression

    • Constructor Detail

      • SvaCaseExpression

        public SvaCaseExpression()
        Creates a new case expression.
    • 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.