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

java.lang.Object
  org.eclipse.ocl.examples.library.executor.ExecutorPackage
      org.eclipse.ocl.examples.library.executor.ReflectivePackage
          org.eclipse.ocl.examples.pivot.executor.PivotReflectivePackage

All Implemented Interfaces:

DomainElement, DomainPackage

public class PivotReflectivePackage
extends ReflectivePackage

Field Summary

protected MetaModelManager	metaModelManager
protected Package	pivotPackage

Fields inherited from class org.eclipse.ocl.examples.library.executor.ReflectivePackage

types

Fields inherited from class org.eclipse.ocl.examples.library.executor.ExecutorPackage

name, nsURI

Constructor Summary

PivotReflectivePackage(MetaModelManager metaModelManager, Package pivotPackage)

Method Summary

protected PivotReflectiveType	createExecutorType(DomainType domainType)
protected java.lang.Iterable<? extends DomainType>	getDomainTypes()
MetaModelManager	getMetaModelManager()
Package	getPivotPackage()
protected DomainStandardLibrary	getStandardLibrary()

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

computeClasses, getInheritance, getOwnedType

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

getName, getNsURI, 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

pivotPackage

protected final Package pivotPackage

Constructor Detail

PivotReflectivePackage

public PivotReflectivePackage(MetaModelManager metaModelManager,
                              Package pivotPackage)

Method Detail

createExecutorType

protected PivotReflectiveType createExecutorType(DomainType domainType)

Specified by:

createExecutorType in class ReflectivePackage

getDomainTypes

protected java.lang.Iterable<? extends DomainType> getDomainTypes()

Specified by:

getDomainTypes in class ReflectivePackage

getMetaModelManager

public final MetaModelManager getMetaModelManager()

getPivotPackage

public final Package getPivotPackage()

getStandardLibrary

protected DomainStandardLibrary getStandardLibrary()

Specified by:

getStandardLibrary in class ReflectivePackage