org.eclipse.ocl.examples.domain.ids
Interface CollectionTypeId

All Superinterfaces:
BuiltInTypeId, ElementId, TemplateableId, TypeId
All Known Subinterfaces:
OclInvalidTypeId, OclVoidTypeId
All Known Implementing Classes:
GeneralizedCollectionTypeIdImpl, OclInvalidTypeIdImpl, OclVoidTypeIdImpl, SpecializedCollectionTypeIdImpl

public interface CollectionTypeId
extends BuiltInTypeId, TemplateableId

A CollectionTypeId provides a unique identifier for an unspecialized collection type such as Set(T).


Field Summary
 
Fields inherited from interface org.eclipse.ocl.examples.domain.ids.TypeId
BAG, BAG_NAME, BOOLEAN, BOOLEAN_NAME, CLASS_NAME, COLLECTION, COLLECTION_NAME, COLLECTION_TYPE_NAME, DATA_TYPE_NAME, ENUMERATION_NAME, INTEGER, INTEGER_NAME, INTEGER_RANGE, INTEGER_RANGE_NAME, LAMBDA_TYPE_NAME, METACLASS, METACLASS_NAME, NULL_STRING_ARRAY, NULL_TUPLE_PART_ID_ARRAY, NULL_TYPE_ID_ARRAY, OCL_ANY, OCL_ANY_NAME, OCL_COMPARABLE, OCL_COMPARABLE_NAME, OCL_INVALID, OCL_INVALID_NAME, OCL_SELF, OCL_SELF_NAME, OCL_SUMMABLE, OCL_SUMMABLE_NAME, OCL_VOID, OCL_VOID_NAME, OPERATION_NAME, ORDERED_COLLECTION, ORDERED_COLLECTION_NAME, ORDERED_SET, ORDERED_SET_NAME, PRIMITIVE_TYPE_NAME, PROPERTY_NAME, REAL, REAL_NAME, SEQUENCE, SEQUENCE_NAME, SET, SET_NAME, STRING, STRING_NAME, T_1, T_2, T_3, TUPLE_NAME, TUPLE_TYPE_NAME, UNIQUE_COLLECTION, UNIQUE_COLLECTION_NAME, UNLIMITED_NATURAL, UNLIMITED_NATURAL_NAME
 
Fields inherited from interface org.eclipse.ocl.examples.domain.ids.TemplateableId
NULL_TEMPLATEABLE_ID_ARRAY
 
Method Summary
 TypeId getElementTypeId()
           
 CollectionTypeId getGeneralizedId()
           
 java.lang.String getMetaTypeName()
           
 CollectionTypeId getSpecializedId(BindingsId templateBindings)
          Return the typeId for this typeId specialized by typeParameters.
 CollectionTypeId getSpecializedId(ElementId... templateBindings)
           
 
Methods inherited from interface org.eclipse.ocl.examples.domain.ids.BuiltInTypeId
getName
 
Methods inherited from interface org.eclipse.ocl.examples.domain.ids.TypeId
getLiteralName, getOperationId, getPropertyId, getTemplateParameterId, getTemplateParameters, specialize
 
Methods inherited from interface org.eclipse.ocl.examples.domain.ids.ElementId
accept, getDisplayName
 
Methods inherited from interface org.eclipse.ocl.examples.domain.ids.TemplateableId
getLiteralName, getName, getTemplateParameters
 

Method Detail

getElementTypeId

@NonNull
TypeId getElementTypeId()

getGeneralizedId

@NonNull
CollectionTypeId getGeneralizedId()
Specified by:
getGeneralizedId in interface TemplateableId

getMetaTypeName

@NonNull
java.lang.String getMetaTypeName()
Specified by:
getMetaTypeName in interface TemplateableId
Specified by:
getMetaTypeName in interface TypeId

getSpecializedId

@NonNull
CollectionTypeId getSpecializedId(@NonNull
                                          BindingsId templateBindings)
Description copied from interface: TemplateableId
Return the typeId for this typeId specialized by typeParameters.

Throws UnsupportedException for typeIds such as Primitive Types that may not be specialized.

Specified by:
getSpecializedId in interface TemplateableId

getSpecializedId

@NonNull
CollectionTypeId getSpecializedId(@NonNull
                                          ElementId... templateBindings)