Class PackageNameNode
java.lang.Object
org.checkerframework.dataflow.cfg.node.Node
org.checkerframework.dataflow.cfg.node.PackageNameNode
- All Implemented Interfaces:
org.plumelib.util.UniqueId
A node representing a package name used in an expression such as a constructor invocation.
package.class.object(...)
parent.package.class.object(...)
-
Field Summary
FieldsModifier and TypeFieldDescriptionprotected final PackageElementThe package named by this node.protected final @Nullable PackageNameNodeThe parent name, if any.protected final TreeThe package name, which is an IdentifierTree or a MemberSelectTree. -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescription<R,P> R accept(NodeVisitor<R, P> visitor, P p) Accept method of the visitor pattern.booleanReturns the element for this package.The package name node for the parent package,nullotherwise.getTree()Returns theTreein the abstract syntax tree, ornullif no corresponding tree exists.inthashCode()toString()Methods inherited from class org.checkerframework.dataflow.cfg.node.Node
getBlock, getInSource, getTransitiveOperands, getType, getUid, isLValue, nodeCollectionToString, setBlock, setInSource, setLValue, toStringDebugMethods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, waitMethods inherited from interface org.plumelib.util.UniqueId
getClassAndUid
-
Field Details
-
tree
The package name, which is an IdentifierTree or a MemberSelectTree. -
element
The package named by this node. -
parent
The parent name, if any.
-
-
Constructor Details
-
PackageNameNode
-
PackageNameNode
-
-
Method Details
-
getElement
Returns the element for this package.- Returns:
- the element for this package
-
getParent
The package name node for the parent package,nullotherwise. -
getTree
Description copied from class:NodeReturns theTreein the abstract syntax tree, ornullif no corresponding tree exists. For instance, this is the case for anImplicitThisNode. -
accept
Description copied from class:NodeAccept method of the visitor pattern. -
toString
-
equals
-
hashCode
public int hashCode() -
getOperands
Description copied from class:Node- Specified by:
getOperandsin classNode- Returns:
- a collection containing all of the operand
Nodes of thisNode
-