Uses of Class
java.lang.RuntimeException

Packages that use RuntimeException

java.lang	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.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.relaxed.runtime
org.multijava.util
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 java.security

Subclasses of RuntimeException in java.security

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.