org.eclipse.ocl.examples.pivot.executor
Class PivotReflectiveType

java.lang.Object
  org.eclipse.ocl.examples.domain.types.AbstractInheritance
      org.eclipse.ocl.examples.library.executor.ReflectiveType
          org.eclipse.ocl.examples.pivot.executor.PivotReflectiveType

All Implemented Interfaces:

DomainElement, DomainInheritance, DomainType

Direct Known Subclasses:

PivotReflectiveAnyType, PivotReflectiveEnumerationType, PivotReflectiveInvalidType, PivotReflectiveVoidType

public class PivotReflectiveType
extends ReflectiveType

Nested Class Summary

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

AbstractInheritance.FragmentIterable

Field Summary

protected MetaModelManager	metaModelManager
protected Type	type

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

evaluationPackage, flags, name, ORDERED, UNIQUE

Constructor Summary

PivotReflectiveType(PivotReflectivePackage executorPackage, Type type)

Method Summary

protected AbstractFragment	createFragment(DomainInheritance baseInheritance)
java.lang.Iterable<? extends DomainInheritance>	getInitialSuperInheritances() Return the immediate superinheritances without reference to the fragments.
java.lang.Iterable<? extends DomainOperation>	getLocalOperations()
java.lang.Iterable<? extends DomainProperty>	getLocalProperties()
java.lang.Iterable<? extends DomainType>	getLocalSuperTypes()
MetaModelManager	getMetaModelManager()
java.lang.String	getMetaTypeName() Return the name of the meta-type of this type.
Type	getPivotType()
DomainStandardLibrary	getStandardLibrary() Return the Standard Library managing the dispatch tables.

Methods inherited from class org.eclipse.ocl.examples.library.executor.ReflectiveType

addSubInheritance, computeFlags, dispose, gatherUninstalledInheritances, getAllSuperFragments, getDepth, getFragment, getFragments, getIndex, getIndexes, getSelfFragment, getSuperFragments, getType, initialize, install, installOclAny, isInstallable, isInstalled, removeSubInheritance, uninstall

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

Field Detail

metaModelManager

protected final MetaModelManager metaModelManager

type

protected final Type type

Constructor Detail

PivotReflectiveType

public PivotReflectiveType(PivotReflectivePackage executorPackage,
                           Type type)

Method Detail

createFragment

protected AbstractFragment createFragment(DomainInheritance baseInheritance)

Specified by:

createFragment in class ReflectiveType

getInitialSuperInheritances

public java.lang.Iterable<? extends DomainInheritance> getInitialSuperInheritances()

Description copied from class: ReflectiveType

Return the immediate superinheritances without reference to the fragments.

Specified by:

getInitialSuperInheritances in class ReflectiveType

getLocalOperations

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

getLocalProperties

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

getLocalSuperTypes

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

getMetaModelManager

public final MetaModelManager getMetaModelManager()

getMetaTypeName

public java.lang.String getMetaTypeName()

Description copied from interface: DomainType

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

getPivotType

public final Type getPivotType()

getStandardLibrary

public final DomainStandardLibrary getStandardLibrary()

Description copied from interface: DomainInheritance

Return the Standard Library managing the dispatch tables.