public class ProofSaver extends OutputStreamProofSaver
Modifier and Type | Field and Description |
---|---|
private java.io.File |
file |
private static java.util.List<ProofSaverListener> |
listeners
Contains all listener.
|
internalVersion, printer, 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 . |
private java.lang.String |
filename() |
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
private final java.io.File file
private static final java.util.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.
.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.private java.lang.String filename()