jltools.types
Class ClasspathLoader

java.lang.Object
  |
  +--java.lang.ClassLoader
        |
        +--jltools.types.ClasspathLoader

public class ClasspathLoader

extends java.lang.ClassLoader

We implement our own class loader. All this pain is so (1) we can define the classpath on the command line and (2) we can avoid having to re-compile source files if the type system can construct a type directly from a Class object. But, we need to check if the source is here. If the .class file is f

Constructor Summary

ClasspathLoader(java.util.List classpath)

Method Summary

java.lang.Class

loadClass(java.lang.String name)

Methods inherited from class java.lang.ClassLoader

defineClass, defineClass, defineClass, definePackage, findClass, findLibrary, findLoadedClass, findResource, findResources, findSystemClass, getPackage, getPackages, getParent, getResource, getResourceAsStream, getResources, getSystemClassLoader, getSystemResource, getSystemResourceAsStream, getSystemResources, loadClass, resolveClass, setSigners

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ClasspathLoader

public ClasspathLoader(java.util.List classpath)

Method Detail

loadClass

public java.lang.Class loadClass(java.lang.String name)
                          throws java.lang.ClassNotFoundException

Overrides:

loadClass in class java.lang.ClassLoader