org.eth.cyril.bugfixer

Interface TestAllPermutations.JavaResultComparer

All Known Implementing Classes:

GroupFilter.MyComparer

Enclosing class:

TestAllPermutations

public static interface TestAllPermutations.JavaResultComparer

A JavaResultComparer compares two instances of JavaResult instances.

Method Summary

Modifier and Type	Method and Description
boolean	equals(JavaResult first, JavaResult second) Return whether the two JavaResult instances are equal according to the equality defined by this comparer.
int	hashCode(JavaResult result) Returns the hash code for the given JavaResult instance according to this comparer.
default boolean	shouldGroup(JavaResult result) Returns whether this result instance should be grouped.
default boolean	shouldRemove(JavaResult result) Returns whether this result instance should be immediately removed.

Method Detail

equals

boolean equals(JavaResult first,
               JavaResult second)

Return whether the two JavaResult instances are equal according to the equality defined by this comparer.

Parameters:

first - The first result.

second - The second result.

Returns:

Whether the two results are equal according to the equality defined by this comparer.

hashCode

int hashCode(JavaResult result)

Returns the hash code for the given JavaResult instance according to this comparer. Note that the usual contracts between equality and hash code apply: If equals(result1, result2), then hashCode(result1) == hashCode(result2) must hold. Otherwise, unexpected behavior might occur where equal results can not be correctly compared.

Parameters:

result - The result.

Returns:

The hash code for the given result acccording to the hash code defined by this comparer.

shouldRemove

default boolean shouldRemove(JavaResult result)

Returns whether this result instance should be immediately removed. The candidate program creating such a result is then immediately removed and not further processed. The default implementation always returns false.

Parameters:

result - The result.

Returns:

Whether this result should be immediately removed.

shouldGroup

default boolean shouldGroup(JavaResult result)

Returns whether this result instance should be grouped. If an instance should not be grouped, then it is not further processed. However, unline shouldRemove(JavaResult), the candidate program producing the result is not removed. Therefore, it may be further processed for other input. The default implementation always returns true.

Parameters:

result - The result.

Returns:

Whether this result should be grouped.