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
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 |
ExecutorTypeParameter
public ExecutorTypeParameter(@NonNull
TemplateParameterId typeid,
@NonNull
DomainStandardLibrary standardLibrary,
@NonNull
java.lang.String name)
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)