| Class | Description |
|---|---|
| ASTRewriteRule |
An ASTRewriteRule handles rewriting specific code for the Bugfixer prototype.
|
| ASTRewriteRule.RewriteArguments |
The rewrite arguments as passed to
ASTRewriteRule.rewrite(ASTNode, ASTRewrite, RewriteArguments). |
| ASTRewriteRule.RewritePossibilities |
Denotes a set of possible rewrites, where different versions can produce different results.
|
| IfConditionRewrite |
Rewrite rule to rewrite any if-condition by replacing it with its negation.
|
| LevenshteinDistanceTest | |
| LoopAndMethodCounterRewrite |
Rewrite rule to add loop counter variables for each loop, as well as method counter fields for each method.
|
| LoopConditionRewrite |
Rewrite rule to rewrite loop conditions of the form "x <= y".
|
| LoopStartRewrite |
Rewrite rule to rewrite the start of the loop.
|
| MissedAssignmentRewrite |
Rewrite rules which adds missing assignments as might often be e.g.
|
| PathOutputRewrite |
Rewrites the code to add path output statements to the System.out output, with which
paths from different program executions may be compared.
|
| RewritableClass | |
| RewriteRuleHandler | |
| RewritingPermutator |
A rewriting permutator takes a list of rewrite possibilities and then creates all possible permutations of them.
|
| RewritingPermutator.ArgumentPermutation | |
| SwitchFieldAccessRewrite |
Rewrite rule that, for field accesses of the form a.field1, with a some expression, and where field1 is declared in type
A and has some type B, to add also possibilities for adding a.field2, a.field3, ...
|
| Util |
Various utility methods for rewriting which make certain operations a bit simpler.
|