Package soot.JastAddJ

Class BreakStmt

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Stmt

soot.JastAddJ.BreakStmt

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

public class BreakStmt
extends Stmt
implements Cloneable

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	canCompleteNormally_computed
protected boolean	canCompleteNormally_value
protected boolean	finallyList_computed
protected ArrayList	finallyList_value
protected boolean	inSynchronizedBlock_computed
protected boolean	inSynchronizedBlock_value
protected Map	isDAafter_Variable_values
protected Map	isDAafterReachedFinallyBlocks_Variable_values
protected Map	isDUafter_Variable_values
protected Map	isDUafterReachedFinallyBlocks_Variable_values
int	Labelend
int	Labelstart
protected Map	lookupLabel_String_values
protected boolean	targetStmt_computed
protected Stmt	targetStmt_value
protected String	tokenString_Label

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
BreakStmt()
BreakStmt(Symbol p0)
BreakStmt(String p0)

Method Summary

Modifier and Type	Method	Description
boolean	canCompleteNormally()
BreakStmt	clone()
void	collectBranches(Collection c)
BreakStmt	copy()
ArrayList	exceptionRanges()
ArrayList	finallyList()
void	flushCache()
void	flushCollectionCache()
BreakStmt	fullCopy()	Create a deep copy of the AST subtree at this node.
String	getLabel()	Retrieves the value for the lexeme Label.
boolean	hasLabel()
void	init$Children()	Initializes the child array to the correct size.
boolean	insideLoop()
boolean	insideSwitch()
boolean	inSynchronizedBlock()
boolean	isDAafter(Variable v)
boolean	isDAafterReachedFinallyBlocks(Variable v)
boolean	isDUafter(Variable v)
boolean	isDUafterReachedFinallyBlocks(Variable v)
void	jimplify2(Body b)
LabeledStmt	lookupLabel(String name)
boolean	mayHaveRewrite()
boolean	modifiedInScope(Variable var)
void	nameCheck()
protected int	numChildren()
ASTNode	rewriteTo()
void	setLabel(Symbol symbol)	JastAdd-internal setter for lexeme Label using the Beaver parser.
void	setLabel(String value)	Replaces the lexeme Label.
Stmt	targetStmt()
void	toString(StringBuffer s)

Methods inherited from class soot.JastAddJ.Stmt

addsIndentationLevel, break_label, 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, branchTarget, checkDUeverywhere, checkEnum, checkUncheckedConversion, checkWarnings, clearLocations, cloneSubtree, collectEnclosingVariables, collectErrors, collectExceptions, collectFinally, 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_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, getChild, getChildNoTransform, getIndexOfChild, getNumChild, getNumChildNoTransform, getParent, in$Circle, in$Circle, indent, insertChild, is$Final, is$Final, isDescendantTo, isStringAdd, iterator, jimplify1phase1, jimplify1phase2, jimplify2, lineNumber, location, newLabel, options, putSimpleSetElement, reachedException, removeChild, removeInstanceMethods, removeInstanceVariables, replace, setChild, setEnd, setLocation, setParent, setStart, sourceFile, start, state, 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

tokenString_Label

protected String tokenString_Label

Labelstart

public int Labelstart

Labelend

public int Labelend

targetStmt_computed

protected boolean targetStmt_computed

targetStmt_value

protected Stmt targetStmt_value

finallyList_computed

protected boolean finallyList_computed

finallyList_value

protected ArrayList finallyList_value

isDAafter_Variable_values

protected Map isDAafter_Variable_values

isDUafterReachedFinallyBlocks_Variable_values

protected Map isDUafterReachedFinallyBlocks_Variable_values

isDAafterReachedFinallyBlocks_Variable_values

protected Map isDAafterReachedFinallyBlocks_Variable_values

isDUafter_Variable_values

protected Map isDUafter_Variable_values

canCompleteNormally_computed

protected boolean canCompleteNormally_computed

canCompleteNormally_value

protected boolean canCompleteNormally_value

inSynchronizedBlock_computed

protected boolean inSynchronizedBlock_computed

inSynchronizedBlock_value

protected boolean inSynchronizedBlock_value

lookupLabel_String_values

protected Map lookupLabel_String_values

Constructor Detail

BreakStmt

public BreakStmt()

BreakStmt

public BreakStmt(String p0)

BreakStmt

public BreakStmt(Symbol p0)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class Stmt

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class Stmt

clone

public BreakStmt clone()
                throws CloneNotSupportedException

Overrides:

clone in class Stmt

Throws:

CloneNotSupportedException

copy

public BreakStmt copy()

Overrides:

copy in class ASTNode<ASTNode>

fullCopy

public BreakStmt 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

collectBranches

public void collectBranches(Collection c)

Overrides:

collectBranches in class ASTNode<ASTNode>

nameCheck

public void nameCheck()

Overrides:

nameCheck in class ASTNode<ASTNode>

toString

public void toString(StringBuffer s)

Overrides:

toString in class ASTNode<ASTNode>

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

setLabel

public void setLabel(String value)

Replaces the lexeme Label.

Parameters:

value - The new value for the lexeme Label.

setLabel

public void setLabel(Symbol symbol)

JastAdd-internal setter for lexeme Label using the Beaver parser.

getLabel

public String getLabel()

Retrieves the value for the lexeme Label.

Returns:

The value for the lexeme Label.

hasLabel

public boolean hasLabel()

targetStmt

public Stmt targetStmt()

finallyList

public ArrayList finallyList()

isDAafter

public boolean isDAafter(Variable v)

Overrides:

isDAafter in class Stmt

isDUafterReachedFinallyBlocks

public boolean isDUafterReachedFinallyBlocks(Variable v)

isDAafterReachedFinallyBlocks

public boolean isDAafterReachedFinallyBlocks(Variable v)

isDUafter

public boolean isDUafter(Variable v)

Overrides:

isDUafter in class Stmt

canCompleteNormally

public boolean canCompleteNormally()

Overrides:

canCompleteNormally in class Stmt

inSynchronizedBlock

public boolean inSynchronizedBlock()

modifiedInScope

public boolean modifiedInScope(Variable var)

Specified by:

modifiedInScope in class Stmt

lookupLabel

public LabeledStmt lookupLabel(String name)

insideLoop

public boolean insideLoop()

insideSwitch

public boolean insideSwitch()

exceptionRanges

public ArrayList exceptionRanges()

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class Stmt