Class SvaFirstMatchExpression

    • Constructor Detail

      • SvaFirstMatchExpression

        public SvaFirstMatchExpression()
        Creates a new first_match expression.
    • Method Detail

      • getExpression

        public VerilogExpression getExpression()
        Returns the sequence expression.
        Returns:
        the sequence expression.
      • setExpression

        public void setExpression​(VerilogExpression expression)
        Sets the sequence expression.
        Parameters:
        expression - - the specified expression.
      • addMatchAction

        public void addMatchAction​(SvaSequenceMatchAction action)
        Adds a match action to the expression.
        Parameters:
        action - - the specified match action.
      • setNode

        public void setNode​(ru.ispras.fortress.expression.Node node)
        Description copied from class: VerilogExpression
        Sets the original representation of the expression and resets the elaborated representation.
        Overrides:
        setNode in class VerilogExpression
        Parameters:
        node - the expression representation.