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

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

public class LabeledStmt
extends BranchTargetStmt
implements Cloneable

Field Summary

Fields
Modifier and Type	Field	Description
`protected boolean`	`canCompleteNormally_computed`
`protected boolean`	`canCompleteNormally_value`
`protected boolean`	`end_label_computed`
`protected Stmt`	`end_label_value`
`protected Map`	`isDAafter_Variable_values`
`protected Map`	`isDUafter_Variable_values`
`protected boolean`	`label_computed`
`protected Stmt`	`label_value`
`int`	`Labelend`
`int`	`Labelstart`
`protected Map`	`lookupLabel_String_values`
`protected Map`	`targetOf_BreakStmt_values`
`protected Map`	`targetOf_ContinueStmt_values`
`protected String`	`tokenString_Label`

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

LabeledStmt()

LabeledStmt(Symbol p0, Stmt p1)

LabeledStmt(String p0, Stmt p1)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Stmt`	`break_label()`
`boolean`	`canCompleteNormally()`
`LabeledStmt`	`clone()`
`Stmt`	`continue_label()`
`LabeledStmt`	`copy()`
`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)`
`LabeledStmt`	`Define_LabeledStmt_lookupLabel(ASTNode caller, ASTNode child, String name)`
`Stmt`	`end_label()`
`void`	`flushCache()`
`void`	`flushCollectionCache()`
`LabeledStmt`	`fullCopy()`	Create a deep copy of the AST subtree at this node.
`String`	`getLabel()`	Retrieves the value for the lexeme Label.
`Stmt`	`getStmt()`	Retrieves the Stmt child.
`Stmt`	`getStmtNoTransform()`	Retrieves the Stmt child.
`void`	`init$Children()`	Initializes the child array to the correct size.
`boolean`	`isDAafter(Variable v)`
`boolean`	`isDUafter(Variable v)`
`void`	`jimplify2(Body b)`
`Stmt`	`label()`
`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.
`void`	`setStmt(Stmt node)`	Replaces the Stmt child.
`boolean`	`targetOf(BreakStmt stmt)`
`boolean`	`targetOf(ContinueStmt stmt)`
`void`	`toString(StringBuffer s)`

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, 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_insideSwitch, 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_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_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
```

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

label_computed
```
protected boolean label_computed
```

label_value
```
protected Stmt label_value
```

end_label_computed
```
protected boolean end_label_computed
```

end_label_value
```
protected Stmt end_label_value
```

lookupLabel_String_values

protected Map lookupLabel_String_values

Constructor Detail

LabeledStmt
```
public LabeledStmt()
```

LabeledStmt

public LabeledStmt(String p0,
                   Stmt p1)

LabeledStmt

public LabeledStmt(Symbol p0,
                   Stmt p1)

Method Detail
- flushCache
```
public void flushCache()
```
  Overrides:
  
  flushCache in class BranchTargetStmt
- flushCollectionCache
```
public void flushCollectionCache()
```
  Overrides:
  
  flushCollectionCache in class BranchTargetStmt
- clone
```
public LabeledStmt clone()
                  throws CloneNotSupportedException
```
  Overrides:
  
  clone in class BranchTargetStmt
  
  Throws:
  
  CloneNotSupportedException
- copy
```
public LabeledStmt copy()
```
  Overrides:
  
  copy in class ASTNode<ASTNode>
- fullCopy
```
public LabeledStmt 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
- 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 BranchTargetStmt
- numChildren
```
protected int numChildren()
```
  Overrides:
  
  numChildren in class BranchTargetStmt
- mayHaveRewrite
```
public boolean mayHaveRewrite()
```
  Overrides:
  
  mayHaveRewrite in class BranchTargetStmt
- 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.
- setStmt
```
public void setStmt(Stmt node)
```
  Replaces the Stmt child.
  
  Parameters:
  
  node - The new node to replace the Stmt child.
- getStmt
```
public Stmt getStmt()
```
  Retrieves the Stmt child.
  
  Returns:
  
  The current node used as the Stmt child.
- getStmtNoTransform
```
public Stmt getStmtNoTransform()
```
  Retrieves the Stmt child.
  This method does not invoke AST transformations.
  
  Returns:
  
  The current node used as the Stmt child.
- 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
- isDUafter
```
public boolean isDUafter(Variable v)
```
  Overrides:
  
  isDUafter in class Stmt
- canCompleteNormally
```
public boolean canCompleteNormally()
```
  Overrides:
  
  canCompleteNormally in class Stmt
- label
```
public Stmt label()
```
- end_label
```
public Stmt end_label()
```
- break_label
```
public Stmt break_label()
```
  Overrides:
  
  break_label in class Stmt
- continue_label
```
public Stmt continue_label()
```
  Overrides:
  
  continue_label in class Stmt
- modifiedInScope
```
public boolean modifiedInScope(Variable var)
```
  Specified by:
  
  modifiedInScope in class Stmt
- lookupLabel
```
public LabeledStmt lookupLabel(String name)
```
- Define_LabeledStmt_lookupLabel
```
public LabeledStmt Define_LabeledStmt_lookupLabel(ASTNode caller,
                                                  ASTNode child,
                                                  String name)
```
  Overrides:
  
  Define_LabeledStmt_lookupLabel in class ASTNode<ASTNode>
- 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_reachable
```
public boolean Define_boolean_reachable(ASTNode caller,
                                        ASTNode child)
```
  Overrides:
  
  Define_boolean_reachable in class ASTNode<ASTNode>
- rewriteTo
```
public ASTNode rewriteTo()
```
  Overrides:
  
  rewriteTo in class BranchTargetStmt

Constructor	Description
`LabeledStmt()`
`LabeledStmt(Symbol p0, Stmt p1)`
`LabeledStmt(String p0, Stmt p1)`

Class LabeledStmt

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

tokenString_Label

Labelstart

Labelend

targetOf_ContinueStmt_values

targetOf_BreakStmt_values

isDAafter_Variable_values

isDUafter_Variable_values

canCompleteNormally_computed

canCompleteNormally_value

label_computed

label_value

end_label_computed

end_label_value

lookupLabel_String_values

Constructor Detail

LabeledStmt

LabeledStmt

LabeledStmt

Method Detail

flushCache

flushCollectionCache

clone

copy

fullCopy

nameCheck

toString

jimplify2

init$Children

numChildren

mayHaveRewrite

setLabel

setLabel

getLabel

setStmt

getStmt

getStmtNoTransform

targetOf

targetOf

isDAafter

isDUafter

canCompleteNormally

label

end_label

break_label

continue_label

modifiedInScope

lookupLabel

Define_LabeledStmt_lookupLabel

Define_boolean_isDAbefore

Define_boolean_isDUbefore

Define_boolean_reachable

rewriteTo