Class SvaProperty


  • public final class SvaProperty
    extends java.lang.Object
    SvaProperty represents the SVA property specification.
    • Constructor Detail

      • SvaProperty

        public SvaProperty()
        Creates a new property.
    • Method Detail

      • getEvent

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

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

        public VerilogExpression getDisableExpression()
        Returns the property disabling expression.
        Returns:
        the disabling expression.
      • setDisableExpression

        public void setDisableExpression​(VerilogExpression disableExpression)
        Sets the disabling expression.
        Parameters:
        disableExpression - - the specified expression.
      • getExpression

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

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

        public SvaProperty clone()
        Overrides:
        clone in class java.lang.Object
      • toString

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