Package | Description |
---|---|
de.uka.ilkd.key.proof.io |
Classes related to loading and saving proof files.
|
de.uka.ilkd.key.proof.io.event |
Modifier and Type | Method and Description |
---|---|
protected static void |
ProofSaver.fireProofSaved(ProofSaverEvent e)
Informs all listener about the event
ProofSaverListener.proofSaved(ProofSaverEvent) . |
Modifier and Type | Method and Description |
---|---|
void |
ProofSaverListener.proofSaved(ProofSaverEvent e)
This method is called when a file was saved via
ProofSaver.save() . |
Copyright © 2003-2019 The KeY-Project.