JML

org.jmlspecs.jmlunit
Class JntOptions

java.lang.Object
  extended byorg.multijava.util.Options
      extended byorg.multijava.mjc.MjcCommonOptions
          extended byorg.jmlspecs.checker.JmlVersionOptions
              extended byorg.jmlspecs.jmlunit.JntOptions

public class JntOptions
extends JmlVersionOptions

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


Field Summary
private  String filter
           
private  String generatorClassName
           
private  String generatorPackageName
           
private  boolean inherit
           
private static gnu.getopt.LongOpt[] LONGOPTS
           
private  boolean multijava
           
private  String packageName
           
private  boolean testdata
           
private  int testLevel
           
private  boolean useGenerator
           
 
Fields inherited from class org.multijava.mjc.MjcCommonOptions
 
Fields inherited from class org.multijava.util.Options
 
Constructor Summary
JntOptions()
           
JntOptions(String name)
           
 
Method Summary
 String filter()
           
 String generatorClassName()
           
 String generatorPackageName()
           
 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 inherit()
           
 boolean multijava()
           
 String packageName()
           
 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.
 String set_filter(String filter)
           
 String set_generatorClassName(String generatorClassName)
           
 String set_generatorPackageName(String generatorPackageName)
           
 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 set_useGenerator(boolean useGenerator)
           
 boolean setOption(String name, Object newValue)
           
 boolean testdata()
           
 int testLevel()
           
 void usage()
           
 boolean useGenerator()
           
 
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
 

Field Detail

filter

private String filter

testdata

private boolean testdata

testLevel

private int testLevel

packageName

private String packageName

inherit

private boolean inherit

multijava

private boolean multijava

useGenerator

private boolean useGenerator

generatorPackageName

private String generatorPackageName

generatorClassName

private String generatorClassName

LONGOPTS

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

JntOptions

public JntOptions(String name)

JntOptions

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

useGenerator

public boolean useGenerator()

set_useGenerator

public boolean set_useGenerator(boolean useGenerator)

generatorPackageName

public String generatorPackageName()

set_generatorPackageName

public String set_generatorPackageName(String generatorPackageName)

generatorClassName

public String generatorClassName()

set_generatorClassName

public String set_generatorClassName(String generatorClassName)

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

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.