org.jmlspecs.jmlspec
Class JspOptions

java.lang.Object
  org.multijava.util.Options
      org.multijava.mjc.MjcCommonOptions
          org.jmlspecs.checker.JmlVersionOptions
              org.jmlspecs.jmlspec.JspOptions

public class JspOptions

extends JmlVersionOptions

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

Field Summary
private  boolean	allNonNull
private  String	annotation
private  String	classAnnotation
private  boolean	diff
private  String	filter
private  boolean	keepPublic
private static gnu.getopt.LongOpt[]	LONGOPTS
private  boolean	noInitially
private  boolean	overwrite
private  boolean	path
private  boolean	Quiet
private  int	specLevel
private  String	suffix
private  boolean	suppressInherited
private  boolean	suppressMissing
private  boolean	synch

 

Fields inherited from class org.multijava.mjc.MjcCommonOptions

 

Fields inherited from class org.multijava.util.Options

 

Constructor Summary

JspOptions()

JspOptions(String name)

 

Method Summary
boolean	allNonNull()
String	annotation()
String	classAnnotation()
boolean	diff()
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	keepPublic()
boolean	noInitially()
boolean	overwrite()
boolean	path()
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	Quiet()
boolean	set_allNonNull(boolean allNonNull)
String	set_annotation(String annotation)
String	set_classAnnotation(String classAnnotation)
boolean	set_diff(boolean diff)
String	set_filter(String filter)
boolean	set_keepPublic(boolean keepPublic)
boolean	set_noInitially(boolean noInitially)
boolean	set_overwrite(boolean overwrite)
boolean	set_path(boolean path)
boolean	set_Quiet(boolean Quiet)
int	set_specLevel(int specLevel)
String	set_suffix(String suffix)
boolean	set_suppressInherited(boolean suppressInherited)
boolean	set_suppressMissing(boolean suppressMissing)
boolean	set_synch(boolean synch)
boolean	setOption(String name, Object newValue)
int	specLevel()
String	suffix()
boolean	suppressInherited()
boolean	suppressMissing()
boolean	synch()
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, multijava, nonnulltypes, quiet, recursive, relaxed, safemath, set_classpath, set_debug, set_deprecation, set_destination, set_generic, set_keepGoing, set_multijava, 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

suffix

private String suffix

specLevel

private int specLevel

annotation

private String annotation

classAnnotation

private String classAnnotation

overwrite

private boolean overwrite

diff

private boolean diff

Quiet

private boolean Quiet

suppressMissing

private boolean suppressMissing

suppressInherited

private boolean suppressInherited

path

private boolean path

synch

private boolean synch

allNonNull

private boolean allNonNull

keepPublic

private boolean keepPublic

noInitially

private boolean noInitially

LONGOPTS

private static final gnu.getopt.LongOpt[] LONGOPTS

JspOptions

public JspOptions(String name)

JspOptions

public JspOptions()

filter

public String filter()

set_filter

public String set_filter(String filter)

suffix

public String suffix()

set_suffix

public String set_suffix(String suffix)

specLevel

public int specLevel()

set_specLevel

public int set_specLevel(int specLevel)

annotation

public String annotation()

set_annotation

public String set_annotation(String annotation)

classAnnotation

public String classAnnotation()

set_classAnnotation

public String set_classAnnotation(String classAnnotation)

overwrite

public boolean overwrite()

set_overwrite

public boolean set_overwrite(boolean overwrite)

diff

public boolean diff()

set_diff

public boolean set_diff(boolean diff)

Quiet

public boolean Quiet()

set_Quiet

public boolean set_Quiet(boolean Quiet)

suppressMissing

public boolean suppressMissing()

set_suppressMissing

public boolean set_suppressMissing(boolean suppressMissing)

suppressInherited

public boolean suppressInherited()

set_suppressInherited

public boolean set_suppressInherited(boolean suppressInherited)

path

public boolean path()

set_path

public boolean set_path(boolean path)

synch

public boolean synch()

set_synch

public boolean set_synch(boolean synch)

allNonNull

public boolean allNonNull()

set_allNonNull

public boolean set_allNonNull(boolean allNonNull)

keepPublic

public boolean keepPublic()

set_keepPublic

public boolean set_keepPublic(boolean keepPublic)

noInitially

public boolean noInitially()

set_noInitially

public boolean set_noInitially(boolean noInitially)

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