org.eclipse.ocl.examples.library.executor

Class ExecutorTupleType

java.lang.Object

org.eclipse.ocl.examples.domain.types.AbstractType

org.eclipse.ocl.examples.library.executor.ExecutorTupleType

All Implemented Interfaces:

DomainElement, DomainNamedElement, DomainNamespace, DomainType, Nameable, OCLValue, ExecutorTypeArgument

public class ExecutorTupleType
extends AbstractType
implements ExecutorTypeArgument

Field Summary

Fields

Modifier and Type	Field and Description
protected TypeId	typeId

Fields inherited from class org.eclipse.ocl.examples.domain.types.AbstractType

name, standardLibrary

Constructor Summary

Constructors

Constructor and Description
ExecutorTupleType(DomainStandardLibrary standardLibrary, java.lang.String name, java.util.Collection<? extends TuplePartId> parts)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	conformsTo(DomainStandardLibrary standardLibrary, DomainType type) Return true if this type conform to thatType within standardLibrary.
DomainType	getCommonType(IdResolver idResolver, DomainType type) Return the most derived type com mon to this type and thatType within standardLibrary.
TypeId	getTypeId() Return a unique StandardLibrary-independent identifier for this type.
boolean	isEqualTo(DomainStandardLibrary standardLibrary, DomainType type) Return true if this is the same type as thatType within standardLibrary.
LibraryFeature	lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation) Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed by the given Standard Library.
DomainOperation	lookupOperation(DomainStandardLibrary standardLibrary, java.lang.String operationName, DomainType... argumentTypes)

Methods inherited from class org.eclipse.ocl.examples.domain.types.AbstractType

createInstance, createInstance, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getOwnedRule, getPackage, getStandardLibrary, getTypeParameters, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, oclEquals, oclHashCode, specializeIn

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainType

createInstance, createInstance, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getPackage, getTypeParameters, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, specializeIn

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainNamespace

getOwnedRule

Methods inherited from interface org.eclipse.ocl.examples.domain.values.OCLValue

oclEquals, oclHashCode

Field Detail

typeId

@NonNull
protected final TypeId typeId

Constructor Detail

ExecutorTupleType

public ExecutorTupleType(@NonNull
                 DomainStandardLibrary standardLibrary,
                 @NonNull
                 java.lang.String name,
                 @NonNull
                 java.util.Collection<? extends TuplePartId> parts)

Method Detail

conformsTo

public boolean conformsTo(@NonNull
                 DomainStandardLibrary standardLibrary,
                 @NonNull
                 DomainType type)

Description copied from interface: DomainType

Return true if this type conform to thatType within standardLibrary.

Specified by:

conformsTo in interface DomainType

isEqualTo

public boolean isEqualTo(@NonNull
                DomainStandardLibrary standardLibrary,
                @NonNull
                DomainType type)

Description copied from interface: DomainType

Return true if this is the same type as thatType within standardLibrary.

Specified by:

isEqualTo in interface DomainType

lookupImplementation

@NonNull
public LibraryFeature lookupImplementation(@NonNull
                                          DomainStandardLibrary standardLibrary,
                                          @NonNull
                                          DomainOperation staticOperation)

Description copied from interface: DomainType

Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed by the given Standard Library.

Specified by:

lookupImplementation in interface DomainType

lookupOperation

public DomainOperation lookupOperation(DomainStandardLibrary standardLibrary,
                              @NonNull
                              java.lang.String operationName,
                              DomainType... argumentTypes)

getCommonType

@NonNull
public DomainType getCommonType(@NonNull
                               IdResolver idResolver,
                               @NonNull
                               DomainType type)

Description copied from interface: DomainType

Return the most derived type com mon to this type and thatType within standardLibrary.

Specified by:

getCommonType in interface DomainType

Specified by:

getCommonType in class AbstractType

getTypeId

@NonNull
public TypeId getTypeId()

Description copied from interface: DomainType

Return a unique StandardLibrary-independent identifier for this type.

Specified by:

getTypeId in interface DomainType

Returns: