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 |
---|---|
EnhancedFor |
Recoder2KeYConverter.convert(EnhancedFor f)
converts a java5-enhanced-for.
|
static EnhancedFor |
KeYJavaASTFactory.enhancedForLoop(ExtList parameters)
Create an enhanced for loop.
|
Modifier and Type | Method and Description |
---|---|
void |
PrettyPrinter.printEnhancedFor(EnhancedFor x) |
void |
PrettyPrinter.printEnhancedFor(EnhancedFor x,
boolean includeBody) |
Modifier and Type | Method and Description |
---|---|
void |
Visitor.performActionOnEnhancedFor(EnhancedFor x) |
void |
OuterBreakContinueAndReturnReplacer.performActionOnEnhancedFor(EnhancedFor x) |
void |
InnerBreakAndContinueReplacer.performActionOnEnhancedFor(EnhancedFor x) |
void |
CreatingASTVisitor.performActionOnEnhancedFor(EnhancedFor x) |
void |
JavaASTVisitor.performActionOnEnhancedFor(EnhancedFor x) |
Modifier and Type | Method and Description |
---|---|
void |
WhileLoopTransformation.performActionOnEnhancedFor(EnhancedFor x)
perform the loop transformation on an enhanced for loop (Java5)
If the enhanced for loop is the toplevel loop nothing happens -
return the loop itself, as enhanced for loops cannot be unwound,
a log message is issued.
|
void |
ReplaceWhileLoop.performActionOnEnhancedFor(EnhancedFor x) |
void |
WhileInvariantTransformation.performActionOnEnhancedFor(EnhancedFor x)
Transform the body of an enhanced for loop for usage with
invariant-theorems.
|
Constructor and Description |
---|
EnhancedForElimination(ExecutionContext execContext,
EnhancedFor forStatement)
Creates a new enhaced for-loop elimination.
|
EnhancedForElimination(ProgramSV execContextSV,
EnhancedFor forStatement)
Creates a new enhaced for-loop elimination.
|
Copyright © 2003-2019 The KeY-Project.