org.eclipse.ocl.examples.domain.ids.impl
Class SpecializedTypeIdImpl

java.lang.Object
  org.eclipse.ocl.examples.domain.ids.impl.AbstractElementId
      org.eclipse.ocl.examples.domain.ids.impl.AbstractTemplateableIdImpl<T>
          org.eclipse.ocl.examples.domain.ids.impl.AbstractSpecializedIdImpl<TemplateableTypeId>
              org.eclipse.ocl.examples.domain.ids.impl.SpecializedTypeIdImpl

All Implemented Interfaces:

ElementId, SpecializedId, TemplateableId, TemplateableTypeId, TypeId

public class SpecializedTypeIdImpl
extends AbstractSpecializedIdImpl<TemplateableTypeId>
implements TemplateableTypeId

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.examples.domain.ids.impl.AbstractElementId

AbstractElementId.OperationIdsMap, AbstractElementId.PropertyIdsMap

Field Summary

Fields inherited from class org.eclipse.ocl.examples.domain.ids.impl.AbstractSpecializedIdImpl

generalizedId, templateBindings

Fields inherited from class org.eclipse.ocl.examples.domain.ids.impl.AbstractTemplateableIdImpl

hashCode, templateParameters

Fields inherited from interface org.eclipse.ocl.examples.domain.ids.TypeId

BAG, BAG_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, METACLASS, 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_INVALID, OCL_INVALID_NAME, OCL_SELF, OCL_SELF_NAME, OCL_SUMMABLE, OCL_SUMMABLE_NAME, OCL_VOID, OCL_VOID_NAME, OPERATION_NAME, ORDERED_COLLECTION, ORDERED_COLLECTION_NAME, ORDERED_SET, ORDERED_SET_NAME, PRIMITIVE_TYPE_NAME, PROPERTY_NAME, REAL, REAL_NAME, SEQUENCE, SEQUENCE_NAME, SET, SET_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.examples.domain.ids.TemplateableId

NULL_TEMPLATEABLE_ID_ARRAY

Constructor Summary

SpecializedTypeIdImpl(TemplateableTypeId generalizedId, BindingsId templateBindings)

Method Summary

<R> R	accept(IdVisitor<R> visitor)
protected TemplateableTypeId	createSpecializedId(BindingsId templateBindings)
TemplateableTypeId	specialize(BindingsId templateBindings)

Methods inherited from class org.eclipse.ocl.examples.domain.ids.impl.AbstractSpecializedIdImpl

getDisplayName, getGeneralizedId, getMetaTypeName, getName, getTemplateBindings

Methods inherited from class org.eclipse.ocl.examples.domain.ids.impl.AbstractTemplateableIdImpl

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

Methods inherited from class org.eclipse.ocl.examples.domain.ids.impl.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.examples.domain.ids.TypeId

getLiteralName, getMetaTypeName, getOperationId, getPropertyId, getTemplateParameterId, getTemplateParameters

Methods inherited from interface org.eclipse.ocl.examples.domain.ids.TemplateableId

getGeneralizedId, getLiteralName, getMetaTypeName, getName, getSpecializedId, getTemplateParameters

Methods inherited from interface org.eclipse.ocl.examples.domain.ids.ElementId

getDisplayName

Constructor Detail

SpecializedTypeIdImpl

public SpecializedTypeIdImpl(@NonNull
                             TemplateableTypeId generalizedId,
                             @NonNull
                             BindingsId templateBindings)

Method Detail

accept

@Nullable
public <R> R accept(@NonNull
                             IdVisitor<R> visitor)

Specified by:

accept in interface ElementId

createSpecializedId

@NonNull
protected TemplateableTypeId createSpecializedId(@NonNull
                                                         BindingsId templateBindings)

Specified by:

createSpecializedId in class AbstractTemplateableIdImpl<TemplateableTypeId>

specialize

@NonNull
public TemplateableTypeId specialize(@NonNull
                                             BindingsId templateBindings)

Specified by:

specialize in interface TypeId