de.uka.ilkd.key.proof.io

Class ProofSaver

java.lang.Object

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

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

public class ProofSaver
extends OutputStreamProofSaver

Saves a proof and provides useful methods for pretty printing terms or programs.

Field Summary

Fields

Modifier and Type	Field and Description
private File	file
private static List<ProofSaverListener>	listeners Contains all listener.
(package private) LogicPrinter	printer

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

internalVersion, proof

Constructor Summary

Constructors

Constructor and Description
ProofSaver(Proof proof, File file)
ProofSaver(Proof proof, File file, String internalVersion)
ProofSaver(Proof proof, String fileName, String internalVersion)

Method Summary

Modifier and Type	Method and Description
static void	addProofSaverListener(ProofSaverListener l) Adds the ProofSaverListener.
static String	computeBasePath(File proofFile) Computes the base path of the given proof File.
private String	filename()
protected static void	fireProofSaved(ProofSaverEvent e) Informs all listener about the event ProofSaverListener.proofSaved(ProofSaverEvent).
protected String	getBasePath()
static void	removeProofSaverListener(ProofSaverListener l) Removes the ProofSaverListener.
String	save()

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

builtinRuleIfInsts, escapeCharacters, getInteresting, 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

Field Detail

file

private final File file

printer

LogicPrinter printer

listeners

private static final List<ProofSaverListener> listeners

Contains all listener.

They are used for instance by the Eclipse integration to refresh the workspace when a proof file was saved.

.

Constructor Detail

ProofSaver

public ProofSaver(Proof proof,
                  String fileName,
                  String internalVersion)

ProofSaver

public ProofSaver(Proof proof,
                  File file)

ProofSaver

public ProofSaver(Proof proof,
                  File file,
                  String internalVersion)

Method Detail

save

public String save()
            throws IOException

Throws:

IOException

getBasePath

protected String getBasePath()
                      throws IOException

Overrides:

getBasePath in class OutputStreamProofSaver

Throws:

IOException

computeBasePath

public static String computeBasePath(File proofFile)
                              throws IOException

Computes the base path of the given proof File.

This method is used by getBasePath() and by the Eclipse integration.

Parameters:

proofFile - The proof File.

Returns:

The computed base path of the given proof File.

Throws:

IOException - Occurred Exception.

addProofSaverListener

public static void addProofSaverListener(ProofSaverListener l)

Adds the ProofSaverListener.

Parameters:

l - The ProofSaverListener to add.

removeProofSaverListener

public static void removeProofSaverListener(ProofSaverListener l)

Removes the ProofSaverListener.

Parameters:

l - The ProofSaverListener to remove.

fireProofSaved

protected static void fireProofSaved(ProofSaverEvent e)

Informs all listener about the event ProofSaverListener.proofSaved(ProofSaverEvent).

Parameters:

e - The event.

filename

private String filename()