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

java.lang.Object
  org.eclipse.ocl.examples.domain.ids.impl.AbstractElementId
      org.eclipse.ocl.examples.domain.ids.impl.AbstractTypeId
          org.eclipse.ocl.examples.domain.ids.impl.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.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_COLLECTION, ORDERED_COLLECTION_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

TemplateBindingImpl(DomainTemplateParameter templateParameter)

Method Summary

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

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

getEnumerationLiteralId, getMetaTypeName, getOperationId, getPropertyId, getTemplateParameterId, getTemplateParameters

Methods inherited from class org.eclipse.ocl.examples.domain.ids.impl.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.examples.domain.ids.TypeId

getLiteralName, getMetaTypeName, getOperationId, getPropertyId, getTemplateParameterId, getTemplateParameters

Constructor Detail

TemplateBindingImpl

public TemplateBindingImpl(@NonNull
                           DomainTemplateParameter templateParameter)

Method Detail

accept

@Nullable
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 DomainTemplateParameter 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