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

Packages that use PivotReflectivePackage

org.eclipse.ocl.examples.pivot.executor
org.eclipse.ocl.examples.pivot.manager

Uses of PivotReflectivePackage in org.eclipse.ocl.examples.pivot.executor

Constructors in org.eclipse.ocl.examples.pivot.executor with parameters of type PivotReflectivePackage

PivotReflectiveAnyType(PivotReflectivePackage executorPackage, AnyType type)

PivotReflectiveEnumerationType(PivotReflectivePackage executorPackage, Enumeration type)

PivotReflectiveInvalidType(PivotReflectivePackage executorPackage, InvalidType type)

PivotReflectiveType(PivotReflectivePackage executorPackage, Type type)

PivotReflectiveVoidType(PivotReflectivePackage executorPackage, VoidType type)

Uses of PivotReflectivePackage in org.eclipse.ocl.examples.pivot.manager

Methods in org.eclipse.ocl.examples.pivot.manager that return PivotReflectivePackage

PivotReflectivePackage	PackageServer.getExecutorPackage()
protected PivotReflectivePackage	TypeServer.getExecutorPackage()