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
public class ImplicitThisNode extends ThisNode
A node to model the implicitthis
, e.g., in a field access.
-
-
Constructor Summary
Constructors Constructor Description ImplicitThisNode(javax.lang.model.type.TypeMirror type)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description <R,P>
Raccept(NodeVisitor<R,P> visitor, P p)
Accept method of the visitor pattern.@Nullable com.sun.source.tree.Tree
getTree()
Returns theTree
in the abstract syntax tree, ornull
if no corresponding tree exists.java.lang.String
toString()
-
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
-
-
-
-
Method Detail
-
getTree
public @Nullable com.sun.source.tree.Tree 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
public <R,P> R accept(NodeVisitor<R,P> visitor, P p)
Description copied from class:Node
Accept method of the visitor pattern.
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-