de.uka.ilkd.key.proof.io.event

Interface ProofSaverListener

All Superinterfaces:

EventListener

public interface ProofSaverListener
extends EventListener

Listens for changes on ProofSaver instances.

Author:

Martin Hentschel

Method Summary

Modifier and Type	Method and Description
void	proofSaved(ProofSaverEvent e) This method is called when a file was saved via ProofSaver.save().

Method Detail

proofSaved

void proofSaved(ProofSaverEvent e)

This method is called when a file was saved via ProofSaver.save().

Parameters:

e - The ProofSaverEvent.