JML

Package org.jmlspecs.racwrap.runner

Interface Summary
Node Node is the basis of the tree that will be built.
 

Class Summary
BranchNode BranchNode is an implementation of Node for branches.
ChxClassLoader ChxClassLoader is the custom classloader that will load the wrapper classes when needed.
CommonImpl This component implements the common functionality required in both branch and leaf nodes.
Leaf Leaf is an implementation of Node for leaves.
Location Location contains all pertinent information to get at a class in the filesystem (or in a Jar file).
Main  
Main.Main$1  
Runner  
TreeBuilder Treebuilder has static methods to build a tree from specified locations.
TreePrinter Methods to print the tree to standard output.
TreeViewer TreeViewer is a swing-based component to view and control checking of classes.
TreeViewer.TreeViewer$1  
Wrapped This class is the root of the inheritance hierarchy of original objects.
Wrapper This class is the root of the inheritance hierarchy of wrappers.
 


JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.