Class SvaInstantiation

    • Method Detail

      • getPath

        public VerilogPath getPath()
        Returns the reference path.
        Returns:
        the path.
      • setPath

        public void setPath​(VerilogPath path)
        Sets the reference path.
        Parameters:
        path - the path to be set.
      • getNode

        public ru.ispras.fortress.expression.Node getNode()
        Returns the associated instance node.
        Returns:
        the node.
      • setNode

        public void setNode​(ru.ispras.fortress.expression.Node node)
        Sets the instance node.
        Parameters:
        node - - the specified node.
      • addConnection

        public void addConnection​(SvaPortConnection connection)
        Adds the port connection to the reference.
        Parameters:
        connection - - the specified port connection.
      • getConnections

        public java.util.List<SvaPortConnection> getConnections()
        Returns the list of port connections.
        Returns:
        the list of port connections.
      • getDeclaration

        public SvaDeclaration getDeclaration()
        Returns the sequence/property declaration.
        Returns:
        the declaration node.
      • setDeclaration

        public void setDeclaration​(SvaDeclaration declaration)
        Sets the sequence/property declaration.
        Parameters:
        declaration - - the specified declaration node.
      • getConnectionNodes

        public java.util.List<ru.ispras.fortress.expression.Node> getConnectionNodes()
        Returns the connection arguments as a list of Node.
        Returns:
        the connection arguments.