org.jmlspecs.checker
Class JmlOptions

java.lang.Object
  org.multijava.util.Options
      org.multijava.mjc.MjcCommonOptions
          org.jmlspecs.checker.JmlVersionOptions
              org.jmlspecs.checker.JmlCommonOptions
                  org.jmlspecs.checker.JmlOptions

public class JmlOptions

extends JmlCommonOptions

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

Field Summary
private static gnu.getopt.LongOpt[]	LONGOPTS

 

Fields inherited from class org.jmlspecs.checker.JmlCommonOptions

 

Fields inherited from class org.multijava.mjc.MjcCommonOptions

 

Fields inherited from class org.multijava.util.Options

 

Constructor Summary

JmlOptions()

JmlOptions(String name)

 

Method Summary
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	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	setOption(String name, Object newValue)
void	usage()

 

Methods inherited from class org.jmlspecs.checker.JmlCommonOptions

admissibility, Assignable, assignable, defaultNonNull, excludefiles, experiment, filter, multijava, nonnull, purity, Quiet, set_admissibility, set_Assignable, set_assignable, set_defaultNonNull, set_excludefiles, set_experiment, set_filter, set_multijava, set_nonnull, set_purity, set_Quiet, set_universesx, set_UnsafeOpWarnings, universesx, UnsafeOpWarnings

 

Methods inherited from class org.jmlspecs.checker.JmlVersionOptions

version

 

Methods inherited from class org.multijava.mjc.MjcCommonOptions

classpath, debug, deprecation, destination, generic, keepGoing, nonnulltypes, quiet, recursive, relaxed, safemath, set_classpath, set_debug, set_deprecation, set_destination, set_generic, set_keepGoing, set_nonnulltypes, set_quiet, set_recursive, set_relaxed, set_safemath, set_source, set_sourcepath, set_verbose, set_warning, set_xArrayNNTS, set_Xlint, source, sourcepath, verbose, warning, xArrayNNTS, Xlint

 

Methods inherited from class org.multijava.util.Options

formOneColumnArray, formTwoColumnArray, getInt, getNonNullString, getNonNullStringArray, getString, getString, getSystemProperty, nonOptions, parseCommandLine, parseCommandLine, printOptions, printVersion, Xnoversion

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Field Detail

LONGOPTS

private static final gnu.getopt.LongOpt[] LONGOPTS

JmlOptions

public JmlOptions(String name)

JmlOptions

public JmlOptions()

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 JmlCommonOptions

setOption

public boolean setOption(String name,
                         Object newValue)

Overrides:

setOption in class JmlCommonOptions

getOptions

public HashMap getOptions()

Overrides:

getOptions in class JmlCommonOptions

getLongname

public LinkedHashSet getLongname()

Description copied from class: Options

Returns the longname

Overrides:

getLongname in class JmlCommonOptions

getType

public Hashtable getType()

Description copied from class: Options

Returns the type

Overrides:

getType in class JmlCommonOptions

getDefaultValue

public Hashtable getDefaultValue()

Description copied from class: Options

Returns the default value

Overrides:

getDefaultValue in class JmlCommonOptions

getCurrentValue

public Hashtable getCurrentValue()

Description copied from class: Options

Returns the current value

Overrides:

getCurrentValue in class JmlCommonOptions

getTableHeader

public Hashtable getTableHeader()

Description copied from class: Options

Returns the header for a table

Overrides:

getTableHeader in class JmlCommonOptions

getSelectionList

public Hashtable getSelectionList()

Description copied from class: Options

Returns the list of selections for an option

Overrides:

getSelectionList in class JmlCommonOptions

getHelpString

public Hashtable getHelpString()

Description copied from class: Options

Returns the help messages

Overrides:

getHelpString in class JmlCommonOptions

getGuiType

public Hashtable getGuiType()

Description copied from class: Options

Returns the GUI categories that this option is in

Overrides:

getGuiType in class JmlCommonOptions

getShortOptions

public String getShortOptions()

Description copied from class: Options

Gets short options

Overrides:

getShortOptions in class JmlCommonOptions

usage

public void usage()

Description copied from class: Options

shows a help message

Overrides:

usage in class JmlCommonOptions

help

public void help()

Description copied from class: Options

shows an usage message

Overrides:

help in class JmlCommonOptions

getLongOptions

public gnu.getopt.LongOpt[] getLongOptions()

Description copied from class: Options

Gets long options

Overrides:

getLongOptions in class JmlCommonOptions