edu.utep.cs.utjml.compiler
Class UtJmlOptions

java.lang.Object
  org.multijava.util.Options
      org.multijava.mjc.MjcCommonOptions
          org.jmlspecs.checker.JmlVersionOptions
              org.jmlspecs.checker.JmlCommonOptions
                  org.jmlspecs.jmlrac.RacOptions
                      edu.utep.cs.utjml.compiler.UtJmlOptions

public class UtJmlOptions
extends RacOptions

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

Constructor Summary

UtJmlOptions()

UtJmlOptions(String name)

Method Summary

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	processOption(int code, gnu.getopt.Getopt g)
boolean	setOption(String name, Object newValue)
void	usage()

Methods inherited from class org.jmlspecs.jmlrac.RacOptions

efficientRAC, effRacDroppedDefault, filter, neutralContext, noredundancy, noreflection, noSource, nowrite, packageName, print, recursiveType, set_efficientRAC, set_effRacDroppedDefault, set_filter, set_neutralContext, set_noredundancy, set_noreflection, set_noSource, set_nowrite, set_packageName, set_print, set_recursiveType

Methods inherited from class org.jmlspecs.checker.JmlCommonOptions

admissibility, assignable, Assignable, defaultNonNull, excludefiles, experiment, multijava, nonnull, purity, Quiet, set_admissibility, set_assignable, set_Assignable, set_defaultNonNull, set_excludefiles, set_experiment, 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

Constructor Detail

UtJmlOptions

public UtJmlOptions(String name)

UtJmlOptions

public UtJmlOptions()

Method Detail

processOption

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

Overrides:

processOption in class RacOptions

setOption

public boolean setOption(String name,
                         Object newValue)

Overrides:

setOption in class RacOptions

getOptions

public HashMap getOptions()

Overrides:

getOptions in class RacOptions

getLongname

public LinkedHashSet getLongname()

Overrides:

getLongname in class RacOptions

getType

public Hashtable getType()

Overrides:

getType in class RacOptions

getDefaultValue

public Hashtable getDefaultValue()

Overrides:

getDefaultValue in class RacOptions

getCurrentValue

public Hashtable getCurrentValue()

Overrides:

getCurrentValue in class RacOptions

getTableHeader

public Hashtable getTableHeader()

Overrides:

getTableHeader in class RacOptions

getSelectionList

public Hashtable getSelectionList()

Overrides:

getSelectionList in class RacOptions

getHelpString

public Hashtable getHelpString()

Overrides:

getHelpString in class RacOptions

getGuiType

public Hashtable getGuiType()

Overrides:

getGuiType in class RacOptions

getShortOptions

public String getShortOptions()

Overrides:

getShortOptions in class RacOptions

usage

public void usage()

Overrides:

usage in class RacOptions

help

public void help()

Overrides:

help in class RacOptions

getLongOptions

public gnu.getopt.LongOpt[] getLongOptions()

Overrides:

getLongOptions in class RacOptions