public abstract class VariableConditionAdapter extends java.lang.Object implements VariableCondition
Constructor and Description |
---|
VariableConditionAdapter() |
Modifier and Type | Method and Description |
---|---|
MatchConditions |
check(SchemaVariable var,
SVSubstitute instCandidate,
MatchConditions mc,
Services services)
checks if the condition for a correct instantiation is fulfilled
|
abstract boolean |
check(SchemaVariable var,
SVSubstitute instCandidate,
SVInstantiations instMap,
Services services)
checks if the condition for a correct instantiation is fulfilled
|
public abstract boolean check(SchemaVariable var, SVSubstitute instCandidate, SVInstantiations instMap, Services services)
var
- the template Variable to be instantiatedinstMap
- the MatchCondition with the current matching state and in particular
the SVInstantiations that are already known to be neededservices
- the program information objectpublic final MatchConditions check(SchemaVariable var, SVSubstitute instCandidate, MatchConditions mc, Services services)
VariableCondition
check
in interface VariableCondition
var
- the SchemaVariable to be instantiatedinstCandidate
- the SVSubstitute (e.g. Term, ProgramElement) to be mapped to varmc
- the MatchCondition with the current matching state and in particular
the SVInstantiations that are already known to be neededservices
- the program information objectnull
otherwise