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

All Implemented Interfaces:: Cloneable, Iterable<ASTNode>, BranchPropagation

public class SwitchStmt
extends BranchTargetStmt
implements Cloneable

Field Summary

Fields
Modifier and Type	Field	Description
`protected boolean`	`canCompleteNormally_computed`
`protected boolean`	`canCompleteNormally_value`
`protected boolean`	`defaultCase_computed`
`protected DefaultCase`	`defaultCase_value`
`protected boolean`	`end_label_computed`
`protected Stmt`	`end_label_value`
`protected Map`	`isDAafter_Variable_values`
`protected Map`	`isDUafter_Variable_values`
`protected Map`	`targetOf_BreakStmt_values`
`protected Map`	`targetOf_ContinueStmt_values`
`protected boolean`	`typeInt_computed`
`protected TypeDecl`	`typeInt_value`
`protected boolean`	`typeLong_computed`
`protected TypeDecl`	`typeLong_value`

Fields inherited from class soot.JastAddJ.BranchTargetStmt
branches_computed, branches_value, escapedBranches_computed, escapedBranches_value, reachableBreak_computed, reachableBreak_value, reachableContinue_computed, reachableContinue_value, targetBranches_computed, targetBranches_value, targetBreaks_computed, targetBreaks_value, targetContinues_computed, targetContinues_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 Description

SwitchStmt()

SwitchStmt(Expr p0, Block p1)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`assignedAfterLastStmt(Variable v)`
`Stmt`	`break_label()`
`boolean`	`canCompleteNormally()`
`SwitchStmt`	`clone()`
`SwitchStmt`	`copy()`
`DefaultCase`	`defaultCase()`
`boolean`	`Define_boolean_insideSwitch(ASTNode caller, ASTNode child)`
`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_reportUnreachable(ASTNode caller, ASTNode child)`
`Case`	`Define_Case_bind(ASTNode caller, ASTNode child, Case c)`
`TypeDecl`	`Define_TypeDecl_switchType(ASTNode caller, ASTNode child)`
`Stmt`	`end_label()`
`void`	`flushCache()`
`void`	`flushCollectionCache()`
`SwitchStmt`	`fullCopy()`	Create a deep copy of the AST subtree at this node.
`Block`	`getBlock()`	Retrieves the Block child.
`Block`	`getBlockNoTransform()`	Retrieves the Block child.
`Expr`	`getExpr()`	Retrieves the Expr child.
`Expr`	`getExprNoTransform()`	Retrieves the Expr child.
`void`	`init$Children()`	Initializes the child array to the correct size.
`boolean`	`isDAafter(Variable v)`
`boolean`	`isDUafter(Variable v)`
`void`	`jimplify2(Body b)`
`boolean`	`lastStmtCanCompleteNormally()`
`boolean`	`mayHaveRewrite()`
`boolean`	`modifiedInScope(Variable var)`
`boolean`	`noDefaultLabel()`
`boolean`	`noStmts()`
`boolean`	`noStmtsAfterLastLabel()`
`protected int`	`numChildren()`
`void`	`refined_Enums_SwitchStmt_typeCheck()`
`ASTNode`	`rewriteTo()`
`void`	`setBlock(Block node)`	Replaces the Block child.
`void`	`setExpr(Expr node)`	Replaces the Expr child.
`boolean`	`switchLabelEndsBlock()`
`boolean`	`targetOf(BreakStmt stmt)`
`boolean`	`targetOf(ContinueStmt stmt)`
`void`	`toString(StringBuffer s)`
`void`	`transformation()`
`void`	`typeCheck()`	Overrides the type checking of the switch statement's expression.
`TypeDecl`	`typeInt()`
`TypeDecl`	`typeLong()`
`boolean`	`unassignedAfterLastStmt(Variable v)`

Methods inherited from class soot.JastAddJ.BranchTargetStmt
branches, branchTarget, collectBranches, collectFinally, escapedBranches, reachableBreak, reachableContinue, targetBranches, targetBreaks, targetContinues

Methods inherited from class soot.JastAddJ.Stmt
addsIndentationLevel, 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, checkDUeverywhere, checkEnum, checkUncheckedConversion, checkWarnings, clearLocations, cloneSubtree, collectEnclosingVariables, collectErrors, collectExceptions, 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_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_reachableCatchClause, Define_boolean_resourcePreviouslyDeclared, Define_boolean_variableArityValid, Define_boolean_withinDeprecatedAnnotation, Define_boolean_withinSuppressWarnings, 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_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, 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

targetOf_ContinueStmt_values

protected Map targetOf_ContinueStmt_values

targetOf_BreakStmt_values

protected Map targetOf_BreakStmt_values

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

defaultCase_computed
```
protected boolean defaultCase_computed
```

defaultCase_value

protected DefaultCase defaultCase_value

end_label_computed
```
protected boolean end_label_computed
```

end_label_value
```
protected Stmt end_label_value
```

typeInt_computed
```
protected boolean typeInt_computed
```

typeInt_value
```
protected TypeDecl typeInt_value
```

typeLong_computed
```
protected boolean typeLong_computed
```

typeLong_value
```
protected TypeDecl typeLong_value
```

Constructor Detail

SwitchStmt
```
public SwitchStmt()
```

SwitchStmt

public SwitchStmt(Expr p0,
                  Block p1)

Method Detail
- flushCache
```
public void flushCache()
```
  Overrides:
  
  flushCache in class BranchTargetStmt
- flushCollectionCache
```
public void flushCollectionCache()
```
  Overrides:
  
  flushCollectionCache in class BranchTargetStmt
- clone
```
public SwitchStmt clone()
                 throws CloneNotSupportedException
```
  Overrides:
  
  clone in class BranchTargetStmt
  
  Throws:
  
  CloneNotSupportedException
- copy
```
public SwitchStmt copy()
```
  Overrides:
  
  copy in class ASTNode<ASTNode>
- fullCopy
```
public SwitchStmt 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
- toString
```
public void toString(StringBuffer s)
```
  Overrides:
  
  toString in class ASTNode<ASTNode>
- jimplify2
```
public void jimplify2(Body b)
```
  Overrides:
  
  jimplify2 in class Stmt
- transformation
```
public void transformation()
```
  Overrides:
  
  transformation 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 BranchTargetStmt
- numChildren
```
protected int numChildren()
```
  Overrides:
  
  numChildren in class BranchTargetStmt
- mayHaveRewrite
```
public boolean mayHaveRewrite()
```
  Overrides:
  
  mayHaveRewrite in class BranchTargetStmt
- setExpr
```
public void setExpr(Expr node)
```
  Replaces the Expr child.
  
  Parameters:
  
  node - The new node to replace the Expr child.
- getExpr
```
public Expr getExpr()
```
  Retrieves the Expr child.
  
  Returns:
  
  The current node used as the Expr child.
- getExprNoTransform
```
public Expr getExprNoTransform()
```
  Retrieves the Expr child.
  This method does not invoke AST transformations.
  
  Returns:
  
  The current node used as the Expr child.
- 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.
- refined_Enums_SwitchStmt_typeCheck
```
public void refined_Enums_SwitchStmt_typeCheck()
```
- typeCheck
```
public void typeCheck()
```
  Overrides the type checking of the switch statement's expression.
  In JSR 334 a switch statement may use an expression of type String.
  
  Overrides:
  
  typeCheck in class ASTNode<ASTNode>
- targetOf
```
public boolean targetOf(ContinueStmt stmt)
```
  Specified by:
  
  targetOf in interface BranchPropagation
  
  Specified by:
  
  targetOf in class BranchTargetStmt
- targetOf
```
public boolean targetOf(BreakStmt stmt)
```
  Specified by:
  
  targetOf in interface BranchPropagation
  
  Specified by:
  
  targetOf in class BranchTargetStmt
- isDAafter
```
public boolean isDAafter(Variable v)
```
  Overrides:
  
  isDAafter in class Stmt
- assignedAfterLastStmt
```
public boolean assignedAfterLastStmt(Variable v)
```
- isDUafter
```
public boolean isDUafter(Variable v)
```
  Overrides:
  
  isDUafter in class Stmt
- unassignedAfterLastStmt
```
public boolean unassignedAfterLastStmt(Variable v)
```
- switchLabelEndsBlock
```
public boolean switchLabelEndsBlock()
```
- lastStmtCanCompleteNormally
```
public boolean lastStmtCanCompleteNormally()
```
- noStmts
```
public boolean noStmts()
```
- noStmtsAfterLastLabel
```
public boolean noStmtsAfterLastLabel()
```
- noDefaultLabel
```
public boolean noDefaultLabel()
```
- canCompleteNormally
```
public boolean canCompleteNormally()
```
  Overrides:
  
  canCompleteNormally in class Stmt
- defaultCase
```
public DefaultCase defaultCase()
```
- end_label
```
public Stmt end_label()
```
- break_label
```
public Stmt break_label()
```
  Overrides:
  
  break_label in class Stmt
- modifiedInScope
```
public boolean modifiedInScope(Variable var)
```
  Specified by:
  
  modifiedInScope in class Stmt
- typeInt
```
public TypeDecl typeInt()
```
- typeLong
```
public TypeDecl typeLong()
```
- 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_insideSwitch
```
public boolean Define_boolean_insideSwitch(ASTNode caller,
                                           ASTNode child)
```
  Overrides:
  
  Define_boolean_insideSwitch in class ASTNode<ASTNode>
- Define_Case_bind
```
public Case Define_Case_bind(ASTNode caller,
                             ASTNode child,
                             Case c)
```
  Overrides:
  
  Define_Case_bind in class ASTNode<ASTNode>
- Define_TypeDecl_switchType
```
public TypeDecl Define_TypeDecl_switchType(ASTNode caller,
                                           ASTNode child)
```
  Overrides:
  
  Define_TypeDecl_switchType 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_reportUnreachable
```
public boolean Define_boolean_reportUnreachable(ASTNode caller,
                                                ASTNode child)
```
  Overrides:
  
  Define_boolean_reportUnreachable in class ASTNode<ASTNode>
- rewriteTo
```
public ASTNode rewriteTo()
```
  Overrides:
  
  rewriteTo in class BranchTargetStmt

Class SwitchStmt

Field Summary

Fields inherited from class soot.JastAddJ.BranchTargetStmt

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.BranchTargetStmt

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

targetOf_ContinueStmt_values

targetOf_BreakStmt_values

isDAafter_Variable_values

isDUafter_Variable_values

canCompleteNormally_computed

canCompleteNormally_value

defaultCase_computed

defaultCase_value

end_label_computed

end_label_value

typeInt_computed

typeInt_value

typeLong_computed

typeLong_value

Constructor Detail

SwitchStmt

SwitchStmt

Method Detail

flushCache

flushCollectionCache

clone

copy

fullCopy

toString

jimplify2

transformation

init$Children

numChildren

mayHaveRewrite

setExpr

getExpr

getExprNoTransform

setBlock

getBlock

getBlockNoTransform

refined_Enums_SwitchStmt_typeCheck

typeCheck

targetOf

targetOf

isDAafter

assignedAfterLastStmt

isDUafter

unassignedAfterLastStmt

switchLabelEndsBlock

lastStmtCanCompleteNormally

noStmts

noStmtsAfterLastLabel

noDefaultLabel

canCompleteNormally

defaultCase

end_label

break_label

modifiedInScope

typeInt

typeLong

Define_boolean_isDAbefore

Define_boolean_isDUbefore

Define_boolean_insideSwitch

Define_Case_bind

Define_TypeDecl_switchType

Define_boolean_reachable

Define_boolean_reportUnreachable

rewriteTo