Class SvaDeclaration

    • Field Detail

      • ports

        protected java.util.List<SvaPort> ports
        Ports.
      • variables

        protected java.util.List<VerilogDeclaration> variables
        Variable declarations.
    • Method Detail

      • getVariables

        public java.util.List<VerilogDeclaration> getVariables()
        Returns the property variables.
        Returns:
        the list of property variables.
      • addDeclaration

        public void addDeclaration​(VerilogDeclaration variable)
        Adds a variable to the property variable list.
        Parameters:
        variable - - the specified variable declaration.
      • getPorts

        public java.util.List<SvaPort> getPorts()
        Returns the property ports.
        Returns:
        the list of ports.
      • addPort

        public void addPort​(SvaPort port)
        Adds a port to the property ports list.
        Parameters:
        port - - the specified port.