Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.java.visitor |
contains classes representing visitors traversing the tree
structure of Java programs.
|
de.uka.ilkd.key.rule.metaconstruct |
contains classes representing the meta constructs of
Taclet s. |
Modifier and Type | Method and Description |
---|---|
For |
Recoder2KeYConverter.convert(For f)
converts a For.
|
For |
SchemaRecoder2KeYConverter.convert(For f)
converts a For.
|
static For |
KeYJavaASTFactory.forLoop(ExtList parameters)
Create a for loop.
|
static For |
KeYJavaASTFactory.forLoop(IGuard guard,
IForUpdates updates,
Statement body)
Create a for loop with no initializer.
|
static For |
KeYJavaASTFactory.forLoop(IGuard guard,
IForUpdates updates,
Statement[] body)
Create a for loop with no initializer.
|
static For |
KeYJavaASTFactory.forLoop(ILoopInit init,
IGuard guard,
IForUpdates updates,
Statement... statements)
Create a for loop from the loop definition and an arbitrary number of
body statements.
|
Modifier and Type | Method and Description |
---|---|
void |
PrettyPrinter.printFor(For x) |
void |
PrettyPrinter.printFor(For x,
boolean includeBody) |
Modifier and Type | Method and Description |
---|---|
void |
Visitor.performActionOnFor(For x) |
void |
OuterBreakContinueAndReturnReplacer.performActionOnFor(For x) |
void |
InnerBreakAndContinueReplacer.performActionOnFor(For x) |
void |
CreatingASTVisitor.performActionOnFor(For x) |
void |
JavaASTVisitor.performActionOnFor(For x) |
Modifier and Type | Method and Description |
---|---|
void |
WhileLoopTransformation.performActionOnFor(For x)
public void performActionOnFor(For x) {
ExtList changeList = stack.peek();
if (replaceBreakWithNoLabel==0) {
//most outer for loop
if (changeList.getFirst() == CHANGED)
changeList.removeFirst();
LoopInitializer init[] =
new LoopInitializer[x.getInitializers().size()];
Expression[] updates =
new Expression[x.getUpdates().size()];
s
//the unchanged updates need to be extracted to initialize the
//remainding 'for' statement
Expression[] unchangedUpdates =
new Expression[x.getUpdates().size()];
Expression guard = null;
Statement body = null;
ProgramElement element =
(ProgramElement) (changeList.isEmpty() ?
null :
changeList.removeFirst());
// get loop initializers
int foundInitializers = 0;
while (element instanceof LoopInitializer) {
init[foundInitializers] = (LoopInitializer) element;
element = (ProgramElement) (changeList.isEmpty() ?
null :
changeList.removeFirst());
foundInitializers++;
}
de.uka.ilkd.key.util.Debug.assertTrue
(init.length == x.getInitializers().size(),
"Critical Error: not all initializers found.
|
void |
ForToWhileTransformation.performActionOnFor(For x)
change the for-loop to a while loop with inits and updates.
|
Constructor and Description |
---|
Unpack(For loop)
creates a typeof ProgramTransformer
|
Copyright © 2003-2019 The KeY-Project.