Uses of Class
java.lang.Exception

Packages that use Exception

java.io	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.lang	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.lang.reflect	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.net	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.security	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.sql	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.util	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
javax.crypto
javax.servlet
javax.xml.parsers
org.jmlspecs.ant.tasks
org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
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.jmlrac.runtime	Classes for use during runtime assertion checking for code compiled with JML's runtime assertion checking compiler (jmlc).
org.jmlspecs.jmlunit.strategies	The types in this package are used in providing test data for JML/JUnit testing.
org.jmlspecs.models	This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package.
org.jmlspecs.models.resolve	This package is a collection of types with immutable objects based on the RESOLVE specification language's mathematical models.
org.jmlspecs.racwrap.runner
org.jmlspecs.samples.dbc	This package contains samples of JML specifications written in the style of design by contract.
org.jmlspecs.samples.jmlkluwer	This package contains samples of JML specifications from the paper "JML: a Notation for Detailed Design".
org.jmlspecs.samples.jmlrefman	This package contains samples of JML specifications from the JML Reference Manual.
org.jmlspecs.samples.stacks	This package contains samples of JML specifications relating to stacks of various sorts.
org.multijava.mjc	Implements mjc, a MultiJava compiler.
org.multijava.mjdoc.mjdoc_142	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.relaxed.util
org.multijava.util
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.

Uses of Exception in java.io

Subclasses of Exception in java.io

class	IOException
class	UnsupportedEncodingException

Uses of Exception in java.lang

Subclasses of Exception in java.lang

class	ArithmeticException
class	ArrayIndexOutOfBoundsException
class	ClassCastException
class	ClassNotFoundException
class	CloneNotSupportedException
class	IllegalAccessException
class	IllegalArgumentException
class	IllegalStateException
class	IndexOutOfBoundsException
class	InstantiationException
class	InterruptedException
class	NegativeArraySizeException
class	NoSuchFieldException
class	NoSuchMethodException
class	NullPointerException
class	NumberFormatException
class	RuntimeException
class	SecurityException
class	StringIndexOutOfBoundsException
class	UnsupportedOperationException

Uses of Exception in java.lang.reflect

Subclasses of Exception in java.lang.reflect

class

InvocationTargetException

Uses of Exception in java.net

Subclasses of Exception in java.net

class	MalformedURLException
class	URISyntaxException

Uses of Exception in java.security

Subclasses of Exception in java.security

class	GeneralSecurityException
class	InvalidAlgorithmParameterException
class	InvalidKeyException
class	InvalidParameterException
class	KeyException
class	NoSuchAlgorithmException
class	NoSuchProviderException
class	SignatureException

Uses of Exception in java.sql

Subclasses of Exception in java.sql

class	SQLException
class	SQLWarning

Uses of Exception in java.util

Subclasses of Exception in java.util

class	MissingResourceException
class	NoSuchElementException

Uses of Exception in javax.crypto

Subclasses of Exception in javax.crypto

class	BadPaddingException
class	IllegalBlockSizeException
class	NoSuchPaddingException
class	ShortBufferException

Uses of Exception in javax.servlet

Subclasses of Exception in javax.servlet

class	ServletException JML's specification of ServletException
class	UnavailableException JML's specification of UnavailableException

Methods in javax.servlet with parameters of type Exception

abstract void

ServletContext.log(Exception exception, String msg) Deprecated.

Uses of Exception in javax.xml.parsers

Subclasses of Exception in javax.xml.parsers

class

ParserConfigurationException

Fields in javax.xml.parsers declared as Exception

private Exception

FactoryConfigurationError.exception

Methods in javax.xml.parsers that return Exception

Exception

FactoryConfigurationError.getException()

Constructors in javax.xml.parsers with parameters of type Exception

FactoryConfigurationError(Exception)

FactoryConfigurationError(Exception, String)

Uses of Exception in org.jmlspecs.ant.tasks

Methods in org.jmlspecs.ant.tasks that throw Exception

abstract void	AbstractFileSetTask.FileSetVisitor.visit(File file) Perform an action on the given file.
void	AbstractFileSetTask.FileSetVisitor.visit() Perform the action defined in visit(File) on all files in the filesets of this FileSetVisitor.
abstract void	FileSetWrapper.Visitor.visit(File file) Perform an action on the given file.
void	FileSetWrapper.Visitor.visit(org.apache.tools.ant.Project project) Perform the action defined in visit(File) on all files in the fileset of this Visitor for the given project.
void	AbstractFileSetTask.FileSetVisitor.AbstractFileSetTask$FileSetVisitor$1.visit(File file)
String[]	CommonOptionsTask.getArguments() Return an array of the argument strings for running a JML tool.
List	CommonOptionsTask.getFilesAndDirectories() Return a list of the files and directories needed for running a tool.

Uses of Exception in org.jmlspecs.checker

Subclasses of Exception in org.jmlspecs.checker

protected class

JmlAdmissibilityVisitor.NotAdmissibleException An Exception which is thrown when some was found not to be admissible.

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

void	JmlContext.reportTrouble(Exception trouble) Reports the given error and the "swallows" it, allowing compilation to continue.
void	JmlCompilationUnitContext.reportTrouble(Exception trouble) Adds a trouble into the list and eats it.

Uses of Exception in org.jmlspecs.jmldoc.jmldoc_142

Methods in org.jmlspecs.jmldoc.jmldoc_142 that throw Exception

void	JmlHTML.jmlize(CompilerPassEnterable tree) This is the entry point into these routines for adding html material representing the jml annotations to an html file.
(package private) void	JmlHTML.jmlize(JTypeDeclarationType jtype, String packageRoot) This method generates the html file for the class represented by 'jtype'.
void	JmlHTML.findSections(String fileString, String begin, String end, ArrayList extracts) This function finds all occurrences of text in 'fileString' bracketed by the given begin and end Strings.
void	JmlHTML.findSections(String fileString, String begin, ArrayList extracts) This function finds all occurrences of the string begin in 'fileString' .
protected void	JmlHTML.jmlizeFile(File f, JTypeDeclarationType jtype) This method inserts into the given File all the jml annotations corresponding to the given JTypeDeclarationType.
protected void	JmlHTML.insertMethodSpecs(JmlTypeDeclaration jmltype, String fileString, ArrayList insertions) This method generates the html text for the specifications of the methods for type jmlType, with reference to the original file content in fileString.
protected void	JmlHTML.insertFieldSpecs(JmlTypeDeclaration jmltype, String fileString, ArrayList insertions) This method generates the html text for the specifications of the fields for type jmlType, with reference to the original file content in fileString.
protected void	JmlHTML.insertMethodSpecs(JmlMethodDeclaration jm, String fileString, ArrayList insertions, String sig, JmlTypeDeclaration jmltype) This method generates the specification text for the method jm with signature string sig belonging to class jmltype, and with reference to the original html file in fileString.
void	JmlHtmlFactory.jmlize(CompilerPassEnterable tree, JmldocOptions options) This method creates an instance of JmlHTML and calls it to do the html generation for the given set of files (in tree) and command line options.

Uses of Exception in org.jmlspecs.jmlrac

Subclasses of Exception in org.jmlspecs.jmlrac

class	NonExecutableExpressionException This is exception is used to report non-executable expressions when encountered during the visit of the tree.
class	NotImplementedExpressionException This is exception is used to report not implemented expressions when encountered during the visit of the tree.
class	NotSupportedExpressionException This is exception is used to report not supported expressions when encountered during the visit of the tree.
class	PositionnedExpressionException This is exception is used to report expressions evaluation issues encountered during the visit of the tree.

Uses of Exception in org.jmlspecs.jmlrac.qexpr

Subclasses of Exception in org.jmlspecs.jmlrac.qexpr

class

NonExecutableQuantifierException Thrown to indicate that an attempt has been made to translate a JML quantified expression that is not executable.

Uses of Exception in org.jmlspecs.jmlrac.runtime

Subclasses of Exception in org.jmlspecs.jmlrac.runtime

class

JMLNonExecutableException Thrown by generated runtime assertion check code to indicate that an attempt has been made to execute a JML expression that is not executable.

Uses of Exception in org.jmlspecs.jmlunit.strategies

Subclasses of Exception in org.jmlspecs.jmlunit.strategies

class

TestSuiteFullException This exception is ued to tell a test driver that we have enough tests.

Uses of Exception in org.jmlspecs.models

Subclasses of Exception in org.jmlspecs.models

class	JMLListException Exceptions from JML List types.
class	JMLMapException Exceptions from JML Map types that indicate that the argument was illegal for this operation.
class	JMLNoSuchElementException Missing element exception used by various JML collection types and enumerators.
class	JMLSequenceException Index out of bounds exceptions from JML Sequence types.
class	JMLTypeException An exception class used in bad formatting exceptions.

Uses of Exception in org.jmlspecs.models.resolve

Subclasses of Exception in org.jmlspecs.models.resolve

class

UndefinedException Exception used to indicate that a comparison is undefined.

Uses of Exception in org.jmlspecs.racwrap.runner

Methods in org.jmlspecs.racwrap.runner that throw Exception

static void	Main.main(String[] args)
void	Main.runProgram(String name, String[] args, ClassLoader loader) Run the program
void	Main.runProgram()

Uses of Exception in org.jmlspecs.samples.dbc

Methods in org.jmlspecs.samples.dbc that throw Exception

protected void

ComplexTest.setUp() Initalize the receivers array.

Uses of Exception in org.jmlspecs.samples.jmlkluwer

Subclasses of Exception in org.jmlspecs.samples.jmlkluwer

class

PQException

Uses of Exception in org.jmlspecs.samples.jmlrefman

Methods in org.jmlspecs.samples.jmlrefman that throw Exception

static int	ImplicitOld.notCorrect1(int x)
static int	ImplicitOld.notCorrect2(int x)
static int	ImplicitOld.correct(int x)
protected abstract int	Heavyweight.m()
protected abstract int	Lightweight.m()

Uses of Exception in org.jmlspecs.samples.stacks

Subclasses of Exception in org.jmlspecs.samples.stacks

class

BoundedStackException

Uses of Exception in org.multijava.mjc

Subclasses of Exception in org.multijava.mjc

class	CBlockError This class represents block errors in the error hierarchy.
class	CExpressionError This class represents Expression errors in error hierarchy
class	CLineError This class represents Line errors in error hierarchy.
class	CMethodNotFoundError This error display all parameters of method call
static class	ParsingController.ConfigurationException This inner class represents exceptions that can be thrown because of misconfiguration of the parsing controller.
static class	ParsingController.KeyException This inner class represents exceptions that can be thrown because of bad key values passed as arguments to the outer classes methods.

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

void	Main.reportTrouble(Exception trouble) Reports a trouble (error or warning).
void	Main.reportTroubleFiltered(Exception trouble) This method is intended for overriding by subclasses - all error and warning output (except that filtered out by the -w or -filter option) should pass through here.
void	CTopLevel.CTopLevel$1.reportTrouble(Exception a)
abstract void	CContextType.reportTrouble(Exception trouble) Reports the given error and the "swallows" it, allowing compilation to continue.
void	TestParsingController.TestParsingController$1.reportTrouble(Exception p)
void	CContext.reportTrouble(Exception trouble) Reports the given error and the "swallows" it, allowing compilation to continue.
void	ParserUtility.reportTrouble(Exception trouble) Reports that an error has been detected in the lexical analyser.
abstract void	CCompilationUnitContextType.reportTrouble(Exception trouble) Adds an trouble into the list and eats it This method should be called after a try catch block after catching exception or directly without exception thrown
void	CCompilationUnitContext.reportTrouble(Exception trouble) Adds an trouble into the list and eats it.
void	TestMjcParser.TestCompiler.reportTrouble(Exception trouble)

Uses of Exception in org.multijava.mjdoc.mjdoc_142

Methods in org.multijava.mjdoc.mjdoc_142 that throw Exception

void	MjdocWrapper.selected(CompilerPassEnterable tree) Loads all the classes and interfaces contained in 'trees' as command-line specified classes, for which javadoc documents will be generated.
void	MjdocWrapper.selected(JTypeDeclarationType jtype) Loads all the given class as command-line specified classes, for which documents will be generated.
void	MjdocWrapper.register(CompilerPassEnterable tree) Loads all the classes and interfaces contained in 'tree' into the RootDoc.
void	MjdocWrapper.register(JCompilationUnitType unit) Loads all the classes and interfaces contained in 'tree' into the RootDoc.
(package private) void	MjdocWrapper.register(JTypeDeclarationType jtype) Registers a specific class or interface (and any classes or interfaces nested or referenced within it) into the RootDoc.
static String	MjdocWrapper.readFile(File f) Reads a text file into a String.

Uses of Exception in org.multijava.relaxed.runtime

Subclasses of Exception in org.multijava.relaxed.runtime

protected static class	RMJClassLoader.EmptyTupleSet
class	RMJRuntimeException
static class	RMJSignature.ArgumentOverrides
static class	RMJSignature.EqualSignatures
private static class	RMJSignature.HasIntersection
static class	RMJSignature.IncomparableSignatures
static class	RMJSignature.OverridesArgument

Uses of Exception in org.multijava.relaxed.util

Subclasses of Exception in org.multijava.relaxed.util

private static class

RMJAnnotation.ParseError

Uses of Exception in org.multijava.util

Subclasses of Exception in org.multijava.util

class	FormattedException This class defines exceptions formatted using message descriptions.
class	InconsistencyException An InconsistencyException indicates that an inconsistent internal state has been discovered, usually due to incorrect program logic.
class	InternalError Internal errors

Uses of Exception in org.multijava.util.classfile

Subclasses of Exception in org.multijava.util.classfile

class	BadAccessorException This exception is to report unresolvable instruction accessors.
class	ClassFileFormatException Error thrown on problems encountered.
class	ClassFileReadException This exception is used to communicate a problem reading a classfile to client packages.

Methods in org.multijava.util.classfile that throw Exception

private static void

Main.readFile(String f, File file) Read a classfile

Uses of Exception in org.multijava.util.compiler

Subclasses of Exception in org.multijava.util.compiler

class	CompilationAbortedError This class is thrown when an error occurs during compilation that from which the compilation process cannot or should not recover.
class	CompilationAbortedException This exception is used to abort out of compilation tasks, but to still report errors satisfactorily, and perhaps to continue on.
class	CWarning This class represents warnings in the compiler error hierarchy
class	PositionedError This class is the root class for all compiler errors with a reference to the source text.

Methods in org.multijava.util.compiler with parameters of type Exception

abstract void	Compiler.reportTrouble(Exception trouble) Reports a trouble (error or warning).
abstract void	TroubleReporter.reportTrouble(Exception trouble) Reports a trouble (error or warning).

Uses of Exception in org.multijava.util.guigen

Subclasses of Exception in org.multijava.util.guigen

class

GuigenError Error thrown on problems encountered while running the program.

Uses of Exception in org.multijava.util.lexgen

Subclasses of Exception in org.multijava.util.lexgen

class

LexgenError Error thrown on problems encountered while running the program.

Uses of Exception in org.multijava.util.msggen

Subclasses of Exception in org.multijava.util.msggen

class

MsggenError Error thrown on problems encountered while running the program.

Uses of Exception in org.multijava.util.optgen

Subclasses of Exception in org.multijava.util.optgen

class

OptgenError Error thrown on problems encountered while running the program.