Uses of Class
jml2b.exceptions.LoadException

Packages that use LoadException

jack.plugin
jml2b.formula	Provides the classes necessary to create and manage formulas.
jml2b.pog	Provides the classes necessary to generate proof obligations.
jml2b.pog.lemma
jpov
jpov.structure
jpov.substitution

Uses of LoadException in jack.plugin

Methods in jack.plugin that throw LoadException

static JpoFile	JpovUtil.loadJpoFile(org.eclipse.core.resources.IFile jpo_file) Load a Jpov object from the given .jpo file.
static PartialJpoFile	JpovUtil.loadPartialJpoFile(org.eclipse.core.resources.IFile jpo_file)

Uses of LoadException in jml2b.formula

Methods in jml2b.formula that throw LoadException

static Formula

Formula.create(IJml2bConfiguration config, JpoInputStream s, IJmlFile fi) Create a formula from a token read into a stream.

Uses of LoadException in jml2b.pog

Methods in jml2b.pog that throw LoadException

ProverStatus

IProverStatus.factory(JpoInputStream s)

Uses of LoadException in jml2b.pog.lemma

Constructors in jml2b.pog.lemma that throw LoadException

GoalOrigin(JpoInputStream s)
Constructs a goal origin from a loaded .jpo file

GoalStatus(JpoInputStream s)
Constructs a non obvious goal from a .jpo file

Uses of LoadException in jpov

Methods in jpov that throw LoadException

static JmlFile

JpoFile.loadJmlFile(IJml2bConfiguration configuration, java.lang.String name) Loads a JPO file

Constructors in jpov that throw LoadException

JpoFile(IJml2bConfiguration config, java.lang.String name)
Constucts a JPO file from a given repository and a given name.

PartialJpoFile(IJml2bConfiguration config, java.lang.String name)
Constucts a JPO file from a given repository and a given name.

Uses of LoadException in jpov.structure

Methods in jpov.structure that throw LoadException

static JmlFile

JmlFile.loadJmlFile(IJml2bConfiguration config, java.io.File jpoFile, JpoInputStream s) Loads the root node from a .jpo file

Constructors in jpov.structure that throw LoadException

Method(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a method from a loaded .jpo file

PartialJmlFile(JpoInputStream s)
Constructs a jml file from loaded informations

Uses of LoadException in jpov.substitution

Constructors in jpov.substitution that throw LoadException

SubArrayElement(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution

SubArrayElementSingle(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution

SubArrayLength(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution

SubForm(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution.

SubInstancesSet(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution for instances

SubInstancesSingle(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution for instances

SubMemberField(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution

SubTmpVar(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution from a loaded .jpo file

SubTypeofSet(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution for typeof

SubTypeofSingle(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution for typeof