public final class IsThisReference extends VariableConditionAdapter
Modifier and Type | Field and Description |
---|---|
private boolean |
negated |
private ParsableVariable |
var |
Constructor and Description |
---|
IsThisReference(ParsableVariable var,
boolean negation) |
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
|
boolean |
isNegated() |
java.lang.String |
toString() |
check
private final boolean negated
private final ParsableVariable var
public IsThisReference(ParsableVariable var, boolean negation)
public boolean isNegated()
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