public abstract class PackageServer extends ReflectivePackage
Modifier and Type | Field and Description |
---|---|
protected PackageManager |
packageManager |
types
name, nsPrefix, nsURI, packageId
Modifier | Constructor and Description |
---|---|
protected |
PackageServer(PackageManager packageManager,
java.lang.String name,
java.lang.String nsPrefix,
java.lang.String nsURI,
PackageId packageId) |
Modifier and Type | Method and Description |
---|---|
void |
addedMemberPackage(DomainPackage pivotPackage) |
org.eclipse.ocl.examples.pivot.manager.PackageTracker |
addTrackedPackage(DomainPackage pivotPackage) |
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() |
computeClasses, getInheritance, getOwnedType
getElementId, getName, getNsPrefix, getNsURI, getOwnedRule, getPackageId, getType
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getNestingPackage
@NonNull protected final PackageManager packageManager
protected PackageServer(@NonNull PackageManager packageManager, @NonNull java.lang.String name, @Nullable java.lang.String nsPrefix, @Nullable java.lang.String nsURI, @NonNull PackageId packageId)
@NonNull public org.eclipse.ocl.examples.pivot.manager.PackageTracker addTrackedPackage(@NonNull DomainPackage pivotPackage)
public void addedMemberPackage(@NonNull DomainPackage pivotPackage)
@NonNull protected DomainInheritance createExecutorType(@NonNull DomainType domainType)
createExecutorType
in class ReflectivePackage
protected void dispose()
public void disposedNestedPackageServer(@NonNull NestedPackageServer packageServer)
@Nullable public Package findPivotPackage()
@NonNull protected java.lang.Iterable<? extends DomainType> getDomainTypes()
getDomainTypes
in class ReflectivePackage
public org.eclipse.emf.ecore.EPackage getEPackage()
getEPackage
in interface DomainPackage
getEPackage
in class ExecutorPackage
@Nullable public NestedPackageServer getMemberPackage(@NonNull java.lang.String memberPackageName)
@NonNull public NestedPackageServer getMemberPackageServer(@NonNull DomainPackage pivotPackage)
@Nullable public NestedPackageServer getMemberPackageServer(@NonNull java.lang.String name)
@NonNull public java.util.List<NestedPackageServer> getMemberPackages()
public Type getMemberType(java.lang.String typeName)
@NonNull public java.lang.Iterable<TypeServer> getMemberTypes()
@NonNull public MetaModelManager getMetaModelManager()
public java.util.List<NestedPackageServer> getNestedPackage()
getNestedPackage
in interface DomainPackage
@NonNull public final PackageManager getPackageManager()
@NonNull public org.eclipse.ocl.examples.pivot.manager.PackageTracker getPackageTracker(@NonNull DomainPackage pivotPackage)
@NonNull public java.lang.Iterable<DomainPackage> getPartialPackages()
@NonNull public Package getPivotPackage()
@NonNull protected DomainStandardLibrary getStandardLibrary()
getStandardLibrary
in class ReflectivePackage
public java.lang.String toString()
toString
in class ExecutorPackage