TryStmt (Soot - a J*va Optimization Framework 4.2.1 API)

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

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>, FinallyHost

Direct Known Subclasses:

TryWithResources
```
public class TryStmt
extends Stmt
implements Cloneable, FinallyHost
```

Field Summary

Fields
Modifier and Type	Field and Description
`protected boolean`	`branches_computed`
`protected Collection`	`branches_value`
`protected boolean`	`branchesFromFinally_computed`
`protected Collection`	`branchesFromFinally_value`
`protected boolean`	`canCompleteNormally_computed`
`protected boolean`	`canCompleteNormally_value`
`protected Map`	`catchableException_TypeDecl_values`
`protected boolean`	`escapedBranches_computed`
`protected Collection`	`escapedBranches_value`
`protected boolean`	`exceptionRanges_computed`
`protected ArrayList`	`exceptionRanges_value`
`protected Map`	`handlesException_TypeDecl_values`
`protected Map`	`isDAafter_Variable_values`
`protected Map`	`isDUafter_Variable_values`
`protected Map`	`isDUbefore_Variable_values`
`protected boolean`	`label_begin_computed`
`protected Stmt`	`label_begin_value`
`protected boolean`	`label_block_end_computed`
`protected Stmt`	`label_block_end_value`
`protected boolean`	`label_catch_end_computed`
`protected Stmt`	`label_catch_end_value`
`protected boolean`	`label_end_computed`
`protected Stmt`	`label_end_value`
`protected boolean`	`label_exception_handler_computed`
`protected Stmt`	`label_exception_handler_value`
`protected boolean`	`label_finally_block_computed`
`protected Stmt`	`label_finally_block_value`
`protected boolean`	`label_finally_computed`
`protected Stmt`	`label_finally_value`
`protected boolean`	`targetBranches_computed`
`protected Collection`	`targetBranches_value`
`protected boolean`	`typeError_computed`
`protected TypeDecl`	`typeError_value`
`protected boolean`	`typeRuntimeException_computed`
`protected TypeDecl`	`typeRuntimeException_value`

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 and Description

TryStmt()

TryStmt(Block p0, List<CatchClause> p1, Opt<Block> p2)

Constructors
Constructor and Description
`TryStmt()`
`TryStmt(Block p0, List<CatchClause> p1, Opt<Block> p2)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`addCatchClause(CatchClause node)` Append an element to the CatchClause list.
`void`	`addCatchClauseNoTransform(CatchClause node)`
`protected void`	`addFallThroughLabelTag(Body b, Stmt handler, Stmt fallThrough)`
`Collection`	`branches()`
`Collection`	`branchesFromFinally()`
`Stmt`	`branchTarget(Stmt branchStmt)`
`Stmt`	`break_label()`
`boolean`	`canCompleteNormally()`
`boolean`	`catchableException(TypeDecl type)` The block of the try statement can throw an exception of a type assignable to the given type.
`TryStmt`	`clone()`
`void`	`collectBranches(Collection c)`
`void`	`collectFinally(Stmt branchStmt, ArrayList list)`
`Stmt`	`continue_label()`
`TryStmt`	`copy()`
`ArrayList`	`Define_ArrayList_exceptionRanges(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_enclosedByExceptionHandler(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_handlesException(ASTNode caller, ASTNode child, TypeDecl exceptionType)`
`boolean`	`Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)`
`boolean`	`Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)`
`boolean`	`Define_boolean_reachable(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_reachableCatchClause(ASTNode caller, ASTNode child, TypeDecl exceptionType)`
`boolean`	`Define_boolean_reportUnreachable(ASTNode caller, ASTNode child)`
`Collection<TypeDecl>`	`Define_Collection_TypeDecl__caughtExceptions(ASTNode caller, ASTNode child)`
`void`	`emitExceptionHandler(Body b)`
`void`	`emitFinallyCode(Body b)`
`boolean`	`enclosedByExceptionHandler()`
`Collection`	`escapedBranches()`
`ArrayList`	`exceptionRanges()`
`void`	`flushCache()`
`void`	`flushCollectionCache()`
`TryStmt`	`fullCopy()` Create a deep copy of the AST subtree at this node.
`Block`	`getBlock()` Retrieves the Block child.
`Block`	`getBlockNoTransform()` Retrieves the Block child.
`CatchClause`	`getCatchClause(int i)` Retrieves the element at index `i` in the CatchClause list..
`List<CatchClause>`	`getCatchClauseList()` Retrieves the CatchClause list.
`List<CatchClause>`	`getCatchClauseListNoTransform()` Retrieves the CatchClause list.
`List<CatchClause>`	`getCatchClauses()` Retrieves the CatchClause list.
`List<CatchClause>`	`getCatchClausesNoTransform()` Retrieves the CatchClause list.
`Block`	`getFinally()` Retrieves the (optional) Finally child.
`Opt<Block>`	`getFinallyOpt()`
`Opt<Block>`	`getFinallyOptNoTransform()` Retrieves the optional node for child Finally.
`int`	`getNumCatchClause()` Retrieves the number of children in the CatchClause list.
`int`	`getNumCatchClauseNoTransform()` Retrieves the number of children in the CatchClause list.
`boolean`	`handlesException(TypeDecl exceptionType)`
`boolean`	`hasFinally()` Check whether the optional Finally child exists.
`void`	`init$Children()` Initializes the child array to the correct size.
`boolean`	`isDAafter(Variable v)`
`boolean`	`isDAafterFinally(Variable v)`
`boolean`	`isDUafter(Variable v)`
`boolean`	`isDUafterFinally(Variable v)`
`boolean`	`isDUbefore(Variable v)`
`void`	`jimplify2(Body b)`
`Stmt`	`label_begin()`
`Stmt`	`label_block_end()`
`Stmt`	`label_catch_end()`
`Stmt`	`label_end()`
`Stmt`	`label_exception_handler()`
`Stmt`	`label_finally_block()`
`Stmt`	`label_finally()`
`boolean`	`mayHaveRewrite()`
`boolean`	`modifiedInScope(Variable var)`
`boolean`	`needsFinallyTrap()`
`protected int`	`numChildren()`
`protected boolean`	`reachedException(TypeDecl type)`
`ASTNode`	`rewriteTo()`
`void`	`setBlock(Block node)` Replaces the Block child.
`void`	`setCatchClause(CatchClause node, int i)` Replaces the CatchClause list element at index `i` with the new node `node`.
`void`	`setCatchClauseList(List<CatchClause> list)` Replaces the CatchClause list.
`void`	`setFinally(Block node)` Replaces the (optional) Finally child.
`void`	`setFinallyOpt(Opt<Block> opt)` Replaces the optional node for the Finally child.
`Collection`	`targetBranches()`
`void`	`toString(StringBuffer s)`
`TypeDecl`	`typeError()`
`TypeDecl`	`typeRuntimeException()`
`TypeDecl`	`typeThrowable()`

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

Methods inherited from class soot.JastAddJ.ASTNode
accessControl, addAttributes, addChild, asImmediate, asLocal, asLocal, asRValue, beginExceptionRange, checkDUeverywhere, checkEnum, checkUncheckedConversion, checkWarnings, clearLocations, cloneSubtree, collectEnclosingVariables, collectErrors, collectExceptions, collectTypesToHierarchy, collectTypesToSignatures, compilationUnit, Define_Annotation_lookupAnnotation, Define_ASTNode_enclosingBlock, Define_BodyDecl_enclosingBodyDecl, 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_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_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_assignConvertedType, 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, removeChild, removeInstanceMethods, removeInstanceVariables, replace, setChild, setEnd, setLocation, setParent, setStart, sourceFile, start, state, toString, transformation, transformEnumConstructors, typeCheck, 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

branches_computed
```
protected boolean branches_computed
```

branches_value
```
protected Collection branches_value
```

branchesFromFinally_computed

protected boolean branchesFromFinally_computed

branchesFromFinally_value

protected Collection branchesFromFinally_value

targetBranches_computed

protected boolean targetBranches_computed

targetBranches_value

protected Collection targetBranches_value

escapedBranches_computed

protected boolean escapedBranches_computed

escapedBranches_value

protected Collection escapedBranches_value

isDAafter_Variable_values

protected Map isDAafter_Variable_values

isDUbefore_Variable_values

protected Map isDUbefore_Variable_values

isDUafter_Variable_values

protected Map isDUafter_Variable_values

catchableException_TypeDecl_values

protected Map catchableException_TypeDecl_values

canCompleteNormally_computed

protected boolean canCompleteNormally_computed

canCompleteNormally_value

protected boolean canCompleteNormally_value

label_begin_computed
```
protected boolean label_begin_computed
```

label_begin_value
```
protected Stmt label_begin_value
```

label_block_end_computed

protected boolean label_block_end_computed

label_block_end_value
```
protected Stmt label_block_end_value
```

label_end_computed
```
protected boolean label_end_computed
```

label_end_value
```
protected Stmt label_end_value
```

label_finally_computed

protected boolean label_finally_computed

label_finally_value
```
protected Stmt label_finally_value
```

label_finally_block_computed

protected boolean label_finally_block_computed

label_finally_block_value

protected Stmt label_finally_block_value

label_exception_handler_computed

protected boolean label_exception_handler_computed

label_exception_handler_value

protected Stmt label_exception_handler_value

label_catch_end_computed

protected boolean label_catch_end_computed

label_catch_end_value
```
protected Stmt label_catch_end_value
```

exceptionRanges_computed

protected boolean exceptionRanges_computed

exceptionRanges_value

protected ArrayList exceptionRanges_value

handlesException_TypeDecl_values

protected Map handlesException_TypeDecl_values

typeError_computed
```
protected boolean typeError_computed
```

typeError_value
```
protected TypeDecl typeError_value
```

typeRuntimeException_computed

protected boolean typeRuntimeException_computed

typeRuntimeException_value

protected TypeDecl typeRuntimeException_value

Constructor Detail

TryStmt
```
public TryStmt()
```

TryStmt

public TryStmt(Block p0,
               List<CatchClause> p1,
               Opt<Block> p2)

Method Detail
- flushCache
```
public void flushCache()
```
  Overrides:
  
  flushCache in class Stmt
- flushCollectionCache
```
public void flushCollectionCache()
```
  Overrides:
  
  flushCollectionCache in class Stmt
- clone
```
public TryStmt clone()
              throws CloneNotSupportedException
```
  Overrides:
  
  clone in class Stmt
  
  Throws:
  
  CloneNotSupportedException
- copy
```
public TryStmt copy()
```
  Overrides:
  
  copy in class ASTNode<ASTNode>
- fullCopy
```
public TryStmt 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>
- branchTarget
```
public Stmt branchTarget(Stmt branchStmt)
```
  Overrides:
  
  branchTarget in class ASTNode<ASTNode>
- collectFinally
```
public void collectFinally(Stmt branchStmt,
                           ArrayList list)
```
  Overrides:
  
  collectFinally in class ASTNode<ASTNode>
- reachedException
```
protected boolean reachedException(TypeDecl type)
```
  Overrides:
  
  reachedException in class ASTNode<ASTNode>
- toString
```
public void toString(StringBuffer s)
```
  Overrides:
  
  toString in class ASTNode<ASTNode>
- emitFinallyCode
```
public void emitFinallyCode(Body b)
```
  Specified by:
  
  emitFinallyCode in interface FinallyHost
- jimplify2
```
public void jimplify2(Body b)
```
  Overrides:
  
  jimplify2 in class Stmt
- addFallThroughLabelTag
```
protected void addFallThroughLabelTag(Body b,
                                      Stmt handler,
                                      Stmt fallThrough)
```
- emitExceptionHandler
```
public void emitExceptionHandler(Body b)
```
- 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
- setBlock
```
public void setBlock(Block node)
```
  Replaces the Block child.
  
  Parameters:
  
  node - The new node to replace the Block child.
- getBlock
```
public Block getBlock()
```
  Retrieves the Block child.
  
  Returns:
  
  The current node used as the Block child.
- getBlockNoTransform
```
public Block getBlockNoTransform()
```
  Retrieves the Block child.
  This method does not invoke AST transformations.
  
  Returns:
  
  The current node used as the Block child.
- setCatchClauseList
```
public void setCatchClauseList(List<CatchClause> list)
```
  Replaces the CatchClause list.
  
  Parameters:
  
  list - The new list node to be used as the CatchClause list.
- getNumCatchClause
```
public int getNumCatchClause()
```
  Retrieves the number of children in the CatchClause list.
  
  Returns:
  
  Number of children in the CatchClause list.
- getNumCatchClauseNoTransform
```
public int getNumCatchClauseNoTransform()
```
  Retrieves the number of children in the CatchClause list. Calling this method will not trigger rewrites..
  
  Returns:
  
  Number of children in the CatchClause list.
- getCatchClause
```
public CatchClause getCatchClause(int i)
```
  Retrieves the element at index i in the CatchClause list..
  
  Parameters:
  
  i - Index of the element to return.
  
  Returns:
  
  The element at position i in the CatchClause list.
- addCatchClause
```
public void addCatchClause(CatchClause node)
```
  Append an element to the CatchClause list.
  
  Parameters:
  
  node - The element to append to the CatchClause list.
- addCatchClauseNoTransform
```
public void addCatchClauseNoTransform(CatchClause node)
```
- setCatchClause
```
public void setCatchClause(CatchClause node,
                           int i)
```
  Replaces the CatchClause list element at index i with the new node node.
  
  Parameters:
  
  node - The new node to replace the old list element.
  
  i - The list index of the node to be replaced.
- getCatchClauses
```
public List<CatchClause> getCatchClauses()
```
  Retrieves the CatchClause list.
  
  Returns:
  
  The node representing the CatchClause list.
- getCatchClausesNoTransform
```
public List<CatchClause> getCatchClausesNoTransform()
```
  Retrieves the CatchClause list.
  This method does not invoke AST transformations.
  
  Returns:
  
  The node representing the CatchClause list.
- getCatchClauseList
```
public List<CatchClause> getCatchClauseList()
```
  Retrieves the CatchClause list.
  
  Returns:
  
  The node representing the CatchClause list.
- getCatchClauseListNoTransform
```
public List<CatchClause> getCatchClauseListNoTransform()
```
  Retrieves the CatchClause list.
  This method does not invoke AST transformations.
  
  Returns:
  
  The node representing the CatchClause list.
- setFinallyOpt
```
public void setFinallyOpt(Opt<Block> opt)
```
  Replaces the optional node for the Finally child. This is the Opt node containing the child Finally, not the actual child!
  
  Parameters:
  
  opt - The new node to be used as the optional node for the Finally child.
- hasFinally
```
public boolean hasFinally()
```
  Check whether the optional Finally child exists.
  
  Returns:
  
  true if the optional Finally child exists, false if it does not.
- getFinally
```
public Block getFinally()
```
  Retrieves the (optional) Finally child.
  
  Returns:
  
  The Finally child, if it exists. Returns null otherwise.
- setFinally
```
public void setFinally(Block node)
```
  Replaces the (optional) Finally child.
  
  Parameters:
  
  node - The new node to be used as the Finally child.
- getFinallyOpt
```
public Opt<Block> getFinallyOpt()
```
- getFinallyOptNoTransform
```
public Opt<Block> getFinallyOptNoTransform()
```
  Retrieves the optional node for child Finally. This is the Opt node containing the child Finally, not the actual child!
  This method does not invoke AST transformations.
  
  Returns:
  
  The optional node for child Finally.
- branches
```
public Collection branches()
```
- branchesFromFinally
```
public Collection branchesFromFinally()
```
- targetBranches
```
public Collection targetBranches()
```
- escapedBranches
```
public Collection escapedBranches()
```
- isDAafter
```
public boolean isDAafter(Variable v)
```
  Overrides:
  
  isDAafter in class Stmt
- isDUafterFinally
```
public boolean isDUafterFinally(Variable v)
```
  Specified by:
  
  isDUafterFinally in interface FinallyHost
- isDAafterFinally
```
public boolean isDAafterFinally(Variable v)
```
  Specified by:
  
  isDAafterFinally in interface FinallyHost
- isDUbefore
```
public boolean isDUbefore(Variable v)
```
  Overrides:
  
  isDUbefore in class Stmt
- isDUafter
```
public boolean isDUafter(Variable v)
```
  Overrides:
  
  isDUafter in class Stmt
- catchableException
```
public boolean catchableException(TypeDecl type)
```
  The block of the try statement can throw an exception of a type assignable to the given type.
- canCompleteNormally
```
public boolean canCompleteNormally()
```
  Overrides:
  
  canCompleteNormally in class Stmt
- break_label
```
public Stmt break_label()
```
  Overrides:
  
  break_label in class Stmt
- continue_label
```
public Stmt continue_label()
```
  Overrides:
  
  continue_label in class Stmt
- label_begin
```
public Stmt label_begin()
```
- label_block_end
```
public Stmt label_block_end()
```
- label_end
```
public Stmt label_end()
```
- label_finally
```
public Stmt label_finally()
```
- label_finally_block
```
public Stmt label_finally_block()
```
  Specified by:
  
  label_finally_block in interface FinallyHost
- label_exception_handler
```
public Stmt label_exception_handler()
```
- label_catch_end
```
public Stmt label_catch_end()
```
- needsFinallyTrap
```
public boolean needsFinallyTrap()
```
- exceptionRanges
```
public ArrayList exceptionRanges()
```
- modifiedInScope
```
public boolean modifiedInScope(Variable var)
```
  Specified by:
  
  modifiedInScope in class Stmt
- handlesException
```
public boolean handlesException(TypeDecl exceptionType)
```
- typeError
```
public TypeDecl typeError()
```
- typeRuntimeException
```
public TypeDecl typeRuntimeException()
```
- enclosedByExceptionHandler
```
public boolean enclosedByExceptionHandler()
```
- typeThrowable
```
public TypeDecl typeThrowable()
```
- 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_boolean_handlesException
```
public boolean Define_boolean_handlesException(ASTNode caller,
                                               ASTNode child,
                                               TypeDecl exceptionType)
```
  Overrides:
  
  Define_boolean_handlesException in class ASTNode<ASTNode>
- Define_boolean_reachable
```
public boolean Define_boolean_reachable(ASTNode caller,
                                        ASTNode child)
```
  Overrides:
  
  Define_boolean_reachable in class ASTNode<ASTNode>
- Define_boolean_reachableCatchClause
```
public boolean Define_boolean_reachableCatchClause(ASTNode caller,
                                                   ASTNode child,
                                                   TypeDecl exceptionType)
```
  Overrides:
  
  Define_boolean_reachableCatchClause in class ASTNode<ASTNode>
- Define_boolean_reportUnreachable
```
public boolean Define_boolean_reportUnreachable(ASTNode caller,
                                                ASTNode child)
```
  Overrides:
  
  Define_boolean_reportUnreachable in class ASTNode<ASTNode>
- Define_boolean_enclosedByExceptionHandler
```
public boolean Define_boolean_enclosedByExceptionHandler(ASTNode caller,
                                                         ASTNode child)
```
  Overrides:
  
  Define_boolean_enclosedByExceptionHandler in class ASTNode<ASTNode>
- Define_ArrayList_exceptionRanges
```
public ArrayList Define_ArrayList_exceptionRanges(ASTNode caller,
                                                  ASTNode child)
```
  Overrides:
  
  Define_ArrayList_exceptionRanges in class ASTNode<ASTNode>
- Define_Collection_TypeDecl__caughtExceptions
```
public Collection<TypeDecl> Define_Collection_TypeDecl__caughtExceptions(ASTNode caller,
                                                                         ASTNode child)
```
  Overrides:
  
  Define_Collection_TypeDecl__caughtExceptions in class ASTNode<ASTNode>
- rewriteTo
```
public ASTNode rewriteTo()
```
  Overrides:
  
  rewriteTo in class Stmt

Class TryStmt

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

branches_computed

branches_value

branchesFromFinally_computed

branchesFromFinally_value

targetBranches_computed

targetBranches_value

escapedBranches_computed

escapedBranches_value

isDAafter_Variable_values

isDUbefore_Variable_values

isDUafter_Variable_values

catchableException_TypeDecl_values

canCompleteNormally_computed

canCompleteNormally_value

label_begin_computed

label_begin_value

label_block_end_computed

label_block_end_value

label_end_computed

label_end_value

label_finally_computed

label_finally_value

label_finally_block_computed

label_finally_block_value

label_exception_handler_computed

label_exception_handler_value

label_catch_end_computed

label_catch_end_value

exceptionRanges_computed

exceptionRanges_value

handlesException_TypeDecl_values

typeError_computed

typeError_value

typeRuntimeException_computed

typeRuntimeException_value

Constructor Detail

TryStmt

TryStmt

Method Detail

flushCache

flushCollectionCache

clone

copy

fullCopy

collectBranches

branchTarget

collectFinally

reachedException

toString

emitFinallyCode

jimplify2

addFallThroughLabelTag

emitExceptionHandler

init$Children

numChildren

mayHaveRewrite

setBlock

getBlock

getBlockNoTransform

setCatchClauseList

getNumCatchClause

getNumCatchClauseNoTransform

getCatchClause

addCatchClause

addCatchClauseNoTransform

setCatchClause

getCatchClauses