JML(l)                                                                  JML(l)



NAME
       jml-launcher - Java Modeling Language (JML) tool launcher

SYNOPSIS
       jml-launcher

DESCRIPTION
       The  command  jml-launcher  starts  a graphical user interface that can
       launch other JML tools.  These include the JML checker (jml), the  run-
       time  assertion  checking  compiler (jmlc), the documentation generator
       (jmldoc), the specification skeleton generator (jmlspec), and the  unit
       testing file generation tool (jmlunit).

       The  launcher  can  also  be  run by opening (double clicking) the file
       bin/jml-release.jar that is part of the JML release.  The jar file  and
       the script both run the Java class org.jmlspecs.launcher.JmlLauncher.

       The  user needs to be careful to set the CLASSPATH in the text box pro-
       vided by the various tools.  When the launcher starts it may not have a
       proper CLASSPATH set.

WHAT TO READ
       If  you  are  new  to JML, you'll want to look at some of the documents
       that ship with the system.  You can access it from a web browser easily
       starting  at the JML.html file in the top-level JML directory, $JMLDIR,
       i.e., from
              $JMLDIR/JML.html
       See also the the JML web page.
              http://www.jmlspecs.org

SEE ALSO
       jml(1), jmlc(1), jmldoc(1), jmlspec(1), jmlunit(1)

COPYRIGHT
       Copyright (c) 2003 by Iowa State University

       JML is free software; you can redistribute it and/or  modify  it  under
       the  terms  of  the GNU General Public License as published by the Free
       Software Foundation; either version 2, or (at your  option)  any  later
       version.

       JML  is distributed in the hope that it will be useful, but WITHOUT ANY
       WARRANTY; without even the implied warranty of MERCHANTABILITY or  FIT-
       NESS  FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
       more details.

       You should have received a copy of the GNU General Public License along
       with  JML;  see  the  file COPYING.  If not, write to the Free Software
       Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.



4th Berkeley Distribution$Date: 2003/12/11 17:53:43 $                   JML(l)