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

java.lang.Object
  extended by org.eclipse.ocl.examples.pivot.manager.PackageManager

public class PackageManager
extends java.lang.Object

PackageManager encapsulates the knowledge about known packages and their nsURIs.


Field Summary
protected  MetaModelManager metaModelManager
          The MetaModelManager for which this PackageManager manages the packages.
 
Constructor Summary
protected PackageManager(MetaModelManager metaModelManager)
           
 
Method Summary
 void addedMemberPackage(DomainPackage pivotPackage)
           
 void addPackageNsURISynonym(java.lang.String newUri, java.lang.String oldURI)
          The OCL Standard Library is normally registered under it's own nsURI and the OCL Pivot MetaModel is changed to share the same URI.
 void addRoot(Root pivotRoot)
           
 void dispose()
           
 void disposedRootPackageServer(RootPackageServer packageServer)
           
 ExtensibleTypeServer findTypeServer(DomainType pivotType)
           
 java.lang.Iterable<PackageServer> getAllPackages()
           
 java.lang.Iterable<PackageServer> getAllPackagesWithUris()
           
 FinalAnalysis getFinalAnalysis()
           
 RootPackageServer getMemberPackage(java.lang.String memberPackageName)
           
 java.lang.Iterable<RootPackageServer> getMemberPackages()
           
 RootPackageServer getMemberPackageServer(DomainPackage pivotPackage)
           
 MetaModelManager getMetaModelManager()
           
 PackageServer getPackageByURI(java.lang.String nsURI)
           
 PackageServer getPackageServer(DomainPackage pivotPackage)
           
 org.eclipse.ocl.examples.pivot.manager.PackageTracker getPackageTracker(DomainPackage pivotPackage)
           
 PrimitiveTypeServer getPrimitiveTypeServer(PrimitiveType primitiveType)
           
 TypeServer getTypeServer(DomainType pivotType)
           
 void removeRoot(Root pivotRoot)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

metaModelManager

@NonNull
protected final MetaModelManager metaModelManager
The MetaModelManager for which this PackageManager manages the packages.

Constructor Detail

PackageManager

protected PackageManager(@NonNull
                         MetaModelManager metaModelManager)
Method Detail

addPackageNsURISynonym

public void addPackageNsURISynonym(java.lang.String newUri,
                                   java.lang.String oldURI)
The OCL Standard Library is normally registered under it's own nsURI and the OCL Pivot MetaModel is changed to share the same URI. This routine allows the original OCL Pivot MetaModel nsURI to reference the merged packes too.


addRoot

public void addRoot(@NonNull
                    Root pivotRoot)

addedMemberPackage

public void addedMemberPackage(@NonNull
                               DomainPackage pivotPackage)

dispose

public void dispose()

disposedRootPackageServer

public void disposedRootPackageServer(@NonNull
                                      RootPackageServer packageServer)

findTypeServer

@Nullable
public ExtensibleTypeServer findTypeServer(@NonNull
                                                    DomainType pivotType)

getAllPackages

@NonNull
public java.lang.Iterable<PackageServer> getAllPackages()

getAllPackagesWithUris

@NonNull
public java.lang.Iterable<PackageServer> getAllPackagesWithUris()

getFinalAnalysis

@NonNull
public FinalAnalysis getFinalAnalysis()

getMemberPackage

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

getMemberPackageServer

@NonNull
public RootPackageServer getMemberPackageServer(@NonNull
                                                        DomainPackage pivotPackage)

getMemberPackages

@NonNull
public java.lang.Iterable<RootPackageServer> getMemberPackages()

getMetaModelManager

@NonNull
public MetaModelManager getMetaModelManager()

getPackageByURI

@Nullable
public PackageServer getPackageByURI(@NonNull
                                              java.lang.String nsURI)

getPackageServer

@NonNull
public PackageServer getPackageServer(@NonNull
                                              DomainPackage pivotPackage)

getPackageTracker

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

getPrimitiveTypeServer

@NonNull
public PrimitiveTypeServer getPrimitiveTypeServer(@NonNull
                                                          PrimitiveType primitiveType)

getTypeServer

@NonNull
public TypeServer getTypeServer(@NonNull
                                        DomainType pivotType)

removeRoot

public void removeRoot(@NonNull
                       Root pivotRoot)