org.eclipse.ocl.pivot.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).

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.ocl.pivot.ids.ElementId

ElementId.ElementIdComparator

Field Summary

Fields inherited from interface org.eclipse.ocl.pivot.ids.TypeId

BAG, BAG_NAME, BAG_TYPE_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, MAP, MAP_ENTRY, MAP_ENTRY_NAME, MAP_NAME, MAP_TYPE_NAME, 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_ENUMERATION, OCL_ENUMERATION_NAME, OCL_INVALID, OCL_INVALID_NAME, OCL_SELF, OCL_SELF_NAME, OCL_STEREOTYPE_NAME, OCL_SUMMABLE, OCL_SUMMABLE_NAME, OCL_VOID, OCL_VOID_NAME, OPERATION_NAME, ORDERED_COLLECTION, ORDERED_COLLECTION_NAME, ORDERED_SET, ORDERED_SET_NAME, ORDERED_SET_TYPE_NAME, PRIMITIVE_TYPE_NAME, PROPERTY_NAME, REAL, REAL_NAME, SEQUENCE, SEQUENCE_NAME, SEQUENCE_TYPE_NAME, SET, SET_NAME, SET_TYPE_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.pivot.ids.TemplateableId

NULL_TEMPLATEABLE_ID_ARRAY

Method Summary

Modifier and Type	Method and Description
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.pivot.ids.BuiltInTypeId

getName

Methods inherited from interface org.eclipse.ocl.pivot.ids.TypeId

getLiteralName, getOperationId, getPropertyId, getTemplateParameterId, getTemplateParameters, specialize

Methods inherited from interface org.eclipse.ocl.pivot.ids.ElementId

accept, getDisplayName

Methods inherited from interface org.eclipse.ocl.pivot.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)