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