|
JML | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectjava.lang.ClassLoader
org.jmlspecs.racwrap.runner.ChxClassLoader
ChxClassLoader is the custom classloader that will load the wrapper classes when needed.
| Nested Class Summary |
| Nested classes inherited from class java.lang.ClassLoader |
|
| Field Summary | |
private Hashtable |
classes
|
private Hashtable |
tree
|
| Fields inherited from class java.lang.ClassLoader |
|
| Constructor Summary | |
ChxClassLoader(Node root)
Constructor. |
|
| Method Summary | |
private byte[] |
getByteArray(Location loc)
Given the location of a class, return the contents of the file. |
Class |
loadClass(String name)
Alias for loadClass(name, null); |
Class |
loadClass(String name,
boolean resolve)
This classloader does *not* follow the Java ClassLoader delegation model. |
private Class |
loadClassFromTree(String name)
Given the name of a class, this method will find the location of the class (if it knows about it), and load it. |
private void |
populate(Hashtable lookupParent,
Node nodeParent)
The classloader does not use the Node directly, rather it creates a new tree based on the class tree. |
void |
printTree()
|
void |
printTree(Hashtable parent,
int level)
prints the internal tree representation to stdout. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
private Hashtable classes
private Hashtable tree
| Constructor Detail |
public ChxClassLoader(Node root)
root - The root node of the tree.| Method Detail |
private void populate(Hashtable lookupParent,
Node nodeParent)
public Class loadClass(String name)
throws ClassNotFoundException
loadClass in class ClassLoaderClassNotFoundException
public Class loadClass(String name,
boolean resolve)
throws ClassNotFoundException
loadClass in class ClassLoaderClassNotFoundExceptionprivate Class loadClassFromTree(String name)
private byte[] getByteArray(Location loc)
public void printTree(Hashtable parent,
int level)
public void printTree()
|
JML | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||