public final class FieldTypeToSortCondition extends java.lang.Object implements VariableCondition
Modifier and Type | Field and Description |
---|---|
private SchemaVariable |
exprOrTypeSV |
private GenericSort |
sort |
Constructor and Description |
---|
FieldTypeToSortCondition(SchemaVariable exprOrTypeSV,
GenericSort sort) |
Modifier and Type | Method and Description |
---|---|
MatchConditions |
check(SchemaVariable var,
SVSubstitute svSubst,
MatchConditions matchCond,
Services services)
checks if the condition for a correct instantiation is fulfilled
|
static boolean |
checkSortedSV(SchemaVariable exprOrTypeSV) |
java.lang.String |
toString() |
private final SchemaVariable exprOrTypeSV
private final GenericSort sort
public FieldTypeToSortCondition(SchemaVariable exprOrTypeSV, GenericSort sort)
public static boolean checkSortedSV(SchemaVariable exprOrTypeSV)
public MatchConditions check(SchemaVariable var, SVSubstitute svSubst, MatchConditions matchCond, Services services)
VariableCondition
check
in interface VariableCondition
var
- the SchemaVariable to be instantiatedsvSubst
- 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
otherwisepublic java.lang.String toString()
toString
in class java.lang.Object