org.gjt.sp.jedit
Class JARClassLoader

java.lang.Object
  extended byjava.lang.ClassLoader
      extended byorg.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.31 2003/11/02 21:16:37 spestov Exp $
Author:
Slava Pestov

Constructor Summary
JARClassLoader()
          This constructor creates a class loader for loading classes from all plugins.
 
Method Summary
 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()
          Deprecated. Call PluginJAR.getZipFile() instead.
 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
 

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.

Method Detail

loadClass

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

getResourceAsStream

public java.io.InputStream getResourceAsStream(java.lang.String name)

getResource

public java.net.URL getResource(java.lang.String name)

getResourceAsPath

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

getZipFile

public java.util.zip.ZipFile getZipFile()
Deprecated. Call PluginJAR.getZipFile() instead.