org.checkerframework.dataflow.cfg.node

Class ThisLiteralNode

java.lang.Object

org.checkerframework.dataflow.cfg.node.Node

org.checkerframework.dataflow.cfg.node.ThisLiteralNode

Direct Known Subclasses:

ExplicitThisLiteralNode, ImplicitThisLiteralNode

public abstract class ThisLiteralNode
extends Node

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

   this
 

Author:

Stefan Heule, Charlie Garrett

Field Summary

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

assignmentContext, block, inSource, lvalue, type

Constructor Summary

Constructors

Constructor and Description
ThisLiteralNode(javax.lang.model.type.TypeMirror type)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
java.lang.String	getName()
java.util.Collection<Node>	getOperands()
int	hashCode()

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ThisLiteralNode

public ThisLiteralNode(javax.lang.model.type.TypeMirror type)

Method Detail

getName

public java.lang.String getName()

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

getOperands

public java.util.Collection<Node> getOperands()

Specified by:

getOperands in class Node

Returns:

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