|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
interface IPrimitiveTypeSet
Interface that represents Field domain for primitive type.
IPrimitiveTypeSet
cannot contain any class domains,
because values of these fields are not objects. Actually, primitive type
field domain should contain exactly one class domain of the same primitive
type. Implementation of that would require parallel class hierarchy of class
domains on one side and the same hierarchy for field domains on the other
side, for all primitive types. That solution is not very convenient, so, in
this implementation, all of IPrimitiveTypeSet
subtypes should
manage elements of that field domain internally.
This interface doesn't contain any methods, but should be used as a
supertype for all primitive type field domains, like IIntSet
,
IDoubleSet
,...
IBooleanSet
,
IByteSet
,
IDoubleSet
,
IFloatSet
,
IIntSet
,
ILongSet
,
IObjSet
,
IShortSet
Method Summary |
---|
Methods inherited from interface korat.finitization.IFieldDomain |
---|
getClassOfField, getNumberOfElements, getNumOfClassDomains, isArrayType, isPrimitiveType |
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |