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

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<LambdaTypeId>
              org.eclipse.ocl.examples.domain.ids.impl.SpecializedLambdaTypeIdImpl

All Implemented Interfaces:

ElementId, LambdaTypeId, SpecializedId, TemplateableId, TypeId

public class SpecializedLambdaTypeIdImpl
extends AbstractSpecializedIdImpl<LambdaTypeId>
implements LambdaTypeId

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

SpecializedLambdaTypeIdImpl(LambdaTypeId generalizedId, BindingsId templateBindings)

Method Summary

<R> R	accept(IdVisitor<R> visitor)
protected LambdaTypeId	createSpecializedId(BindingsId templateBindings)
ParametersId	getParametersId()
LambdaTypeId	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

SpecializedLambdaTypeIdImpl

public SpecializedLambdaTypeIdImpl(@NonNull
                                   LambdaTypeId 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 LambdaTypeId createSpecializedId(@NonNull
                                                   BindingsId templateBindings)

Specified by:

createSpecializedId in class AbstractTemplateableIdImpl<LambdaTypeId>

getParametersId

@NonNull
public ParametersId getParametersId()

Specified by:

getParametersId in interface LambdaTypeId

specialize

@NonNull
public LambdaTypeId specialize(@NonNull
                                       BindingsId templateBindings)

Specified by:

specialize in interface TypeId