Class SvaPort


  • public final class SvaPort
    extends VerilogNode
    SvaPort represents the SVA sequence/property port.
    • Constructor Detail

      • SvaPort

        public SvaPort​(VerilogNode parent)
        Creates a new port.
        Parameters:
        parent - - the specified parent node.
      • SvaPort

        public SvaPort​(SvaPort other,
                       VerilogNode parent)
        Creates a new port using the other.
        Parameters:
        other - - the specified port to copy.
        parent - - the specified parent node.
    • Method Detail

      • getType

        public VerilogElementType getType()
        Returns the port type.
        Returns:
        the port type.
      • setType

        public void setType​(VerilogElementType type)
        Sets the port type.
        Parameters:
        type - - the specified port type.
      • getDirection

        public SvaPort.Direction getDirection()
        Returns the port direction.
        Returns:
        the port direction.
      • setDirection

        public void setDirection​(SvaPort.Direction direction)
        Sets the port direction.
        Parameters:
        direction - - the specified port direction.
      • getDimensions

        public java.util.List<VerilogRange> getDimensions()
        Returns the port dimensions.
        Returns:
        the list of port dimensions.
      • addDimension

        public void addDimension​(VerilogRange dimension)
        Adds a dimension to the port.
        Parameters:
        dimension - - the specified dimension.
      • getArgument

        public java.lang.Object getArgument()
        Returns the default port argument.
        Returns:
        the default port argument.
      • setArgument

        public void setArgument​(java.lang.Object argument)
        Sets the default port argument.
        Parameters:
        argument - - the specified port argument.
      • argIsEvent

        public boolean argIsEvent()
        Shows whether the default argument is an event.
        Returns:
        true if the default argument is an event, false otherwise.
      • argIsExpression

        public boolean argIsExpression()
        Shows whether the default port argument is an expression.
        Returns:
        true if the default port argument is an expression, false otherwise.
      • isLocal

        public boolean isLocal()
        Shows whether the port is local.
        Returns:
        true if the port is local, false otherwise.
      • setLocal

        public void setLocal()
        Makes the port local.