public final class NewJumpLabelCondition extends Object implements VariableCondition
Constructor and Description |
---|
NewJumpLabelCondition(SchemaVariable sv) |
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
|
private List<ProgramElement> |
collect(SVInstantiations inst) |
private boolean |
isUnique(Label label,
List<ProgramElement> programs,
Services services) |
String |
toString() |
private final ProgramSV labelSV
public NewJumpLabelCondition(SchemaVariable sv)
public MatchConditions check(SchemaVariable var, SVSubstitute instCandidate, MatchConditions matchCond, Services services)
VariableCondition
check
in interface VariableCondition
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
otherwiseprivate List<ProgramElement> collect(SVInstantiations inst)
private boolean isUnique(Label label, List<ProgramElement> programs, Services services)