de.uka.ilkd.key.gui

Class MainWindow.MainProofListener

java.lang.Object

de.uka.ilkd.key.gui.MainWindow.MainProofListener

All Implemented Interfaces:

AutoModeListener, KeYSelectionListener, SettingsListener

Enclosing class:

MainWindow

class MainWindow.MainProofListener
extends java.lang.Object
implements AutoModeListener, KeYSelectionListener, SettingsListener

Field Summary

Fields

Modifier and Type	Field and Description
(package private) Proof	proof

Constructor Summary

Constructors

Constructor and Description
MainProofListener()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

proof

Proof proof

Constructor Detail

MainProofListener

MainProofListener()

Method Detail

selectedNodeChanged

public void selectedNodeChanged(KeYSelectionEvent e)

focused node has changed

Specified by:

selectedNodeChanged in interface KeYSelectionListener

selectedProofChanged

public void selectedProofChanged(KeYSelectionEvent e)

the selected proof has changed (e.g. a new proof has been loaded)

Specified by:

selectedProofChanged in interface KeYSelectionListener

autoModeStarted

public void autoModeStarted(ProofEvent e)

invoked if automatic execution has started

Specified by:

autoModeStarted in interface AutoModeListener

autoModeStopped

public void autoModeStopped(ProofEvent e)

invoked if automatic execution has stopped

Specified by:

autoModeStopped in interface AutoModeListener

settingsChanged

public void settingsChanged(java.util.EventObject e)

invoked when the strategy of a proof has been changed

Specified by:

settingsChanged in interface SettingsListener

Parameters:

e - the Event sent to the listener