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

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

All Implemented Interfaces:

ElementId, WeakHashMapOfListOfWeakReference3.MatchableId<java.lang.String,ParametersId>, LambdaTypeId, TemplateableId, TypeId

public class GeneralizedLambdaTypeIdImpl
extends AbstractGeneralizedIdImpl<LambdaTypeId>
implements LambdaTypeId, WeakHashMapOfListOfWeakReference3.MatchableId<java.lang.String,ParametersId>

Nested Class Summary

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

AbstractElementId.OperationIdsMap, AbstractElementId.PropertyIdsMap

Field Summary

protected ParametersId

parametersId

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

name

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

GeneralizedLambdaTypeIdImpl(java.lang.Integer hashCode, java.lang.String name, ParametersId parametersId)

Method Summary

<R> R	accept(IdVisitor<R> visitor)
protected LambdaTypeId	createSpecializedId(BindingsId templateBindings)
java.lang.String	getDisplayName() Return a simple name for diagnostics.
LambdaTypeId	getGeneralizedId()
java.lang.String	getMetaTypeName()
ParametersId	getParametersId()
boolean	matches(java.lang.String thatName, ParametersId thatParametersId)
LambdaTypeId	specialize(BindingsId templateBindings)

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

getName

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, getOperationId, getPropertyId, getTemplateParameterId, getTemplateParameters

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

getLiteralName, getName, getSpecializedId, getTemplateParameters

Field Detail

parametersId

@NonNull
protected final ParametersId parametersId

Constructor Detail

GeneralizedLambdaTypeIdImpl

public GeneralizedLambdaTypeIdImpl(@NonNull
                                   java.lang.Integer hashCode,
                                   @NonNull
                                   java.lang.String name,
                                   @NonNull
                                   ParametersId parametersId)

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>

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

Specified by:

getGeneralizedId in interface TemplateableId

getMetaTypeName

@NonNull
public java.lang.String getMetaTypeName()

Specified by:

getMetaTypeName in interface TemplateableId

Specified by:

getMetaTypeName in interface TypeId

getParametersId

@NonNull
public ParametersId getParametersId()

Specified by:

getParametersId in interface LambdaTypeId

matches

public boolean matches(@NonNull
                       java.lang.String thatName,
                       @NonNull
                       ParametersId thatParametersId)

Specified by:

matches in interface WeakHashMapOfListOfWeakReference3.MatchableId<java.lang.String,ParametersId>

specialize

@NonNull
public LambdaTypeId specialize(@NonNull
                                       BindingsId templateBindings)

Specified by:

specialize in interface TypeId