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.TreegetTree()Returns theTreein the abstract syntax tree, ornullif no corresponding tree exists.java.lang.StringtoString()-
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:NodeReturns theTreein the abstract syntax tree, ornullif 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:NodeAccept method of the visitor pattern.
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
-