public class ProofSaver extends OutputStreamProofSaver
internalVersion, proof
Constructor and Description |
---|
ProofSaver(Proof proof,
java.io.File file) |
ProofSaver(Proof proof,
java.io.File file,
java.lang.String internalVersion) |
ProofSaver(Proof proof,
java.lang.String fileName,
java.lang.String internalVersion) |
Modifier and Type | Method and Description |
---|---|
static void |
addProofSaverListener(ProofSaverListener l)
Adds the
ProofSaverListener . |
static java.lang.String |
computeBasePath(java.io.File proofFile)
Computes the base path of the given proof
File . |
protected static void |
fireProofSaved(ProofSaverEvent e)
Informs all listener about the event
ProofSaverListener.proofSaved(ProofSaverEvent) . |
protected java.lang.String |
getBasePath() |
static void |
removeProofSaverListener(ProofSaverListener l)
Removes the
ProofSaverListener . |
java.lang.String |
save() |
protected void |
save(java.io.File file)
Save the proof to file referenced by
file . |
builtinRuleIfInsts, escapeCharacters, getInteresting, getJavaSourceLocation, ifFormulaInsts, node2Proof, posInOccurrence2Proof, posInTerm2Proof, printAnything, printAnything, printProgramElement, printTerm, printTerm, save, writeLog, writeProfile, writeSettings
public ProofSaver(Proof proof, java.lang.String fileName, java.lang.String internalVersion)
public ProofSaver(Proof proof, java.io.File file)
public ProofSaver(Proof proof, java.io.File file, java.lang.String internalVersion)
protected void save(java.io.File file) throws java.io.IOException
file
.
The format in which the proof is stored depends on the class. Thr base
class creates a plain output file. Subclasses may choose to use other
formats.file
- the file to write tojava.io.IOException
- if I/O failspublic java.lang.String save() throws java.io.IOException
java.io.IOException
protected java.lang.String getBasePath() throws java.io.IOException
getBasePath
in class OutputStreamProofSaver
java.io.IOException
public static java.lang.String computeBasePath(java.io.File proofFile) throws java.io.IOException
File
.
This method is used by getBasePath()
and by the Eclipse integration.
proofFile
- The proof File
.File
.java.io.IOException
- Occurred Exception.public static void addProofSaverListener(ProofSaverListener l)
ProofSaverListener
.l
- The ProofSaverListener
to add.public static void removeProofSaverListener(ProofSaverListener l)
ProofSaverListener
.l
- The ProofSaverListener
to remove.protected static void fireProofSaved(ProofSaverEvent e)
ProofSaverListener.proofSaved(ProofSaverEvent)
.e
- The event.Copyright © 2003-2019 The KeY-Project.