static class GenericSortCondition.GSCIdentity extends GenericSortCondition
GenericSortCondition.GSCForceInstantiation, GenericSortCondition.GSCIdentity, GenericSortCondition.GSCSupersort
Modifier | Constructor and Description |
---|---|
protected |
GSCIdentity(GenericSort p_gs,
Sort p_s) |
Modifier and Type | Method and Description |
---|---|
boolean |
check(Sort p_s,
GenericSortInstantiations insts)
tests if
p_s is identical to @link GSCIdentity#getSort() |
Sort |
getSort() |
java.lang.String |
toString()
toString
|
createCondition, createCondition, createCondition, createForceInstantiationCondition, createIdentityCondition, createSupersortCondition, forceInstantiation, getGenericSort, subSortsAllowed
Sort s
protected GSCIdentity(GenericSort p_gs, Sort p_s)
public Sort getSort()
public boolean check(Sort p_s, GenericSortInstantiations insts)
p_s
is identical to @link GSCIdentity#getSort()check
in class GenericSortCondition
p_s
- the Sort to checkinsts
- a map containing already found instantiationss
satisfies this generic sort
conditionpublic java.lang.String toString()
toString
in class java.lang.Object