Class PackageNameNode

java.lang.Object
org.checkerframework.dataflow.cfg.node.Node
org.checkerframework.dataflow.cfg.node.PackageNameNode
All Implemented Interfaces:
org.plumelib.util.UniqueId

public class PackageNameNode extends Node
A node representing a package name used in an expression such as a constructor invocation.

package.class.object(...)

parent.package.class.object(...)

  • Field Details Link icon

    • tree Link icon

      protected final Tree tree
      The package name, which is an IdentifierTree or a MemberSelectTree.
    • element Link icon

      protected final PackageElement element
      The package named by this node.
    • parent Link icon

      protected final @Nullable PackageNameNode parent
      The parent name, if any.
  • Constructor Details Link icon

  • Method Details Link icon

    • getElement Link icon

      public PackageElement getElement()
      Returns the element for this package.
      Returns:
      the element for this package
    • getParent Link icon

      public @Nullable PackageNameNode getParent()
      The package name node for the parent package, null otherwise.
    • getTree Link icon

      public 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 Link icon

      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 Link icon

      public String toString()
      Overrides:
      toString in class Object
    • equals Link icon

      public boolean equals(@Nullable Object obj)
      Overrides:
      equals in class Object
    • hashCode Link icon

      public int hashCode()
      Overrides:
      hashCode in class Object
    • getOperands Link icon

      @SideEffectFree public 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