Class ArrayTypeNode
java.lang.Object
org.checkerframework.dataflow.cfg.node.Node
org.checkerframework.dataflow.cfg.node.ArrayTypeNode
- All Implemented Interfaces:
org.plumelib.util.UniqueId
A node representing an array type used in an expression such as a field access.
type .class
-
Field Summary
FieldsModifier and TypeFieldDescriptionprotected final ArrayTypeTree
protected final Types
For Types.isSameType. -
Constructor Summary
Constructors -
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
-
types
For Types.isSameType.
-
-
Constructor Details
-
ArrayTypeNode
-
-
Method Details