Class ClassNameNode
java.lang.Object
org.checkerframework.dataflow.cfg.node.Node
org.checkerframework.dataflow.cfg.node.ClassNameNode
- All Implemented Interfaces:
org.plumelib.util.UniqueId
A node representing a class name used in an expression such as a static method invocation.
parent.class .forName(...)
-
Field Summary
FieldsModifier and TypeFieldDescriptionprotected final Element
The class named by this node.The parent name, if any.The tree for this node. -
Constructor Summary
ConstructorsConstructorDescriptionClassNameNode
(ClassTree tree) Create a new ClassNameNode.ClassNameNode
(IdentifierTree tree) ClassNameNode
(MemberSelectTree tree, Node parent) ClassNameNode
(TypeMirror type, Element element) -
Method Summary
Methods inherited from class org.checkerframework.dataflow.cfg.node.Node
getBlock, getInSource, getTransitiveOperands, getType, getUid, isLValue, nodeCollectionToString, setBlock, setInSource, setLValue, toStringDebug
-
Field Details
-
Constructor Details
-
Method Details
-
getElement
-
getParent
The parent node of the current node. -
getTree
Description copied from class:Node
Returns theTree
in the abstract syntax tree, ornull
if no corresponding tree exists. For instance, this is the case for anImplicitThisNode
. -
accept
Description copied from class:Node
Accept method of the visitor pattern. -
toString
-
equals
-
hashCode
public int hashCode() -
getOperands
Description copied from class:Node
- Specified by:
getOperands
in classNode
- Returns:
- a collection containing all of the operand
Node
s of thisNode
-