edu.utep.cs.utjml.rat
Class RatOptions

java.lang.Object
  org.multijava.util.Options
      org.multijava.mjc.MjcCommonOptions
          org.jmlspecs.checker.JmlVersionOptions
              edu.utep.cs.utjml.rat.RatOptions

public class RatOptions
extends JmlVersionOptions

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

Constructor Summary

RatOptions()

RatOptions(String name)

Method Summary

String	experiment()
String	filter()
Hashtable	getCurrentValue()
Hashtable	getDefaultValue()
Hashtable	getGuiType()
Hashtable	getHelpString()
LinkedHashSet	getLongname()
gnu.getopt.LongOpt[]	getLongOptions()
HashMap	getOptions()
Hashtable	getSelectionList()
String	getShortOptions()
Hashtable	getTableHeader()
Hashtable	getType()
void	help()
boolean	inherit()
boolean	multijava()
String	packageName()
boolean	processOption(int code, gnu.getopt.Getopt g)
String	set_experiment(String experiment)
String	set_filter(String filter)
boolean	set_inherit(boolean inherit)
boolean	set_multijava(boolean multijava)
String	set_packageName(String packageName)
boolean	set_testdata(boolean testdata)
int	set_testLevel(int testLevel)
boolean	setOption(String name, Object newValue)
boolean	testdata()
int	testLevel()
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_universesx, set_verbose, set_warning, set_xArrayNNTS, set_Xlint, source, sourcepath, universesx, 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

Constructor Detail

RatOptions

public RatOptions(String name)

RatOptions

public RatOptions()

Method Detail

filter

public String filter()

set_filter

public String set_filter(String filter)

testdata

public boolean testdata()

set_testdata

public boolean set_testdata(boolean testdata)

testLevel

public int testLevel()

set_testLevel

public int set_testLevel(int testLevel)

packageName

public String packageName()

set_packageName

public String set_packageName(String packageName)

inherit

public boolean inherit()

set_inherit

public boolean set_inherit(boolean inherit)

multijava

public boolean multijava()

Overrides:

multijava in class MjcCommonOptions

set_multijava

public boolean set_multijava(boolean multijava)

Overrides:

set_multijava in class MjcCommonOptions

experiment

public String experiment()

set_experiment

public String set_experiment(String experiment)

processOption

public boolean processOption(int code,
                             gnu.getopt.Getopt g)

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()

Overrides:

getLongname in class JmlVersionOptions

getType

public Hashtable getType()

Overrides:

getType in class JmlVersionOptions

getDefaultValue

public Hashtable getDefaultValue()

Overrides:

getDefaultValue in class JmlVersionOptions

getCurrentValue

public Hashtable getCurrentValue()

Overrides:

getCurrentValue in class JmlVersionOptions

getTableHeader

public Hashtable getTableHeader()

Overrides:

getTableHeader in class JmlVersionOptions

getSelectionList

public Hashtable getSelectionList()

Overrides:

getSelectionList in class JmlVersionOptions

getHelpString

public Hashtable getHelpString()

Overrides:

getHelpString in class JmlVersionOptions

getGuiType

public Hashtable getGuiType()

Overrides:

getGuiType in class JmlVersionOptions

getShortOptions

public String getShortOptions()

Overrides:

getShortOptions in class JmlVersionOptions

usage

public void usage()

Overrides:

usage in class JmlVersionOptions

help

public void help()

Overrides:

help in class JmlVersionOptions

getLongOptions

public gnu.getopt.LongOpt[] getLongOptions()

Overrides:

getLongOptions in class JmlVersionOptions