org.eclipse.ocl.pivot.internal.ids

Class TemplateParameterIdImpl

java.lang.Object

org.eclipse.ocl.pivot.internal.ids.TemplateParameterIdImpl

All Implemented Interfaces:

ElementId, TemplateParameterId, TypeId, Nameable

public class TemplateParameterIdImpl
extends Object
implements TemplateParameterId

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
TemplateParameterIdImpl(IdManager idManager, int index)

Method Summary

Modifier and Type	Method and Description
<R> R	accept(IdVisitor<R> visitor)
boolean	equals(Object that)
String	getDisplayName() Return a simple name for diagnostics.
int	getIndex()
String	getLiteralName()
String	getMetaTypeName()
String	getName()
OperationId	getOperationId(int templateParameters, String name, ParametersId parametersId) Return the OperationId for an Operation of this typeId.
PropertyId	getPropertyId(String name) Return the PropertyId for a Property of this typeId.
TemplateParameterId	getTemplateParameterId(int index) Return the typeId for the named type parameter of this typeId.
int	getTemplateParameters()
int	hashCode()
ElementId	specialize(BindingsId templateBindings)
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

TemplateParameterIdImpl

public TemplateParameterIdImpl(IdManager idManager,
                               int index)

Method Detail

accept

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

Specified by:

accept in interface ElementId

equals

public boolean equals(Object that)

Overrides:

equals in class Object

getDisplayName

public String getDisplayName()

Description copied from interface: ElementId

Return a simple name for diagnostics.

Specified by:

getDisplayName in interface ElementId

getIndex

public int getIndex()

Specified by:

getIndex in interface TemplateParameterId

getLiteralName

public String getLiteralName()

Specified by:

getLiteralName in interface TypeId

getMetaTypeName

public String getMetaTypeName()

Specified by:

getMetaTypeName in interface TypeId

getName

public String getName()

Specified by:

getName in interface TemplateParameterId

Specified by:

getName in interface Nameable

getOperationId

public OperationId getOperationId(int templateParameters,
                                  String name,
                                  ParametersId parametersId)

Description copied from interface: TypeId

Return the OperationId for an Operation of this typeId.

Throws UnsupportedException for typeIds such as Primitive Types that may not have operations.

Specified by:

getOperationId in interface TypeId

getPropertyId

public PropertyId getPropertyId(String name)

Description copied from interface: TypeId

Return the PropertyId for a Property of this typeId.

Throws UnsupportedException for typeIds such as Primitive Types that may not have properties.

Specified by:

getPropertyId in interface TypeId

getTemplateParameterId

public TemplateParameterId getTemplateParameterId(int index)

Description copied from interface: TypeId

Return the typeId for the named type parameter of this typeId.

Throws UnsupportedException for typeIds such as Primitive Types that may not have type parameters.

Specified by:

getTemplateParameterId in interface TypeId

getTemplateParameters

public int getTemplateParameters()

Specified by:

getTemplateParameters in interface TypeId

hashCode

public final int hashCode()

Overrides:

hashCode in class Object

specialize

public ElementId specialize(BindingsId templateBindings)

Specified by:

specialize in interface TypeId

toString

public String toString()

Overrides:

toString in class Object