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