org.eclipse.ocl.pivot.internal.ids

Class TemplateBindingImpl

java.lang.Object

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

org.eclipse.ocl.pivot.internal.ids.AbstractTypeId

org.eclipse.ocl.pivot.internal.ids.TemplateBindingImpl

All Implemented Interfaces:

ElementId, TemplateBinding, TypeId

public class TemplateBindingImpl
extends AbstractTypeId
implements TemplateBinding

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

Constructor Summary

Constructors

Constructor and Description
TemplateBindingImpl(TemplateParameter templateParameter)

Method Summary

Modifier and Type	Method and Description
<R> R	accept(IdVisitor<R> visitor)
java.lang.String	getDisplayName() Return a simple name for diagnostics.
TemplateParameter	getTemplateParameter()
int	hashCode()
void	install(TemplateParameterId templateParameterId)
TypeId	specialize(BindingsId templateBindings)

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

getEnumerationLiteralId, getMetaTypeName, getOperationId, getPropertyId, getTemplateParameterId, getTemplateParameters

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.TypeId

getLiteralName, getMetaTypeName, getOperationId, getPropertyId, getTemplateParameterId, getTemplateParameters

Constructor Detail

TemplateBindingImpl

public TemplateBindingImpl(@NonNull
                           TemplateParameter templateParameter)

Method Detail

accept

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

Specified by:

accept in interface ElementId

getDisplayName

@NonNull
public java.lang.String getDisplayName()

Description copied from interface: ElementId

Return a simple name for diagnostics.

Specified by:

getDisplayName in interface ElementId

getTemplateParameter

@NonNull
public TemplateParameter getTemplateParameter()

Specified by:

getTemplateParameter in interface TemplateBinding

hashCode

public int hashCode()

Specified by:

hashCode in class AbstractElementId

install

public void install(@NonNull
                    TemplateParameterId templateParameterId)

Specified by:

install in interface TemplateBinding

specialize

@NonNull
public TypeId specialize(@NonNull
                                   BindingsId templateBindings)

Specified by:

specialize in interface TypeId

Overrides:

specialize in class AbstractTypeId