org.eclipse.ocl.examples.pivot.manager
Class NestedPackageServer

java.lang.Object
  org.eclipse.ocl.examples.library.executor.ExecutorPackage
      org.eclipse.ocl.examples.library.executor.ReflectivePackage
          org.eclipse.ocl.examples.pivot.manager.PackageServer
              org.eclipse.ocl.examples.pivot.manager.NestedPackageServer

All Implemented Interfaces:

DomainElement, DomainNamedElement, DomainNamespace, DomainPackage, Nameable

public class NestedPackageServer
extends PackageServer

A RootPackageServer adapts the primary nested Package to coordinate the coherent behavior of a primary and one or more secondary Packages as required for Complete OCL package extension.

Field Summary

static java.util.List<NestedPackageServer>

EMPTY_LIST

Fields inherited from class org.eclipse.ocl.examples.pivot.manager.PackageServer

packageManager

Fields inherited from class org.eclipse.ocl.examples.library.executor.ReflectivePackage

types

Fields inherited from class org.eclipse.ocl.examples.library.executor.ExecutorPackage

name, nsPrefix, nsURI, packageId

Constructor Summary

NestedPackageServer(PackageServer parentPackageServer, java.lang.String name, java.lang.String nsPrefix, java.lang.String nsURI, PackageId packageId)

Method Summary

void	dispose()
DomainPackage	getNestingPackage()

Methods inherited from class org.eclipse.ocl.examples.pivot.manager.PackageServer

addedMemberPackage, addTrackedPackage, createExecutorType, disposedNestedPackageServer, findPivotPackage, getDomainTypes, getEPackage, getMemberPackage, getMemberPackages, getMemberPackageServer, getMemberPackageServer, getMemberType, getMemberTypes, getMetaModelManager, getNestedPackage, getPackageManager, getPackageTracker, getPartialPackages, getPivotPackage, getStandardLibrary, toString

Methods inherited from class org.eclipse.ocl.examples.library.executor.ReflectivePackage

computeClasses, getInheritance, getOwnedType

Methods inherited from class org.eclipse.ocl.examples.library.executor.ExecutorPackage

getElementId, getName, getNsPrefix, getNsURI, getOwnedRule, getPackageId, getType

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

EMPTY_LIST

@NonNull
public static final java.util.List<NestedPackageServer> EMPTY_LIST

Constructor Detail

NestedPackageServer

public NestedPackageServer(@NonNull
                           PackageServer parentPackageServer,
                           @NonNull
                           java.lang.String name,
                           @Nullable
                           java.lang.String nsPrefix,
                           @Nullable
                           java.lang.String nsURI,
                           @NonNull
                           PackageId packageId)

Method Detail

dispose

public void dispose()

Overrides:

dispose in class PackageServer

getNestingPackage

@NonNull
public DomainPackage getNestingPackage()