public final class FreeLabelInVariableCondition extends VariableConditionAdapter
Modifier and Type | Field and Description |
---|---|
private FreeLabelFinder |
freeLabelFinder |
private SchemaVariable |
label |
private boolean |
negated |
private SchemaVariable |
statement |
Constructor and Description |
---|
FreeLabelInVariableCondition(SchemaVariable label,
SchemaVariable statement,
boolean negated) |
Modifier and Type | Method and Description |
---|---|
boolean |
check(SchemaVariable var,
SVSubstitute instCandidate,
SVInstantiations instMap,
Services services)
checks if the condition for a correct instantiation is fulfilled
|
java.lang.String |
toString() |
check
private final SchemaVariable label
private final SchemaVariable statement
private final boolean negated
private final FreeLabelFinder freeLabelFinder
public FreeLabelInVariableCondition(SchemaVariable label, SchemaVariable statement, boolean negated)
public boolean check(SchemaVariable var, SVSubstitute instCandidate, SVInstantiations instMap, Services services)
VariableConditionAdapter
check
in class VariableConditionAdapter
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 java.lang.String toString()
toString
in class java.lang.Object