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

java.lang.Object
  org.eclipse.ocl.examples.pivot.manager.PackageManager

public class PackageManager
extends java.lang.Object

PackageManager encapsulates the knowledge about known packages and their nsURIs.

Field Summary

protected MetaModelManager

metaModelManager The MetaModelManager for which this PackageManager manages the packages.

Constructor Summary

protected

PackageManager(MetaModelManager metaModelManager)

Method Summary

void	addPackage(Package pivotPackage)
void	dispose()
PackageTracker	findPackageTracker(Package pivotPackage)
TypeTracker	findTypeTracker(Type pivotType)
java.lang.Iterable<Package>	getAllPackages()
MetaModelManager	getMetaModelManager()
Package	getPackageByName(java.lang.String name)
Package	getPackageByURI(java.lang.String nsURI)
PackageTracker	getPackageTracker(Package pivotPackage)
protected void	putPackage(java.lang.String nsURI, Package pivotPackage)

Methods inherited from class java.lang.Object

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

Field Detail

metaModelManager

protected final MetaModelManager metaModelManager

The MetaModelManager for which this PackageManager manages the packages.

Constructor Detail

PackageManager

protected PackageManager(MetaModelManager metaModelManager)

Method Detail

addPackage

public void addPackage(Package pivotPackage)

dispose

public void dispose()

findPackageTracker

public PackageTracker findPackageTracker(Package pivotPackage)

findTypeTracker

public TypeTracker findTypeTracker(Type pivotType)

getAllPackages

public java.lang.Iterable<Package> getAllPackages()

getMetaModelManager

public MetaModelManager getMetaModelManager()

getPackageByName

public Package getPackageByName(java.lang.String name)

getPackageByURI

public Package getPackageByURI(java.lang.String nsURI)

getPackageTracker

public PackageTracker getPackageTracker(Package pivotPackage)

putPackage

protected void putPackage(java.lang.String nsURI,
                          Package pivotPackage)