org.eth.cyril.bugfixer.rewriting

Class PathOutputRewrite

java.lang.Object

org.eth.cyril.bugfixer.rewriting.ASTRewriteRule

org.eth.cyril.bugfixer.rewriting.PathOutputRewrite

public class PathOutputRewrite
extends ASTRewriteRule

Rewrites the code to add path output statements to the System.out output, with which paths from different program executions may be compared.

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

Method Summary

Modifier and Type	Method and Description
java.lang.String	describeRule() Returns a human-readable description of what this rule does.
static int	distanceBetweenPaths(java.lang.String first, java.lang.String second) Calculates the Levenshtein distance between two path strings.
static java.lang.String	extractPathInformation(java.lang.String output) Extracts the lines containing path information from the given output string.
java.util.Collection<ASTRewriteRule.RewritePossibilities>	getRewritePossibilities(org.eclipse.jdt.core.dom.ASTNode node) Return the collection of rewrite possibilities for the given node.
static boolean	isPathOutputStatement(org.eclipse.jdt.core.dom.Statement statement) Returns whether the given statement is a path output statement, i.e.
(package private) static <T> int	levenshteinDistance(java.util.List<T> firstParts, java.util.List<T> secondParts, java.lang.Integer[][] cache)
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

PathOutputRewrite

public PathOutputRewrite()

Method Detail

distanceBetweenPaths

public static int distanceBetweenPaths(java.lang.String first,
                                       java.lang.String second)

Calculates the Levenshtein distance between two path strings. The Levenshtein distance here is defined as follows: Each string is line-separated for different path outputs. Then each path output is considered as one character in the original definition of the Levenshtein distance, therefore returning the number of edits necessary to turn one line-separated path into another line-separated path.

Parameters:

first - The first line-separated path string.

second - The second line-separated path string.

Returns:

The Levenshtein distance between the two paths.

See Also:

extractPathInformation(String)

levenshteinDistance

static <T> int levenshteinDistance(java.util.List<T> firstParts,
                                   java.util.List<T> secondParts,
                                   java.lang.Integer[][] cache)

isPathOutputStatement

public static boolean isPathOutputStatement(org.eclipse.jdt.core.dom.Statement statement)

Returns whether the given statement is a path output statement, i.e. a statement of the form "System.out.println(path);", where the path is a string representing the current path. Note that general System.out.println statements which do not output path information are distinguishable.

Parameters:

statement - The statement to check.

Returns:

Whether the given statement is a path output statement.

extractPathInformation

public static java.lang.String extractPathInformation(java.lang.String output)

Extracts the lines containing path information from the given output string. Returns a string with possibly multiple lines. The resulting string will have the same amount or less lines than the original one, and may be empty even if the original string wasn't, as only lines containing path information are retained.

Parameters:

output - The output string from System.out calls in a rewritten program.

Returns:

The lines of output which correspond to path information.

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.