org.eclipse.ocl.examples.library.executor
Class ExecutorLambdaType

java.lang.Object
  org.eclipse.ocl.examples.domain.types.AbstractType
      org.eclipse.ocl.examples.library.executor.ExecutorLambdaType

All Implemented Interfaces:

DomainElement, DomainType, ExecutorTypeArgument

public class ExecutorLambdaType
extends AbstractType
implements ExecutorTypeArgument

Field Summary

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

name, standardLibrary

Constructor Summary

ExecutorLambdaType(DomainStandardLibrary standardLibrary, java.lang.String name, ExecutorTypeArgument... typeArguments)

ExecutorLambdaType(java.lang.String name, ExecutorTypeArgument... typeArguments)
Deprecated.

Method Summary

boolean	conformsTo(DomainStandardLibrary standardLibrary, DomainType type) Return true if this type conform to thatType within standardLibrary.
DomainType	getCommonType(DomainStandardLibrary standardLibrary, DomainType type) Return the most derived type com mon to this type and thatType within standardLibrary.
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, getPackage, getStandardLibrary, isEqualToUnspecializedType, isOrdered, isUnique

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, getPackage, isEqualToUnspecializedType, isOrdered, isUnique

Constructor Detail

ExecutorLambdaType

public ExecutorLambdaType(DomainStandardLibrary standardLibrary,
                          java.lang.String name,
                          ExecutorTypeArgument... typeArguments)

ExecutorLambdaType

@Deprecated
public ExecutorLambdaType(java.lang.String name,
                                     ExecutorTypeArgument... typeArguments)

Deprecated.

Method Detail

conformsTo

public boolean conformsTo(DomainStandardLibrary standardLibrary,
                          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(DomainStandardLibrary standardLibrary,
                         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

public LibraryFeature lookupImplementation(DomainStandardLibrary standardLibrary,
                                           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,
                                       java.lang.String operationName,
                                       DomainType... argumentTypes)

getCommonType

public DomainType getCommonType(DomainStandardLibrary standardLibrary,
                                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