class MainWindow.MainProofListener extends java.lang.Object implements AutoModeListener, KeYSelectionListener, SettingsListener
Constructor and Description |
---|
MainProofListener() |
Modifier and Type | Method and Description |
---|---|
void |
autoModeStarted(ProofEvent e)
invoked if automatic execution has started
|
void |
autoModeStopped(ProofEvent e)
invoked if automatic execution has stopped
|
void |
selectedNodeChanged(KeYSelectionEvent e)
focused node has changed
|
void |
selectedProofChanged(KeYSelectionEvent e)
the selected proof has changed (e.g. a new proof has been loaded)
|
void |
settingsChanged(java.util.EventObject e)
invoked when the strategy of a proof has been changed
|
Proof proof
public void selectedNodeChanged(KeYSelectionEvent e)
selectedNodeChanged
in interface KeYSelectionListener
public void selectedProofChanged(KeYSelectionEvent e)
selectedProofChanged
in interface KeYSelectionListener
public void autoModeStarted(ProofEvent e)
autoModeStarted
in interface AutoModeListener
public void autoModeStopped(ProofEvent e)
autoModeStopped
in interface AutoModeListener
public void settingsChanged(java.util.EventObject e)
settingsChanged
in interface SettingsListener
e
- the Event sent to the listener