org.eth.cyril.bugfixer.rewriting

Class LoopConditionRewrite

java.lang.Object

org.eth.cyril.bugfixer.rewriting.ASTRewriteRule

org.eth.cyril.bugfixer.rewriting.LoopConditionRewrite

public class LoopConditionRewrite
extends ASTRewriteRule

Rewrite rule to rewrite loop conditions of the form "x <= y". If that operator is used, the option "x < y" is also added as a rewrite possibility.

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

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

LoopConditionRewrite

public LoopConditionRewrite()

Method Detail

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.

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.