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