korat.finitization
Interface IPrimitiveTypeSet

All Superinterfaces:
IFieldDomain
All Known Subinterfaces:
IBooleanSet, IByteSet, IDoubleSet, IFloatSet, IIntSet, ILongSet, IShortSet
All Known Implementing Classes:
BooleanSet, ByteSet, DoubleSet, FloatSet, IntSet, LongSet, ShortSet

interface IPrimitiveTypeSet
extends IFieldDomain

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,...

Author:
korat.team
See Also:
IBooleanSet, IByteSet, IDoubleSet, IFloatSet, IIntSet, ILongSet, IObjSet, IShortSet

Method Summary
 
Methods inherited from interface korat.finitization.IFieldDomain
getClassOfField, getNumberOfElements, getNumOfClassDomains, isArrayType, isPrimitiveType