de.uka.ilkd.key.java.visitor

Class OuterBreakContinueAndReturnCollector

java.lang.Object

de.uka.ilkd.key.java.visitor.JavaASTWalker

de.uka.ilkd.key.java.visitor.JavaASTVisitor

de.uka.ilkd.key.java.visitor.OuterBreakContinueAndReturnCollector

All Implemented Interfaces:

Visitor

public class OuterBreakContinueAndReturnCollector
extends JavaASTVisitor

Field Summary

Fields

Modifier and Type	Field and Description
private List<Break>	breaks
private List<Continue>	continues
private Stack<MethodFrame>	frames
private Stack<Label>	labels
private int	loopAndSwitchCascadeDepth
private List<Return>	returns

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

services

Constructor Summary

Constructors

Constructor and Description
OuterBreakContinueAndReturnCollector(ProgramElement root, List<Label> alwaysInnerLabels, Services services)

Method Summary

Modifier and Type	Method and Description
void	collect()
protected void	doAction(ProgramElement node) the action that is performed just before leaving the node the last time
protected void	doDefaultAction(SourceElement x) the action that is performed just before leaving the node the last time
List<Break>	getBreaks()
List<Continue>	getContinues()
List<Return>	getReturns()
boolean	hasReturns()
private boolean	isJumpToOuterLabel(LabelJumpStatement x)
void	performActionOnBreak(Break x)
void	performActionOnContinue(Continue x)
void	performActionOnReturn(Return x)
void	start() starts the walker
protected void	walk(ProgramElement node) walks through the AST.

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

performActionOnAbstractProgramElement, performActionOnAllFields, performActionOnAllObjects, performActionOnArrayDeclaration, performActionOnArrayInitializer, performActionOnArrayLengthReference, performActionOnArrayReference, performActionOnAssert, performActionOnBinaryAnd, performActionOnBinaryAndAssignment, performActionOnBinaryNot, performActionOnBinaryOr, performActionOnBinaryOrAssignment, performActionOnBinaryXOr, performActionOnBinaryXOrAssignment, performActionOnBlockContract, performActionOnBooleanLiteral, performActionOnCase, performActionOnCatch, performActionOnCatchAllStatement, performActionOnCharLiteral, performActionOnClassDeclaration, performActionOnClassInitializer, performActionOnComment, performActionOnCompilationUnit, performActionOnConditional, performActionOnConstructorDeclaration, performActionOnContextStatementBlock, performActionOnCopyAssignment, performActionOnDefault, performActionOnDivide, performActionOnDivideAssignment, performActionOnDLEmbeddedExpression, performActionOnDo, performActionOnDoubleLiteral, performActionOnElse, performActionOnEmptyMapLiteral, performActionOnEmptySeqLiteral, performActionOnEmptySetLiteral, performActionOnEmptyStatement, performActionOnEnhancedFor, performActionOnEquals, performActionOnExactInstanceof, performActionOnExecutionContext, performActionOnExtends, performActionOnFieldDeclaration, performActionOnFieldReference, performActionOnFieldSpecification, performActionOnFinally, performActionOnFloatLiteral, performActionOnFor, performActionOnForUpdates, performActionOnGreaterOrEquals, performActionOnGreaterThan, performActionOnGuard, performActionOnIf, performActionOnImplements, performActionOnImplicitFieldSpecification, performActionOnImport, performActionOnInstanceof, performActionOnInterfaceDeclaration, performActionOnIntersect, performActionOnIntLiteral, performActionOnIProgramVariable, performActionOnLabeledStatement, performActionOnLessOrEquals, performActionOnLessThan, performActionOnLocalVariableDeclaration, performActionOnLocationVariable, performActionOnLogicalAnd, performActionOnLogicalNot, performActionOnLogicalOr, performActionOnLongLiteral, performActionOnLoopInit, performActionOnLoopInvariant, performActionOnMetaClassReference, performActionOnMethod, performActionOnMethodBodyStatement, performActionOnMethodDeclaration, performActionOnMethodFrame, 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, performActionOnStatementBlock, performActionOnStringLiteral, performActionOnSuperArrayDeclaration, performActionOnSuperConstructorReference, performActionOnSuperReference, performActionOnSwitch, performActionOnSynchronizedBlock, performActionOnThen, performActionOnThisConstructorReference, performActionOnThisReference, performActionOnThrow, performActionOnThrows, performActionOnTimes, performActionOnTimesAssignment, performActionOnTransactionStatement, performActionOnTry, performActionOnTypeCast, performActionOnTypeReference, performActionOnUnsignedShiftRight, performActionOnUnsignedShiftRightAssignment, performActionOnVariableDeclaration, performActionOnVariableReference, performActionOnVariableSpecification, performActionOnWhile

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, toString, wait, wait, wait

Field Detail

breaks

private final List<Break> breaks

continues

private final List<Continue> continues

returns

private final List<Return> returns

loopAndSwitchCascadeDepth

private int loopAndSwitchCascadeDepth

labels

private final Stack<Label> labels

frames

private final Stack<MethodFrame> frames

Constructor Detail

OuterBreakContinueAndReturnCollector

public OuterBreakContinueAndReturnCollector(ProgramElement root,
                                            List<Label> alwaysInnerLabels,
                                            Services services)

Method Detail

getBreaks

public List<Break> getBreaks()

getContinues

public List<Continue> getContinues()

getReturns

public List<Return> getReturns()

hasReturns

public boolean hasReturns()

collect

public void collect()

start

public void start()

Description copied from class: JavaASTWalker

starts the walker

Overrides:

start in class JavaASTWalker

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

doAction

protected void doAction(ProgramElement node)

Description copied from class: JavaASTVisitor

the action that is performed just before leaving the node the last time

Overrides:

doAction in class JavaASTVisitor

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

isJumpToOuterLabel

private boolean isJumpToOuterLabel(LabelJumpStatement x)

performActionOnReturn

public void performActionOnReturn(Return x)

Specified by:

performActionOnReturn in interface Visitor

Overrides:

performActionOnReturn in class JavaASTVisitor