org.gjt.sp.jedit
Class JARClassLoader

java.lang.Object
  |
  +--java.lang.ClassLoader
        |
        +--org.gjt.sp.jedit.JARClassLoader

public class JARClassLoader
extends java.lang.ClassLoader

A class loader implementation that loads classes from JAR files.

Version:
$Id: JARClassLoader.java,v 1.22 2003/02/07 17:42:30 spestov Exp $
Author:
Slava Pestov

Field Summary
static long scanTime
           
static long startTime
           
 
Constructor Summary
JARClassLoader()
          This constructor creates a class loader for loading classes from all plugins.
JARClassLoader(java.lang.String path)
           
 
Method Summary
 void closeZipFile()
          Closes the ZIP file.
 java.net.URL getResource(java.lang.String name)
           
 java.lang.String getResourceAsPath(java.lang.String name)
           
 java.io.InputStream getResourceAsStream(java.lang.String name)
           
 java.util.zip.ZipFile getZipFile()
          Returns the ZIP file associated with this class loader.
 java.lang.Class loadClass(java.lang.String clazz, boolean resolveIt)
           
 
Methods inherited from class java.lang.ClassLoader
clearAssertionStatus, defineClass, defineClass, defineClass, definePackage, findClass, findLibrary, findLoadedClass, findResource, findResources, findSystemClass, getPackage, getPackages, getParent, getResources, getSystemClassLoader, getSystemResource, getSystemResourceAsStream, getSystemResources, loadClass, resolveClass, setClassAssertionStatus, setDefaultAssertionStatus, setPackageAssertionStatus, setSigners
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

scanTime

public static long scanTime

startTime

public static long startTime
Constructor Detail

JARClassLoader

public JARClassLoader()
This constructor creates a class loader for loading classes from all plugins. For example BeanShell uses one of these so that scripts can use plugin classes.


JARClassLoader

public JARClassLoader(java.lang.String path)
               throws java.io.IOException
Method Detail

loadClass

public java.lang.Class loadClass(java.lang.String clazz,
                                 boolean resolveIt)
                          throws java.lang.ClassNotFoundException
Overrides:
loadClass in class java.lang.ClassLoader
Throws:
java.lang.ClassNotFoundException - if the class could not be found

getResourceAsStream

public java.io.InputStream getResourceAsStream(java.lang.String name)
Overrides:
getResourceAsStream in class java.lang.ClassLoader

getResource

public java.net.URL getResource(java.lang.String name)
Overrides:
getResource in class java.lang.ClassLoader

getResourceAsPath

public java.lang.String getResourceAsPath(java.lang.String name)

closeZipFile

public void closeZipFile()
Closes the ZIP file. This plugin will no longer be usable after this.

Since:
jEdit 2.6pre1

getZipFile

public java.util.zip.ZipFile getZipFile()
Returns the ZIP file associated with this class loader.

Since:
jEdit 3.0final