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, inSource, lvalue, type

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ThisNode(javax.lang.model.type.TypeMirror type)

Method Summary

Modifier and Type	Method	Description
boolean	equals(@Nullable java.lang.Object obj)
java.util.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 Detail

ThisNode

protected ThisNode(javax.lang.model.type.TypeMirror type)

Method Detail

equals

public boolean equals(@Nullable java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

getOperands

@SideEffectFree
public java.util.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