static class GenericSortCondition.GSCForceInstantiation extends GenericSortCondition
GenericSortCondition.GSCForceInstantiation, GenericSortCondition.GSCIdentity, GenericSortCondition.GSCSupersort
Modifier and Type | Field and Description |
---|---|
(package private) boolean |
maximum |
Modifier | Constructor and Description |
---|---|
protected |
GSCForceInstantiation(GenericSort p_gs,
boolean p_maximum) |
Modifier and Type | Method and Description |
---|---|
boolean |
check(Sort p_s,
GenericSortInstantiations insts)
checks if @link GenericSortcondition#getgenericSort()
has been already instantiated by some sort
(maximum, minimum is currently not checked)
|
boolean |
getMaximum() |
java.lang.String |
toString()
toString
|
createCondition, createCondition, createCondition, createForceInstantiationCondition, createIdentityCondition, createSupersortCondition, forceInstantiation, getGenericSort, subSortsAllowed
protected GSCForceInstantiation(GenericSort p_gs, boolean p_maximum)
public boolean getMaximum()
public boolean check(Sort p_s, GenericSortInstantiations insts)
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