org.eth.cyril.bugfixer

Class PermutationGroups.PermutationGroup

java.lang.Object

org.eth.cyril.bugfixer.PermutationGroups.PermutationGroup

Enclosing class:

PermutationGroups

public static class PermutationGroups.PermutationGroup
extends java.lang.Object

A single permutation group, which contains a collection of argument permutations which all lead to the same result. Adding new permutations is thread-safe.

Method Summary

Modifier and Type	Method and Description
(package private) void	addPermutation(RewritingPermutator.ArgumentPermutation permutation) Adds a new permutation.
java.util.List<?>	getInput() Gets the input for this permutation group.
java.util.Collection<RewritingPermutator.ArgumentPermutation>	getPermutations() Returns the collection of permutations.
JavaResult	getResult() Gets the result for this permutation group.

Methods inherited from class java.lang.Object

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

Method Detail

getPermutations

public java.util.Collection<RewritingPermutator.ArgumentPermutation> getPermutations()

Returns the collection of permutations. If not finalized, the contents may change. The collection is thread-safe.

getResult

public JavaResult getResult()

Gets the result for this permutation group.

getInput

public java.util.List<?> getInput()

Gets the input for this permutation group.

addPermutation

void addPermutation(RewritingPermutator.ArgumentPermutation permutation)

Adds a new permutation.