Class SvaPropertyDeclaration

    • Constructor Detail

      • SvaPropertyDeclaration

        public SvaPropertyDeclaration​(VerilogNode parent)
        Creates a new property declaration.
        Parameters:
        parent - - the specified parent node.
    • Method Detail

      • getProperty

        public SvaProperty getProperty()
        Returns the property specification.
        Returns:
        the property specification.
      • setProperty

        public void setProperty​(SvaProperty property)
        Sets the property specification.
        Parameters:
        property - - the specified property specification.