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

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

Direct Known Subclasses:

ConstCase, DefaultCase
```
public abstract class Case
extends Stmt
implements Cloneable
```

Field Summary

Fields
Modifier and Type	Field	Description
`protected Map`	`bind_Case_values`
`protected Map`	`isDAafter_Variable_values`
`protected Map`	`isDAbefore_Variable_values`
`protected Map`	`isDUafter_Variable_values`
`protected boolean`	`label_computed`
`protected Stmt`	`label_value`

Fields inherited from class soot.JastAddJ.Stmt
canCompleteNormally_computed, canCompleteNormally_value, 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

Case()

Method Summary

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`Case`	`bind(Case c)`
`Case`	`clone()`
`abstract boolean`	`constValue(Case c)`
`void`	`flushCache()`
`void`	`flushCollectionCache()`
`void`	`init$Children()`	Initializes the child array to the correct size.
`boolean`	`isDAafter(Variable v)`
`boolean`	`isDAbefore(Variable v)`
`boolean`	`isDefaultCase()`
`boolean`	`isDUafter(Variable v)`
`boolean`	`isDUbefore(Variable v)`
`void`	`jimplify2(Body b)`
`Stmt`	`label()`
`boolean`	`mayHaveRewrite()`
`boolean`	`modifiedInScope(Variable var)`
`protected int`	`numChildren()`
`boolean`	`reachable()`
`ASTNode`	`rewriteTo()`
`TypeDecl`	`switchType()`

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

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

isDAbefore_Variable_values

protected Map isDAbefore_Variable_values

isDAafter_Variable_values

protected Map isDAafter_Variable_values

isDUafter_Variable_values

protected Map isDUafter_Variable_values

label_computed
```
protected boolean label_computed
```

label_value
```
protected Stmt label_value
```

bind_Case_values
```
protected Map bind_Case_values
```

Constructor Detail
- Case
```
public Case()
```

Method Detail
- flushCache
```
public void flushCache()
```
  Overrides:
  
  flushCache in class Stmt
- flushCollectionCache
```
public void flushCollectionCache()
```
  Overrides:
  
  flushCollectionCache in class Stmt
- clone
```
public Case clone()
           throws CloneNotSupportedException
```
  Overrides:
  
  clone in class Stmt
  
  Throws:
  
  CloneNotSupportedException
- 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
- constValue
```
public abstract boolean constValue(Case c)
```
- isDAbefore
```
public boolean isDAbefore(Variable v)
```
  Overrides:
  
  isDAbefore in class Stmt
- isDAafter
```
public boolean isDAafter(Variable v)
```
  Overrides:
  
  isDAafter in class Stmt
- isDUbefore
```
public boolean isDUbefore(Variable v)
```
  Overrides:
  
  isDUbefore in class Stmt
- isDUafter
```
public boolean isDUafter(Variable v)
```
  Overrides:
  
  isDUafter in class Stmt
- reachable
```
public boolean reachable()
```
  Overrides:
  
  reachable in class Stmt
- label
```
public Stmt label()
```
- modifiedInScope
```
public boolean modifiedInScope(Variable var)
```
  Specified by:
  
  modifiedInScope in class Stmt
- isDefaultCase
```
public boolean isDefaultCase()
```
- bind
```
public Case bind(Case c)
```
- switchType
```
public TypeDecl switchType()
```
- rewriteTo
```
public ASTNode rewriteTo()
```
  Overrides:
  
  rewriteTo in class Stmt

Class Case

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

isDAbefore_Variable_values

isDAafter_Variable_values

isDUafter_Variable_values

label_computed

label_value

bind_Case_values

Constructor Detail

Case

Method Detail

flushCache

flushCollectionCache

clone

jimplify2

init$Children

numChildren

mayHaveRewrite

constValue

isDAbefore

isDAafter

isDUbefore

isDUafter

reachable

label

modifiedInScope

isDefaultCase

bind

switchType

rewriteTo