org.eclipse.ocl.examples.library.ecore
Class EcoreReflectiveType

java.lang.Object
  org.eclipse.ocl.examples.domain.types.AbstractInheritance
      org.eclipse.ocl.examples.library.executor.ReflectiveType
          org.eclipse.ocl.examples.library.ecore.EcoreReflectiveType

All Implemented Interfaces:

DomainElement, DomainInheritance, DomainType

public class EcoreReflectiveType
extends ReflectiveType

Nested Class Summary

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

AbstractInheritance.FragmentIterable

Field Summary

protected org.eclipse.emf.ecore.EClassifier

eClassifier

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

evaluationPackage, flags, name, ORDERED, UNIQUE

Constructor Summary

EcoreReflectiveType(EcoreExecutorPackage evaluationPackage, int flags, org.eclipse.emf.ecore.EClassifier eClassifier)

Method Summary

protected AbstractFragment	createFragment(DomainInheritance baseInheritance)
ObjectValue	createInstance(ValueFactory valueFactory) Return a new instance of this type from valueFactory.
org.eclipse.emf.ecore.EClassifier	getEClassifier()
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()
java.lang.String	getMetaTypeName() Return the name of the meta-type of this type.
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, 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

eClassifier

protected final org.eclipse.emf.ecore.EClassifier eClassifier

Constructor Detail

EcoreReflectiveType

public EcoreReflectiveType(EcoreExecutorPackage evaluationPackage,
                           int flags,
                           org.eclipse.emf.ecore.EClassifier eClassifier)

Method Detail

createFragment

protected AbstractFragment createFragment(DomainInheritance baseInheritance)

Specified by:

createFragment in class ReflectiveType

createInstance

public ObjectValue createInstance(ValueFactory valueFactory)

Description copied from interface: DomainType

Return a new instance of this type from valueFactory. Properties may be initialised using DomainProperty.setValue(ObjectValue, Value) provided no side-effect free OCL functionality is permitted to use the ObjectValue until initialisation has completed.

Specified by:

createInstance in interface DomainType

Overrides:

createInstance in class AbstractInheritance

getEClassifier

public final org.eclipse.emf.ecore.EClassifier getEClassifier()

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()

getMetaTypeName

public java.lang.String getMetaTypeName()

Description copied from interface: DomainType

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

getStandardLibrary

public DomainStandardLibrary getStandardLibrary()

Description copied from interface: DomainInheritance

Return the Standard Library managing the dispatch tables.