public class MergeRuleCompletion extends java.lang.Object implements InteractiveRuleApplicationCompletion
Modifier and Type | Field and Description |
---|---|
static MergeRuleCompletion |
INSTANCE
Singleton instance
|
private static MergeProcedure |
STD_CONCRETE_MERGE_RULE |
Modifier | Constructor and Description |
---|---|
private |
MergeRuleCompletion() |
Modifier and Type | Method and Description |
---|---|
boolean |
canComplete(IBuiltInRuleApp app)
checks if this instance is responsible for the given app
|
static boolean |
checkCanComplete(IBuiltInRuleApp app) |
IBuiltInRuleApp |
complete(IBuiltInRuleApp app,
Goal goal,
boolean forced)
method called to complete the given builtin rule application
|
public static final MergeRuleCompletion INSTANCE
private static final MergeProcedure STD_CONCRETE_MERGE_RULE
public IBuiltInRuleApp complete(IBuiltInRuleApp app, Goal goal, boolean forced)
InteractiveRuleApplicationCompletion
complete
in interface InteractiveRuleApplicationCompletion
app
- the app to completegoal
- the goal where the app will be appliedforced
- a boolean indicating if the user shall be bothered if the instantiation is unique or
can be chosen in a reasonable way as if uniquepublic boolean canComplete(IBuiltInRuleApp app)
InteractiveRuleApplicationCompletion
canComplete
in interface InteractiveRuleApplicationCompletion
app
- the rule apppublic static boolean checkCanComplete(IBuiltInRuleApp app)