Package 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

block, disambiguateOwner, inSource, lvalue, type

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ThisNode(TypeMirror type)

Method Summary

Modifier and Type	Method	Description
boolean	equals(@Nullable Object obj)
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, getBlock, getInSource, getTransitiveOperands, getTree, getType, getUid, isLValue, nodeCollectionToString, 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 Details

ThisNode

protected ThisNode(TypeMirror type)

Method Details

equals

public boolean equals(@Nullable Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

getOperands

@SideEffectFree
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