public interface VariableCondition
de.uka.ilkd.key.rule.conditions
. For variable conditions
that know only black and white answers there exists a convenience class
VariableConditionAdapter
.Modifier and Type | Method and Description |
---|---|
MatchConditions |
check(SchemaVariable var,
SVSubstitute instCandidate,
MatchConditions matchCond,
Services services)
checks if the condition for a correct instantiation is fulfilled
|
MatchConditions check(SchemaVariable var, SVSubstitute instCandidate, MatchConditions matchCond, Services services)
var
- the SchemaVariable to be instantiatedinstCandidate
- the SVSubstitute (e.g. Term, ProgramElement) to be mapped to varmatchCond
- the MatchCondition with the current matching state and in particular
the SVInstantiations that are already known to be neededservices
- the program information objectnull
otherwise