Class VerilogNode

    • Constructor Detail

      • VerilogNode

        protected VerilogNode​(VerilogNode.Tag tag,
                              java.util.EnumSet<VerilogNode.Tag> childrenTags,
                              AbstractNode.NodeKind kind)
        Creates a top-level node (i.e. a node with null parent).
        Parameters:
        tag - the tag.
        childrenTags - the tags of admissible children.
        kind - the kind.
      • VerilogNode

        protected VerilogNode​(VerilogNode other,
                              VerilogNode parent)
        Creates a copy of the node.
        Parameters:
        other - the node to be copied.
        parent - the parent node to be set.
    • Method Detail

      • union

        public static java.util.EnumSet<VerilogNode.Tag> union​(java.util.EnumSet<VerilogNode.Tag> lhs,
                                                               java.util.EnumSet<VerilogNode.Tag> rhs)
        Unites two sets of tags.
        Parameters:
        lhs - the set of tags.
        rhs - the set of tags.
        Returns:
        the union the given sets.
      • isCode

        public boolean isCode()
        Checks whether the node is CODE.
        Returns:
        true iff the node is CODE.
      • isModule

        public boolean isModule()
        Checks whether the node is MODULE.
        Returns:
        true iff the node is MODULE.
      • isPort

        public boolean isPort()
        Checks whether the node is PORT.
        Returns:
        true iff the node is PORT.
      • isSvaPort

        public boolean isSvaPort()
        Checks whether the node is SVA_PORT.
        Returns:
        true iff the node is SVA_PORT.
      • isDeclaration

        public boolean isDeclaration()
        Checks whether the node is DECLARATION.
        Returns:
        true iff the node is DECLARATION.
      • isSequenceDeclaration

        public boolean isSequenceDeclaration()
        Checks whether the node is SEQUENCE_DECLARATION.
        Returns:
        true iff the node is SEQUENCE_DECLARATION.
      • isPropertyDeclaration

        public boolean isPropertyDeclaration()
        Checks whether the node is PROPERTY_DECLARATION.
        Returns:
        true iff the node is PROPERTY_DECLARATION.
      • isActivity

        public boolean isActivity()
        Checks whether the node is ACTIVITY.
        Returns:
        true iff the node is ACTIVITY.
      • isAssign

        public boolean isAssign()
        Checks whether the node is ASSIGN.
        Returns:
        true iff the node is ASSIGN.
      • isAssignment

        public boolean isAssignment()
        Checks whether the node is ASSIGNMENT.
        Returns:
        true iff the node is ASSIGNMENT.
      • isInstantiation

        public boolean isInstantiation()
        Checks whether the node is INSTANTIATION.
        Returns:
        true iff the node is INSTANTIATION.
      • isConnection

        public boolean isConnection()
        Checks whether the node is PORT_CONNECTION.
        Returns:
        true iff the node is PORT_CONNECTION.
      • isProcedure

        public boolean isProcedure()
        Checks whether the node is PROCEDURE.
        Returns:
        true iff the node is PROCEDURE.
      • isTable

        public boolean isTable()
        Checks whether the node is TABLE.
        Returns:
        true iff the node is TABLE.
      • isTableEntry

        public boolean isTableEntry()
        Checks whether the node is TABLE_ENTRY.
        Returns:
        true iff the node is TABLE_ENTRY.
      • isNullStatement

        public boolean isNullStatement()
        Checks whether the node is NULL_STATEMENT.
        Returns:
        true iff the node is NULL_STATEMENT.
      • isAssignStatement

        public boolean isAssignStatement()
        Checks whether the node is ASSIGN_STATEMENT.
        Returns:
        true iff the node is ASSIGN_STATEMENT.
      • isAssertionStatement

        public boolean isAssertionStatement()
        Checks whether the node is ASSERTION_STATEMENT.
        Returns:
        true iff the node is ASSERTION_STATEMENT.
      • isTaskStatement

        public boolean isTaskStatement()
        Checks whether the node is TASK_STATEMENT.
        Returns:
        true iff the node is TASK_STATEMENT.
      • isWaitStatement

        public boolean isWaitStatement()
        Checks whether the node is WAIT_STATEMENT.
        Returns:
        true iff the node is WAIT_STATEMENT.
      • isDisableStatement

        public boolean isDisableStatement()
        Checks whether the node is DISABLE_STATEMENT.
        Returns:
        true iff the node is DISABLE_STATEMENT.
      • isTriggerStatement

        public boolean isTriggerStatement()
        Checks whether the node is TRIGGER_STATEMENT.
        Returns:
        true iff the node is TRIGGER_STATEMENT.
      • isDelayedStatement

        public boolean isDelayedStatement()
        Checks whether the node is DELAYED_STATEMENT.
        Returns:
        true iff the node is DELAYED_STATEMENT.
      • isIfStatement

        public boolean isIfStatement()
        Checks whether the node is IF_STATEMENT.
        Returns:
        true iff the node is IF_STATEMENT.
      • isIfStatementBranch

        public boolean isIfStatementBranch()
        Checks whether the node is IF_STATEMENT_BRANCH.
        Returns:
        true iff the node is IF_STATEMENT_BRANCH.
      • isCaseStatement

        public boolean isCaseStatement()
        Checks whether the node is CASE_STATEMENT.
        Returns:
        true iff the node is CASE_STATEMENT.
      • isCaseStatementItem

        public boolean isCaseStatementItem()
        Checks whether the node is CASE_STATEMENT_ITEM.
        Returns:
        true iff the node is CASE_STATEMENT_ITEM.
      • isLoopStatement

        public boolean isLoopStatement()
        Checks whether the node is LOOP_STATEMENT.
        Returns:
        true iff the node is LOOP_STATEMENT.
      • isBlockStatement

        public boolean isBlockStatement()
        Checks whether the node is BLOCK_STATEMENT.
        Returns:
        true iff the node is BLOCK_STATEMENT.
      • isGenerate

        public boolean isGenerate()
        Checks whether the node is GENERATE.
        Returns:
        true iff the node is GENERATE.
      • isIfGenerate

        public boolean isIfGenerate()
        Checks whether the node is IF_GENERATE.
        Returns:
        true iff the node is IF_GENERATE.
      • isIfGenerateBranch

        public boolean isIfGenerateBranch()
        Checks whether the node is IF_GENERATE_BRANCH.
        Returns:
        true iff the node is IF_GENERATE_BRANCH.
      • isCaseGenerate

        public boolean isCaseGenerate()
        Checks whether the node is CASE_GENERATE.
        Returns:
        true iff the node is CASE_GENERATE.
      • isCaseGenerateItem

        public boolean isCaseGenerateItem()
        Checks whether the node is CASE_GENERATE_ITEM.
        Returns:
        true iff the node is CASE_GENERATE_ITEM.
      • isLoopGenerate

        public boolean isLoopGenerate()
        Checks whether the node is LOOP_GENERATE.
        Returns:
        true iff the node is LOOP_GENERATE.
      • isBlockGenerate

        public boolean isBlockGenerate()
        Checks whether the node is BLOCK_GENERATE.
        Returns:
        true iff the node is BLOCK_GENERATE.
      • isSpecify

        public boolean isSpecify()
        Checks whether the node is SPECIFY.
        Returns:
        true iff the node is SPECIFY.
      • isPulseStyle

        public boolean isPulseStyle()
        Checks whether the node is PULSE_STYLE.
        Returns:
        true iff the node is PULSE_STYLE.
      • isShowCancelled

        public boolean isShowCancelled()
        Checks whether the node is SHOW_CANCELLED.
        Returns:
        true iff the node is SHOW_CANCELLED.
      • isPathDeclaration

        public boolean isPathDeclaration()
        Checks whether the node is PATH_DECLARATION.
        Returns:
        true iff the node is PATH_DECLARATION.
      • isAttribute

        public boolean isAttribute()
        Checks whether the node is ATTRIBUTE.
        Returns:
        true iff the node is ATTRIBUTE.
      • isPortConnection

        public boolean isPortConnection()
        Checks whether the node is PORT_CONNECTION.
        Returns:
        true iff the node is PORT_CONNECTION.
      • getAttributes

        public java.util.Collection<VerilogAttribute> getAttributes()
        Returns the attributes of the node.
        Returns:
        the attributes.
      • setAttributes

        public void setAttributes​(java.util.Collection<VerilogAttribute> attributes)
        Sets attributes of the node.
        Parameters:
        attributes - the attributes to be set.
      • getParentNode

        public VerilogNode getParentNode()
        Returns the parent node.
        Returns:
        the parent node.