de.uka.ilkd.key.proof.io

Class GZipProofSaver

java.lang.Object

de.uka.ilkd.key.proof.io.OutputStreamProofSaver

de.uka.ilkd.key.proof.io.ProofSaver

de.uka.ilkd.key.proof.io.GZipProofSaver

public class GZipProofSaver
extends ProofSaver

This proof saver derivative wraps its generated output stream into a GZIPOutputStream thus compressing proof files.

Author:

tbormer on 12.02.16.

Field Summary

Fields inherited from class de.uka.ilkd.key.proof.io.OutputStreamProofSaver

internalVersion, printer, proof

Constructor Summary

Constructors

Constructor and Description
GZipProofSaver(Proof proof, java.lang.String fileName, java.lang.String internalVersion) Instantiates a new proof saver.

Method Summary

Modifier and Type	Method and Description
protected void	save(java.io.File file) Save the proof to file referenced by file.

Methods inherited from class de.uka.ilkd.key.proof.io.ProofSaver

addProofSaverListener, computeBasePath, fireProofSaved, getBasePath, removeProofSaverListener, save

Methods inherited from class de.uka.ilkd.key.proof.io.OutputStreamProofSaver

builtinRuleIfInsts, escapeCharacters, getInteresting, getJavaSourceLocation, ifFormulaInsts, node2Proof, posInOccurrence2Proof, posInTerm2Proof, printAnything, printAnything, printProgramElement, printTerm, printTerm, save, writeLog, writeProfile, writeSettings

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GZipProofSaver

public GZipProofSaver(Proof proof,
                      java.lang.String fileName,
                      java.lang.String internalVersion)

Instantiates a new proof saver.

Parameters:

proof - the non-null proof to save

fileName - the name of the file to write to

internalVersion - the internal version

Method Detail

save

protected void save(java.io.File file)
             throws java.io.IOException

Save the proof to file referenced by 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.

Overrides:

save in class ProofSaver

Parameters:

file - the file to write to

Throws:

java.io.IOException - if I/O fails