JML

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.
 


JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.