|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.lang.ClassLoader
org.gjt.sp.jedit.JARClassLoader
A class loader implementation that loads classes from JAR files. All instances share the same set of classes.
Constructor Summary | |
JARClassLoader()
This constructor creates a class loader for loading classes from all plugins. |
Method Summary | |
static void |
dump()
For debugging. |
protected void |
finalize()
|
URL |
getResource(String name)
|
String |
getResourceAsPath(String name)
|
InputStream |
getResourceAsStream(String name)
|
ZipFile |
getZipFile()
Deprecated. Call PluginJAR.getZipFile() instead. |
Class |
loadClass(String clazz,
boolean resolveIt)
|
String |
toString()
|
Methods inherited from class java.lang.Object |
clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public JARClassLoader()
Method Detail |
public Class loadClass(String clazz, boolean resolveIt) throws ClassNotFoundException
ClassNotFoundException
- if the class could not be foundpublic InputStream getResourceAsStream(String name)
public URL getResource(String name)
public String getResourceAsPath(String name)
public ZipFile getZipFile()
PluginJAR.getZipFile()
instead.
public static void dump()
public String toString()
protected void finalize()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |