org.eclipse.ocl.pivot.internal.ids

Class AbstractSpecializedIdImpl<T extends TemplateableId>

java.lang.Object

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

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

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

All Implemented Interfaces:

ElementId, SpecializedId, TemplateableId

Direct Known Subclasses:

SpecializedCollectionTypeIdImpl, SpecializedLambdaTypeIdImpl, SpecializedMapTypeIdImpl, SpecializedOperationIdImpl, SpecializedTypeIdImpl

public abstract class AbstractSpecializedIdImpl<T extends TemplateableId>
extends AbstractTemplateableIdImpl<T>
implements SpecializedId

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 T	generalizedId
protected BindingsId	templateBindings

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

hashCode, templateParameters

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

NULL_TEMPLATEABLE_ID_ARRAY

Constructor Summary

Constructors

Constructor and Description
AbstractSpecializedIdImpl(T generalizedId, BindingsId templateBindings)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getDisplayName() Return a simple name for diagnostics.
T	getGeneralizedId()
java.lang.String	getMetaTypeName()
java.lang.String	getName()
BindingsId	getTemplateBindings()

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

createSpecializedId, getEnumerationLiteralId, getOperationId, getPropertyId, getSpecializedId, getSpecializedId, getTemplateParameterId, getTemplateParameters, hashCode

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

equals, getLiteralName, toString

Methods inherited from class java.lang.Object

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

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

accept

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

getLiteralName

Field Detail

generalizedId

@NonNull
protected final T extends TemplateableId generalizedId

templateBindings

@NonNull
protected final BindingsId templateBindings

Constructor Detail

AbstractSpecializedIdImpl

public AbstractSpecializedIdImpl(@NonNull
                                 T generalizedId,
                                 @NonNull
                                 BindingsId templateBindings)

Method Detail

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 T getGeneralizedId()

Specified by:

getGeneralizedId in interface TemplateableId

getMetaTypeName

@NonNull
public java.lang.String getMetaTypeName()

Specified by:

getMetaTypeName in interface TemplateableId

getName

@NonNull
public java.lang.String getName()

Specified by:

getName in interface TemplateableId

getTemplateBindings

@NonNull
public BindingsId getTemplateBindings()

Specified by:

getTemplateBindings in interface SpecializedId