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

protected void	assertSamePackage(DomainPackage domainPackage)
void	dispose()
DomainPackage	getNestingPackage()
PackageServer	getParentPackageServer()

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

assertSamePackage

protected void assertSamePackage(@Nullable
                                 DomainPackage domainPackage)

Overrides:

assertSamePackage in class PackageServer

dispose

public void dispose()

Overrides:

dispose in class PackageServer

getNestingPackage

@NonNull
public DomainPackage getNestingPackage()

getParentPackageServer

@NonNull
public PackageServer getParentPackageServer()