soot.JastAddJ

Class SwitchStmt

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 and 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 and Description
SwitchStmt()
SwitchStmt(Expr p0, Block p1)

Method Summary

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