check
public MatchConditions check(SchemaVariable var,
SVSubstitute instCandidate,
MatchConditions mc,
Services services)
checks if the condition for a correct instantiation is fulfilled
- Specified by:
check
in interface VariableCondition
- Parameters:
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 object
- Returns:
- modified match results if the condition can be satisfied,
or
null
otherwise