Class SvaRepeatedExpression

    • Constructor Detail

      • SvaRepeatedExpression

        public SvaRepeatedExpression()
        Creates a new repeated expression.
    • Method Detail

      • getExpression

        public VerilogExpression getExpression()
        Returns the expression that is repeated.
        Returns:
        the expression.
      • setExpression

        public void setExpression​(VerilogExpression expression)
        Sets the expression that is repeated.
        Parameters:
        expression - - the specified expression.
      • getRepetition

        public SvaRepetition getRepetition()
        Returns the repetition.
        Returns:
        the repetition.
      • setRepetition

        public void setRepetition​(SvaRepetition repetition)
        Sets the repetition.
        Parameters:
        repetition - - the specified repetition.
      • 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.