Class ReturnNode
java.lang.Object
org.checkerframework.dataflow.cfg.node.Node
org.checkerframework.dataflow.cfg.node.ReturnNode
- All Implemented Interfaces:
org.plumelib.util.UniqueId
A node for a return statement:
return return expressionNo ReturnNode is created for implicit return statements.
-
Field Summary
Modifier and TypeFieldDescriptionThe node of the returned expression.protected final ReturnTree
The return tree. -
Constructor Summary
ConstructorDescriptionReturnNode
(ReturnTree returnTree, @Nullable Node result, Types types) Creates a node for the given return statement.ReturnNode
(ReturnTree returnTree, @Nullable Node result, Types types, LambdaExpressionTree lambda, com.sun.tools.javac.code.Symbol.MethodSymbol methodSymbol) Deprecated.ReturnNode
(ReturnTree returnTree, @Nullable Node result, Types types, MethodTree methodTree) Deprecated. -
Method Summary
Methods inherited from class org.checkerframework.dataflow.cfg.node.Node
getBlock, getInSource, getTransitiveOperands, getType, getUid, isLValue, nodeCollectionToString, setBlock, setInSource, setLValue, toStringDebug
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
Methods inherited from interface org.plumelib.util.UniqueId
getClassAndUid
-
Field Details
-
returnTree
The return tree. -
result
The node of the returned expression.
-
-
Constructor Details
-
ReturnNode
Creates a node for the given return statement.- Parameters:
returnTree
- return treeresult
- the returned expressiontypes
- types util
-
ReturnNode
@Deprecated public ReturnNode(ReturnTree returnTree, @Nullable Node result, Types types, MethodTree methodTree) Deprecated.Creates a node for the given return statement.- Parameters:
returnTree
- return treeresult
- the returned expressiontypes
- types utilmethodTree
- method tree
-
ReturnNode
@Deprecated public ReturnNode(ReturnTree returnTree, @Nullable Node result, Types types, LambdaExpressionTree lambda, com.sun.tools.javac.code.Symbol.MethodSymbol methodSymbol) Deprecated.Creates a node for the given return statement.- Parameters:
returnTree
- return treeresult
- the returned expressiontypes
- types utillambda
- lambdamethodSymbol
- methodSymbol
-
-
Method Details
-
getResult
The result of the return node,null
otherwise. -
getTree
Description copied from class:Node
Returns theTree
in the abstract syntax tree, ornull
if no corresponding tree exists. For instance, this is the case for anImplicitThisNode
. -
accept
Description copied from class:Node
Accept method of the visitor pattern. -
toString
-
equals
-
hashCode
public int hashCode() -
getOperands
Description copied from class:Node
- Specified by:
getOperands
in classNode
- Returns:
- a collection containing all of the operand
Node
s of thisNode
-
ReturnNode(ReturnTree, Node, Types)