Package org.checkerframework.dataflow.cfg.node

Class ClassNameNode

  • All Implemented Interfaces:
    org.plumelib.util.UniqueId
    public class ClassNameNode
extends Node
    A node representing a class name used in an expression such as a static method invocation.

    parent.class .forName(...)

    • Field Detail

      • tree

        protected final @Nullable com.sun.source.tree.Tree tree
        The tree for this node.

      • element

        protected final javax.lang.model.element.Element element
        The class named by this node. Either a TypeElement or a TypeParameterElement.

      • parent

        protected final @Nullable Node parent
        The parent name, if any.

    • Constructor Detail

      • ClassNameNode

        public ClassNameNode​(com.sun.source.tree.IdentifierTree tree)

      • ClassNameNode

        public ClassNameNode​(com.sun.source.tree.ClassTree tree)
        Create a new ClassNameNode.
        Parameters:
        tree - the class tree for this node

      • ClassNameNode

        public ClassNameNode​(com.sun.source.tree.MemberSelectTree tree,
                     Node parent)

      • ClassNameNode

        public ClassNameNode​(javax.lang.model.type.TypeMirror type,
                     javax.lang.model.element.Element element)

    • Method Detail

      • getElement

        public javax.lang.model.element.Element getElement()

      • getParent

        public @Nullable Node getParent()
        The parent node of the current node.

      • getTree

        public @Nullable com.sun.source.tree.Tree getTree()
        Description copied from class: Node
        Returns the Tree in the abstract syntax tree, or null if no corresponding tree exists. For instance, this is the case for an ImplicitThisNode.
        Specified by:
        getTree in class Node
        Returns:
        the corresponding Tree or null

      • accept

        public <R,​P> R accept​(NodeVisitor<R,​P> visitor,
                            P p)
        Description copied from class: Node
        Accept method of the visitor pattern.
        Specified by:
        accept in class Node
        Type Parameters:
        R - result type of the operation
        P - parameter type
        Parameters:
        visitor - the visitor to be applied to this node
        p - the parameter for this operation

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object

      • equals

        public boolean equals​(@Nullable java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object

      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object

      • getOperands

        @SideEffectFree
public java.util.Collection<Node> getOperands()
        Description copied from class: Node
        Returns a collection containing all of the operand Nodes of this Node.
        Specified by:
        getOperands in class Node
        Returns:
        a collection containing all of the operand Nodes of this Node