Class SvaEventExpression

    • Constructor Detail

      • SvaEventExpression

        public SvaEventExpression()
        Creates a new event expression.
    • Method Detail

      • getEvent

        public java.util.List<VerilogEvent> getEvent()
        Returns the event control.
        Returns:
        the list of VerilogEvent.
      • setEvent

        public void setEvent​(java.util.List<VerilogEvent> event)
        Sets the event control.
        Parameters:
        event - - the list of VerilogEvent.
      • getExpression

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

        public void setExpression​(VerilogExpression expression)
        Sets the expression.
        Parameters:
        expression - - the specified expression.
      • 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.