public interface IBuiltInRuleApp extends RuleApp
Modifier and Type | Method and Description |
---|---|
IBuiltInRuleApp |
forceInstantiate(Goal goal) |
java.util.List<LocationVariable> |
getHeapContext() |
ImmutableList<PosInOccurrence> |
ifInsts() |
boolean |
isSufficientlyComplete()
returns true if tryToInstantiate may be able to complete the app
|
IBuiltInRuleApp |
replacePos(PosInOccurrence newPos) |
BuiltInRule |
rule()
returns the built in rule of this rule application
|
IBuiltInRuleApp |
setIfInsts(ImmutableList<PosInOccurrence> ifInsts) |
IBuiltInRuleApp |
tryToInstantiate(Goal goal)
Tries to complete the rule application from the available information.
|
complete, execute, posInOccurrence
BuiltInRule rule()
IBuiltInRuleApp tryToInstantiate(Goal goal)
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
.IBuiltInRuleApp forceInstantiate(Goal goal)
java.util.List<LocationVariable> getHeapContext()
boolean isSufficientlyComplete()
ImmutableList<PosInOccurrence> ifInsts()
IBuiltInRuleApp setIfInsts(ImmutableList<PosInOccurrence> ifInsts)
IBuiltInRuleApp replacePos(PosInOccurrence newPos)