private class NotificationManager.NotificationListener extends Object implements AutoModeListener
Modifier | Constructor and Description |
---|---|
private |
NotificationManager.NotificationListener() |
Modifier and Type | Method and Description |
---|---|
void |
autoModeStarted(ProofEvent e)
auto mode started
|
void |
autoModeStopped(ProofEvent e)
auto mode stopped
|
private NotificationManager.NotificationListener()
public void autoModeStarted(ProofEvent e)
autoModeStarted
in interface AutoModeListener
public void autoModeStopped(ProofEvent e)
autoModeStopped
in interface AutoModeListener