Uses of Class
java.lang.Error

Packages that use Error

java.lang	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
javax.xml.parsers
org.jmlspecs.jmlrac.runtime	Classes for use during runtime assertion checking for code compiled with JML's runtime assertion checking compiler (jmlc).

Uses of Error in java.lang

Subclasses of Error in java.lang

class	InternalError JML's specification of java.lang.InternalError
class	OutOfMemoryError
class	VirtualMachineError JML's specification of java.lang.VirtualMachineError

Uses of Error in javax.xml.parsers

Subclasses of Error in javax.xml.parsers

class

FactoryConfigurationError

Uses of Error in org.jmlspecs.jmlrac.runtime

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