public class ExecutorTupleType extends AbstractType implements ExecutorTypeArgument
Modifier and Type | Field and Description |
---|---|
protected TypeId |
typeId |
name, standardLibrary
Constructor and Description |
---|
ExecutorTupleType(DomainStandardLibrary standardLibrary,
java.lang.String name,
java.util.Collection<? extends TuplePartId> parts) |
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.
|
TypeId |
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) |
createInstance, createInstance, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getOwnedRule, getPackage, getStandardLibrary, getTypeParameters, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, oclEquals, oclHashCode, specializeIn
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
createInstance, createInstance, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getPackage, getTypeParameters, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, specializeIn
getOwnedRule
oclEquals, oclHashCode
@NonNull protected final TypeId typeId
public ExecutorTupleType(@NonNull DomainStandardLibrary standardLibrary, @NonNull java.lang.String name, @NonNull java.util.Collection<? extends TuplePartId> parts)
public boolean conformsTo(@NonNull DomainStandardLibrary standardLibrary, @NonNull DomainType type)
DomainType
conformsTo
in interface DomainType
public boolean isEqualTo(@NonNull DomainStandardLibrary standardLibrary, @NonNull DomainType type)
DomainType
isEqualTo
in interface DomainType
@NonNull public LibraryFeature lookupImplementation(@NonNull DomainStandardLibrary standardLibrary, @NonNull DomainOperation staticOperation)
DomainType
lookupImplementation
in interface DomainType
public DomainOperation lookupOperation(DomainStandardLibrary standardLibrary, @NonNull java.lang.String operationName, DomainType... argumentTypes)
@NonNull public DomainType getCommonType(@NonNull IdResolver idResolver, @NonNull DomainType type)
DomainType
getCommonType
in interface DomainType
getCommonType
in class AbstractType
@NonNull public TypeId getTypeId()
DomainType
getTypeId
in interface DomainType