JML

org.multijava.dis
Class DisOptions

java.lang.Object
  extended byorg.multijava.util.Options
      extended byorg.multijava.dis.DisOptions
Direct Known Subclasses:
JDisOptions

public class DisOptions
extends Options

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


Field Summary
private  String classpath
           
private  String destination
           
private  boolean inter
           
private static gnu.getopt.LongOpt[] LONGOPTS
           
private  boolean multijava
           
private  boolean sorted
           
private  boolean stack
           
private  boolean stdout
           
private  boolean universes
           
private  boolean verbose
           
 
Fields inherited from class org.multijava.util.Options
 
Constructor Summary
DisOptions()
           
DisOptions(String name)
           
 
Method Summary
 String classpath()
           
 String destination()
           
 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 inter()
           
 boolean multijava()
           
 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_classpath(String classpath)
           
 String set_destination(String destination)
           
 boolean set_inter(boolean inter)
           
 boolean set_multijava(boolean multijava)
           
 boolean set_sorted(boolean sorted)
           
 boolean set_stack(boolean stack)
           
 boolean set_stdout(boolean stdout)
           
 boolean set_universes(boolean universes)
           
 boolean set_verbose(boolean verbose)
           
 boolean setOption(String name, Object newValue)
           
 boolean sorted()
           
 boolean stack()
           
 boolean stdout()
           
 boolean universes()
           
 void usage()
           
 boolean verbose()
           
 
Methods inherited from class org.multijava.util.Options
formOneColumnArray, formTwoColumnArray, getInt, getNonNullString, getNonNullStringArray, getString, getString, getSystemProperty, nonOptions, parseCommandLine, parseCommandLine, printOptions, printVersion, version, Xnoversion
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

stack

private boolean stack

sorted

private boolean sorted

stdout

private boolean stdout

destination

private String destination

verbose

private boolean verbose

inter

private boolean inter

classpath

private String classpath

multijava

private boolean multijava

universes

private boolean universes

LONGOPTS

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

DisOptions

public DisOptions(String name)

DisOptions

public DisOptions()
Method Detail

stack

public boolean stack()

set_stack

public boolean set_stack(boolean stack)

sorted

public boolean sorted()

set_sorted

public boolean set_sorted(boolean sorted)

stdout

public boolean stdout()

set_stdout

public boolean set_stdout(boolean stdout)

destination

public String destination()

set_destination

public String set_destination(String destination)

verbose

public boolean verbose()

set_verbose

public boolean set_verbose(boolean verbose)

inter

public boolean inter()

set_inter

public boolean set_inter(boolean inter)

classpath

public String classpath()

set_classpath

public String set_classpath(String classpath)

multijava

public boolean multijava()

set_multijava

public boolean set_multijava(boolean multijava)

universes

public boolean universes()

set_universes

public boolean set_universes(boolean universes)

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 Options

setOption

public boolean setOption(String name,
                         Object newValue)
Overrides:
setOption in class Options

getOptions

public HashMap getOptions()
Overrides:
getOptions in class Options

getLongname

public LinkedHashSet getLongname()
Description copied from class: Options
Returns the longname

Overrides:
getLongname in class Options

getType

public Hashtable getType()
Description copied from class: Options
Returns the type

Overrides:
getType in class Options

getDefaultValue

public Hashtable getDefaultValue()
Description copied from class: Options
Returns the default value

Overrides:
getDefaultValue in class Options

getCurrentValue

public Hashtable getCurrentValue()
Description copied from class: Options
Returns the current value

Overrides:
getCurrentValue in class Options

getTableHeader

public Hashtable getTableHeader()
Description copied from class: Options
Returns the header for a table

Overrides:
getTableHeader in class Options

getSelectionList

public Hashtable getSelectionList()
Description copied from class: Options
Returns the list of selections for an option

Overrides:
getSelectionList in class Options

getHelpString

public Hashtable getHelpString()
Description copied from class: Options
Returns the help messages

Overrides:
getHelpString in class Options

getGuiType

public Hashtable getGuiType()
Description copied from class: Options
Returns the GUI categories that this option is in

Overrides:
getGuiType in class Options

getShortOptions

public String getShortOptions()
Description copied from class: Options
Gets short options

Overrides:
getShortOptions in class Options

usage

public void usage()
Description copied from class: Options
shows a help message


help

public void help()
Description copied from class: Options
shows an usage message


getLongOptions

public gnu.getopt.LongOpt[] getLongOptions()
Description copied from class: Options
Gets long options

Overrides:
getLongOptions in class Options

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.