public abstract class ExecutorType extends AbstractExecutorClass implements ExecutorTypeArgument
AbstractInheritance.FragmentIterable
Modifier and Type | Field and Description |
---|---|
protected Package |
evaluationPackage |
ABSTRACT, flags, OCL_ANY, OCL_INVALID, OCL_VOID, ORDERED, UNIQUE
name
EMPTY_ARRAY
Constructor and Description |
---|
ExecutorType(java.lang.String name,
ExecutorPackage evaluationPackage,
int flags,
ExecutorTypeParameter... typeParameters) |
Modifier and Type | Method and Description |
---|---|
boolean |
conformsTo(StandardLibrary standardLibrary,
Type type)
Return true if this type conform to thatType within standardLibrary.
|
Class |
flattenedType() |
AbstractInheritance.FragmentIterable |
getAllProperSuperFragments()
Return a depth ordered, OclAny-first, OclSelf-last, Iterable of all the super-adapters excluding this one.
|
AbstractInheritance.FragmentIterable |
getAllSuperFragments()
Return a depth ordered, OclAny-first, OclSelf-last, Iterable of all the super-adapters including this one.
|
Type |
getCommonType(IdResolver idResolver,
Type type)
Return the most derived type common to this type and thatType within standardLibrary.
|
int |
getDepth()
Return the inheritance depth of the target type: OclAny is at depth 0.
|
ExecutorFragment |
getFragment(int fragmentNumber) |
java.lang.Iterable<InheritanceFragment> |
getFragments() |
int |
getIndex(int fragmentNumber) |
int |
getIndexes() |
CompleteInheritance |
getInheritance(StandardLibrary standardLibrary)
Return the inheritance description for this type within standardLibrary.
|
Operation |
getMemberOperation(OperationId operationId) |
Property |
getMemberProperty(java.lang.String name) |
java.lang.String |
getMetaTypeName()
Return the name of the meta-type of this type.
|
Class |
getNormalizedType(StandardLibrary standardLibrary)
Return the unique executable form of this type within standardLibrary.
|
java.util.List<Constraint> |
getOwnedConstraints()
Returns the value of the 'Owned Constraints' containment reference list.
|
java.util.List<Constraint> |
getOwnedInvariants()
Returns the value of the 'Owned Invariants' containment reference list.
|
java.util.List<Operation> |
getOwnedOperations()
Returns the value of the 'Owned Operations' containment reference list.
|
java.util.List<Property> |
getOwnedProperties()
Returns the value of the 'Owned Properties' containment reference list.
|
Package |
getOwningPackage()
Returns the value of the 'Owning Package' container reference.
|
Class |
getPivotClass() |
ExecutorFragment |
getSelfFragment() |
StandardLibrary |
getStandardLibrary() |
java.util.List<Class> |
getSuperClasses()
Returns the value of the 'Super Classes' reference list.
|
AbstractInheritance.FragmentIterable |
getSuperFragments(int depth)
Return an Iterable of all the super-inheritances at a specified depth, between 0 and getDepth() inclusive.
|
TemplateParameters |
getTypeParameters()
Return the ordered list of type parameters of this type.
|
void |
initFragments(ExecutorFragment[] fragments,
int[] depthCounts) |
Class |
isClass() |
boolean |
isEqualTo(StandardLibrary standardLibrary,
Type type)
Return true if this is the same type as thatType within standardLibrary.
|
boolean |
isEqualToUnspecializedType(StandardLibrary standardLibrary,
Type type) |
boolean |
isOrdered()
Return true if this type is a Collection type and has ordered elements.
|
TemplateParameter |
isTemplateParameter() |
boolean |
isUnique()
Return true if this type is a Collection type and has unique elements.
|
boolean |
oclEquals(OCLValue thatValue)
Return true if this is an equivalent OCL value to thatValue.
|
int |
oclHashCode() |
java.lang.String |
toString() |
createInstance, createInstance, getBehavioralClass, getExtenders, getInstanceClassName, getOwnedBehaviors, getOwnedBindings, getOwnedSignature, getUnspecializedElement, isIsAbstract, isIsActive, isIsInterface, isIsSerializable, setBehavioralClass, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setIsSerializable, setOwnedSignature, setOwningPackage, setUnspecializedElement, validateNameIsNotNull, validateUniqueInvariantName
getTypeId, specializeIn
getCommonInheritance, getFragment, getType, initStatics, isInvalid, isOclAny, isSubInheritanceOf, isSuperInheritanceOf, isUndefined, lookupActualOperation, lookupImplementation, 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, wait, wait, wait
getTypeId, 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
lookupActualOperation, lookupImplementation
protected final Package evaluationPackage
public ExecutorType(@NonNull java.lang.String name, @NonNull ExecutorPackage evaluationPackage, int flags, @NonNull ExecutorTypeParameter... typeParameters)
public boolean conformsTo(@NonNull StandardLibrary standardLibrary, @NonNull Type type)
Type
conformsTo
in interface Type
conformsTo
in class AbstractExecutorType
public Class flattenedType()
Type
flattenedType
in interface Type
flattenedType
in class AbstractExecutorType
@NonNull public final AbstractInheritance.FragmentIterable getAllProperSuperFragments()
CompleteInheritance
getAllProperSuperFragments
in interface CompleteInheritance
getAllProperSuperFragments
in class AbstractExecutorType
@NonNull public AbstractInheritance.FragmentIterable getAllSuperFragments()
CompleteInheritance
getAllSuperFragments
in interface CompleteInheritance
getAllSuperFragments
in class AbstractExecutorType
@NonNull public Type getCommonType(@NonNull IdResolver idResolver, @NonNull Type type)
Type
getCommonType
in interface Type
getCommonType
in class AbstractExecutorType
public int getDepth()
CompleteInheritance
getDepth
in interface CompleteInheritance
getDepth
in class AbstractExecutorType
@NonNull public java.lang.Iterable<InheritanceFragment> getFragments()
getFragments
in interface CompleteInheritance
getFragments
in class AbstractExecutorType
@NonNull public ExecutorFragment getFragment(int fragmentNumber)
getFragment
in interface CompleteInheritance
getFragment
in class AbstractExecutorType
public int getIndex(int fragmentNumber)
getIndex
in interface CompleteInheritance
getIndex
in class AbstractExecutorType
public int getIndexes()
getIndexes
in interface CompleteInheritance
getIndexes
in class AbstractExecutorType
@NonNull public CompleteInheritance getInheritance(@NonNull StandardLibrary standardLibrary)
Type
getInheritance
in interface Type
getInheritance
in class AbstractExecutorClass
@Nullable public Operation getMemberOperation(@NonNull OperationId operationId)
getMemberOperation
in interface CompleteInheritance
getMemberOperation
in class AbstractExecutorType
@Nullable public Property getMemberProperty(@NonNull java.lang.String name)
getMemberProperty
in interface CompleteInheritance
getMemberProperty
in class AbstractExecutorType
@NonNull public java.lang.String getMetaTypeName()
Class
getMetaTypeName
in interface Class
getMetaTypeName
in class AbstractExecutorClass
public Class getNormalizedType(@NonNull StandardLibrary standardLibrary)
Type
getNormalizedType
in interface Type
getNormalizedType
in class AbstractExecutorType
@NonNull public java.util.List<Constraint> getOwnedInvariants()
Class
Constraint
.
If the meaning of the 'Owned Invariants' containment reference list isn't clear, there really should be more of a description here...
getOwnedInvariants
in interface Class
getOwnedInvariants
in class AbstractExecutorClass
PivotPackage.getClass_OwnedInvariants()
@NonNull public java.util.List<Property> getOwnedProperties()
Class
Property
.
It is bidirectional and its opposite is 'Owning Class
'.
The Properties owned by the StructuredClassifier.
The attributes (i.e., the Properties) owned by the Class.
getOwnedProperties
in interface Class
getOwnedProperties
in class AbstractExecutorClass
PivotPackage.getClass_OwnedProperties()
,
Property.getOwningClass()
@NonNull public java.util.List<Operation> getOwnedOperations()
Class
Operation
.
It is bidirectional and its opposite is 'Owning Class
'.
The Operations owned by the Class.
getOwnedOperations
in interface Class
getOwnedOperations
in class AbstractExecutorClass
PivotPackage.getClass_OwnedOperations()
,
Operation.getOwningClass()
public Package getOwningPackage()
Class
Owned Classes
'.
getOwningPackage
in interface Class
getOwningPackage
in class AbstractExecutorClass
Class.setOwningPackage(org.eclipse.ocl.pivot.Package)
,
PivotPackage.getClass_OwningPackage()
,
Package.getOwnedClasses()
@NonNull public java.util.List<Constraint> getOwnedConstraints()
Namespace
Constraint
.
If the meaning of the 'Owned Rule' containment reference list isn't clear, there really should be more of a description here...
Specifies a set of Constraints owned by this Namespace.getOwnedConstraints
in interface Namespace
getOwnedConstraints
in class AbstractExecutorClass
PivotPackage.getNamespace_OwnedConstraints()
public Class getPivotClass()
getPivotClass
in interface CompleteInheritance
getPivotClass
in class AbstractExecutorType
@NonNull public ExecutorFragment getSelfFragment()
getSelfFragment
in interface CompleteInheritance
getSelfFragment
in class AbstractExecutorType
@NonNull public StandardLibrary getStandardLibrary()
@NonNull public java.util.List<Class> getSuperClasses()
Class
Class
.
getSuperClasses
in interface Class
getSuperClasses
in class AbstractExecutorClass
PivotPackage.getClass_SuperClasses()
@NonNull public final AbstractInheritance.FragmentIterable getSuperFragments(int depth)
CompleteInheritance
getSuperFragments
in interface CompleteInheritance
getSuperFragments
in class AbstractExecutorType
@NonNull public TemplateParameters getTypeParameters()
Class
getTypeParameters
in interface Class
getTypeParameters
in class AbstractExecutorClass
public void initFragments(@NonNull ExecutorFragment[] fragments, int[] depthCounts)
public Class isClass()
isClass
in interface Type
isClass
in class AbstractExecutorType
public boolean isEqualTo(@NonNull StandardLibrary standardLibrary, @NonNull Type type)
Type
isEqualTo
in interface Type
isEqualTo
in class AbstractExecutorType
public boolean isEqualToUnspecializedType(@NonNull StandardLibrary standardLibrary, @NonNull Type type)
isEqualToUnspecializedType
in interface Type
isEqualToUnspecializedType
in class AbstractExecutorType
public boolean isOrdered()
Class
isOrdered
in interface Class
isOrdered
in class AbstractExecutorClass
@Nullable public TemplateParameter isTemplateParameter()
isTemplateParameter
in interface Type
isTemplateParameter
in class AbstractExecutorType
public boolean isUnique()
Class
isUnique
in interface Class
isUnique
in class AbstractExecutorClass
public boolean oclEquals(@NonNull OCLValue thatValue)
OCLValue
Note that the caller must check that the argument is an OCLValue and should also check for the shortcut case that this == thatValue. Implementations are therefore wasting time if they re-implement the shortcut.
oclEquals
in interface OCLValue
oclEquals
in class AbstractExecutorType
public int oclHashCode()
oclHashCode
in interface OCLValue
oclHashCode
in class AbstractExecutorType
public java.lang.String toString()
toString
in class java.lang.Object