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_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
TemplateBindingImpl(DomainTemplateParameter templateParameter)

Method Summary

Methods

Modifier and Type	Method and Description
<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