Uses of Class
java.lang.Throwable

Packages that use Throwable

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.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
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.samples.jmlkluwer	This package contains samples of JML specifications from the paper "JML: a Notation for Detailed Design".
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.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 Throwable in java.io

Subclasses of Throwable in java.io

class	IOException
class	UnsupportedEncodingException

Uses of Throwable in java.lang

Subclasses of Throwable in java.lang

class	ArithmeticException
class	ArrayIndexOutOfBoundsException
class	ClassCastException
class	ClassNotFoundException
class	CloneNotSupportedException
class	Error JML's specification of java.lang.Error
class	Exception
class	IllegalAccessException
class	IllegalArgumentException
class	IllegalStateException
class	IndexOutOfBoundsException
class	InstantiationException
class	InternalError JML's specification of java.lang.InternalError
class	InterruptedException
class	NegativeArraySizeException
class	NoSuchFieldException
class	NoSuchMethodException
class	NullPointerException
class	NumberFormatException
class	OutOfMemoryError
class	RuntimeException
class	SecurityException
class	StringIndexOutOfBoundsException
class	UnsupportedOperationException
class	VirtualMachineError JML's specification of java.lang.VirtualMachineError

Fields in java.lang declared as Throwable

private Throwable

ClassNotFoundException.ex

Methods in java.lang that return Throwable

Throwable	Throwable.getCause()
Throwable	Throwable.initCause(Throwable cause)
Throwable	Throwable.fillInStackTrace()
Throwable	ClassNotFoundException.getCause()
Throwable	ClassNotFoundException.getException()

Methods in java.lang with parameters of type Throwable

Throwable	Throwable.initCause(Throwable cause)
void	Thread.stop(Throwable)
void	ThreadGroup.uncaughtException(Thread, Throwable)

Methods in java.lang that throw Throwable

protected void

Object.finalize()

Constructors in java.lang with parameters of type Throwable

Throwable(String message, Throwable cause)

Throwable(Throwable cause)

Exception(Throwable cause)

Exception(String message, Throwable cause)

RuntimeException(String message, Throwable cause)

RuntimeException(Throwable cause)

Error(String message, Throwable cause)

Error(Throwable cause)

ClassNotFoundException(String, Throwable)

Uses of Throwable in java.lang.reflect

Subclasses of Throwable in java.lang.reflect

class

InvocationTargetException

Fields in java.lang.reflect declared as Throwable

private Throwable

InvocationTargetException.target

Methods in java.lang.reflect that return Throwable

Throwable	InvocationTargetException.getCause()
Throwable	InvocationTargetException.getTargetException()

Constructors in java.lang.reflect with parameters of type Throwable

InvocationTargetException(Throwable)

InvocationTargetException(Throwable, String)

Uses of Throwable in java.net

Subclasses of Throwable in java.net

class	MalformedURLException
class	URISyntaxException

Uses of Throwable in java.security

Subclasses of Throwable in java.security

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

Uses of Throwable in java.sql

Subclasses of Throwable in java.sql

class	SQLException
class	SQLWarning

Uses of Throwable in java.util

Subclasses of Throwable in java.util

class	MissingResourceException
class	NoSuchElementException

Uses of Throwable in javax.crypto

Subclasses of Throwable in javax.crypto

class	BadPaddingException
class	IllegalBlockSizeException
class	NoSuchPaddingException
class	ShortBufferException

Uses of Throwable in javax.servlet

Subclasses of Throwable in javax.servlet

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

Methods in javax.servlet that return Throwable

Throwable

ServletException.getRootCause()

Methods in javax.servlet with parameters of type Throwable

abstract void	ServletContext.log(String message, Throwable throwable)
void	GenericServlet.log(String message, Throwable t)

Constructors in javax.servlet with parameters of type Throwable

ServletException(String message, Throwable rootCause)

ServletException(Throwable rootCause)

Uses of Throwable in javax.xml.parsers

Subclasses of Throwable in javax.xml.parsers

class	FactoryConfigurationError
class	ParserConfigurationException

Uses of Throwable in org.jmlspecs.checker

Subclasses of Throwable in org.jmlspecs.checker

protected class

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

Uses of Throwable in org.jmlspecs.jmlrac

Subclasses of Throwable 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 Throwable in org.jmlspecs.jmlrac.qexpr

Subclasses of Throwable 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 Throwable in org.jmlspecs.jmlrac.runtime

Subclasses of Throwable in org.jmlspecs.jmlrac.runtime

class	JMLAssertError A JML error class to report violations of JML assert specification statements.
class	JMLAssertionError An abstract error class to notify all kinds of runtime assertion violations.
class	JMLAssumeError A JML error class to report violations of JML assume specification statements.
class	JMLDebugError A JML error class to report an error in the JML debug statement.
class	JMLEntryPreconditionError A JML error class to notify entry precondition violations.
class	JMLEvaluationError
class	JMLExceptionalPostconditionError A JML error class to notify exceptional postcondition violations.
class	JMLExitExceptionalPostconditionError A JML error class to notify exit exceptional postcondition violations.
class	JMLExitNormalPostconditionError A JML error class to notify exit normal postcondition violations.
class	JMLHenceByError A JML error class to report violations of hence_by specification statements.
class	JMLHistoryConstraintError A JML error class to notify history constraint violations.
class	JMLInternalExceptionalPostconditionError A JML error class to notify internal exceptional postcondition violations.
class	JMLInternalNormalPostconditionError A JML error class to notify internal normal postcondition violations.
class	JMLInternalPreconditionError A JML error class to notify internal precondition violations.
class	JMLIntraconditionError A JML exception class to signal intracondition violations.
class	JMLInvariantError A JML error class to notify invariant violations.
class	JMLLoopInvariantError A JML error class to report loop invariant violations.
class	JMLLoopVariantError A JML error class to report loop variant violations.
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.
class	JMLNormalPostconditionError A JML error class to notify normal postcondition violations.
class	JMLPostconditionError A JML error class to notify postcondition violations.
class	JMLPreconditionError A JML exception class for notifying precondition violations.
class	JMLUnreachableError A JML error class to report violations of unreachable specification statements.

Constructors in org.jmlspecs.jmlrac.runtime with parameters of type Throwable

JMLAssertionError(String message, Throwable cause)

JMLAssertionError(Throwable cause)

JMLPostconditionError(Throwable cause)

JMLExceptionalPostconditionError(Throwable cause)

JMLIntraconditionError(Throwable cause)

JMLAssumeError(Throwable cause)

JMLPreconditionError(Throwable cause)

JMLEntryPreconditionError(Throwable cause)

JMLAssertError(Throwable cause)

JMLExitExceptionalPostconditionError(Throwable cause)

JMLNormalPostconditionError(Throwable cause)

JMLInvariantError(Throwable cause)

JMLExitNormalPostconditionError(Throwable cause)

Uses of Throwable in org.jmlspecs.jmlunit.strategies

Subclasses of Throwable in org.jmlspecs.jmlunit.strategies

class

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

Fields in org.jmlspecs.jmlunit.strategies declared as Throwable

private Throwable

ConstructorFailed.cause The problem that occurred.

Constructors in org.jmlspecs.jmlunit.strategies with parameters of type Throwable

ConstructorFailed(Throwable ex)
Initialize this object

Uses of Throwable in org.jmlspecs.models

Subclasses of Throwable 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 Throwable in org.jmlspecs.models.resolve

Subclasses of Throwable in org.jmlspecs.models.resolve

class

UndefinedException Exception used to indicate that a comparison is undefined.

Uses of Throwable in org.jmlspecs.samples.jmlkluwer

Subclasses of Throwable in org.jmlspecs.samples.jmlkluwer

class

PQException

Uses of Throwable in org.jmlspecs.samples.stacks

Subclasses of Throwable in org.jmlspecs.samples.stacks

class

BoundedStackException

Uses of Throwable in org.multijava.mjc

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

Fields in org.multijava.mjc declared as Throwable

(package private) Throwable

FunctionalTestSuite.TestCase.RuntimeResults.excep

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

static void

Main.bugReportRequest(Throwable e, String[] args)

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

FunctionalTestSuite.TestCase.RuntimeResults(boolean success, Throwable excep, String errorOut, String stdOut)

Uses of Throwable in org.multijava.relaxed.runtime

Subclasses of Throwable 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 Throwable in org.multijava.relaxed.util

Subclasses of Throwable in org.multijava.relaxed.util

private static class

RMJAnnotation.ParseError

Uses of Throwable in org.multijava.util

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

Constructors in org.multijava.util with parameters of type Throwable

InconsistencyException(Throwable e)
Constructs am InconsistencyException from the given throwable.

InconsistencyException(String message, Throwable e)
Constructs am InconsistencyException with the specified detail message.

Uses of Throwable in org.multijava.util.classfile

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

Uses of Throwable in org.multijava.util.compiler

Subclasses of Throwable 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.
class	UnpositionedError This class is the root class for all compiler errors without a reference to the source text.

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

void	Compiler.inform(Throwable trouble) Write a message to the diagnostic output.

Uses of Throwable in org.multijava.util.guigen

Subclasses of Throwable in org.multijava.util.guigen

class

GuigenError Error thrown on problems encountered while running the program.

Uses of Throwable in org.multijava.util.lexgen

Subclasses of Throwable in org.multijava.util.lexgen

class

LexgenError Error thrown on problems encountered while running the program.

Uses of Throwable in org.multijava.util.msggen

Subclasses of Throwable in org.multijava.util.msggen

class

MsggenError Error thrown on problems encountered while running the program.

Uses of Throwable in org.multijava.util.optgen

Subclasses of Throwable in org.multijava.util.optgen

class

OptgenError Error thrown on problems encountered while running the program.