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

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

All Implemented Interfaces:

DomainElement, DomainNamedElement, DomainNamespace, DomainPackage, Nameable

Direct Known Subclasses:

NestedPackageServer, RootPackageServer

public abstract class PackageServer
extends ReflectivePackage

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

Field Summary

protected PackageManager

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

protected

PackageServer(PackageManager packageManager, java.lang.String name, java.lang.String nsPrefix, java.lang.String nsURI, PackageId packageId)

Method Summary

void	addedMemberPackage(DomainPackage pivotPackage)
org.eclipse.ocl.examples.pivot.manager.PackageTracker	addTrackedPackage(DomainPackage pivotPackage)
protected void	assertSamePackage(DomainPackage domainPackage)
protected DomainInheritance	createExecutorType(DomainType domainType)
protected void	dispose()
void	disposedNestedPackageServer(NestedPackageServer packageServer)
Package	findPivotPackage() Return the Package to represent this package merge.
protected java.lang.Iterable<? extends DomainType>	getDomainTypes()
org.eclipse.emf.ecore.EPackage	getEPackage()
NestedPackageServer	getMemberPackage(java.lang.String memberPackageName)
java.util.List<NestedPackageServer>	getMemberPackages()
NestedPackageServer	getMemberPackageServer(DomainPackage pivotPackage)
NestedPackageServer	getMemberPackageServer(java.lang.String name)
Type	getMemberType(java.lang.String typeName)
java.lang.Iterable<TypeServer>	getMemberTypes()
MetaModelManager	getMetaModelManager()
java.util.List<NestedPackageServer>	getNestedPackage()
PackageManager	getPackageManager()
org.eclipse.ocl.examples.pivot.manager.PackageTracker	getPackageTracker(DomainPackage pivotPackage)
java.lang.Iterable<DomainPackage>	getPartialPackages()
Package	getPivotPackage() Return a Package that represents this package merge.
protected DomainStandardLibrary	getStandardLibrary()
java.lang.String	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

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainPackage

getNestingPackage

Field Detail

packageManager

@NonNull
protected final PackageManager packageManager

Constructor Detail

PackageServer

protected PackageServer(@NonNull
                        PackageManager packageManager,
                        @NonNull
                        java.lang.String name,
                        @Nullable
                        java.lang.String nsPrefix,
                        @Nullable
                        java.lang.String nsURI,
                        @NonNull
                        PackageId packageId)

Method Detail

addTrackedPackage

@NonNull
public org.eclipse.ocl.examples.pivot.manager.PackageTracker addTrackedPackage(@NonNull
                                                                                       DomainPackage pivotPackage)

addedMemberPackage

public void addedMemberPackage(@NonNull
                               DomainPackage pivotPackage)

assertSamePackage

protected void assertSamePackage(@Nullable
                                 DomainPackage domainPackage)

createExecutorType

@NonNull
protected DomainInheritance createExecutorType(@NonNull
                                                       DomainType domainType)

Specified by:

createExecutorType in class ReflectivePackage

dispose

protected void dispose()

disposedNestedPackageServer

public void disposedNestedPackageServer(@NonNull
                                        NestedPackageServer packageServer)

findPivotPackage

@Nullable
public Package findPivotPackage()

Return the Package to represent this package merge.

getDomainTypes

@NonNull
protected java.lang.Iterable<? extends DomainType> getDomainTypes()

Specified by:

getDomainTypes in class ReflectivePackage

getEPackage

public org.eclipse.emf.ecore.EPackage getEPackage()

Specified by:

getEPackage in interface DomainPackage

Overrides:

getEPackage in class ExecutorPackage

getMemberPackage

@Nullable
public NestedPackageServer getMemberPackage(@NonNull
                                                     java.lang.String memberPackageName)

getMemberPackageServer

@NonNull
public NestedPackageServer getMemberPackageServer(@NonNull
                                                          DomainPackage pivotPackage)

getMemberPackageServer

@Nullable
public NestedPackageServer getMemberPackageServer(@NonNull
                                                           java.lang.String name)

getMemberPackages

@NonNull
public java.util.List<NestedPackageServer> getMemberPackages()

getMemberType

public Type getMemberType(java.lang.String typeName)

getMemberTypes

@NonNull
public java.lang.Iterable<TypeServer> getMemberTypes()

getMetaModelManager

@NonNull
public MetaModelManager getMetaModelManager()

getNestedPackage

public java.util.List<NestedPackageServer> getNestedPackage()

Specified by:

getNestedPackage in interface DomainPackage

getPackageManager

@NonNull
public final PackageManager getPackageManager()

getPackageTracker

@NonNull
public org.eclipse.ocl.examples.pivot.manager.PackageTracker getPackageTracker(@NonNull
                                                                                       DomainPackage pivotPackage)

getPartialPackages

@NonNull
public java.lang.Iterable<DomainPackage> getPartialPackages()

getPivotPackage

@NonNull
public Package getPivotPackage()

Return a Package that represents this package merge.

getStandardLibrary

@NonNull
protected DomainStandardLibrary getStandardLibrary()

Specified by:

getStandardLibrary in class ReflectivePackage

toString

public java.lang.String toString()

Overrides:

toString in class ExecutorPackage