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.IdentifierTreegetTree()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 com.sun.source.tree.IdentifierTree 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
-
-