Uses of Package
org.multijava.util

Packages that use org.multijava.util

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.jmlrac.qexpr	Translates JML quantified expressions into Java source code to evaluate them 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.racwrap
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.relaxed.runtime
org.multijava.util
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.compiler	Provides utilities and superclasses for the compilers in MultiJava and the Java Modeling Language.
org.multijava.util.guigen	Implements the automatic generation of all of the GUIs for 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.msggen	Implements the automatic generation of the data structure for all of the compiler messages in MultiJava and the Java Modeling Language.
org.multijava.util.optgen	Implements the automatic generation of the data structure for all of the command line options in 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.

Classes in org.multijava.util used by org.jmlspecs.checker

Destination
This class represents the destination of the output of one of the tools included in the project.

MessageDescription
This class defines message descriptions (errors, warnings, notices, ...).

Options
This class implements basic option parsing.

Utils
This class defines severals utilities methods used in source code

Classes in org.multijava.util used by org.jmlspecs.jmldoc

MessageDescription
This class defines message descriptions (errors, warnings, notices, ...).

Options
This class implements basic option parsing.

Classes in org.multijava.util used by org.jmlspecs.jmldoc.jmldoc_142

Options
This class implements basic option parsing.

Classes in org.multijava.util used by org.jmlspecs.jmlrac

MessageDescription
This class defines message descriptions (errors, warnings, notices, ...).

Options
This class implements basic option parsing.

Utils
This class defines severals utilities methods used in source code

Classes in org.multijava.util used by org.jmlspecs.jmlrac.qexpr

Utils
This class defines severals utilities methods used in source code

Classes in org.multijava.util used by org.jmlspecs.jmlspec

MessageDescription
This class defines message descriptions (errors, warnings, notices, ...).

Options
This class implements basic option parsing.

Utils
This class defines severals utilities methods used in source code

Classes in org.multijava.util used by org.jmlspecs.jmlunit

MessageDescription
This class defines message descriptions (errors, warnings, notices, ...).

Options
This class implements basic option parsing.

Classes in org.multijava.util used by org.jmlspecs.racwrap

Utils
This class defines severals utilities methods used in source code

Classes in org.multijava.util used by org.jmlspecs.util.dis

MessageDescription
This class defines message descriptions (errors, warnings, notices, ...).

Options
This class implements basic option parsing.

Classes in org.multijava.util used by org.multijava.dis

ArrayLocator
This class allows to find the position of an object in an array.

MessageDescription
This class defines message descriptions (errors, warnings, notices, ...).

Options
This class implements basic option parsing.

Classes in org.multijava.util used by org.multijava.mjc

Destination
This class represents the destination of the output of one of the tools included in the project.

DirectedAcyclicGraph.EdgeCalculator

FormattedException
This class defines exceptions formatted using message descriptions.

Message
This class represents the root class for all kopic errors

MessageDescription
This class defines message descriptions (errors, warnings, notices, ...).

MjcHashRelation
This class is used to map a key to a sequence of values, the image of the key.

Options
This class implements basic option parsing.

Utils
This class defines severals utilities methods used in source code

Classes in org.multijava.util used by org.multijava.mjdoc

MessageDescription
This class defines message descriptions (errors, warnings, notices, ...).

Options
This class implements basic option parsing.

Classes in org.multijava.util used by org.multijava.relaxed.runtime

DirectedAcyclicGraph.EdgeCalculator

Classes in org.multijava.util used by org.multijava.util

Destination
This class represents the destination of the output of one of the tools included in the project.

DirectedAcyclicGraph.EdgeCalculator

IntStack
This class represents a simple stack of integer values.

Message
This class represents the root class for all kopic errors

MessageDescription
This class defines message descriptions (errors, warnings, notices, ...).

MjcHashRelation
This class is used to map a key to a sequence of values, the image of the key.

Classes in org.multijava.util used by org.multijava.util.backend

MessageDescription
This class defines message descriptions (errors, warnings, notices, ...).

Options
This class implements basic option parsing.

Classes in org.multijava.util used by org.multijava.util.classfile

Destination
This class represents the destination of the output of one of the tools included in the project.

MessageDescription
This class defines message descriptions (errors, warnings, notices, ...).

Options
This class implements basic option parsing.

Classes in org.multijava.util used by org.multijava.util.compiler

FormattedException
This class defines exceptions formatted using message descriptions.

Message
This class represents the root class for all kopic errors

MessageDescription
This class defines message descriptions (errors, warnings, notices, ...).

Utils
This class defines severals utilities methods used in source code

Classes in org.multijava.util used by org.multijava.util.guigen

FormattedException
This class defines exceptions formatted using message descriptions.

Message
This class represents the root class for all kopic errors

MessageDescription
This class defines message descriptions (errors, warnings, notices, ...).

Classes in org.multijava.util used by org.multijava.util.lexgen

FormattedException
This class defines exceptions formatted using message descriptions.

Message
This class represents the root class for all kopic errors

MessageDescription
This class defines message descriptions (errors, warnings, notices, ...).

Options
This class implements basic option parsing.

Classes in org.multijava.util used by org.multijava.util.msggen

FormattedException
This class defines exceptions formatted using message descriptions.

Message
This class represents the root class for all kopic errors

MessageDescription
This class defines message descriptions (errors, warnings, notices, ...).

Classes in org.multijava.util used by org.multijava.util.optgen

FormattedException
This class defines exceptions formatted using message descriptions.

Message
This class represents the root class for all kopic errors

MessageDescription
This class defines message descriptions (errors, warnings, notices, ...).

Classes in org.multijava.util used by org.multijava.util.optimize

MessageDescription
This class defines message descriptions (errors, warnings, notices, ...).

Options
This class implements basic option parsing.

Classes in org.multijava.util used by org.multijava.util.testing

Options
This class implements basic option parsing.