Uses of Package
jml2b.exceptions

Packages that use jml2b.exceptions

jack.plugin
jack.plugin.compile
jml2b
jml2b.exceptions
jml2b.formula	Provides the classes necessary to create and manage formulas.
jml2b.languages
jml2b.languages.java
jml2b.link
jml2b.pog	Provides the classes necessary to generate proof obligations.
jml2b.pog.lemma
jml2b.pog.proofobligation
jml2b.pog.util
jml2b.structure
jml2b.structure.bytecode
jml2b.structure.java
jml2b.structure.jml	Provides the classes necessary to create and manage jml clauses such that depends, represents, specification cases, modifies and exsures.
jml2b.structure.statement	Provides the classes necessary to create and manage java and jml statements and expressions.
jml2b.util
jpov
jpov.structure
jpov.substitution

Classes in jml2b.exceptions used by jack.plugin

LoadException
This class provides an exception that can be threw during the load of a JPO file.

Classes in jml2b.exceptions used by jack.plugin.compile

ErrorHandler
Interface defining how errors are reported to the user.

Classes in jml2b.exceptions used by jml2b

Jml2bException

Classes in jml2b.exceptions used by jml2b.exceptions

ErrorHandler
Interface defining how errors are reported to the user.

Jml2bException

LanguageException

ParseException
Exception class used to indicate error during the parsing phase.

Classes in jml2b.exceptions used by jml2b.formula

Jml2bException

LanguageException

LoadException
This class provides an exception that can be threw during the load of a JPO file.

PogException
This kind of exception is thrown when a litteral float is found in specification part a loop in pure method called is found in specification part a memory overflow occurs during the WP calculus a class concerning RuntimeException cannot be loaded during the WP calculus.

Classes in jml2b.exceptions used by jml2b.languages

LanguageException

Classes in jml2b.exceptions used by jml2b.languages.java

LanguageException

Classes in jml2b.exceptions used by jml2b.link

Jml2bException

Classes in jml2b.exceptions used by jml2b.pog

Jml2bException

LoadException
This class provides an exception that can be threw during the load of a JPO file.

PogException
This kind of exception is thrown when a litteral float is found in specification part a loop in pure method called is found in specification part a memory overflow occurs during the WP calculus a class concerning RuntimeException cannot be loaded during the WP calculus.

Classes in jml2b.exceptions used by jml2b.pog.lemma

Jml2bException

LoadException
This class provides an exception that can be threw during the load of a JPO file.

PogException
This kind of exception is thrown when a litteral float is found in specification part a loop in pure method called is found in specification part a memory overflow occurs during the WP calculus a class concerning RuntimeException cannot be loaded during the WP calculus.

WrongLabelException
This class defines an exception that is thrown when a wrong label configuration is met, that is when after restricting possible lemma to labels, no lemmas remain.

Classes in jml2b.exceptions used by jml2b.pog.proofobligation

Jml2bException

PogException
This kind of exception is thrown when a litteral float is found in specification part a loop in pure method called is found in specification part a memory overflow occurs during the WP calculus a class concerning RuntimeException cannot be loaded during the WP calculus.

Classes in jml2b.exceptions used by jml2b.pog.util

Jml2bException

Classes in jml2b.exceptions used by jml2b.structure

Jml2bException

PogException
This kind of exception is thrown when a litteral float is found in specification part a loop in pure method called is found in specification part a memory overflow occurs during the WP calculus a class concerning RuntimeException cannot be loaded during the WP calculus.

Classes in jml2b.exceptions used by jml2b.structure.bytecode

Jml2bException

PogException
This kind of exception is thrown when a litteral float is found in specification part a loop in pure method called is found in specification part a memory overflow occurs during the WP calculus a class concerning RuntimeException cannot be loaded during the WP calculus.

Classes in jml2b.exceptions used by jml2b.structure.java

Jml2bException

LanguageException

PogException
This kind of exception is thrown when a litteral float is found in specification part a loop in pure method called is found in specification part a memory overflow occurs during the WP calculus a class concerning RuntimeException cannot be loaded during the WP calculus.

Classes in jml2b.exceptions used by jml2b.structure.jml

Jml2bException

PogException
This kind of exception is thrown when a litteral float is found in specification part a loop in pure method called is found in specification part a memory overflow occurs during the WP calculus a class concerning RuntimeException cannot be loaded during the WP calculus.

Classes in jml2b.exceptions used by jml2b.structure.statement

Jml2bException

LinkException

PogException
This kind of exception is thrown when a litteral float is found in specification part a loop in pure method called is found in specification part a memory overflow occurs during the WP calculus a class concerning RuntimeException cannot be loaded during the WP calculus.

Classes in jml2b.exceptions used by jml2b.util

ClassLoadException

Jml2bException

Classes in jml2b.exceptions used by jpov

LoadException
This class provides an exception that can be threw during the load of a JPO file.

Classes in jml2b.exceptions used by jpov.structure

LoadException
This class provides an exception that can be threw during the load of a JPO file.

Classes in jml2b.exceptions used by jpov.substitution

LoadException
This class provides an exception that can be threw during the load of a JPO file.