See: Description
| Interface | Description |
|---|---|
| Visitor |
This class is implemented by visitors/walkers.
|
| Class | Description |
|---|---|
| ContainsStatementVisitor |
Utilits class used by
SymbolicExecutionUtil#containsStatement(MethodFrame, ProgramElement, Services). |
| CreatingASTVisitor |
Walks through a java AST in depth-left-fist-order.
|
| 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 |
| FieldReplaceVisitor |
Replaces field references o.a by methodcalls o.
|
| FreeLabelFinder |
descends recursively a given program and looks for free occurrences of a specified label
|
| InnerBreakAndContinueReplacer |
This replaces all breaks and continues in a loop with
break l, where l is a
specified label. |
| JavaASTCollector |
Walks through a java AST in depth-left-fist-order.
|
| JavaASTVisitor |
Extends the JavaASTWalker to use the visitor mechanism.
|
| JavaASTWalker |
walks through a java AST in depth-left-fist-order at default.
|
| LabelCollector |
Collects all labels found in a given program.
|
| OuterBreakContinueAndReturnCollector | |
| OuterBreakContinueAndReturnReplacer | |
| ProgramContextAdder |
A context given as
ContextStatementBlockInstantiation is wrapped
around a given ProgramElement. |
| ProgramElementReplacer | |
| ProgramReplaceVisitor |
Walks through a java AST in depth-left-fist-order.
|
| ProgramSVCollector |
This visitor is used to collect all appearing SchemaVariables in a
java program
|
| ProgramVariableCollector |
Walks through a java AST in depth-left-fist-order.
|
| ProgVarReplaceVisitor |
Walks through a java AST in depth-left-first-order.
|
| 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. |