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

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(TemplateParameter templateParameter)

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

getTemplateParameter

public TemplateParameter getTemplateParameter()

Specified by:

getTemplateParameter in interface TemplateBinding

hashCode

public int hashCode()

Specified by:

hashCode in class AbstractElementId

install

public void install(TemplateParameterId templateParameterId)

Specified by:

install in interface TemplateBinding

specialize

public TypeId specialize(BindingsId templateBindings)

Specified by:

specialize in interface TypeId

Overrides:

specialize in class AbstractTypeId