public abstract class CachedJarsPackageManager extends PackageManager
Modifier and Type | Class and Description |
---|---|
static class |
CachedJarsPackageManager.JarXEntry
Class of object used to represent a cache file and last modification time, internally and to
outCreateCacheFile(org.python.core.packagecache.CachedJarsPackageManager.JarXEntry, boolean) . |
topLevelPackage
Constructor and Description |
---|
CachedJarsPackageManager() |
Modifier and Type | Method and Description |
---|---|
void |
addJarToPackages(java.io.File jarfile)
Gathers classes info from jar specified by File jarfile.
|
void |
addJarToPackages(java.io.File jarfile,
boolean cache)
Gathers package and class lists from a jar specified by a
File . |
void |
addJarToPackages(java.net.URL jarurl)
Gathers classes info from jar specified by a URL.
|
void |
addJarToPackages(java.net.URL jarurl,
boolean cache)
Gathers classes info from jar specified by URL.
|
void |
saveCache()
Write back cache index.
|
addDirectory, addJar, addJarDir, doDir, findClass, findClass, lookupName, makeJavaPackage, notifyPackageImport, packageExists
public void addJarToPackages(java.net.URL jarurl)
public void addJarToPackages(java.net.URL jarurl, boolean cache)
public void addJarToPackages(java.io.File jarfile)
public void addJarToPackages(java.io.File jarfile, boolean cache)
File
. Eventually just using
previously cached info. Eventually updated info is (re-)cached if param cache is true.
Persistent cache storage access goes through inOpenCacheFile() and outCreateCacheFile().public void saveCache()