org.checkerframework.dataflow.cfg.node

Class ThisNode

java.lang.Object

org.checkerframework.dataflow.cfg.node.Node

org.checkerframework.dataflow.cfg.node.ThisNode

All Implemented Interfaces:

org.plumelib.util.UniqueId

Direct Known Subclasses:

ExplicitThisNode, ImplicitThisNode

public abstract class ThisNode
extends Node

A node for a reference to 'this', either implicit or explicit.

   this
 

Field Summary

Fields inherited from class org.checkerframework.dataflow.cfg.node.Node

assignmentContext, block, inSource, lvalue, type

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ThisNode(TypeMirror type)

Method Summary

Modifier and Type	Method and Description
boolean	equals(@Nullable Object obj)
String	getName()
Collection<Node>	getOperands() Returns a collection containing all of the operand Nodes of this Node.
int	hashCode()

Methods inherited from class org.checkerframework.dataflow.cfg.node.Node

accept, getAssignmentContext, getBlock, getInSource, getTransitiveOperands, getTree, getType, getUid, isLValue, nodeCollectionToString, setAssignmentContext, setBlock, setInSource, setLValue, toStringDebug

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.plumelib.util.UniqueId

getClassAndUid

Constructor Detail

ThisNode

protected ThisNode(TypeMirror type)

Method Detail

getName

public String getName()

equals

public boolean equals(@Nullable Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

getOperands

public Collection<Node> getOperands()

Description copied from class: Node

Returns a collection containing all of the operand Nodes of this Node.

Specified by:

getOperands in class Node

Returns:

a collection containing all of the operand Nodes of this Node