Uses of Class
org.multijava.util.Options

Packages that use Options

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc	The jmldoc tool documents java programs that contain JML (Java Modeling Language) annotations included as specially formatted comments; the generated html pages are very similar to those produced by javadoc, but with annotation information added.
org.jmlspecs.jmldoc.jmldoc_142
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.jmlspecs.jmlspec	A tool that can generate or compare specification skeletons from Java source or class files.
org.jmlspecs.jmlunit	Generates JUnit test classes from JML specifications.
org.jmlspecs.util.dis
org.multijava.dis
org.multijava.mjc	Implements mjc, a MultiJava compiler.
org.multijava.mjdoc	The mjdoc tool documents java programs that contain MultiJava (MJ) extensions to the Java progamming language; it produces html pages very similar to those produced by the javadoc tool.
org.multijava.util.backend	Provides an optimizer for methods for the compilers in MultiJava and the Java Modeling Language.
org.multijava.util.classfile	Provides an editor for classfiles used by MultiJava and the Java Modeling Language.
org.multijava.util.lexgen	Provides a lexer for the compilers of MultiJava and the Java Modeling Language.
org.multijava.util.optimize	Provides an optimizer for classfiles used by MultiJava and the Java Modeling Language.
org.multijava.util.testing	Provides JUnit testing utilities for all of the parts of MultiJava and the Java Modeling Language.

Uses of Options in org.jmlspecs.checker

Subclasses of Options in org.jmlspecs.checker

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

Methods in org.jmlspecs.checker with parameters of type Options

protected boolean	JmlGUI.dirInClassPath(Options opt, String dir)
protected String	JmlGUI.getClasspath(Options opt)
protected String	JmlGUI.getSourcepath(Options opt)
protected org.multijava.util.gui.GUI.Compilation	JmlGUI.createCompilationInstance(String[] files, Options opt, OutputStream os)

Constructors in org.jmlspecs.checker with parameters of type Options

JmlGUI(Options options, ArrayList infiles, boolean commandLine, boolean standAlone)

Uses of Options in org.jmlspecs.jmldoc

Subclasses of Options in org.jmlspecs.jmldoc

class

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

Uses of Options in org.jmlspecs.jmldoc.jmldoc_142

Methods in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type Options

protected boolean	JmldocGUI.dirInClassPath(Options opt, String dir)
protected String	JmldocGUI.getClasspath(Options opt)
protected String	JmldocGUI.getSourcepath(Options opt)
protected org.multijava.util.gui.GUI.Compilation	JmldocGUI.createCompilationInstance(String[] files, Options opt, OutputStream os)

Constructors in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type Options

JmldocGUI(Options options, ArrayList infiles, boolean commandLine, boolean standAlone)

Uses of Options in org.jmlspecs.jmlrac

Subclasses of Options in org.jmlspecs.jmlrac

class

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

Methods in org.jmlspecs.jmlrac with parameters of type Options

protected boolean	RacGUI.dirInClassPath(Options opt, String dir)
protected String	RacGUI.getClasspath(Options opt)
protected String	RacGUI.getSourcepath(Options opt)
protected org.multijava.util.gui.GUI.Compilation	RacGUI.createCompilationInstance(String[] files, Options opt, OutputStream os)

Constructors in org.jmlspecs.jmlrac with parameters of type Options

RacGUI(Options options, ArrayList infiles, boolean commandLine, boolean standAlone)

Uses of Options in org.jmlspecs.jmlspec

Subclasses of Options in org.jmlspecs.jmlspec

class

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

Methods in org.jmlspecs.jmlspec with parameters of type Options

protected boolean	JspGUI.dirInClassPath(Options opt, String dir)
protected String	JspGUI.getClasspath(Options opt)
protected String	JspGUI.getSourcepath(Options opt)
protected org.multijava.util.gui.GUI.Compilation	JspGUI.createCompilationInstance(String[] files, Options opt, OutputStream os)

Constructors in org.jmlspecs.jmlspec with parameters of type Options

JspGUI(Options options, ArrayList infiles, boolean commandLine, boolean standAlone)

Uses of Options in org.jmlspecs.jmlunit

Subclasses of Options in org.jmlspecs.jmlunit

class

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

Methods in org.jmlspecs.jmlunit with parameters of type Options

protected boolean	JntGUI.dirInClassPath(Options opt, String dir)
protected String	JntGUI.getClasspath(Options opt)
protected String	JntGUI.getSourcepath(Options opt)
protected org.multijava.util.gui.GUI.Compilation	JntGUI.createCompilationInstance(String[] files, Options opt, OutputStream os)

Constructors in org.jmlspecs.jmlunit with parameters of type Options

JntGUI(Options options, ArrayList infiles, boolean commandLine, boolean standAlone)

Uses of Options in org.jmlspecs.util.dis

Subclasses of Options in org.jmlspecs.util.dis

class

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

Uses of Options in org.multijava.dis

Subclasses of Options in org.multijava.dis

class

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

Uses of Options in org.multijava.mjc

Subclasses of Options in org.multijava.mjc

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

Methods in org.multijava.mjc with parameters of type Options

protected boolean	MjcGUI.dirInClassPath(Options opt, String dir)
protected String	MjcGUI.getClasspath(Options opt)
protected String	MjcGUI.getSourcepath(Options opt)
protected org.multijava.util.gui.GUI.Compilation	MjcGUI.createCompilationInstance(String[] files, Options opt, OutputStream os)

Constructors in org.multijava.mjc with parameters of type Options

MjcGUI(Options options, ArrayList infiles, boolean commandLine, boolean standAlone)

Uses of Options in org.multijava.mjdoc

Subclasses of Options in org.multijava.mjdoc

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

Uses of Options in org.multijava.util.backend

Subclasses of Options in org.multijava.util.backend

class

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

Uses of Options in org.multijava.util.classfile

Subclasses of Options in org.multijava.util.classfile

class

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

Uses of Options in org.multijava.util.lexgen

Subclasses of Options in org.multijava.util.lexgen

class

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

Uses of Options in org.multijava.util.optimize

Subclasses of Options in org.multijava.util.optimize

class

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

Uses of Options in org.multijava.util.testing

Subclasses of Options in org.multijava.util.testing

class

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