JML

Package org.jmlspecs.jmlspec

A tool that can generate or compare specification skeletons from Java source or class files.

See:
          Description

Class Summary
JspBinaryPrinter  
JspComparator This class compares two compilation units to be sure that the specifications match appropriately.
JspGUI This class is automatically generated from JspGUI.gui and contains member fields corresponding to tool-specific GUI specifications.
JspMessages  
JspOptions This class is automatically generated from JspOptions.opt and contains member fields corresponding to command-line options.
JspPrettyPrinter This class overrides some of the pretty-printer methods to produce a specification skeleton for the class AST begin walked.
Main A class implementing the entry point of the jmlspec specification skeleton generator/comparator.
Main.Main$1  
Main.Main$2  
Main.SuffixFilter This class is used with the Directory.list method to list those files in a directory that this program is interested in processing - in this case, all those that end in a valid suffix.
 

Package org.jmlspecs.jmlspec Description

A tool that can generate or compare specification skeletons from Java source or class files.


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.