soot.JastAddJ

Class Case

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 and 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 and Description
Case()

Method Summary

Modifier and Type	Method and 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