org.jmlspecs.checker
Class JmlCommonOptions

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

Direct Known Subclasses:

JavadocOptions, JmlOptions, RacOptions

public class JmlCommonOptions

extends JmlVersionOptions

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

Field Summary
private  String	admissibility
private  boolean	Assignable
private  boolean	assignable
private  boolean	defaultNonNull
private  String	excludefiles
private  String	experiment
private  String	filter
private static gnu.getopt.LongOpt[]	LONGOPTS
private  boolean	multijava
private  boolean	nonnull
private  boolean	purity
private  boolean	Quiet
private  String	universesx
private  boolean	UnsafeOpWarnings

 

Fields inherited from class org.multijava.mjc.MjcCommonOptions

 

Fields inherited from class org.multijava.util.Options

 

Constructor Summary

JmlCommonOptions()

JmlCommonOptions(String name)

 

Method Summary
String	admissibility()
boolean	Assignable()
boolean	assignable()
boolean	defaultNonNull()
String	excludefiles()
String	experiment()
String	filter()
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	multijava()
boolean	nonnull()
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	purity()
boolean	Quiet()
String	set_admissibility(String admissibility)
boolean	set_Assignable(boolean Assignable)
boolean	set_assignable(boolean assignable)
boolean	set_defaultNonNull(boolean defaultNonNull)
String	set_excludefiles(String excludefiles)
String	set_experiment(String experiment)
String	set_filter(String filter)
boolean	set_multijava(boolean multijava)
boolean	set_nonnull(boolean nonnull)
boolean	set_purity(boolean purity)
boolean	set_Quiet(boolean Quiet)
String	set_universesx(String universesx)
boolean	set_UnsafeOpWarnings(boolean UnsafeOpWarnings)
boolean	setOption(String name, Object newValue)
String	universesx()
boolean	UnsafeOpWarnings()
void	usage()

 

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

filter

private String filter

Quiet

private boolean Quiet

purity

private boolean purity

Assignable

private boolean Assignable

assignable

private boolean assignable

experiment

private String experiment

UnsafeOpWarnings

private boolean UnsafeOpWarnings

multijava

private boolean multijava

universesx

private String universesx

excludefiles

private String excludefiles

defaultNonNull

private boolean defaultNonNull

nonnull

private boolean nonnull

admissibility

private String admissibility

LONGOPTS

private static final gnu.getopt.LongOpt[] LONGOPTS

JmlCommonOptions

public JmlCommonOptions(String name)

JmlCommonOptions

public JmlCommonOptions()

filter

public String filter()

set_filter

public String set_filter(String filter)

Quiet

public boolean Quiet()

set_Quiet

public boolean set_Quiet(boolean Quiet)

purity

public boolean purity()

set_purity

public boolean set_purity(boolean purity)

Assignable

public boolean Assignable()

set_Assignable

public boolean set_Assignable(boolean Assignable)

assignable

public boolean assignable()

set_assignable

public boolean set_assignable(boolean assignable)

experiment

public String experiment()

set_experiment

public String set_experiment(String experiment)

UnsafeOpWarnings

public boolean UnsafeOpWarnings()

set_UnsafeOpWarnings

public boolean set_UnsafeOpWarnings(boolean UnsafeOpWarnings)

multijava

public boolean multijava()

Overrides:

multijava in class MjcCommonOptions

set_multijava

public boolean set_multijava(boolean multijava)

Overrides:

set_multijava in class MjcCommonOptions

universesx

public String universesx()

Overrides:

universesx in class MjcCommonOptions

set_universesx

public String set_universesx(String universesx)

Overrides:

set_universesx in class MjcCommonOptions

excludefiles

public String excludefiles()

set_excludefiles

public String set_excludefiles(String excludefiles)

defaultNonNull

public boolean defaultNonNull()

set_defaultNonNull

public boolean set_defaultNonNull(boolean defaultNonNull)

nonnull

public boolean nonnull()

set_nonnull

public boolean set_nonnull(boolean nonnull)

admissibility

public String admissibility()

set_admissibility

public String set_admissibility(String admissibility)

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 JmlVersionOptions

setOption

public boolean setOption(String name,
                         Object newValue)

Overrides:

setOption in class JmlVersionOptions

getOptions

public HashMap getOptions()

Overrides:

getOptions in class JmlVersionOptions

getLongname

public LinkedHashSet getLongname()

Description copied from class: Options

Returns the longname

Overrides:

getLongname in class JmlVersionOptions

getType

public Hashtable getType()

Description copied from class: Options

Returns the type

Overrides:

getType in class JmlVersionOptions

getDefaultValue

public Hashtable getDefaultValue()

Description copied from class: Options

Returns the default value

Overrides:

getDefaultValue in class JmlVersionOptions

getCurrentValue

public Hashtable getCurrentValue()

Description copied from class: Options

Returns the current value

Overrides:

getCurrentValue in class JmlVersionOptions

getTableHeader

public Hashtable getTableHeader()

Description copied from class: Options

Returns the header for a table

Overrides:

getTableHeader in class JmlVersionOptions

getSelectionList

public Hashtable getSelectionList()

Description copied from class: Options

Returns the list of selections for an option

Overrides:

getSelectionList in class JmlVersionOptions

getHelpString

public Hashtable getHelpString()

Description copied from class: Options

Returns the help messages

Overrides:

getHelpString in class JmlVersionOptions

getGuiType

public Hashtable getGuiType()

Description copied from class: Options

Returns the GUI categories that this option is in

Overrides:

getGuiType in class JmlVersionOptions

getShortOptions

public String getShortOptions()

Description copied from class: Options

Gets short options

Overrides:

getShortOptions in class JmlVersionOptions

usage

public void usage()

Description copied from class: Options

shows a help message

Overrides:

usage in class JmlVersionOptions

help

public void help()

Description copied from class: Options

shows an usage message

Overrides:

help in class JmlVersionOptions

getLongOptions

public gnu.getopt.LongOpt[] getLongOptions()

Description copied from class: Options

Gets long options

Overrides:

getLongOptions in class JmlVersionOptions