de.uka.ilkd.key.gui.mergerule

Class MergeRuleCompletion

java.lang.Object

de.uka.ilkd.key.gui.mergerule.MergeRuleCompletion

All Implemented Interfaces:

InteractiveRuleApplicationCompletion

public class MergeRuleCompletion
extends java.lang.Object
implements InteractiveRuleApplicationCompletion

This class completes the instantiation for a merge rule application. The user is queried for partner goals and concrete merge rule to choose. If in forced mode, all potential partners and the if-then-else merge method are chosen (no query is shown to the user).

Author:

Dominic Scheurer

Field Summary

Fields

Modifier and Type	Field and Description
static MergeRuleCompletion	INSTANCE Singleton instance
private static MergeProcedure	STD_CONCRETE_MERGE_RULE

Constructor Summary

Constructors

Modifier	Constructor and Description
private	MergeRuleCompletion()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

public static final MergeRuleCompletion INSTANCE

Singleton instance

STD_CONCRETE_MERGE_RULE

private static final MergeProcedure STD_CONCRETE_MERGE_RULE

Constructor Detail

MergeRuleCompletion

private MergeRuleCompletion()

Method Detail

complete

public IBuiltInRuleApp complete(IBuiltInRuleApp app,
                                Goal goal,
                                boolean forced)

Description copied from interface: InteractiveRuleApplicationCompletion

method called to complete the given builtin rule application

Specified by:

complete in interface InteractiveRuleApplicationCompletion

Parameters:

app - the app to complete

goal - the goal where the app will be applied

forced - a boolean indicating if the user shall be bothered if the instantiation is unique or can be chosen in a reasonable way as if unique

Returns:

the completed app or null if completion was not possible

canComplete

public boolean canComplete(IBuiltInRuleApp app)

Description copied from interface: InteractiveRuleApplicationCompletion

checks if this instance is responsible for the given app

Specified by:

canComplete in interface InteractiveRuleApplicationCompletion

Parameters:

app - the rule app

Returns:

true iff this instance might be able to complete the app

checkCanComplete

public static boolean checkCanComplete(IBuiltInRuleApp app)