public class ProofSaver extends OutputStreamProofSaver
Modifier and Type | Field and Description |
---|---|
private File |
file |
private static List<ProofSaverListener> |
listeners
Contains all listener.
|
(package private) LogicPrinter |
printer |
internalVersion, proof
Constructor and Description |
---|
ProofSaver(Proof proof,
File file) |
ProofSaver(Proof proof,
File file,
String internalVersion) |
ProofSaver(Proof proof,
String fileName,
String internalVersion) |
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() |
builtinRuleIfInsts, escapeCharacters, getInteresting, ifFormulaInsts, node2Proof, posInOccurrence2Proof, posInTerm2Proof, printAnything, printAnything, printProgramElement, printTerm, printTerm, save, writeLog, writeProfile, writeSettings
private final File file
LogicPrinter printer
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.
.public String save() throws IOException
IOException
protected String getBasePath() throws IOException
getBasePath
in class OutputStreamProofSaver
IOException
public static String computeBasePath(File proofFile) throws IOException
File
.
This method is used by getBasePath()
and by the Eclipse integration.
proofFile
- The proof File
.File
.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 String filename()