org.jmlspecs.jmlunit
Class JntOptions

java.lang.Object
  org.multijava.util.Options
      org.multijava.mjc.MjcCommonOptions
          org.jmlspecs.checker.JmlVersionOptions
              org.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.

Class Specifications

Specifications inherited from class Object

represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT; public represents _getClass <- \typeof(this);

Model Field Summary

 

Model fields inherited from class java.lang.Object

_getClass, objectState, theString

 

Ghost Field Summary

 

Ghost fields inherited from class java.lang.Object

objectTimesFinalized, owner

 

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)

 

Model Method Summary

 

Model methods inherited from class java.lang.Object

hashValue

 

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

JntOptions

public JntOptions(String name)

JntOptions

public JntOptions()

filter

public String filter()

Specifications: pure

set_filter

public String set_filter(String filter)

testdata

public boolean testdata()

Specifications: pure

set_testdata

public boolean set_testdata(boolean testdata)

testLevel

public int testLevel()

Specifications: pure

set_testLevel

public int set_testLevel(int testLevel)

packageName

public String packageName()

Specifications: pure

set_packageName

public String set_packageName(String packageName)

inherit

public boolean inherit()

Specifications: pure

set_inherit

public boolean set_inherit(boolean inherit)

multijava

public boolean multijava()

Overrides:

multijava in class MjcCommonOptions

Specifications: pure

Specifications inherited from overridden method in class MjcCommonOptions:
       pure

set_multijava

public boolean set_multijava(boolean multijava)

Overrides:

set_multijava in class MjcCommonOptions

Specifications inherited from overridden method in class MjcCommonOptions:
      --- None ---

useGenerator

public boolean useGenerator()

Specifications: pure

set_useGenerator

public boolean set_useGenerator(boolean useGenerator)

generatorPackageName

public String generatorPackageName()

Specifications: pure

set_generatorPackageName

public String set_generatorPackageName(String generatorPackageName)

generatorClassName

public String generatorClassName()

Specifications: pure

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

Specifications inherited from overridden method in class JmlVersionOptions:
      --- None ---

Specifications inherited from overridden method in class MjcCommonOptions:
      --- None ---

Specifications inherited from overridden method in class Options:
      --- None ---

setOption

public boolean setOption(String name,
                         Object newValue)

Overrides:

setOption in class JmlVersionOptions

Specifications inherited from overridden method in class JmlVersionOptions:
      --- None ---

Specifications inherited from overridden method in class MjcCommonOptions:
      --- None ---

Specifications inherited from overridden method in class Options:
      --- None ---

getOptions

public HashMap getOptions()

Overrides:

getOptions in class JmlVersionOptions

Specifications inherited from overridden method in class JmlVersionOptions:
      --- None ---

Specifications inherited from overridden method in class MjcCommonOptions:
      --- None ---

Specifications inherited from overridden method in class Options:
      --- None ---

getLongname

public LinkedHashSet getLongname()

Description copied from class: Options

Returns the longname

Overrides:

getLongname in class JmlVersionOptions

Specifications inherited from overridden method in class JmlVersionOptions:
      --- None ---

Specifications inherited from overridden method in class MjcCommonOptions:
      --- None ---

Specifications inherited from overridden method in class Options:
      --- None ---

getType

public Hashtable getType()

Description copied from class: Options

Returns the type

Overrides:

getType in class JmlVersionOptions

Specifications inherited from overridden method in class JmlVersionOptions:
      --- None ---

Specifications inherited from overridden method in class MjcCommonOptions:
      --- None ---

Specifications inherited from overridden method in class Options:
      --- None ---

getDefaultValue

public Hashtable getDefaultValue()

Description copied from class: Options

Returns the default value

Overrides:

getDefaultValue in class JmlVersionOptions

Specifications inherited from overridden method in class JmlVersionOptions:
      --- None ---

Specifications inherited from overridden method in class MjcCommonOptions:
      --- None ---

Specifications inherited from overridden method in class Options:
      --- None ---

getCurrentValue

public Hashtable getCurrentValue()

Description copied from class: Options

Returns the current value

Overrides:

getCurrentValue in class JmlVersionOptions

Specifications inherited from overridden method in class JmlVersionOptions:
      --- None ---

Specifications inherited from overridden method in class MjcCommonOptions:
      --- None ---

Specifications inherited from overridden method in class Options:
      --- None ---

getTableHeader

public Hashtable getTableHeader()

Description copied from class: Options

Returns the header for a table

Overrides:

getTableHeader in class JmlVersionOptions

Specifications inherited from overridden method in class JmlVersionOptions:
      --- None ---

Specifications inherited from overridden method in class MjcCommonOptions:
      --- None ---

Specifications inherited from overridden method in class Options:
      --- None ---

getSelectionList

public Hashtable getSelectionList()

Description copied from class: Options

Returns the list of selections for an option

Overrides:

getSelectionList in class JmlVersionOptions

Specifications inherited from overridden method in class JmlVersionOptions:
      --- None ---

Specifications inherited from overridden method in class MjcCommonOptions:
      --- None ---

Specifications inherited from overridden method in class Options:
      --- None ---

getHelpString

public Hashtable getHelpString()

Description copied from class: Options

Returns the help messages

Overrides:

getHelpString in class JmlVersionOptions

Specifications inherited from overridden method in class JmlVersionOptions:
      --- None ---

Specifications inherited from overridden method in class MjcCommonOptions:
      --- None ---

Specifications inherited from overridden method in class Options:
      --- None ---

getGuiType

public Hashtable getGuiType()

Description copied from class: Options

Returns the GUI categories that this option is in

Overrides:

getGuiType in class JmlVersionOptions

Specifications inherited from overridden method in class JmlVersionOptions:
      --- None ---

Specifications inherited from overridden method in class MjcCommonOptions:
      --- None ---

Specifications inherited from overridden method in class Options:
      --- None ---

getShortOptions

public String getShortOptions()

Description copied from class: Options

Gets short options

Overrides:

getShortOptions in class JmlVersionOptions

Specifications inherited from overridden method in class JmlVersionOptions:
      --- None ---

Specifications inherited from overridden method in class MjcCommonOptions:
      --- None ---

Specifications inherited from overridden method in class Options:
      --- None ---

usage

public void usage()

Description copied from class: Options

shows a help message

Overrides:

usage in class JmlVersionOptions

Specifications inherited from overridden method in class JmlVersionOptions:
      --- None ---

Specifications inherited from overridden method in class MjcCommonOptions:
      --- None ---

Specifications inherited from overridden method in class Options:
      --- None ---

help

public void help()

Description copied from class: Options

shows an usage message

Overrides:

help in class JmlVersionOptions

Specifications inherited from overridden method in class JmlVersionOptions:
      --- None ---

Specifications inherited from overridden method in class MjcCommonOptions:
      --- None ---

Specifications inherited from overridden method in class Options:
      --- None ---

getLongOptions

public gnu.getopt.LongOpt[] getLongOptions()

Description copied from class: Options

Gets long options

Overrides:

getLongOptions in class JmlVersionOptions

Specifications inherited from overridden method in class JmlVersionOptions:
      --- None ---

Specifications inherited from overridden method in class MjcCommonOptions:
      --- None ---

Specifications inherited from overridden method in class Options:
      --- None ---