JML

NAME
SYNOPSIS
DESCRIPTION
WHAT TO READ
SEE ALSO
COPYRIGHT

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 runtime 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 provided 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 FITNESS 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.