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
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
Methods inherited from interface org.plumelib.util.UniqueId
getClassAndUid
-
Field Details
-
tree
-
element
The class named by this node. Either a TypeElement or a TypeParameterElement. -
parent
-
-
Constructor Details
-
ClassNameNode
-
ClassNameNode
Create a new ClassNameNode.- Parameters:
tree
- the class tree for this node
-
ClassNameNode
-
ClassNameNode
-
-
Method Details