org.eclipse.ocl.examples.library.executor
Class ExecutorSpecializedType
java.lang.Object
org.eclipse.ocl.examples.domain.types.AbstractType
org.eclipse.ocl.examples.library.executor.ExecutorSpecializedType
- All Implemented Interfaces:
- DomainElement, DomainNamedElement, DomainNamespace, DomainType, Nameable, OCLValue, ExecutorTypeArgument
public class ExecutorSpecializedType
- extends AbstractType
- implements ExecutorTypeArgument
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 |
typeId
@NonNull
protected final TypeId typeId
ExecutorSpecializedType
public ExecutorSpecializedType(@NonNull
DomainStandardLibrary standardLibrary,
@NonNull
java.lang.String name,
@NonNull
ExecutorTypeArgument... typeArguments)
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: