Package | Description |
---|---|
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 | Class and Description |
---|---|
class |
ContainsStatementVisitor
Utilits class used by
SymbolicExecutionUtil#containsStatement(MethodFrame, ProgramElement, Services) . |
class |
CreatingASTVisitor
Walks through a java AST in depth-left-fist-order.
|
class |
DeclarationProgramVariableCollector
The DeclarationProgramVariableCollector collects all top level
declared program variables relative to the given block to be
visited, for example starting with
{ int j; { int i; } { int h; } for (int k; ...) {} int h; }
the collector will return a set containg j, h the
h because of the second occurrence of h |
class |
FieldReplaceVisitor
Replaces field references o.a by methodcalls o._a().
|
class |
InnerBreakAndContinueReplacer
This replaces all breaks and continues in a loop with
break l , where l is a
specified label. |
class |
LabelCollector
Collects all labels found in a given program.
|
class |
OuterBreakContinueAndReturnCollector |
class |
OuterBreakContinueAndReturnReplacer |
class |
ProgramElementReplacer |
class |
ProgramReplaceVisitor
Walks through a java AST in depth-left-fist-order.
|
class |
ProgramVariableCollector
Walks through a java AST in depth-left-fist-order.
|
class |
ProgVarReplaceVisitor
Walks through a java AST in depth-left-first-order.
|
class |
UndeclaredProgramVariableCollector
This class is a specialization of
ProgramVariableCollector which
returns as result (UndeclaredProgramVariableCollector.result() ) used LocationVariable which
are undeclared, but used in the given {@link ProgramElement. |
Modifier and Type | Class and Description |
---|---|
class |
ForToWhileTransformation
This transformation is used to transform a for-loop into a while-loop.
|
class |
ReplaceWhileLoop
This visitor is used to identify and replace the while loop
in invariant rule.
|
class |
WhileInvariantTransformation
Walks through a java AST in depth-left-fist-order.
|
class |
WhileLoopTransformation
Walks through a java AST in depth-left-fist-order.
|
Copyright © 2003-2019 The KeY-Project.