public class ExecutorLambdaType extends AbstractExecutorClass implements ExecutorTypeArgument
AbstractInheritance.FragmentIterable
Modifier and Type | Field and Description |
---|---|
protected TypeId |
typeId |
ABSTRACT, flags, OCL_ANY, OCL_INVALID, OCL_VOID, ORDERED, UNIQUE
name
EMPTY_ARRAY
Constructor and Description |
---|
ExecutorLambdaType(java.lang.String name,
ExecutorTypeArgument... typeArguments) |
Modifier and Type | Method and Description |
---|---|
boolean |
conformsTo(StandardLibrary standardLibrary,
Type type)
Return true if this type conform to thatType within standardLibrary.
|
Type |
getCommonType(IdResolver idResolver,
Type type)
Return the most derived type common to this type and thatType within standardLibrary.
|
TypeId |
getTypeId()
Return a unique StandardLibrary-independent identifier for this type.
|
boolean |
isEqualTo(StandardLibrary standardLibrary,
Type type)
Return true if this is the same type as thatType within standardLibrary.
|
Operation |
lookupActualOperation(StandardLibrary standardLibrary,
Operation apparentOperation) |
LibraryFeature |
lookupImplementation(StandardLibrary standardLibrary,
Operation apparentOperation)
Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed
by the given Standard Library.
|
createInstance, createInstance, getBehavioralClass, getExtenders, getInheritance, getInstanceClassName, getMetaTypeName, getOwnedBehaviors, getOwnedBindings, getOwnedConstraints, getOwnedInvariants, getOwnedOperations, getOwnedProperties, getOwnedSignature, getOwningPackage, getSuperClasses, getTypeParameters, getUnspecializedElement, isIsAbstract, isIsActive, isIsInterface, isIsSerializable, isOrdered, isUnique, setBehavioralClass, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setIsSerializable, setOwnedSignature, setOwningPackage, setUnspecializedElement, validateUniqueInvariantName
flattenedType, getAllProperSuperFragments, getAllSuperFragments, getDepth, getFragment, getFragments, getIndex, getIndexes, getMemberOperation, getMemberProperty, getNormalizedType, getPivotClass, getSelfFragment, getSuperFragments, isClass, isEqualToUnspecializedType, isTemplateParameter, oclEquals, oclHashCode, specializeIn
getCommonInheritance, getFragment, getType, initStatics, isInvalid, isOclAny, isSubInheritanceOf, isSuperInheritanceOf, isUndefined, lookupLocalOperation
getName, setName
accept, allOwnedElements, eAdapters, eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eDeliver, eGet, eGet, eInvoke, eIsProxy, eIsSet, eNotify, eResource, eSet, eSetDeliver, eUnset, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
flattenedType, getInheritance, getNormalizedType, isClass, isEqualToUnspecializedType, isTemplateParameter, specializeIn
getName, setName
accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
eAdapters, eDeliver, eNotify, eSetDeliver
oclEquals, oclHashCode
@NonNull protected final TypeId typeId
public ExecutorLambdaType(@NonNull java.lang.String name, @NonNull ExecutorTypeArgument... typeArguments)
public boolean conformsTo(@NonNull StandardLibrary standardLibrary, @NonNull Type type)
Type
conformsTo
in interface Type
conformsTo
in class AbstractExecutorType
@NonNull public Type getCommonType(@NonNull IdResolver idResolver, @NonNull Type type)
Type
getCommonType
in interface Type
getCommonType
in class AbstractExecutorType
public boolean isEqualTo(@NonNull StandardLibrary standardLibrary, @NonNull Type type)
Type
isEqualTo
in interface Type
isEqualTo
in class AbstractExecutorType
@NonNull public Operation lookupActualOperation(@NonNull StandardLibrary standardLibrary, @NonNull Operation apparentOperation)
lookupActualOperation
in interface Class
lookupActualOperation
in interface CompleteInheritance
lookupActualOperation
in class AbstractInheritance
@NonNull public LibraryFeature lookupImplementation(@NonNull StandardLibrary standardLibrary, @NonNull Operation apparentOperation)
CompleteInheritance
lookupImplementation
in interface Class
lookupImplementation
in interface CompleteInheritance
lookupImplementation
in class AbstractInheritance