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

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

All Implemented Interfaces:

DomainElement, DomainInheritance, DomainType

public class DomainReflectiveType
extends ReflectiveType

Nested Class Summary

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

AbstractInheritance.FragmentIterable

Field Summary

protected DomainType	domainType
protected DomainStandardLibrary	standardLibrary

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

evaluationPackage, flags, name, ORDERED, UNIQUE

Constructor Summary

DomainReflectiveType(DomainReflectivePackage evaluationPackage, DomainType domainType)

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

standardLibrary

protected final DomainStandardLibrary standardLibrary

domainType

protected final DomainType domainType

Constructor Detail

DomainReflectiveType

public DomainReflectiveType(DomainReflectivePackage evaluationPackage,
                            DomainType domainType)

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

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.