org.eclipse.ocl.pivot.internal.ids

Class GeneralizedNestedTypeIdImpl

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<TemplateableTypeId>

org.eclipse.ocl.pivot.internal.ids.GeneralizedNestedTypeIdImpl

All Implemented Interfaces:

ElementId, NestedTypeId, TemplateableId, TemplateableTypeId, TypeId

Direct Known Subclasses:

GeneralizedClassIdImpl, GeneralizedDataTypeIdImpl

public abstract class GeneralizedNestedTypeIdImpl
extends GeneralizedTypeIdImpl<TemplateableTypeId>
implements NestedTypeId, TemplateableTypeId

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.pivot.internal.ids.AbstractElementId

AbstractElementId.OperationIdsMap, AbstractElementId.PropertyIdsMap

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

ElementId.ElementIdComparator

Field Summary

Fields

Modifier and Type	Field and Description
protected PackageId	parent

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

name

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

hashCode, templateParameters

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

Modifier	Constructor and Description
protected	GeneralizedNestedTypeIdImpl(PackageId parent, int templateParameters, java.lang.String name)

Method Summary

Modifier and Type	Method and Description
protected TemplateableTypeId	createSpecializedId(BindingsId templateBindings)
java.lang.String	getDisplayName() Return a simple name for diagnostics.
TemplateableTypeId	getGeneralizedId()
PackageId	getParent()
TemplateableTypeId	specialize(BindingsId templateBindings)
java.lang.String	toString()

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, getLiteralName

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

getName

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

getLiteralName, getMetaTypeName, getOperationId, getPropertyId, getTemplateParameterId, getTemplateParameters

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

getLiteralName, getMetaTypeName, getName, getSpecializedId, getTemplateParameters

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

accept

Field Detail

parent

@NonNull
protected final PackageId parent

Constructor Detail

GeneralizedNestedTypeIdImpl

protected GeneralizedNestedTypeIdImpl(@NonNull
                                      PackageId parent,
                                      int templateParameters,
                                      @NonNull
                                      java.lang.String name)

Method Detail

createSpecializedId

@NonNull
protected TemplateableTypeId createSpecializedId(@NonNull
                                                           BindingsId templateBindings)

Specified by:

createSpecializedId in class AbstractTemplateableIdImpl<TemplateableTypeId>

getDisplayName

@NonNull
public java.lang.String getDisplayName()

Description copied from interface: ElementId

Return a simple name for diagnostics.

Specified by:

getDisplayName in interface ElementId

getGeneralizedId

@NonNull
public TemplateableTypeId getGeneralizedId()

Specified by:

getGeneralizedId in interface TemplateableId

getParent

@NonNull
public PackageId getParent()

Specified by:

getParent in interface NestedTypeId

specialize

@NonNull
public TemplateableTypeId specialize(@NonNull
                                               BindingsId templateBindings)

Specified by:

specialize in interface TypeId

toString

public java.lang.String toString()

Overrides:

toString in class AbstractElementId