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) |