JML

org.multijava.mjc
Class MjcCommonOptions

java.lang.Object
  extended byorg.multijava.util.Options
      extended byorg.multijava.mjc.MjcCommonOptions
Direct Known Subclasses:
JavadocOptions, JmlVersionOptions, MjcOptions

public class MjcCommonOptions
extends Options

This class is automatically generated from MjcCommonOptions.opt and contains member fields corresponding to command-line options.


Field Summary
private  String classpath
           
private  boolean debug
           
private  boolean deprecation
           
private  String destination
           
private  boolean generic
           
private  boolean keepGoing
           
private static gnu.getopt.LongOpt[] LONGOPTS
           
private  boolean multijava
           
private  boolean nonnulltypes
           
private  boolean quiet
           
private  boolean recursive
           
private  boolean relaxed
           
private  boolean safemath
           
private  String source
           
private  String sourcepath
           
private  String universesx
           
private  boolean verbose
           
private  int warning
           
private  boolean xArrayNNTS
           
private  String Xlint
           
 
Fields inherited from class org.multijava.util.Options
 
Constructor Summary
MjcCommonOptions()
           
MjcCommonOptions(String name)
           
 
Method Summary
 String classpath()
           
 boolean debug()
           
 boolean deprecation()
           
 String destination()
           
 boolean generic()
           
 Hashtable getCurrentValue()
          Returns the current value
 Hashtable getDefaultValue()
          Returns the default value
 Hashtable getGuiType()
          Returns the GUI categories that this option is in
 Hashtable getHelpString()
          Returns the help messages
 LinkedHashSet getLongname()
          Returns the longname
 gnu.getopt.LongOpt[] getLongOptions()
          Gets long options
 HashMap getOptions()
           
 Hashtable getSelectionList()
          Returns the list of selections for an option
 String getShortOptions()
          Gets short options
 Hashtable getTableHeader()
          Returns the header for a table
 Hashtable getType()
          Returns the type
 void help()
           
 boolean keepGoing()
           
 boolean multijava()
           
 boolean nonnulltypes()
           
 boolean processOption(int code, gnu.getopt.Getopt g)
          Handles the option identified by the given code, perhaps using g to process any arguments to the option.
 boolean quiet()
           
 boolean recursive()
           
 boolean relaxed()
           
 boolean safemath()
           
 String set_classpath(String classpath)
           
 boolean set_debug(boolean debug)
           
 boolean set_deprecation(boolean deprecation)
           
 String set_destination(String destination)
           
 boolean set_generic(boolean generic)
           
 boolean set_keepGoing(boolean keepGoing)
           
 boolean set_multijava(boolean multijava)
           
 boolean set_nonnulltypes(boolean nonnulltypes)
           
 boolean set_quiet(boolean quiet)
           
 boolean set_recursive(boolean recursive)
           
 boolean set_relaxed(boolean relaxed)
           
 boolean set_safemath(boolean safemath)
           
 String set_source(String source)
           
 String set_sourcepath(String sourcepath)
           
 String set_universesx(String universesx)
           
 boolean set_verbose(boolean verbose)
           
 int set_warning(int warning)
           
 boolean set_xArrayNNTS(boolean xArrayNNTS)
           
 String set_Xlint(String Xlint)
           
 boolean setOption(String name, Object newValue)
           
 String source()
           
 String sourcepath()
           
 String universesx()
           
 void usage()
           
 boolean verbose()
           
 int warning()
           
 boolean xArrayNNTS()
           
 String Xlint()
           
 
Methods inherited from class org.multijava.util.Options
formOneColumnArray, formTwoColumnArray, getInt, getNonNullString, getNonNullStringArray, getString, getString, getSystemProperty, nonOptions, parseCommandLine, parseCommandLine, printOptions, printVersion, version, Xnoversion
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

quiet

private boolean quiet

verbose

private boolean verbose

warning

private int warning

deprecation

private boolean deprecation

destination

private String destination

classpath

private String classpath

debug

private boolean debug

keepGoing

private boolean keepGoing

multijava

private boolean multijava

relaxed

private boolean relaxed

generic

private boolean generic

universesx

private String universesx

sourcepath

private String sourcepath

recursive

private boolean recursive

source

private String source

safemath

private boolean safemath

nonnulltypes

private boolean nonnulltypes

Xlint

private String Xlint

xArrayNNTS

private boolean xArrayNNTS

LONGOPTS

private static final gnu.getopt.LongOpt[] LONGOPTS
Constructor Detail

MjcCommonOptions

public MjcCommonOptions(String name)

MjcCommonOptions

public MjcCommonOptions()
Method Detail

quiet

public boolean quiet()

set_quiet

public boolean set_quiet(boolean quiet)

verbose

public boolean verbose()

set_verbose

public boolean set_verbose(boolean verbose)

warning

public int warning()

set_warning

public int set_warning(int warning)

deprecation

public boolean deprecation()

set_deprecation

public boolean set_deprecation(boolean deprecation)

destination

public String destination()

set_destination

public String set_destination(String destination)

classpath

public String classpath()

set_classpath

public String set_classpath(String classpath)

debug

public boolean debug()

set_debug

public boolean set_debug(boolean debug)

keepGoing

public boolean keepGoing()

set_keepGoing

public boolean set_keepGoing(boolean keepGoing)

multijava

public boolean multijava()

set_multijava

public boolean set_multijava(boolean multijava)

relaxed

public boolean relaxed()

set_relaxed

public boolean set_relaxed(boolean relaxed)

generic

public boolean generic()

set_generic

public boolean set_generic(boolean generic)

universesx

public String universesx()

set_universesx

public String set_universesx(String universesx)

sourcepath

public String sourcepath()

set_sourcepath

public String set_sourcepath(String sourcepath)

recursive

public boolean recursive()

set_recursive

public boolean set_recursive(boolean recursive)

source

public String source()

set_source

public String set_source(String source)

safemath

public boolean safemath()

set_safemath

public boolean set_safemath(boolean safemath)

nonnulltypes

public boolean nonnulltypes()

set_nonnulltypes

public boolean set_nonnulltypes(boolean nonnulltypes)

Xlint

public String Xlint()

set_Xlint

public String set_Xlint(String Xlint)

xArrayNNTS

public boolean xArrayNNTS()

set_xArrayNNTS

public boolean set_xArrayNNTS(boolean xArrayNNTS)

processOption

public boolean processOption(int code,
                             gnu.getopt.Getopt g)
Description copied from class: Options
Handles the option identified by the given code, perhaps using g to process any arguments to the option. This method is typically overridden in subclasses to process additional arguments with the subclass defering to the superclass if code is unknown.

Overrides:
processOption in class Options

setOption

public boolean setOption(String name,
                         Object newValue)
Overrides:
setOption in class Options

getOptions

public HashMap getOptions()
Overrides:
getOptions in class Options

getLongname

public LinkedHashSet getLongname()
Description copied from class: Options
Returns the longname

Overrides:
getLongname in class Options

getType

public Hashtable getType()
Description copied from class: Options
Returns the type

Overrides:
getType in class Options

getDefaultValue

public Hashtable getDefaultValue()
Description copied from class: Options
Returns the default value

Overrides:
getDefaultValue in class Options

getCurrentValue

public Hashtable getCurrentValue()
Description copied from class: Options
Returns the current value

Overrides:
getCurrentValue in class Options

getTableHeader

public Hashtable getTableHeader()
Description copied from class: Options
Returns the header for a table

Overrides:
getTableHeader in class Options

getSelectionList

public Hashtable getSelectionList()
Description copied from class: Options
Returns the list of selections for an option

Overrides:
getSelectionList in class Options

getHelpString

public Hashtable getHelpString()
Description copied from class: Options
Returns the help messages

Overrides:
getHelpString in class Options

getGuiType

public Hashtable getGuiType()
Description copied from class: Options
Returns the GUI categories that this option is in

Overrides:
getGuiType in class Options

getShortOptions

public String getShortOptions()
Description copied from class: Options
Gets short options

Overrides:
getShortOptions in class Options

usage

public void usage()
Description copied from class: Options
shows a help message


help

public void help()
Description copied from class: Options
shows an usage message


getLongOptions

public gnu.getopt.LongOpt[] getLongOptions()
Description copied from class: Options
Gets long options

Overrides:
getLongOptions in class Options

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.