org.eclipse.ocl.pivot.ids

Interface MapTypeId

All Superinterfaces:

BuiltInTypeId, ElementId, TemplateableId, TypeId

All Known Implementing Classes:

GeneralizedMapTypeIdImpl, SpecializedMapTypeIdImpl

public interface MapTypeId
extends BuiltInTypeId, TemplateableId

A MapTypeId provides a unique identifier for an unspecialized map type such as Map(K,V).

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
MapTypeId	getGeneralizedId()
TypeId	getKeyTypeId()
java.lang.String	getMetaTypeName()
MapTypeId	getSpecializedId(BindingsId templateBindings) Return the typeId for this typeId specialized by typeParameters.
MapTypeId	getSpecializedId(ElementId... templateBindings)
TypeId	getValueTypeId()

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

getGeneralizedId

@NonNull
MapTypeId getGeneralizedId()

Specified by:

getGeneralizedId in interface TemplateableId

getKeyTypeId

@NonNull
TypeId getKeyTypeId()

getMetaTypeName

@NonNull
java.lang.String getMetaTypeName()

Specified by:

getMetaTypeName in interface TemplateableId

Specified by:

getMetaTypeName in interface TypeId

getSpecializedId

@NonNull
MapTypeId 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
MapTypeId getSpecializedId(@NonNull
                                     ElementId... templateBindings)

getValueTypeId

@NonNull
TypeId getValueTypeId()