JML

Package org.multijava.util.guigen

Implements the automatic generation of all of the GUIs for MultiJava and the Java Modeling Language.

See:
          Description

Interface Summary
GuigenLexerTokenTypes  
GuigenTokenTypes  
 

Class Summary
DefinitionFile  
GuigenLexer  
GuigenMessages The message list for Guigen
GuigenParser  
Main This class is the entry point for the option generator.
 

Exception Summary
GuigenError Error thrown on problems encountered while running the program.
 

Package org.multijava.util.guigen Description

Implements the automatic generation of all of the GUIs for MultiJava and the Java Modeling Language.

Package Specification

Guigen uses ANTLR and a .gui file to automatically generate a graphical user interface (GUI) from the data in a .gui file. These files are placed in the packages that need GUIs (i.e. org.multijava.mjc or org.jmlspecs.checker), and the files define how the data in these GUIs should differ from any other tool GUI.

Credits

The code for Guigen originated from the Kopi project. This code was adapted for the Multijava and the Java Modeling Language projects by Kristina Boysen and Gary T. Leavens.


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.