Package | Description |
---|---|
org.eclipse.ocl.examples.pivot.manager |
Modifier and Type | Field and Description |
---|---|
protected PackageManager |
AbstractTypeServer.packageManager |
protected PackageManager |
PackageServer.packageManager |
Modifier and Type | Method and Description |
---|---|
protected PackageManager |
MetaModelManager.createPackageManager() |
PackageManager |
AbstractTypeServer.getPackageManager() |
PackageManager |
MetaModelManager.getPackageManager() |
PackageManager |
PackageServer.getPackageManager() |
Constructor and Description |
---|
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) |