org.eclipse.ocl.examples.domain.elements
Interface DomainCollectionType

All Superinterfaces:
DomainElement, DomainNamedElement, DomainNamespace, DomainType, Nameable, OCLValue
All Known Subinterfaces:
BagType, CollectionType, OrderedSetType, SequenceType, SetType
All Known Implementing Classes:
AbstractCollectionType, BagTypeImpl, CollectionTypeImpl, OrderedSetTypeImpl, SequenceTypeImpl, SetTypeImpl

public interface DomainCollectionType
extends DomainType


Method Summary
 DomainType getContainerType()
           
 DomainType getElementType()
           
 IntegerValue getLowerValue()
           
 CollectionTypeId getTypeId()
          Return a unique StandardLibrary-independent identifier for this type.
 IntegerValue getUpperValue()
           
 boolean isOrdered()
          Return true if this type is a Collection type and has ordered elements.
 boolean isUnique()
          Return true if this type is a Collection type and has unique elements.
 
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainType
conformsTo, createInstance, createInstance, getCommonType, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getPackage, getTypeParameters, isEqualTo, isEqualToUnspecializedType, isInvalid, lookupImplementation, specializeIn
 
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainNamespace
getOwnedRule
 
Methods inherited from interface org.eclipse.ocl.examples.domain.values.OCLValue
oclEquals, oclHashCode
 

Method Detail

getContainerType

DomainType getContainerType()

getElementType

DomainType getElementType()

getLowerValue

@NonNull
IntegerValue getLowerValue()

getTypeId

@NonNull
CollectionTypeId getTypeId()
Description copied from interface: DomainType
Return a unique StandardLibrary-independent identifier for this type.

Specified by:
getTypeId in interface DomainType
Returns:

getUpperValue

@NonNull
IntegerValue getUpperValue()

isOrdered

boolean isOrdered()
Description copied from interface: DomainType
Return true if this type is a Collection type and has ordered elements.

Specified by:
isOrdered in interface DomainType

isUnique

boolean isUnique()
Description copied from interface: DomainType
Return true if this type is a Collection type and has unique elements.

Specified by:
isUnique in interface DomainType