org.eclipse.ocl.pivot.internal.ids

Class GeneralizedLambdaTypeIdImpl

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

org.eclipse.ocl.pivot.internal.ids.GeneralizedLambdaTypeIdImpl

All Implemented Interfaces:

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

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

Nested Class Summary

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

ElementId.ElementIdComparator

Field Summary

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

Constructor and Description
GeneralizedLambdaTypeIdImpl(Integer hashCode, String name, ParametersId parametersId)

Method Summary

Modifier and Type	Method and Description
<R> R	accept(IdVisitor<R> visitor)
String	getDisplayName() Return a simple name for diagnostics.
LambdaTypeId	getGeneralizedId()
String	getMetaTypeName()
ParametersId	getParametersId()
boolean	matches(String thatName, ParametersId thatParametersId)
LambdaTypeId	specialize(BindingsId templateBindings)

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

getName

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

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

getClass, notify, notifyAll, wait, wait, wait

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

getLiteralName, getOperationId, getPropertyId, getTemplateParameterId, getTemplateParameters

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

getLiteralName, getName, getSpecializedId, getTemplateParameters

Constructor Detail

GeneralizedLambdaTypeIdImpl

public GeneralizedLambdaTypeIdImpl(Integer hashCode,
                                   String name,
                                   ParametersId parametersId)

Method Detail

accept

public <R> R accept(IdVisitor<R> visitor)

Specified by:

accept in interface ElementId

getDisplayName

public String getDisplayName()

Description copied from interface: ElementId

Return a simple name for diagnostics.

Specified by:

getDisplayName in interface ElementId

getGeneralizedId

public LambdaTypeId getGeneralizedId()

Specified by:

getGeneralizedId in interface TemplateableId

getMetaTypeName

public String getMetaTypeName()

Specified by:

getMetaTypeName in interface TemplateableId

Specified by:

getMetaTypeName in interface TypeId

getParametersId

public ParametersId getParametersId()

Specified by:

getParametersId in interface LambdaTypeId

matches

public boolean matches(String thatName,
                       ParametersId thatParametersId)

Specified by:

matches in interface WeakHashMapOfListOfWeakReference3.MatchableId<String,ParametersId>

specialize

public LambdaTypeId specialize(BindingsId templateBindings)

Specified by:

specialize in interface TypeId