java.lang.Object
- beaver.Symbol
- - soot.JastAddJ.ASTNode<ASTNode>
  - - soot.JastAddJ.Stmt
    - - soot.JastAddJ.ReturnStmt

All Implemented Interfaces:: Cloneable, Iterable<ASTNode>

public class ReturnStmt
extends Stmt
implements Cloneable

Field Summary

Fields
Modifier and Type	Field	Description
`protected boolean`	`canCompleteNormally_computed`
`protected boolean`	`canCompleteNormally_value`
`protected boolean`	`finallyList_computed`
`protected ArrayList`	`finallyList_value`
`protected boolean`	`inSynchronizedBlock_computed`
`protected boolean`	`inSynchronizedBlock_value`
`protected Map`	`isDAafter_Variable_values`
`protected Map`	`isDAafterReachedFinallyBlocks_Variable_values`
`protected Map`	`isDUafter_Variable_values`
`protected Map`	`isDUafterReachedFinallyBlocks_Variable_values`

Fields inherited from class soot.JastAddJ.Stmt
localNum_computed, localNum_value

Fields inherited from class soot.JastAddJ.ASTNode
children, generatedWithCacheCycle, generatedWithCircularEnabled, generatedWithComponentCheck, in$Circle, is$Final, numChildren, parent, PRIMITIVE_PACKAGE_NAME, state

Fields inherited from class beaver.Symbol
end, id, start, value

Constructor Summary

Constructors
Constructor Description

ReturnStmt()

ReturnStmt(Expr expr)

ReturnStmt(Opt<Expr> p0)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`canCompleteNormally()`
`ReturnStmt`	`clone()`
`void`	`collectBranches(Collection c)`
`ReturnStmt`	`copy()`
`boolean`	`Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)`
`boolean`	`Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)`
`TypeDecl`	`Define_TypeDecl_assignConvertedType(ASTNode caller, ASTNode child)`
`ArrayList`	`exceptionRanges()`
`ArrayList`	`finallyList()`
`void`	`flushCache()`
`void`	`flushCollectionCache()`
`ReturnStmt`	`fullCopy()`	Create a deep copy of the AST subtree at this node.
`Expr`	`getResult()`	Retrieves the (optional) Result child.
`Opt<Expr>`	`getResultOpt()`
`Opt<Expr>`	`getResultOptNoTransform()`	Retrieves the optional node for child Result.
`boolean`	`hasResult()`	Check whether the optional Result child exists.
`void`	`init$Children()`	Initializes the child array to the correct size.
`boolean`	`inSynchronizedBlock()`
`boolean`	`isDAafter(Variable v)`
`boolean`	`isDAafterReachedFinallyBlocks(Variable v)`
`boolean`	`isDUafter(Variable v)`
`boolean`	`isDUafterReachedFinallyBlocks(Variable v)`
`void`	`jimplify2(Body b)`
`boolean`	`mayHaveRewrite()`
`boolean`	`modifiedInScope(Variable var)`
`protected int`	`numChildren()`
`TypeDecl`	`returnType()`
`ASTNode`	`rewriteTo()`
`void`	`setResult(Expr node)`	Replaces the (optional) Result child.
`void`	`setResultOpt(Opt<Expr> opt)`	Replaces the optional node for the Result child.
`void`	`toString(StringBuffer s)`
`void`	`typeCheck()`

Methods inherited from class soot.JastAddJ.Stmt
addsIndentationLevel, break_label, continue_label, continueLabel, declaresVariable, Define_String_typeDeclIndent, enclosingBodyDecl, hostType, isDAbefore, isDUbefore, localNum, lookupMethod, lookupType, lookupType, lookupVariable, reachable, reportUnreachable

Methods inherited from class soot.JastAddJ.ASTNode
accessControl, addAttributes, addChild, asImmediate, asLocal, asLocal, asRValue, beginExceptionRange, branchTarget, checkDUeverywhere, checkEnum, checkUncheckedConversion, checkWarnings, clearLocations, cloneSubtree, collectEnclosingVariables, collectErrors, collectExceptions, collectFinally, collectTypesToHierarchy, collectTypesToSignatures, compilationUnit, Define_Annotation_lookupAnnotation, Define_ArrayList_exceptionRanges, Define_ASTNode_enclosingBlock, Define_BodyDecl_enclosingBodyDecl, Define_boolean_enclosedByExceptionHandler, Define_boolean_handlesException, Define_boolean_hasPackage, Define_boolean_inExplicitConstructorInvocation, Define_boolean_inExtendsOrImplements, Define_boolean_inhModifiedInScope, Define_boolean_insideLoop, Define_boolean_insideSwitch, Define_boolean_inStaticContext, Define_boolean_isAnonymous, Define_boolean_isAnonymousDecl, Define_boolean_isCatchParam, Define_boolean_isConstructorParameter, Define_boolean_isDest, Define_boolean_isExceptionHandlerParameter, Define_boolean_isExplicitGenericConstructorAccess, Define_boolean_isIncOrDec, Define_boolean_isLocalClass, Define_boolean_isMemberType, Define_boolean_isMethodParameter, Define_boolean_isNestedType, Define_boolean_isSource, Define_boolean_mayBeAbstract, Define_boolean_mayBeFinal, Define_boolean_mayBeNative, Define_boolean_mayBePrivate, Define_boolean_mayBeProtected, Define_boolean_mayBePublic, Define_boolean_mayBeStatic, Define_boolean_mayBeStrictfp, Define_boolean_mayBeSynchronized, Define_boolean_mayBeTransient, Define_boolean_mayBeVolatile, Define_boolean_mayUseAnnotationTarget, Define_boolean_reachable, Define_boolean_reachableCatchClause, Define_boolean_reportUnreachable, Define_boolean_resourcePreviouslyDeclared, Define_boolean_variableArityValid, Define_boolean_withinDeprecatedAnnotation, Define_boolean_withinSuppressWarnings, Define_Case_bind, Define_CatchClause_catchClause, Define_ClassInstanceExpr_getClassInstanceExpr, Define_Collection_lookupConstructor, Define_Collection_lookupMethod, Define_Collection_lookupSuperConstructor, Define_Collection_TypeDecl__caughtExceptions, Define_CompilationUnit_compilationUnit, Define_ConstructorDecl_constructorDecl, Define_ConstructorDecl_unknownConstructor, Define_ElementValue_lookupElementTypeValue, Define_Expr_nestedScope, Define_GLBType_lookupGLBType, Define_int_localNum, Define_LabeledStmt_lookupLabel, Define_LUBType_lookupLUBType, Define_MethodDecl_unknownMethod, Define_NameType_nameType, Define_SimpleSet_allImportedTypes, Define_SimpleSet_lookupType, Define_SimpleSet_lookupVariable, Define_soot_jimple_Stmt_condition_false_label, Define_soot_jimple_Stmt_condition_true_label, Define_String_hostPackage, Define_String_methodHost, Define_String_packageName, Define_TypeDecl_componentType, Define_TypeDecl_declType, Define_TypeDecl_enclosingAnnotationDecl, Define_TypeDecl_enclosingInstance, Define_TypeDecl_enclosingType, Define_TypeDecl_expectedType, Define_TypeDecl_genericDecl, Define_TypeDecl_hostType, Define_TypeDecl_lookupType, Define_TypeDecl_lookupWildcardExtends, Define_TypeDecl_lookupWildcardSuper, Define_TypeDecl_returnType, Define_TypeDecl_superType, Define_TypeDecl_switchType, Define_TypeDecl_typeBoolean, Define_TypeDecl_typeByte, Define_TypeDecl_typeChar, Define_TypeDecl_typeCloneable, Define_TypeDecl_typeDouble, Define_TypeDecl_typeError, Define_TypeDecl_typeException, Define_TypeDecl_typeFloat, Define_TypeDecl_typeInt, Define_TypeDecl_typeLong, Define_TypeDecl_typeNull, Define_TypeDecl_typeNullPointerException, Define_TypeDecl_typeObject, Define_TypeDecl_typeRuntimeException, Define_TypeDecl_typeSerializable, Define_TypeDecl_typeShort, Define_TypeDecl_typeString, Define_TypeDecl_typeThrowable, Define_TypeDecl_typeVoid, Define_TypeDecl_typeWildcard, Define_TypeDecl_unknownType, Define_Variable_unknownField, Define_VariableScope_outerScope, definesLabel, definiteAssignment, dumpString, dumpTree, dumpTree, dumpTreeNoRewrite, dumpTreeNoRewrite, duringAnnotations, duringAnonymousClasses, duringBoundNames, duringDU, duringEnums, duringGenericTypeVariables, duringImplicitConstructor, duringLiterals, duringNameResolution, duringSyntacticClassification, duringVariableDeclarationTransformation, emitConstant, end, endExceptionRange, error, errorPrefix, exceptionHandling, extractIndent, extractSingleType, flushCaches, getChild, getChildNoTransform, getIndexOfChild, getNumChild, getNumChildNoTransform, getParent, in$Circle, in$Circle, indent, insertChild, is$Final, is$Final, isDescendantTo, isStringAdd, iterator, jimplify1phase1, jimplify1phase2, jimplify2, lineNumber, location, nameCheck, newLabel, options, putSimpleSetElement, reachedException, removeChild, removeInstanceMethods, removeInstanceVariables, replace, setChild, setEnd, setLocation, setParent, setStart, sourceFile, start, state, toString, transformation, transformEnumConstructors, unassignedEverywhere, usesTypeVariable, varChildIndex, varChildIndex, warning, warningPrefix, with

Methods inherited from class beaver.Symbol
getColumn, getEnd, getId, getLine, getStart, makePosition

Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable
forEach, spliterator

- Field Detail
  - finallyList_computed
```
protected boolean finallyList_computed
```
  - finallyList_value
```
protected ArrayList finallyList_value
```
  - isDAafter_Variable_values
```
protected Map isDAafter_Variable_values
```
  - isDUafterReachedFinallyBlocks_Variable_values
```
protected Map isDUafterReachedFinallyBlocks_Variable_values
```
  - isDAafterReachedFinallyBlocks_Variable_values
```
protected Map isDAafterReachedFinallyBlocks_Variable_values
```
  - isDUafter_Variable_values
```
protected Map isDUafter_Variable_values
```
  - canCompleteNormally_computed
```
protected boolean canCompleteNormally_computed
```
  - canCompleteNormally_value
```
protected boolean canCompleteNormally_value
```
  - inSynchronizedBlock_computed
```
protected boolean inSynchronizedBlock_computed
```
  - inSynchronizedBlock_value
```
protected boolean inSynchronizedBlock_value
```
- Constructor Detail
  - ReturnStmt
```
public ReturnStmt(Expr expr)
```
  - ReturnStmt
```
public ReturnStmt()
```
  - ReturnStmt
```
public ReturnStmt(Opt<Expr> p0)
```
- Method Detail
  - flushCache
```
public void flushCache()
```
    Overrides:
    
    flushCache in class Stmt
  - flushCollectionCache
```
public void flushCollectionCache()
```
    Overrides:
    
    flushCollectionCache in class Stmt
  - clone
```
public ReturnStmt clone()
                 throws CloneNotSupportedException
```
    Overrides:
    
    clone in class Stmt
    
    Throws:
    
    CloneNotSupportedException
  - copy
```
public ReturnStmt copy()
```
    Overrides:
    
    copy in class ASTNode<ASTNode>
  - fullCopy
```
public ReturnStmt fullCopy()
```
    Create a deep copy of the AST subtree at this node. The copy is dangling, i.e. has no parent.
    
    Overrides:
    
    fullCopy in class ASTNode<ASTNode>
    
    Returns:
    
    dangling copy of the subtree at this node
  - collectBranches
```
public void collectBranches(Collection c)
```
    Overrides:
    
    collectBranches in class ASTNode<ASTNode>
  - toString
```
public void toString(StringBuffer s)
```
    Overrides:
    
    toString in class ASTNode<ASTNode>
  - typeCheck
```
public void typeCheck()
```
    Overrides:
    
    typeCheck in class ASTNode<ASTNode>
  - jimplify2
```
public void jimplify2(Body b)
```
    Overrides:
    
    jimplify2 in class Stmt
  - init$Children
```
public void init$Children()
```
    Initializes the child array to the correct size. Initializes List and Opt nta children.
    
    Overrides:
    
    init$Children in class Stmt
  - numChildren
```
protected int numChildren()
```
    Overrides:
    
    numChildren in class Stmt
  - mayHaveRewrite
```
public boolean mayHaveRewrite()
```
    Overrides:
    
    mayHaveRewrite in class Stmt
  - setResultOpt
```
public void setResultOpt(Opt<Expr> opt)
```
    Replaces the optional node for the Result child. This is the Opt node containing the child Result, not the actual child!
    
    Parameters:
    
    opt - The new node to be used as the optional node for the Result child.
  - hasResult
```
public boolean hasResult()
```
    Check whether the optional Result child exists.
    
    Returns:
    
    true if the optional Result child exists, false if it does not.
  - getResult
```
public Expr getResult()
```
    Retrieves the (optional) Result child.
    
    Returns:
    
    The Result child, if it exists. Returns null otherwise.
  - setResult
```
public void setResult(Expr node)
```
    Replaces the (optional) Result child.
    
    Parameters:
    
    node - The new node to be used as the Result child.
  - getResultOpt
```
public Opt<Expr> getResultOpt()
```
  - getResultOptNoTransform
```
public Opt<Expr> getResultOptNoTransform()
```
    Retrieves the optional node for child Result. This is the Opt node containing the child Result, not the actual child!
    This method does not invoke AST transformations.
    
    Returns:
    
    The optional node for child Result.
  - finallyList
```
public ArrayList finallyList()
```
  - isDAafter
```
public boolean isDAafter(Variable v)
```
    Overrides:
    
    isDAafter in class Stmt
  - isDUafterReachedFinallyBlocks
```
public boolean isDUafterReachedFinallyBlocks(Variable v)
```
  - isDAafterReachedFinallyBlocks
```
public boolean isDAafterReachedFinallyBlocks(Variable v)
```
  - isDUafter
```
public boolean isDUafter(Variable v)
```
    Overrides:
    
    isDUafter in class Stmt
  - canCompleteNormally
```
public boolean canCompleteNormally()
```
    Overrides:
    
    canCompleteNormally in class Stmt
  - inSynchronizedBlock
```
public boolean inSynchronizedBlock()
```
  - modifiedInScope
```
public boolean modifiedInScope(Variable var)
```
    Specified by:
    
    modifiedInScope in class Stmt
  - returnType
```
public TypeDecl returnType()
```
  - exceptionRanges
```
public ArrayList exceptionRanges()
```
  - Define_boolean_isDAbefore
```
public boolean Define_boolean_isDAbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)
```
    Overrides:
    
    Define_boolean_isDAbefore in class ASTNode<ASTNode>
  - Define_boolean_isDUbefore
```
public boolean Define_boolean_isDUbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)
```
    Overrides:
    
    Define_boolean_isDUbefore in class ASTNode<ASTNode>
  - Define_TypeDecl_assignConvertedType
```
public TypeDecl Define_TypeDecl_assignConvertedType(ASTNode caller,
                                                    ASTNode child)
```
    Overrides:
    
    Define_TypeDecl_assignConvertedType in class ASTNode<ASTNode>
  - rewriteTo
```
public ASTNode rewriteTo()
```
    Overrides:
    
    rewriteTo in class Stmt

Constructor	Description
`ReturnStmt()`
`ReturnStmt(Expr expr)`
`ReturnStmt(Opt<Expr> p0)`

Class ReturnStmt

Field Summary

Fields inherited from class soot.JastAddJ.Stmt

Fields inherited from class soot.JastAddJ.ASTNode

Fields inherited from class beaver.Symbol

Constructor Summary

Method Summary

Methods inherited from class soot.JastAddJ.Stmt

Methods inherited from class soot.JastAddJ.ASTNode

Methods inherited from class beaver.Symbol

Methods inherited from class java.lang.Object

Methods inherited from interface java.lang.Iterable

Field Detail

finallyList_computed

finallyList_value

isDAafter_Variable_values

isDUafterReachedFinallyBlocks_Variable_values

isDAafterReachedFinallyBlocks_Variable_values

isDUafter_Variable_values

canCompleteNormally_computed

canCompleteNormally_value

inSynchronizedBlock_computed

inSynchronizedBlock_value

Constructor Detail

ReturnStmt

ReturnStmt

ReturnStmt

Method Detail

flushCache

flushCollectionCache

clone

copy

fullCopy

collectBranches

toString

typeCheck

jimplify2

init$Children

numChildren

mayHaveRewrite

setResultOpt

hasResult

getResult

setResult

getResultOpt

getResultOptNoTransform

finallyList

isDAafter

isDUafterReachedFinallyBlocks

isDAafterReachedFinallyBlocks

isDUafter

canCompleteNormally

inSynchronizedBlock

modifiedInScope

returnType

exceptionRanges

Define_boolean_isDAbefore

Define_boolean_isDUbefore

Define_TypeDecl_assignConvertedType

rewriteTo