Class PackageManager
- java.lang.Object
-
- org.processmining.framework.packages.PackageManager
-
public class PackageManager extends java.lang.Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static interface
PackageManager.Canceller
-
Method Summary
-
-
-
Method Detail
-
isAvailable
public boolean isAvailable(PackageDescriptor descriptor)
Checks whether a package is still available. This prevents the user from installing or updating a package that cannot be installed anymore.- Parameters:
descriptor
- The descriptor of the package.- Returns:
- Whether the URL of the package descriptor can be opened successfully.
-
getInstance
public static PackageManager getInstance()
-
main
public static void main(java.lang.String[] args)
-
addListener
public void addListener(PackageManagerListener listener)
-
removeListener
public void removeListener(PackageManagerListener listener)
-
getPackagesDirectory
public java.io.File getPackagesDirectory()
-
initialize
public void initialize(Boot.Level verbose)
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
getRepositories
public java.util.Set<Repository> getRepositories()
-
removeRepository
public void removeRepository(Repository repository)
-
getInstalledPackages
public java.util.Set<PackageDescriptor> getInstalledPackages()
-
getAvailablePackages
public java.util.Set<PackageDescriptor> getAvailablePackages()
-
getEnabledPackages
public java.util.Collection<PackageDescriptor> getEnabledPackages() throws UnknownPackageException
- Throws:
UnknownPackageException
-
update
public void update(boolean autoInstall, Boot.Level verbose) throws CancelledException, UnknownPackageTypeException
-
findInstalledVersion
public PackageDescriptor findInstalledVersion(PackageDescriptor pack)
-
findOrInstallPackages
public PackageDescriptor[] findOrInstallPackages(java.lang.String... packageNames) throws UnknownPackageTypeException, UnknownPackageException, CancelledException
-
install
public void install(java.util.List<PackageDescriptor> toInstall) throws UnknownPackageTypeException, CancelledException
-
uninstall
public void uninstall(java.util.Collection<PackageDescriptor> toRemove) throws CancelledException
- Throws:
CancelledException
-
setCanceller
public void setCanceller(PackageManager.Canceller canceller)
-
getLatestReport
public PackageStateReport getLatestReport()
-
checkConsistency
public void checkConsistency()
-
getPackageMap
public static java.util.Map<java.lang.String,java.util.SortedSet<PackageDescriptor>> getPackageMap(java.util.Collection<PackageDescriptor> packages)
-
getListeners
public PackageManagerListener.ListenerList getListeners()
-
doAutoUpdate
@Deprecated public boolean doAutoUpdate()
Deprecated.
-
setAutoUpdate
@Deprecated public void setAutoUpdate(boolean doAutoUpdate)
Deprecated.
-
cleanPackageCache
public void cleanPackageCache() throws java.util.prefs.BackingStoreException
Cleans the package cache in the registry. This is automatically done for ProM-Lite the first time when a new version of ProM-Lite is booted.- Throws:
java.util.prefs.BackingStoreException
-
-