de.uka.ilkd.key.proof.event

Interface ProofDisposedListener

All Known Implementing Classes:

AbstractMediatorUserInterfaceControl, ConsoleUserInterfaceControl, WindowUserInterfaceControl

public interface ProofDisposedListener

Observes a Proof.

Author:

Martin Hentschel

Method Summary

Modifier and Type	Method and Description
void	proofDisposed(ProofDisposedEvent e) When a Proof was disposed via Proof.dispose().
void	proofDisposing(ProofDisposedEvent e) When a Proof is going to be disposed.

Method Detail

proofDisposing

void proofDisposing(ProofDisposedEvent e)

When a Proof is going to be disposed.

Parameters:

e - The event.

proofDisposed

void proofDisposed(ProofDisposedEvent e)

When a Proof was disposed via Proof.dispose().

Parameters:

e - The event.