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.