public class ExecutorTypeParameter extends AbstractType implements ExecutorTypeArgument, DomainTemplateParameter
name, standardLibrary
Constructor and Description |
---|
ExecutorTypeParameter(TemplateParameterId typeid,
DomainStandardLibrary standardLibrary,
java.lang.String name) |
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.
|
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) |
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
public ExecutorTypeParameter(@NonNull TemplateParameterId typeid, @NonNull DomainStandardLibrary standardLibrary, @NonNull java.lang.String name)
public boolean conformsTo(@NonNull DomainStandardLibrary standardLibrary, @NonNull DomainType type)
DomainType
conformsTo
in interface DomainType
@NonNull public DomainType getCommonType(@NonNull IdResolver idResolver, @NonNull DomainType type)
DomainType
getCommonType
in interface DomainType
getCommonType
in class AbstractType
@NonNull public TemplateParameterId getElementId()
getElementId
in interface DomainTemplateParameter
@NonNull public TemplateParameterId getTypeId()
DomainType
getTypeId
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)