public class ProofBundleSaver extends ProofSaver
internalVersion, proof
Constructor and Description |
---|
ProofBundleSaver(Proof proof,
java.io.File saveFile)
Creates a new ProofBundleSaver.
|
Modifier and Type | Method and Description |
---|---|
protected void |
save(java.io.File file)
Save the proof to file referenced by
file . |
addProofSaverListener, computeBasePath, fireProofSaved, getBasePath, removeProofSaverListener, save
builtinRuleIfInsts, escapeCharacters, getInteresting, getJavaSourceLocation, ifFormulaInsts, node2Proof, posInOccurrence2Proof, posInTerm2Proof, printAnything, printAnything, printProgramElement, printTerm, printTerm, save, writeLog, writeProfile, writeSettings
public ProofBundleSaver(Proof proof, java.io.File saveFile)
proof
- the proof to savesaveFile
- the target filenameprotected void save(java.io.File file) throws java.io.IOException
ProofSaver
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.save
in class ProofSaver
file
- the file to write tojava.io.IOException
- if I/O failsCopyright © 2003-2019 The KeY-Project.