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

Packages that use PackageServer
org.eclipse.ocl.examples.pivot.manager   
 

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

Fields in org.eclipse.ocl.examples.pivot.manager declared as PackageServer
protected  PackageServer PackageClient.packageServer
           
 

Methods in org.eclipse.ocl.examples.pivot.manager that return PackageServer
 PackageServer PackageClient.getPackageServer()
           
 PackageServer PackageServer.getPackageServer()
           
abstract  PackageServer PackageTracker.getPackageServer()
          Return the PackageServer supervising this package merge.
 

Methods in org.eclipse.ocl.examples.pivot.manager with parameters of type PackageServer
protected  void PackageTracker.initContents(PackageServer packageServer)
           
 

Constructors in org.eclipse.ocl.examples.pivot.manager with parameters of type PackageServer
PackageClient(PackageServer packageServer, Package target)