public abstract class MergeProcedureCompletion<C extends MergeProcedure>
extends java.lang.Object
MergeWithPredicateAbstraction
, may not be complete initially and need
additional input.Modifier | Constructor and Description |
---|---|
protected |
MergeProcedureCompletion()
Default constructor is hidden.
|
Modifier and Type | Method and Description |
---|---|
abstract C |
complete(C proc,
Pair<Goal,PosInOccurrence> mergeGoalPio,
java.util.Collection<MergePartner> partners)
Completes the given merge procedure either automatically (if the procedure
is already complete) or by demanding input from the user in a GUI.
|
static <T extends MergeProcedure> |
create(java.util.function.Function<T,T> completion) |
static <T extends MergeProcedure> |
defaultCompletion() |
static MergeProcedureCompletion<? extends MergeProcedure> |
getCompletionForClass(java.lang.Class<? extends MergeProcedure> cls)
Returns the completion for the given merge procedure class.
|
protected MergeProcedureCompletion()
create(Function)
instead.public static <T extends MergeProcedure> MergeProcedureCompletion<T> defaultCompletion()
public static <T extends MergeProcedure> MergeProcedureCompletion<T> create(java.util.function.Function<T,T> completion)
public abstract C complete(C proc, Pair<Goal,PosInOccurrence> mergeGoalPio, java.util.Collection<MergePartner> partners)
proc
- MergeProcedure
to complete.mergeGoalPio
- The Goal
and PosInOccurrence
identifying the merge goal.partners
- The MergePartner
s chosen.MergeProcedure
.public static MergeProcedureCompletion<? extends MergeProcedure> getCompletionForClass(java.lang.Class<? extends MergeProcedure> cls)