Class ExplicitThisNode
- java.lang.Object
-
- org.checkerframework.dataflow.cfg.node.Node
-
- org.checkerframework.dataflow.cfg.node.ThisNode
-
- org.checkerframework.dataflow.cfg.node.ExplicitThisNode
-
- All Implemented Interfaces:
org.plumelib.util.UniqueId
public class ExplicitThisNode extends ThisNode
A node for a reference to 'this'.this
-
-
Constructor Summary
Constructors Constructor Description ExplicitThisNode(com.sun.source.tree.IdentifierTree t)
-
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.com.sun.source.tree.IdentifierTree
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 com.sun.source.tree.IdentifierTree 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
-
-