UTJML

edu.utep.cs.utjml.tgen
Class TcgOptions

java.lang.Object
  extended by org.multijava.util.Options
      extended by org.multijava.mjc.MjcCommonOptions
          extended by org.jmlspecs.checker.JmlVersionOptions
              extended by edu.utep.cs.utjml.tgen.TcgOptions

public class TcgOptions
extends JmlVersionOptions

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


Constructor Summary
TcgOptions()
           
TcgOptions(String name)
           
 
Method Summary
 String experiment()
           
 String filter()
           
 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 inherit()
           
 boolean multijava()
           
 String packageName()
           
 boolean processOption(int code, gnu.getopt.Getopt g)
           
 String set_experiment(String experiment)
           
 String set_filter(String filter)
           
 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 setOption(String name, Object newValue)
           
 boolean testdata()
           
 int testLevel()
           
 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, 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
 

Constructor Detail

TcgOptions

public TcgOptions(String name)

TcgOptions

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

experiment

public String experiment()

set_experiment

public String set_experiment(String experiment)

processOption

public boolean processOption(int code,
                             gnu.getopt.Getopt g)
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()
Overrides:
getLongname in class JmlVersionOptions

getType

public Hashtable getType()
Overrides:
getType in class JmlVersionOptions

getDefaultValue

public Hashtable getDefaultValue()
Overrides:
getDefaultValue in class JmlVersionOptions

getCurrentValue

public Hashtable getCurrentValue()
Overrides:
getCurrentValue in class JmlVersionOptions

getTableHeader

public Hashtable getTableHeader()
Overrides:
getTableHeader in class JmlVersionOptions

getSelectionList

public Hashtable getSelectionList()
Overrides:
getSelectionList in class JmlVersionOptions

getHelpString

public Hashtable getHelpString()
Overrides:
getHelpString in class JmlVersionOptions

getGuiType

public Hashtable getGuiType()
Overrides:
getGuiType in class JmlVersionOptions

getShortOptions

public String getShortOptions()
Overrides:
getShortOptions in class JmlVersionOptions

usage

public void usage()
Overrides:
usage in class JmlVersionOptions

help

public void help()
Overrides:
help in class JmlVersionOptions

getLongOptions

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

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.