Uses of Class

Packages that use RuntimeException
java.lang JML Specifications for the corresponding types in the Java Developement Kit (JDK). 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). 
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.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.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.util.compiler Provides utilities and superclasses for the compilers in MultiJava and the Java Modeling Language

Uses of RuntimeException in java.lang

Subclasses of RuntimeException in java.lang
 class ArithmeticException
 class ArrayIndexOutOfBoundsException
 class ClassCastException
 class IllegalArgumentException
 class IllegalStateException
 class IndexOutOfBoundsException
 class NegativeArraySizeException
 class NullPointerException
 class NumberFormatException
 class SecurityException
 class StringIndexOutOfBoundsException
 class UnsupportedOperationException

Uses of RuntimeException in

Subclasses of RuntimeException in
 class InvalidParameterException

Uses of RuntimeException in java.util

Subclasses of RuntimeException in java.util
 class MissingResourceException
 class NoSuchElementException

Uses of RuntimeException in org.jmlspecs.checker

Subclasses of RuntimeException in org.jmlspecs.checker
protected  class JmlAdmissibilityVisitor.NotAdmissibleException
          An Exception which is thrown when some was found not to be admissible.

Uses of RuntimeException in org.jmlspecs.jmlrac

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

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

Fields in org.jmlspecs.jmlrac.runtime declared as RuntimeException
static RuntimeException JMLChecker.DEMONIC_EXCEPTION
          An exception object indicating demonic undefinedness.

Uses of RuntimeException in org.jmlspecs.jmlunit.strategies

Subclasses of RuntimeException in org.jmlspecs.jmlunit.strategies
 class TestSuiteFullException
          This exception is ued to tell a test driver that we have enough tests.

Uses of RuntimeException in org.jmlspecs.models

Subclasses of RuntimeException 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 RuntimeException in org.jmlspecs.samples.jmlkluwer

Subclasses of RuntimeException in org.jmlspecs.samples.jmlkluwer
 class PQException

Uses of RuntimeException in org.jmlspecs.samples.jmlrefman

Methods in org.jmlspecs.samples.jmlrefman that throw RuntimeException
abstract  int SignalsClause.notPrecise(int x)

Uses of RuntimeException in org.jmlspecs.samples.stacks

Subclasses of RuntimeException in org.jmlspecs.samples.stacks
 class BoundedStackException

Uses of RuntimeException in org.multijava.relaxed.runtime

Subclasses of RuntimeException in org.multijava.relaxed.runtime
 class RMJRuntimeException

Uses of RuntimeException in org.multijava.util

Subclasses of RuntimeException in org.multijava.util
 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 RuntimeException in org.multijava.util.compiler

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


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.