UTJML

edu.utep.cs.utjml.compiler
Class UtJmlOptions

java.lang.Object
  extended by org.multijava.util.Options
      extended by org.multijava.mjc.MjcCommonOptions
          extended by org.jmlspecs.checker.JmlVersionOptions
              extended by org.jmlspecs.checker.JmlCommonOptions
                  extended by org.jmlspecs.jmlrac.RacOptions
                      extended by edu.utep.cs.utjml.compiler.UtJmlOptions

public class UtJmlOptions
extends RacOptions

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


Constructor Summary
UtJmlOptions()
           
UtJmlOptions(String name)
           
 
Method Summary
 Hashtable getCurrentValue()
           
 Hashtable getDefaultValue()
           
 Hashtable getGuiType()
           
 Hashtable getHelpString()
           
 LinkedHashSet getLongname()
           
 gnu.getopt.LongOpt[] getLongOptions()
           
 HashMap getOptions()
           
 Hashtable getSelectionList()
           
 String getShortOptions()
           
 Hashtable getTableHeader()
           
 Hashtable getType()
           
 void help()
           
 boolean processOption(int code, gnu.getopt.Getopt g)
           
 boolean setOption(String name, Object newValue)
           
 void usage()
           
 
Methods inherited from class org.jmlspecs.jmlrac.RacOptions
efficientRAC, effRacDroppedDefault, filter, neutralContext, noredundancy, noreflection, noSource, nowrite, packageName, print, recursiveType, set_efficientRAC, set_effRacDroppedDefault, set_filter, set_neutralContext, set_noredundancy, set_noreflection, set_noSource, set_nowrite, set_packageName, set_print, set_recursiveType
 
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
 

Constructor Detail

UtJmlOptions

public UtJmlOptions(String name)

UtJmlOptions

public UtJmlOptions()
Method Detail

processOption

public boolean processOption(int code,
                             gnu.getopt.Getopt g)
Overrides:
processOption in class RacOptions

setOption

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

getOptions

public HashMap getOptions()
Overrides:
getOptions in class RacOptions

getLongname

public LinkedHashSet getLongname()
Overrides:
getLongname in class RacOptions

getType

public Hashtable getType()
Overrides:
getType in class RacOptions

getDefaultValue

public Hashtable getDefaultValue()
Overrides:
getDefaultValue in class RacOptions

getCurrentValue

public Hashtable getCurrentValue()
Overrides:
getCurrentValue in class RacOptions

getTableHeader

public Hashtable getTableHeader()
Overrides:
getTableHeader in class RacOptions

getSelectionList

public Hashtable getSelectionList()
Overrides:
getSelectionList in class RacOptions

getHelpString

public Hashtable getHelpString()
Overrides:
getHelpString in class RacOptions

getGuiType

public Hashtable getGuiType()
Overrides:
getGuiType in class RacOptions

getShortOptions

public String getShortOptions()
Overrides:
getShortOptions in class RacOptions

usage

public void usage()
Overrides:
usage in class RacOptions

help

public void help()
Overrides:
help in class RacOptions

getLongOptions

public gnu.getopt.LongOpt[] getLongOptions()
Overrides:
getLongOptions in class RacOptions

UTJML

UTJML is Copyright (C) 2004-2006 by University of Texas at El Paso 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 JML project.