org.eclipse.ocl.examples.library.executor
Class ExecutorType

java.lang.Object
  org.eclipse.ocl.examples.domain.types.AbstractInheritance
      org.eclipse.ocl.examples.library.executor.ExecutorType

All Implemented Interfaces:

DomainElement, DomainInheritance, DomainType, ExecutorTypeArgument

Direct Known Subclasses:

EcoreExecutorType

public class ExecutorType
extends AbstractInheritance
implements DomainType, ExecutorTypeArgument

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.examples.domain.types.AbstractInheritance

AbstractInheritance.FragmentIterable

Field Summary

Fields inherited from class org.eclipse.ocl.examples.domain.types.AbstractInheritance

evaluationPackage, flags, name, ORDERED, UNIQUE

Constructor Summary

ExecutorType(java.lang.String name, ExecutorPackage evaluationPackage, int flags, ExecutorTypeParameter... typeParameters)

Method Summary

AbstractInheritance.FragmentIterable	getAllSuperFragments() Return a depth ordered, OclAny-first, OclSelf-last, Iterable of all the super-adapters including this one.
int	getDepth() Return the inheritance depth of the target type: OclAny is at depth 0.
DomainFragment	getFragment(int fragmentNumber)
int	getIndex(int fragmentNumber)
int	getIndexes()
java.lang.Iterable<? extends DomainOperation>	getLocalOperations()
java.lang.Iterable<? extends DomainProperty>	getLocalProperties()
java.lang.Iterable<? extends DomainType>	getLocalSuperTypes()
java.lang.String	getMetaTypeName() Return the name of the meta-type of this type.
ExecutorFragment	getSelfFragment()
DomainStandardLibrary	getStandardLibrary() Return the Standard Library managing the dispatch tables.
AbstractInheritance.FragmentIterable	getSuperFragments(int depth) Return an Iterable of all the super-inheritances at a specified depth, between 0 and getDepth() inclusive.
DomainType	getType()
void	initFragments(ExecutorFragment[] fragments, int[] depthCounts)

Methods inherited from class org.eclipse.ocl.examples.domain.types.AbstractInheritance

conformsTo, createInstance, createInstance, getCommonInheritance, getCommonType, getFragment, getInheritance, getName, getNormalizedType, getOclAnyInheritance, getPackage, isEqualTo, isEqualToUnspecializedType, isOrdered, isSubInheritanceOf, isSuperInheritanceOf, isUndefined, isUnique, lookupImplementation, lookupLocalOperation, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainType

conformsTo, createInstance, createInstance, getCommonType, getInheritance, getName, getNormalizedType, getPackage, isEqualTo, isEqualToUnspecializedType, isOrdered, isUnique, lookupImplementation

Constructor Detail

ExecutorType

public ExecutorType(java.lang.String name,
                    ExecutorPackage evaluationPackage,
                    int flags,
                    ExecutorTypeParameter... typeParameters)

Method Detail

getAllSuperFragments

public AbstractInheritance.FragmentIterable getAllSuperFragments()

Description copied from interface: DomainInheritance

Return a depth ordered, OclAny-first, OclSelf-last, Iterable of all the super-adapters including this one.

Specified by:

getAllSuperFragments in interface DomainInheritance

getDepth

public int getDepth()

Description copied from interface: DomainInheritance

Return the inheritance depth of the target type: OclAny is at depth 0.

Specified by:

getDepth in interface DomainInheritance

getFragment

public DomainFragment getFragment(int fragmentNumber)

Specified by:

getFragment in interface DomainInheritance

getIndex

public int getIndex(int fragmentNumber)

Specified by:

getIndex in interface DomainInheritance

getIndexes

public int getIndexes()

Specified by:

getIndexes in interface DomainInheritance

getLocalOperations

public java.lang.Iterable<? extends DomainOperation> getLocalOperations()

Specified by:

getLocalOperations in interface DomainType

getLocalProperties

public java.lang.Iterable<? extends DomainProperty> getLocalProperties()

Specified by:

getLocalProperties in interface DomainType

getLocalSuperTypes

public java.lang.Iterable<? extends DomainType> getLocalSuperTypes()

Specified by:

getLocalSuperTypes in interface DomainType

getMetaTypeName

public java.lang.String getMetaTypeName()

Description copied from interface: DomainType

Return the name of the meta-type of this type.

Specified by:

getMetaTypeName in interface DomainType

getSelfFragment

public ExecutorFragment getSelfFragment()

Specified by:

getSelfFragment in interface DomainInheritance

getStandardLibrary

public DomainStandardLibrary getStandardLibrary()

Description copied from interface: DomainInheritance

Return the Standard Library managing the dispatch tables.

Specified by:

getStandardLibrary in interface DomainInheritance

getSuperFragments

public final AbstractInheritance.FragmentIterable getSuperFragments(int depth)

Description copied from interface: DomainInheritance

Return an Iterable of all the super-inheritances at a specified depth, between 0 and getDepth() inclusive.

Specified by:

getSuperFragments in interface DomainInheritance

getType

public DomainType getType()

initFragments

public void initFragments(ExecutorFragment[] fragments,
                          int[] depthCounts)