Uses of Class
org.eclipse.ocl.examples.pivot.manager.PackageManager

Packages that use PackageManager

org.eclipse.ocl.examples.pivot.manager

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

Fields in org.eclipse.ocl.examples.pivot.manager declared as PackageManager

protected PackageManager	AbstractTypeServer.packageManager
protected PackageManager	PackageServer.packageManager

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

protected PackageManager	MetaModelManager.createPackageManager()
PackageManager	AbstractTypeServer.getPackageManager()
PackageManager	MetaModelManager.getPackageManager()
PackageManager	PackageServer.getPackageManager()

Constructors in org.eclipse.ocl.examples.pivot.manager with parameters of type PackageManager

FinalAnalysis(PackageManager packageManager)

OrphanPackageServer(PackageManager packageManager, java.lang.String name, java.lang.String nsPrefix, java.lang.String nsURI, PackageId packageId)

PackageServer(PackageManager packageManager, java.lang.String name, java.lang.String nsPrefix, java.lang.String nsURI, PackageId packageId)

RootPackageServer(PackageManager packageManager, java.lang.String name, java.lang.String nsPrefix, java.lang.String nsURI, PackageId packageId)