| Package | Description |
|---|---|
| org.eth.cyril.bugfixer | |
| org.eth.cyril.bugfixer.rewriting |
| Modifier and Type | Method and Description |
|---|---|
java.util.Collection<ASTRewriteRule> |
BugFixerInfo.getRewriteRules() |
| Constructor and Description |
|---|
BugFixerInfo(org.eclipse.jdt.core.IJavaProject project,
java.util.Collection<org.eclipse.jdt.core.ICompilationUnit> classes,
java.util.Collection<org.eclipse.jdt.core.IMethod> methods,
org.eclipse.jdt.core.IMethod mainMethod,
java.lang.Class<?> paramType,
java.util.Collection<ASTRewriteRule> rewriteRules) |
| Modifier and Type | Class and Description |
|---|---|
class |
IfConditionRewrite
Rewrite rule to rewrite any if-condition by replacing it with its negation.
|
class |
LoopAndMethodCounterRewrite
Rewrite rule to add loop counter variables for each loop, as well as method counter fields for each method.
|
class |
LoopConditionRewrite
Rewrite rule to rewrite loop conditions of the form "x <= y".
|
class |
LoopStartRewrite
Rewrite rule to rewrite the start of the loop.
|
class |
MissedAssignmentRewrite
Rewrite rules which adds missing assignments as might often be e.g.
|
class |
PathOutputRewrite
Rewrites the code to add path output statements to the System.out output, with which
paths from different program executions may be compared.
|
class |
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, ...
|
| Modifier and Type | Method and Description |
|---|---|
ASTRewriteRule |
ASTRewriteRule.RewritePossibilities.getSource()
Get the ASTRewriteRule instance which produced this rewrite possibility.
|
| Constructor and Description |
|---|
RewritePossibilities(int numberOfVersions,
int order,
org.eclipse.jdt.core.dom.ASTNode nodeToRewrite,
ASTRewriteRule source) |
| Constructor and Description |
|---|
RewriteRuleHandler(java.util.Collection<ASTRewriteRule> rewriteRules,
java.util.Set<org.eclipse.jdt.core.dom.MethodDeclaration> methodsToVisit) |