JML

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.
 


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.