public class DefaultBuiltInRuleApp extends AbstractBuiltInRuleApp
builtInRule, ifInsts, pio
Constructor and Description |
---|
DefaultBuiltInRuleApp(BuiltInRule builtInRule,
PosInOccurrence pio) |
DefaultBuiltInRuleApp(BuiltInRule builtInRule,
PosInOccurrence pio,
ImmutableList<PosInOccurrence> ifInsts) |
Modifier and Type | Method and Description |
---|---|
DefaultBuiltInRuleApp |
replacePos(PosInOccurrence newPos) |
DefaultBuiltInRuleApp |
setIfInsts(ImmutableList<PosInOccurrence> ifInsts) |
DefaultBuiltInRuleApp |
tryToInstantiate(Goal goal)
Tries to complete the rule application from the available information.
|
complete, execute, forceInstantiate, getHeapContext, ifInsts, isSufficientlyComplete, posInOccurrence, rule, setMutable, toString
public DefaultBuiltInRuleApp(BuiltInRule builtInRule, PosInOccurrence pio)
public DefaultBuiltInRuleApp(BuiltInRule builtInRule, PosInOccurrence pio, ImmutableList<PosInOccurrence> ifInsts)
public DefaultBuiltInRuleApp replacePos(PosInOccurrence newPos)
replacePos
in interface IBuiltInRuleApp
replacePos
in class AbstractBuiltInRuleApp
public DefaultBuiltInRuleApp tryToInstantiate(Goal goal)
IBuiltInRuleApp
UserInterfaceControl
to complete a built-in rule.
Returns a complete app only if there is exactly one contract.
If you want a complete app for combined contracts, use forceInstantiate
instead.
For an example implementation see e.g. UseOperationContractRule
or UseDependencyContractRule
.tryToInstantiate
in interface IBuiltInRuleApp
tryToInstantiate
in class AbstractBuiltInRuleApp
public DefaultBuiltInRuleApp setIfInsts(ImmutableList<PosInOccurrence> ifInsts)
setIfInsts
in interface IBuiltInRuleApp
setIfInsts
in class AbstractBuiltInRuleApp