Package | Description |
---|---|
org.eclipse.ocl.examples.pivot.manager |
Modifier and Type | Field and Description |
---|---|
static java.util.List<NestedPackageServer> |
NestedPackageServer.EMPTY_LIST |
Modifier and Type | Method and Description |
---|---|
NestedPackageServer |
PackageServer.getMemberPackage(java.lang.String memberPackageName) |
NestedPackageServer |
PackageServer.getMemberPackageServer(DomainPackage pivotPackage) |
NestedPackageServer |
PackageServer.getMemberPackageServer(java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
java.util.List<NestedPackageServer> |
PackageServer.getMemberPackages() |
java.util.List<NestedPackageServer> |
PackageServer.getNestedPackage() |
Modifier and Type | Method and Description |
---|---|
void |
PackageServer.disposedNestedPackageServer(NestedPackageServer packageServer) |