de.uka.ilkd.key.proof.mgt

Interface ProofEnvironmentListener

All Superinterfaces:

EventListener

All Known Implementing Classes:

AbstractMediatorUserInterfaceControl, ConsoleUserInterfaceControl, WindowUserInterfaceControl

public interface ProofEnvironmentListener
extends EventListener

Method Summary

Modifier and Type	Method and Description
void	proofRegistered(ProofEnvironmentEvent event)
void	proofUnregistered(ProofEnvironmentEvent event)

Method Detail

proofRegistered

void proofRegistered(ProofEnvironmentEvent event)

proofUnregistered

void proofUnregistered(ProofEnvironmentEvent event)