de.uka.ilkd.key.gui.notification

Class NotificationManager.NotificationListener

java.lang.Object

de.uka.ilkd.key.gui.notification.NotificationManager.NotificationListener

All Implemented Interfaces:

AutoModeListener

Enclosing class:

NotificationManager

private class NotificationManager.NotificationListener
extends Object
implements AutoModeListener

Constructor Summary

Constructors

Modifier	Constructor and Description
private	NotificationListener()

Method Summary

Modifier and Type	Method and Description
void	autoModeStarted(ProofEvent e) auto mode started
void	autoModeStopped(ProofEvent e) auto mode stopped

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NotificationListener

private NotificationListener()

Method Detail

autoModeStarted

public void autoModeStarted(ProofEvent e)

auto mode started

Specified by:

autoModeStarted in interface AutoModeListener

autoModeStopped

public void autoModeStopped(ProofEvent e)

auto mode stopped

Specified by:

autoModeStopped in interface AutoModeListener