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

java.lang.Object
  extended by org.eclipse.ocl.examples.domain.types.AbstractType
      extended by 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
ExecutorTypeParameter(TemplateParameterId typeid, DomainStandardLibrary standardLibrary, java.lang.String name)
           
 
Method Summary
 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)