public final class JavaTypeToSortCondition extends java.lang.Object implements VariableCondition
Constructor and Description |
---|
JavaTypeToSortCondition(SchemaVariable exprOrTypeSV,
GenericSort sort,
boolean elemSort) |
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() |
public JavaTypeToSortCondition(SchemaVariable exprOrTypeSV, GenericSort sort, boolean elemSort)
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
Copyright © 2003-2019 The KeY-Project.