Uses of Class
org.multijava.mjc.MjcCommonOptions

Packages that use MjcCommonOptions

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.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.

Uses of MjcCommonOptions in org.jmlspecs.checker

Subclasses of MjcCommonOptions 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 that return MjcCommonOptions

protected MjcCommonOptions	Main.makeOptionsInstance() This function creates an object to do the parsing of the command line arguments and to store the values of the flags and options so obtained (it does not actually do the argument parsing).
protected MjcCommonOptions	Main.getOptionsInstance(MjcCommonOptions opt) Assigns opt to the local instance of JmlCommonOptions and returns opt as an instance of MjcCommonOptions so it can be assigned to the options variable in mjc's Main.

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

protected MjcCommonOptions	Main.getOptionsInstance(MjcCommonOptions opt) Assigns opt to the local instance of JmlCommonOptions and returns opt as an instance of MjcCommonOptions so it can be assigned to the options variable in mjc's Main.
protected String	Main.getWarningFilterNameFromOptions(MjcCommonOptions opts)

Uses of MjcCommonOptions in org.jmlspecs.jmldoc

Subclasses of MjcCommonOptions 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 MjcCommonOptions in org.jmlspecs.jmldoc.jmldoc_142

Methods in org.jmlspecs.jmldoc.jmldoc_142 that return MjcCommonOptions

protected MjcCommonOptions	Main.makeOptionsInstance() This function creates an object to do the parsing of the command line arguments and to store the values of the flags and options so obtained (it does not actually do the argument parsing).
protected MjcCommonOptions	Main.getOptionsInstance(MjcCommonOptions opt) Assigns opt to the local instance of RacOptions and returns opt as an instance of MjcCommonOptions so it can be assigned to the options variable in mjc's Main.

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

boolean	Main.runParser(String[] args, MjcCommonOptions opt, ArrayList infiles) Runs the argument parser only so the GUI can process options from the command line
protected MjcCommonOptions	Main.getOptionsInstance(MjcCommonOptions opt) Assigns opt to the local instance of RacOptions and returns opt as an instance of MjcCommonOptions so it can be assigned to the options variable in mjc's Main.
protected void	JmldocWrapper.handleQuiet(MjcCommonOptions options) Sets Jmldoc's Quiet option since Mjdoc cannot recognize it

Uses of MjcCommonOptions in org.jmlspecs.jmlrac

Subclasses of MjcCommonOptions 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 that return MjcCommonOptions

protected MjcCommonOptions	Main.makeOptionsInstance() Creates an object to do the parsing of the command line arguments and to store the values of the flags and options so obtained (it does not actually do the argument parsing).
protected MjcCommonOptions	Main.getOptionsInstance(MjcCommonOptions opt) Assigns opt to the local instance of RacOptions, assigns opt to an instance of jmlOptions in the checker, and returns opt as an instance of MjcCommonOptions so it can be assigned to the options variable in mjc's Main.

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

protected MjcCommonOptions

Main.getOptionsInstance(MjcCommonOptions opt) Assigns opt to the local instance of RacOptions, assigns opt to an instance of jmlOptions in the checker, and returns opt as an instance of MjcCommonOptions so it can be assigned to the options variable in mjc's Main.

Uses of MjcCommonOptions in org.jmlspecs.jmlspec

Subclasses of MjcCommonOptions 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 that return MjcCommonOptions

protected MjcCommonOptions	Main.makeOptionsInstance() This function creates an object to do the parsing of the command line arguments and to store the values of the flags and options so obtained (it does not actually do the argument parsing).
protected MjcCommonOptions	Main.getOptionsInstance(MjcCommonOptions opt) Returns opt as an instance of MjcCommonOptions so it can be assigned to the options variable in mjc's Main.

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

protected MjcCommonOptions	Main.getOptionsInstance(MjcCommonOptions opt) Returns opt as an instance of MjcCommonOptions so it can be assigned to the options variable in mjc's Main.
protected String	Main.getWarningFilterNameFromOptions(MjcCommonOptions opts)

Uses of MjcCommonOptions in org.jmlspecs.jmlunit

Subclasses of MjcCommonOptions 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 that return MjcCommonOptions

protected MjcCommonOptions	Main.makeOptionsInstance() This function creates an object to do the parsing of the command line arguments and to store the values of the flags and options so obtained (it does not actually do the argument parsing).
protected MjcCommonOptions	Main.getOptionsInstance(MjcCommonOptions opt) Returns opt as an instance of MjcCommonOptions so it can be assigned to the options variable in mjc's Main.

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

protected MjcCommonOptions	Main.getOptionsInstance(MjcCommonOptions opt) Returns opt as an instance of MjcCommonOptions so it can be assigned to the options variable in mjc's Main.
protected String	Main.getWarningFilterNameFromOptions(MjcCommonOptions opts)

Uses of MjcCommonOptions in org.multijava.mjc

Subclasses of MjcCommonOptions in org.multijava.mjc

class

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

Fields in org.multijava.mjc declared as MjcCommonOptions

protected MjcCommonOptions

Main.options

Methods in org.multijava.mjc that return MjcCommonOptions

protected MjcCommonOptions	Main.getOptionsInstance(MjcCommonOptions opt) Used as a hook for other subclasses of mjc to override.
protected MjcCommonOptions	Main.makeOptionsInstance() Overridable method that returns an instance of an object that will process command-line options.
MjcCommonOptions	Main.options()

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

boolean	Main.runParser(String[] args, MjcCommonOptions opt, ArrayList infiles) Runs the argument parser only so the GUI can process options from the command line
static boolean	Main.compile(String[] args, MjcCommonOptions opt, OutputStream os) Entry point for the GUI
boolean	Main.run(String[] args, MjcCommonOptions opt, OutputStream os) Runs a compilation session for the GUI
protected MjcCommonOptions	Main.getOptionsInstance(MjcCommonOptions opt) Used as a hook for other subclasses of mjc to override.
protected String	Main.getWarningFilterNameFromOptions(MjcCommonOptions opts) Get the warning filter's class name from the options structure.

Uses of MjcCommonOptions in org.multijava.mjdoc

Subclasses of MjcCommonOptions 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.