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, packageExistspublic 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()