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

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

Direct Known Subclasses:

AssertStmt, Block, BranchTargetStmt, BreakStmt, Case, ContinueStmt, EmptyStmt, ExprStmt, IfStmt, LocalClassDeclStmt, ReturnStmt, SynchronizedStmt, ThrowStmt, TryStmt, VarDeclStmt, VariableDeclaration
```
public abstract class Stmt
extends ASTNode<ASTNode>
implements Cloneable
```

Field Summary

Fields
Modifier and Type	Field	Description
`protected boolean`	`canCompleteNormally_computed`
`protected boolean`	`canCompleteNormally_value`
`protected Map`	`isDAafter_Variable_values`
`protected Map`	`isDUafter_Variable_values`
`protected boolean`	`localNum_computed`
`protected int`	`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

Stmt()

Method Summary

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`addsIndentationLevel()`
`Stmt`	`break_label()`
`boolean`	`canCompleteNormally()`
`Stmt`	`clone()`
`Stmt`	`continue_label()`
`boolean`	`continueLabel()`
`boolean`	`declaresVariable(String name)`
`String`	`Define_String_typeDeclIndent(ASTNode caller, ASTNode child)`
`BodyDecl`	`enclosingBodyDecl()`
`void`	`flushCache()`
`void`	`flushCollectionCache()`
`TypeDecl`	`hostType()`
`void`	`init$Children()`	Initializes the child array to the correct size.
`boolean`	`isDAafter(Variable v)`
`boolean`	`isDAbefore(Variable v)`
`boolean`	`isDUafter(Variable v)`
`boolean`	`isDUbefore(Variable v)`
`void`	`jimplify2(Body b)`
`int`	`localNum()`
`Collection`	`lookupMethod(String name)`
`SimpleSet`	`lookupType(String name)`
`TypeDecl`	`lookupType(String packageName, String typeName)`
`SimpleSet`	`lookupVariable(String name)`
`boolean`	`mayHaveRewrite()`
`abstract boolean`	`modifiedInScope(Variable var)`
`protected int`	`numChildren()`
`boolean`	`reachable()`
`boolean`	`reportUnreachable()`
`ASTNode`	`rewriteTo()`

Methods inherited from class soot.JastAddJ.ASTNode
accessControl, addAttributes, addChild, asImmediate, asLocal, asLocal, asRValue, beginExceptionRange, branchTarget, checkDUeverywhere, checkEnum, checkUncheckedConversion, checkWarnings, clearLocations, cloneSubtree, collectBranches, collectEnclosingVariables, collectErrors, collectExceptions, collectFinally, collectTypesToHierarchy, collectTypesToSignatures, compilationUnit, copy, 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_isDAbefore, Define_boolean_isDest, Define_boolean_isDUbefore, 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_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, fullCopy, 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, 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

isDAafter_Variable_values

protected Map isDAafter_Variable_values

isDUafter_Variable_values

protected Map isDUafter_Variable_values

canCompleteNormally_computed

protected boolean canCompleteNormally_computed

canCompleteNormally_value

protected boolean canCompleteNormally_value

localNum_computed
```
protected boolean localNum_computed
```

localNum_value
```
protected int localNum_value
```

Constructor Detail
- Stmt
```
public Stmt()
```

Method Detail

flushCache
```
public void flushCache()
```
Overrides:

flushCache in class ASTNode<ASTNode>

flushCollectionCache
```
public void flushCollectionCache()
```
Overrides:

flushCollectionCache in class ASTNode<ASTNode>

clone
```
public Stmt clone()
           throws CloneNotSupportedException
```
Overrides:

clone in class ASTNode<ASTNode>

Throws:

CloneNotSupportedException

jimplify2
```
public void jimplify2(Body b)
```
Overrides:

jimplify2 in class ASTNode<ASTNode>

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 ASTNode<ASTNode>

numChildren
```
protected int numChildren()
```
Overrides:

numChildren in class ASTNode<ASTNode>

mayHaveRewrite
```
public boolean mayHaveRewrite()
```
Overrides:

mayHaveRewrite in class ASTNode<ASTNode>

modifiedInScope

public abstract boolean modifiedInScope(Variable var)

isDAafter

public boolean isDAafter(Variable v)

isDUafter

public boolean isDUafter(Variable v)

declaresVariable

public boolean declaresVariable(String name)

continueLabel
```
public boolean continueLabel()
```

addsIndentationLevel
```
public boolean addsIndentationLevel()
```
Overrides:

addsIndentationLevel in class ASTNode<ASTNode>

canCompleteNormally
```
public boolean canCompleteNormally()
```

break_label
```
public Stmt break_label()
```

continue_label
```
public Stmt continue_label()
```

isDAbefore

public boolean isDAbefore(Variable v)

isDUbefore

public boolean isDUbefore(Variable v)

lookupMethod

public Collection lookupMethod(String name)

lookupType

public TypeDecl lookupType(String packageName,
                           String typeName)

lookupType

public SimpleSet lookupType(String name)

lookupVariable

public SimpleSet lookupVariable(String name)

enclosingBodyDecl
```
public BodyDecl enclosingBodyDecl()
```

hostType
```
public TypeDecl hostType()
```

reachable
```
public boolean reachable()
```

reportUnreachable
```
public boolean reportUnreachable()
```

localNum
```
public int localNum()
```

Define_String_typeDeclIndent

public String Define_String_typeDeclIndent(ASTNode caller,
                                           ASTNode child)

Overrides:: Define_String_typeDeclIndent in class ASTNode<ASTNode>

rewriteTo
```
public ASTNode rewriteTo()
```
Overrides:

rewriteTo in class ASTNode<ASTNode>

Class Stmt

Field Summary

Fields inherited from class soot.JastAddJ.ASTNode

Fields inherited from class beaver.Symbol

Constructor Summary

Method Summary

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

isDAafter_Variable_values

isDUafter_Variable_values

canCompleteNormally_computed

canCompleteNormally_value

localNum_computed

localNum_value

Constructor Detail

Stmt

Method Detail

flushCache

flushCollectionCache

clone

jimplify2

init$Children

numChildren

mayHaveRewrite

modifiedInScope

isDAafter

isDUafter

declaresVariable

continueLabel

addsIndentationLevel

canCompleteNormally

break_label

continue_label

isDAbefore

isDUbefore

lookupMethod

lookupType

lookupType

lookupVariable

enclosingBodyDecl

hostType

reachable

reportUnreachable

localNum

Define_String_typeDeclIndent

rewriteTo