org.eclipse.ocl.pivot.internal.ids

Class GeneralizedMapTypeIdImpl

java.lang.Object

org.eclipse.ocl.pivot.internal.ids.AbstractElementId

org.eclipse.ocl.pivot.internal.ids.AbstractTemplateableIdImpl<T>

org.eclipse.ocl.pivot.internal.ids.AbstractGeneralizedIdImpl<T>

org.eclipse.ocl.pivot.internal.ids.GeneralizedTypeIdImpl<MapTypeId>

org.eclipse.ocl.pivot.internal.ids.GeneralizedMapTypeIdImpl

All Implemented Interfaces:

BuiltInTypeId, ElementId, MapTypeId, TemplateableId, TemplateableTypeId, TypeId

public class GeneralizedMapTypeIdImpl
extends GeneralizedTypeIdImpl<MapTypeId>
implements MapTypeId

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

Constructor Summary

Constructors

Constructor and Description
GeneralizedMapTypeIdImpl(IdManager idManager, String name)

Method Summary

Modifier and Type	Method and Description
<R> R	accept(IdVisitor<R> visitor)
String	getDisplayName() Return a simple name for diagnostics.
MapTypeId	getGeneralizedId()
TemplateParameterId	getKeyTypeId()
String	getLiteralName()
String	getMetaTypeName()
TemplateParameterId	getValueTypeId()
MapTypeId	specialize(BindingsId templateBindings)

Methods inherited from class org.eclipse.ocl.pivot.internal.ids.GeneralizedTypeIdImpl

getOperationId, getPropertyId

Methods inherited from class org.eclipse.ocl.pivot.internal.ids.AbstractGeneralizedIdImpl

getName

Methods inherited from class org.eclipse.ocl.pivot.internal.ids.AbstractTemplateableIdImpl

getEnumerationLiteralId, getSpecializedId, getSpecializedId, getTemplateParameterId, getTemplateParameters, hashCode

Methods inherited from class org.eclipse.ocl.pivot.internal.ids.AbstractElementId

equals, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

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

getSpecializedId, getSpecializedId

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

getName

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

getOperationId, getPropertyId, getTemplateParameterId, getTemplateParameters

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

getName, getTemplateParameters

Constructor Detail

GeneralizedMapTypeIdImpl

public GeneralizedMapTypeIdImpl(IdManager idManager,
                                String name)

Method Detail

accept

public <R> R accept(IdVisitor<R> visitor)

Specified by:

accept in interface ElementId

getDisplayName

public String getDisplayName()

Description copied from interface: ElementId

Return a simple name for diagnostics.

Specified by:

getDisplayName in interface ElementId

getGeneralizedId

public MapTypeId getGeneralizedId()

Specified by:

getGeneralizedId in interface MapTypeId

Specified by:

getGeneralizedId in interface TemplateableId

getKeyTypeId

public TemplateParameterId getKeyTypeId()

Specified by:

getKeyTypeId in interface MapTypeId

getLiteralName

public String getLiteralName()

Specified by:

getLiteralName in interface TemplateableId

Specified by:

getLiteralName in interface TypeId

Overrides:

getLiteralName in class AbstractElementId

getMetaTypeName

public String getMetaTypeName()

Specified by:

getMetaTypeName in interface MapTypeId

Specified by:

getMetaTypeName in interface TemplateableId

Specified by:

getMetaTypeName in interface TypeId

getValueTypeId

public TemplateParameterId getValueTypeId()

Specified by:

getValueTypeId in interface MapTypeId

specialize

public MapTypeId specialize(BindingsId templateBindings)

Specified by:

specialize in interface TypeId