JML

Package org.multijava.util.optgen

Implements the automatic generation of the data structure for all of the command line options in MultiJava and the Java Modeling Language.

See:
          Description

Interface Summary
OptgenLexerTokenTypes  
OptgenTokenTypes  
SelectionVariables  
 

Class Summary
DefinitionFile  
Main This class is the entry point for the option generator.
OptgenLexer  
OptgenMessages The message list for Optgen
OptgenParser  
OptionDefinition  
 

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

Package org.multijava.util.optgen Description

Implements the automatic generation of the data structure for all of the command line options in MultiJava and the Java Modeling Language.

Package Specification

Optgen uses ANTLR and a .opt file to automatically generate a Java data structure that various compilers in MJ and JML use to process and store their command line options.

Credits

The code for Optgen originated from the Kopi project. This code was adapted for the Multijava project by Curtis Clifton, David Cok, and Yoonsik Cheon.

Thanks also to any contributors whose names we have failed to mention. If we've left you off this list, it is a mistake on our part and we apologize. Please let us know so the mistake can be rectified.


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.