JML

org.jmlspecs.jmlrac
Class RacOptions

java.lang.Object
  extended byorg.multijava.util.Options
      extended byorg.multijava.mjc.MjcCommonOptions
          extended byorg.jmlspecs.checker.JmlVersionOptions
              extended byorg.jmlspecs.checker.JmlCommonOptions
                  extended byorg.jmlspecs.jmlrac.RacOptions

public class RacOptions
extends JmlCommonOptions

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


Field Summary
private  boolean efficientRAC
           
private  boolean effRacDroppedDefault
           
private  String filter
           
private static gnu.getopt.LongOpt[] LONGOPTS
           
private  boolean neutralContext
           
private  boolean noredundancy
           
private  boolean noreflection
           
private  boolean noSource
           
private  boolean nowrite
           
private  String packageName
           
private  boolean print
           
private  boolean recursiveType
           
 
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
RacOptions()
           
RacOptions(String name)
           
 
Method Summary
 boolean efficientRAC()
           
 boolean effRacDroppedDefault()
           
 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 neutralContext()
           
 boolean noredundancy()
           
 boolean noreflection()
           
 boolean noSource()
           
 boolean nowrite()
           
 String packageName()
           
 boolean print()
           
 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 recursiveType()
           
 boolean set_efficientRAC(boolean efficientRAC)
           
 boolean set_effRacDroppedDefault(boolean effRacDroppedDefault)
           
 String set_filter(String filter)
           
 boolean set_neutralContext(boolean neutralContext)
           
 boolean set_noredundancy(boolean noredundancy)
           
 boolean set_noreflection(boolean noreflection)
           
 boolean set_noSource(boolean noSource)
           
 boolean set_nowrite(boolean nowrite)
           
 String set_packageName(String packageName)
           
 boolean set_print(boolean print)
           
 boolean set_recursiveType(boolean recursiveType)
           
 boolean setOption(String name, Object newValue)
           
 void usage()
           
 
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
 

Field Detail

print

private boolean print

nowrite

private boolean nowrite

noreflection

private boolean noreflection

noredundancy

private boolean noredundancy

recursiveType

private boolean recursiveType

packageName

private String packageName

noSource

private boolean noSource

neutralContext

private boolean neutralContext

filter

private String filter

efficientRAC

private boolean efficientRAC

effRacDroppedDefault

private boolean effRacDroppedDefault

LONGOPTS

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

RacOptions

public RacOptions(String name)

RacOptions

public RacOptions()
Method Detail

print

public boolean print()

set_print

public boolean set_print(boolean print)

nowrite

public boolean nowrite()

set_nowrite

public boolean set_nowrite(boolean nowrite)

noreflection

public boolean noreflection()

set_noreflection

public boolean set_noreflection(boolean noreflection)

noredundancy

public boolean noredundancy()

set_noredundancy

public boolean set_noredundancy(boolean noredundancy)

recursiveType

public boolean recursiveType()

set_recursiveType

public boolean set_recursiveType(boolean recursiveType)

packageName

public String packageName()

set_packageName

public String set_packageName(String packageName)

noSource

public boolean noSource()

set_noSource

public boolean set_noSource(boolean noSource)

neutralContext

public boolean neutralContext()

set_neutralContext

public boolean set_neutralContext(boolean neutralContext)

filter

public String filter()
Overrides:
filter in class JmlCommonOptions

set_filter

public String set_filter(String filter)
Overrides:
set_filter in class JmlCommonOptions

efficientRAC

public boolean efficientRAC()

set_efficientRAC

public boolean set_efficientRAC(boolean efficientRAC)

effRacDroppedDefault

public boolean effRacDroppedDefault()

set_effRacDroppedDefault

public boolean set_effRacDroppedDefault(boolean effRacDroppedDefault)

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

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.