|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |