|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |