public class GZipProofSaver extends ProofSaver
GZIPOutputStream
thus compressing proof files.internalVersion, printer, proof
Constructor and Description |
---|
GZipProofSaver(Proof proof,
java.lang.String fileName,
java.lang.String internalVersion)
Instantiates a new proof saver.
|
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 GZipProofSaver(Proof proof, java.lang.String fileName, java.lang.String internalVersion)
proof
- the non-null
proof to savefileName
- the name of the file to write tointernalVersion
- the internal versionprotected 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.
This subclass wraps the file stream into a GZIPOutputStream
.
save
in class ProofSaver
file
- the file to write tojava.io.IOException
- if I/O fails