org.eth.cyril.bugfixer.rewriting

Class IfConditionRewrite

java.lang.Object

org.eth.cyril.bugfixer.rewriting.ASTRewriteRule

org.eth.cyril.bugfixer.rewriting.IfConditionRewrite

public class IfConditionRewrite
extends ASTRewriteRule

Rewrite rule to rewrite any if-condition by replacing it with its negation. For example, if (x) { .. } for some condition x would become if (!x) { ... } as the additional rewrite produced by this rule.

Nested Class Summary

Nested classes/interfaces inherited from class org.eth.cyril.bugfixer.rewriting.ASTRewriteRule

ASTRewriteRule.RewriteArguments, ASTRewriteRule.RewritePossibilities

Constructor Summary

Constructors

Constructor and Description
IfConditionRewrite()

Method Summary

Modifier and Type	Method and Description
java.lang.String	describeRule() Returns a human-readable description of what this rule does.
java.util.Collection<ASTRewriteRule.RewritePossibilities>	getRewritePossibilities(org.eclipse.jdt.core.dom.ASTNode node) Return the collection of rewrite possibilities for the given node.
void	rewrite(org.eclipse.jdt.core.dom.ASTNode node, org.eclipse.jdt.core.dom.rewrite.ASTRewrite rewrite, ASTRewriteRule.RewriteArguments args) Produce a rewrite according to the given ASTRewriteRule.RewriteArguments.

Methods inherited from class org.eth.cyril.bugfixer.rewriting.ASTRewriteRule

createRewritePossibilities, createRewritePossibilities, preProcess

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IfConditionRewrite

public IfConditionRewrite()

Method Detail

getRewritePossibilities

public java.util.Collection<ASTRewriteRule.RewritePossibilities> getRewritePossibilities(org.eclipse.jdt.core.dom.ASTNode node)

Description copied from class: ASTRewriteRule

Return the collection of rewrite possibilities for the given node. The collection may be empty, but the result will never be null.

Specified by:

getRewritePossibilities in class ASTRewriteRule

Parameters:

node - The node for which to get the collection of rewrite possibilities.

Returns:

A collection of rewrite possibilities. Can be empty but not null.

rewrite

public void rewrite(org.eclipse.jdt.core.dom.ASTNode node,
                    org.eclipse.jdt.core.dom.rewrite.ASTRewrite rewrite,
                    ASTRewriteRule.RewriteArguments args)

Description copied from class: ASTRewriteRule

Produce a rewrite according to the given ASTRewriteRule.RewriteArguments. This rule must be the same as ASTRewriteRule.RewritePossibilities.getSource() for the given arguments' rewrite possibilites instance. Otherwise, the behavior is not determined. This method may not produce any rewrite, if the ASTRewriteRule.RewriteArguments.getVersion() is 0. In other cases, it will produce some rewrite.

Specified by:

rewrite in class ASTRewriteRule

Parameters:

node - The node for which to produce the rewrite.

rewrite - The ASTRewrite instance to use for rewriting the node.

args - The rewrite arguments. This rule must match the source of the arguments.

describeRule

public java.lang.String describeRule()

Description copied from class: ASTRewriteRule

Returns a human-readable description of what this rule does. This description should optimally be translatable with a Language instance.

Specified by:

describeRule in class ASTRewriteRule

Returns:

A human-readable description of what this rule does.