org.eclipse.ocl.examples.library.executor

Class ExecutorTypeParameter

java.lang.Object

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

org.eclipse.ocl.examples.library.executor.ExecutorTypeParameter

All Implemented Interfaces:

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

public class ExecutorTypeParameter
extends AbstractType
implements ExecutorTypeArgument, DomainTemplateParameter

Field Summary

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

name, standardLibrary

Constructor Summary

Constructors

Constructor and Description
ExecutorTypeParameter(TemplateParameterId typeid, DomainStandardLibrary standardLibrary, java.lang.String name)

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.
TemplateParameterId	getElementId()
TemplateParameterId	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

Constructor Detail

ExecutorTypeParameter

public ExecutorTypeParameter(@NonNull
                     TemplateParameterId typeid,
                     @NonNull
                     DomainStandardLibrary standardLibrary,
                     @NonNull
                     java.lang.String name)

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

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

getElementId

@NonNull
public TemplateParameterId getElementId()

Specified by:

getElementId in interface DomainTemplateParameter

getTypeId

@NonNull
public TemplateParameterId getTypeId()

Description copied from interface: DomainType

Return a unique StandardLibrary-independent identifier for this type.

Specified by:

getTypeId in interface DomainType

Returns:

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)