OuterBreakContinueAndReturnReplacer (KeY API Documentation)

java.lang.Object
- de.uka.ilkd.key.java.visitor.JavaASTWalker
- - de.uka.ilkd.key.java.visitor.JavaASTVisitor
  - - de.uka.ilkd.key.java.visitor.OuterBreakContinueAndReturnReplacer

All Implemented Interfaces:: Visitor

public class OuterBreakContinueAndReturnReplacer
extends JavaASTVisitor

Nested Class Summary

Nested Classes
Modifier and Type Class and Description

private class OuterBreakContinueAndReturnReplacer.DefaultAction

Nested Classes
Modifier and Type	Class and Description
`private class`	`OuterBreakContinueAndReturnReplacer.DefaultAction`

Field Summary

Fields
Modifier and Type	Field and Description
`private Map<Label,ProgramVariable>`	`breakFlags`
`private Break`	`breakOut`
`protected static Boolean`	`CHANGED`
`private Map<Label,ProgramVariable>`	`continueFlags`
`private Stack<MethodFrame>`	`frames`
`private Stack<Label>`	`labels`
`private int`	`loopAndSwitchCascadeDepth`
`private StatementBlock`	`result`
`private ProgramVariable`	`returnFlag`
`private ProgramVariable`	`returnValue`
`private Stack<ExtList>`	`stack`

Fields inherited from class de.uka.ilkd.key.java.visitor.JavaASTVisitor
services

Constructor Summary

Constructors
Constructor and Description
`OuterBreakContinueAndReturnReplacer(StatementBlock block, Iterable<Label> alwaysInnerLabels, Label breakOutLabel, Map<Label,ProgramVariable> breakFlags, Map<Label,ProgramVariable> continueFlags, ProgramVariable returnFlag, ProgramVariable returnValue, Services services)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`private void`	`addChild(SourceElement x)`
`private void`	`changed()`
`protected void`	`doDefaultAction(SourceElement x)` the action that is performed just before leaving the node the last time
`StatementBlock`	`getResult()`
`private boolean`	`isJumpToOuterLabel(LabelJumpStatement x)`
`void`	`performActionOnBreak(Break x)`
`void`	`performActionOnCase(Case x)`
`void`	`performActionOnCatch(Catch x)`
`void`	`performActionOnContinue(Continue x)`
`void`	`performActionOnCopyAssignment(CopyAssignment x)`
`void`	`performActionOnDefault(Default x)`
`void`	`performActionOnDo(Do x)`
`void`	`performActionOnElse(Else x)`
`void`	`performActionOnEnhancedFor(EnhancedFor x)`
`void`	`performActionOnFinally(Finally x)`
`void`	`performActionOnFor(For x)`
`void`	`performActionOnIf(If x)`
`private void`	`performActionOnJump(LabelJumpStatement x, Map<Label,ProgramVariable> flags)`
`void`	`performActionOnLabeledStatement(LabeledStatement x)`
`void`	`performActionOnLocalVariableDeclaration(LocalVariableDeclaration x)`
`void`	`performActionOnMethodFrame(MethodFrame x)`
`void`	`performActionOnReturn(Return x)`
`void`	`performActionOnStatementBlock(StatementBlock x)`
`void`	`performActionOnSwitch(Switch x)`
`void`	`performActionOnSynchronizedBlock(SynchronizedBlock x)`
`void`	`performActionOnThen(Then x)`
`void`	`performActionOnTry(Try x)`
`void`	`performActionOnWhile(While x)`
`StatementBlock`	`replace()`
`void`	`start()` starts the walker
`String`	`toString()`
`protected void`	`walk(ProgramElement node)` walks through the AST.

Methods inherited from class de.uka.ilkd.key.java.visitor.JavaASTVisitor
doAction, performActionOnAbstractProgramElement, performActionOnAllFields, performActionOnAllObjects, performActionOnArrayDeclaration, performActionOnArrayInitializer, performActionOnArrayLengthReference, performActionOnArrayReference, performActionOnAssert, performActionOnBinaryAnd, performActionOnBinaryAndAssignment, performActionOnBinaryNot, performActionOnBinaryOr, performActionOnBinaryOrAssignment, performActionOnBinaryXOr, performActionOnBinaryXOrAssignment, performActionOnBlockContract, performActionOnBooleanLiteral, performActionOnCatchAllStatement, performActionOnCharLiteral, performActionOnClassDeclaration, performActionOnClassInitializer, performActionOnComment, performActionOnCompilationUnit, performActionOnConditional, performActionOnConstructorDeclaration, performActionOnContextStatementBlock, performActionOnDivide, performActionOnDivideAssignment, performActionOnDLEmbeddedExpression, performActionOnDoubleLiteral, performActionOnEmptyMapLiteral, performActionOnEmptySeqLiteral, performActionOnEmptySetLiteral, performActionOnEmptyStatement, performActionOnEquals, performActionOnExactInstanceof, performActionOnExecutionContext, performActionOnExtends, performActionOnFieldDeclaration, performActionOnFieldReference, performActionOnFieldSpecification, performActionOnFloatLiteral, performActionOnForUpdates, performActionOnGreaterOrEquals, performActionOnGreaterThan, performActionOnGuard, performActionOnImplements, performActionOnImplicitFieldSpecification, performActionOnImport, performActionOnInstanceof, performActionOnInterfaceDeclaration, performActionOnIntersect, performActionOnIntLiteral, performActionOnIProgramVariable, performActionOnLessOrEquals, performActionOnLessThan, performActionOnLocationVariable, performActionOnLogicalAnd, performActionOnLogicalNot, performActionOnLogicalOr, performActionOnLongLiteral, performActionOnLoopInit, performActionOnLoopInvariant, performActionOnMetaClassReference, performActionOnMethod, performActionOnMethodBodyStatement, performActionOnMethodDeclaration, performActionOnMethodReference, performActionOnMinus, performActionOnMinusAssignment, performActionOnModifier, performActionOnModulo, performActionOnModuloAssignment, performActionOnNegative, performActionOnNew, performActionOnNewArray, performActionOnNotEquals, performActionOnNullLiteral, performActionOnPackageReference, performActionOnPackageSpecification, performActionOnParameterDeclaration, performActionOnParenthesizedExpression, performActionOnPassiveExpression, performActionOnPlus, performActionOnPlusAssignment, performActionOnPositive, performActionOnPostDecrement, performActionOnPostIncrement, performActionOnPreDecrement, performActionOnPreIncrement, performActionOnProgramConstant, performActionOnProgramElementName, performActionOnProgramMetaConstruct, performActionOnProgramMethod, performActionOnProgramVariable, performActionOnSchematicFieldReference, performActionOnSchemaVariable, performActionOnSeqConcat, performActionOnSeqGet, performActionOnSeqIndexOf, performActionOnSeqLength, performActionOnSeqReverse, performActionOnSeqSingleton, performActionOnSeqSub, performActionOnSetMinus, performActionOnSetUnion, performActionOnShiftLeft, performActionOnShiftLeftAssignment, performActionOnShiftRight, performActionOnShiftRightAssignment, performActionOnSingleton, performActionOnStringLiteral, performActionOnSuperArrayDeclaration, performActionOnSuperConstructorReference, performActionOnSuperReference, performActionOnThisConstructorReference, performActionOnThisReference, performActionOnThrow, performActionOnThrows, performActionOnTimes, performActionOnTimesAssignment, performActionOnTransactionStatement, performActionOnTypeCast, performActionOnTypeReference, performActionOnUnsignedShiftRight, performActionOnUnsignedShiftRightAssignment, performActionOnVariableDeclaration, performActionOnVariableReference, performActionOnVariableSpecification

Methods inherited from class de.uka.ilkd.key.java.visitor.JavaASTWalker
depth, root

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Field Detail
  - CHANGED
```
protected static final Boolean CHANGED
```
  - breakOut
```
private final Break breakOut
```
  - breakFlags
```
private final Map<Label,ProgramVariable> breakFlags
```
  - continueFlags
```
private final Map<Label,ProgramVariable> continueFlags
```
  - returnFlag
```
private final ProgramVariable returnFlag
```
  - returnValue
```
private final ProgramVariable returnValue
```
  - stack
```
private final Stack<ExtList> stack
```
  - labels
```
private final Stack<Label> labels
```
  - frames
```
private final Stack<MethodFrame> frames
```
  - loopAndSwitchCascadeDepth
```
private int loopAndSwitchCascadeDepth
```
  - result
```
private StatementBlock result
```
- Constructor Detail
  - OuterBreakContinueAndReturnReplacer
```
public OuterBreakContinueAndReturnReplacer(StatementBlock block,
                                           Iterable<Label> alwaysInnerLabels,
                                           Label breakOutLabel,
                                           Map<Label,ProgramVariable> breakFlags,
                                           Map<Label,ProgramVariable> continueFlags,
                                           ProgramVariable returnFlag,
                                           ProgramVariable returnValue,
                                           Services services)
```
- Method Detail
  - replace
```
public StatementBlock replace()
```
  - start
```
public void start()
```
    Description copied from class: JavaASTWalker
    
    starts the walker
    
    Overrides:
    
    start in class JavaASTWalker
  - getResult
```
public StatementBlock getResult()
```
  - walk
```
protected void walk(ProgramElement node)
```
    Description copied from class: JavaASTWalker
    
    walks through the AST. While keeping track of the current node
    
    Overrides:
    
    walk in class JavaASTVisitor
    
    Parameters:
    
    node - the JavaProgramElement the walker is at
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - doDefaultAction
```
protected void doDefaultAction(SourceElement x)
```
    Description copied from class: JavaASTVisitor
    
    the action that is performed just before leaving the node the last time
    
    Specified by:
    
    doDefaultAction in class JavaASTVisitor
  - performActionOnBreak
```
public void performActionOnBreak(Break x)
```
    Specified by:
    
    performActionOnBreak in interface Visitor
    
    Overrides:
    
    performActionOnBreak in class JavaASTVisitor
  - performActionOnContinue
```
public void performActionOnContinue(Continue x)
```
    Specified by:
    
    performActionOnContinue in interface Visitor
    
    Overrides:
    
    performActionOnContinue in class JavaASTVisitor
  - performActionOnJump
```
private void performActionOnJump(LabelJumpStatement x,
                                 Map<Label,ProgramVariable> flags)
```
  - isJumpToOuterLabel
```
private boolean isJumpToOuterLabel(LabelJumpStatement x)
```
  - performActionOnReturn
```
public void performActionOnReturn(Return x)
```
    Specified by:
    
    performActionOnReturn in interface Visitor
    
    Overrides:
    
    performActionOnReturn in class JavaASTVisitor
  - performActionOnLocalVariableDeclaration
```
public void performActionOnLocalVariableDeclaration(LocalVariableDeclaration x)
```
    Specified by:
    
    performActionOnLocalVariableDeclaration in interface Visitor
    
    Overrides:
    
    performActionOnLocalVariableDeclaration in class JavaASTVisitor
  - performActionOnStatementBlock
```
public void performActionOnStatementBlock(StatementBlock x)
```
    Specified by:
    
    performActionOnStatementBlock in interface Visitor
    
    Overrides:
    
    performActionOnStatementBlock in class JavaASTVisitor
  - performActionOnWhile
```
public void performActionOnWhile(While x)
```
    Specified by:
    
    performActionOnWhile in interface Visitor
    
    Overrides:
    
    performActionOnWhile in class JavaASTVisitor
  - performActionOnFor
```
public void performActionOnFor(For x)
```
    Specified by:
    
    performActionOnFor in interface Visitor
    
    Overrides:
    
    performActionOnFor in class JavaASTVisitor
  - performActionOnEnhancedFor
```
public void performActionOnEnhancedFor(EnhancedFor x)
```
    Specified by:
    
    performActionOnEnhancedFor in interface Visitor
    
    Overrides:
    
    performActionOnEnhancedFor in class JavaASTVisitor
  - performActionOnDo
```
public void performActionOnDo(Do x)
```
    Specified by:
    
    performActionOnDo in interface Visitor
    
    Overrides:
    
    performActionOnDo in class JavaASTVisitor
  - performActionOnIf
```
public void performActionOnIf(If x)
```
    Specified by:
    
    performActionOnIf in interface Visitor
    
    Overrides:
    
    performActionOnIf in class JavaASTVisitor
  - performActionOnSwitch
```
public void performActionOnSwitch(Switch x)
```
    Specified by:
    
    performActionOnSwitch in interface Visitor
    
    Overrides:
    
    performActionOnSwitch in class JavaASTVisitor
  - performActionOnTry
```
public void performActionOnTry(Try x)
```
    Specified by:
    
    performActionOnTry in interface Visitor
    
    Overrides:
    
    performActionOnTry in class JavaASTVisitor
  - performActionOnLabeledStatement
```
public void performActionOnLabeledStatement(LabeledStatement x)
```
    Specified by:
    
    performActionOnLabeledStatement in interface Visitor
    
    Overrides:
    
    performActionOnLabeledStatement in class JavaASTVisitor
  - performActionOnMethodFrame
```
public void performActionOnMethodFrame(MethodFrame x)
```
    Specified by:
    
    performActionOnMethodFrame in interface Visitor
    
    Overrides:
    
    performActionOnMethodFrame in class JavaASTVisitor
  - performActionOnSynchronizedBlock
```
public void performActionOnSynchronizedBlock(SynchronizedBlock x)
```
    Specified by:
    
    performActionOnSynchronizedBlock in interface Visitor
    
    Overrides:
    
    performActionOnSynchronizedBlock in class JavaASTVisitor
  - performActionOnCopyAssignment
```
public void performActionOnCopyAssignment(CopyAssignment x)
```
    Specified by:
    
    performActionOnCopyAssignment in interface Visitor
    
    Overrides:
    
    performActionOnCopyAssignment in class JavaASTVisitor
  - performActionOnThen
```
public void performActionOnThen(Then x)
```
    Specified by:
    
    performActionOnThen in interface Visitor
    
    Overrides:
    
    performActionOnThen in class JavaASTVisitor
  - performActionOnElse
```
public void performActionOnElse(Else x)
```
    Specified by:
    
    performActionOnElse in interface Visitor
    
    Overrides:
    
    performActionOnElse in class JavaASTVisitor
  - performActionOnCase
```
public void performActionOnCase(Case x)
```
    Specified by:
    
    performActionOnCase in interface Visitor
    
    Overrides:
    
    performActionOnCase in class JavaASTVisitor
  - performActionOnCatch
```
public void performActionOnCatch(Catch x)
```
    Specified by:
    
    performActionOnCatch in interface Visitor
    
    Overrides:
    
    performActionOnCatch in class JavaASTVisitor
  - performActionOnDefault
```
public void performActionOnDefault(Default x)
```
    Specified by:
    
    performActionOnDefault in interface Visitor
    
    Overrides:
    
    performActionOnDefault in class JavaASTVisitor
  - performActionOnFinally
```
public void performActionOnFinally(Finally x)
```
    Specified by:
    
    performActionOnFinally in interface Visitor
    
    Overrides:
    
    performActionOnFinally in class JavaASTVisitor
  - changed
```
private void changed()
```
  - addChild
```
private void addChild(SourceElement x)
```

Class OuterBreakContinueAndReturnReplacer

Nested Class Summary

Field Summary

Fields inherited from class de.uka.ilkd.key.java.visitor.JavaASTVisitor

Constructor Summary

Method Summary

Methods inherited from class de.uka.ilkd.key.java.visitor.JavaASTVisitor

Methods inherited from class de.uka.ilkd.key.java.visitor.JavaASTWalker

Methods inherited from class java.lang.Object

Field Detail

CHANGED

breakOut

breakFlags

continueFlags

returnFlag

returnValue

stack

labels

frames

loopAndSwitchCascadeDepth

result

Constructor Detail

OuterBreakContinueAndReturnReplacer

Method Detail

replace

start

getResult

walk

toString

doDefaultAction

performActionOnBreak

performActionOnContinue

performActionOnJump

isJumpToOuterLabel

performActionOnReturn

performActionOnLocalVariableDeclaration

performActionOnStatementBlock

performActionOnWhile

performActionOnFor

performActionOnEnhancedFor

performActionOnDo

performActionOnIf

performActionOnSwitch

performActionOnTry

performActionOnLabeledStatement

performActionOnMethodFrame

performActionOnSynchronizedBlock

performActionOnCopyAssignment

performActionOnThen

performActionOnElse

performActionOnCase

performActionOnCatch

performActionOnDefault

performActionOnFinally

changed

addChild