Class ImplicitThisNode
java.lang.Object
org.checkerframework.dataflow.cfg.node.Node
org.checkerframework.dataflow.cfg.node.ThisNode
org.checkerframework.dataflow.cfg.node.ImplicitThisNode
- All Implemented Interfaces:
org.plumelib.util.UniqueId
A node to model the implicit
this
, e.g., in a field access.-
Field Summary
-
Constructor Summary
Constructors -
Method Summary
Methods inherited from class org.checkerframework.dataflow.cfg.node.ThisNode
equals, getOperands, hashCode
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
-
Constructor Details
-
ImplicitThisNode
-
-
Method Details