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

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

All Implemented Interfaces:

DomainElement, DomainInheritance, DomainType

public class PivotReflectiveAnyType
extends PivotReflectiveType

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.pivot.executor.PivotReflectiveType

metaModelManager, type

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

evaluationPackage, flags, name, ORDERED, UNIQUE

Constructor Summary

PivotReflectiveAnyType(PivotReflectivePackage executorPackage, AnyType type)

Method Summary

DomainInheritance	getCommonInheritance(DomainInheritance thatInheritance)
java.lang.Iterable<? extends DomainInheritance>	getInitialSuperInheritances() Return the immediate superinheritances without reference to the fragments.
boolean	isInstallable() Return true if this is installed or able to be installed.
boolean	isUndefined()

Methods inherited from class org.eclipse.ocl.examples.pivot.executor.PivotReflectiveType

createFragment, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaModelManager, getMetaTypeName, getPivotType, getStandardLibrary

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, isInstalled, removeSubInheritance, uninstall

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

PivotReflectiveAnyType

public PivotReflectiveAnyType(PivotReflectivePackage executorPackage,
                              AnyType type)

Method Detail

getCommonInheritance

public DomainInheritance getCommonInheritance(DomainInheritance thatInheritance)

Specified by:

getCommonInheritance in interface DomainInheritance

Overrides:

getCommonInheritance in class AbstractInheritance

getInitialSuperInheritances

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

Description copied from class: ReflectiveType

Return the immediate superinheritances without reference to the fragments.

Overrides:

getInitialSuperInheritances in class PivotReflectiveType

isInstallable

public boolean isInstallable()

Description copied from class: ReflectiveType

Return true if this is installed or able to be installed. Returns false if some superclass must be installed first.

Overrides:

isInstallable in class ReflectiveType

isUndefined

public boolean isUndefined()

Specified by:

isUndefined in interface DomainInheritance

Overrides:

isUndefined in class AbstractInheritance