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

Class AbstractTypeId

java.lang.Object

org.eclipse.ocl.examples.domain.ids.impl.AbstractElementId

org.eclipse.ocl.examples.domain.ids.impl.AbstractTypeId

All Implemented Interfaces:

ElementId, TypeId

Direct Known Subclasses:

EnumerationIdImpl, GeneralizedTupleTypeIdImpl, TemplateBindingImpl, UnscopedId, UnspecifiedIdImpl

public abstract class AbstractTypeId
extends AbstractElementId
implements TypeId

Nested Class Summary

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

AbstractElementId.OperationIdsMap, AbstractElementId.PropertyIdsMap

Field Summary

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

Constructor Summary

Constructors

Constructor and Description
AbstractTypeId()

Method Summary

Methods

Modifier and Type	Method and Description
EnumerationLiteralId	getEnumerationLiteralId(java.lang.String name)
java.lang.String	getMetaTypeName()
OperationId	getOperationId(int templateParameters, java.lang.String name, ParametersId parametersId) Return the OperationId for an Operation of this typeId.
PropertyId	getPropertyId(java.lang.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()
TypeId	specialize(BindingsId templateBindings)

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

equals, getLiteralName, hashCode, 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

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

accept, getDisplayName

Constructor Detail

AbstractTypeId

public AbstractTypeId()

Method Detail

getEnumerationLiteralId

@NonNull
public EnumerationLiteralId getEnumerationLiteralId(@NonNull
                                                   java.lang.String name)

getMetaTypeName

@NonNull
public java.lang.String getMetaTypeName()

Specified by:

getMetaTypeName in interface TypeId

getOperationId

@NonNull
public OperationId getOperationId(int templateParameters,
                                 @NonNull
                                 java.lang.String name,
                                 @NonNull
                                 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

@NonNull
public PropertyId getPropertyId(@NonNull
                               java.lang.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

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

specialize

@NonNull
public TypeId specialize(@NonNull
                        BindingsId templateBindings)

Specified by:

specialize in interface TypeId