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
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 |
standardLibrary
protected final DomainStandardLibrary standardLibrary
domainType
protected final DomainType domainType
DomainReflectiveType
public DomainReflectiveType(DomainReflectivePackage evaluationPackage,
DomainType domainType)
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.