de.uka.ilkd.key.gui

Class GoalList.GoalListGUIListener

java.lang.Object

de.uka.ilkd.key.gui.GoalList.GoalListGUIListener

All Implemented Interfaces:

GUIListener, java.io.Serializable, java.util.EventListener

Enclosing class:

GoalList

private class GoalList.GoalListGUIListener
extends java.lang.Object
implements GUIListener, java.io.Serializable

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID

Constructor Summary

Constructors

Modifier	Constructor and Description
private	GoalListGUIListener()

Method Summary

Modifier and Type	Method and Description
void	modalDialogClosed(java.util.EventObject e) invoked if a frame that wants modal access is closed
void	modalDialogOpened(java.util.EventObject e) invoked if a frame that wants modal access is opened
void	shutDown(java.util.EventObject e) invoked if the user wants to abort the proving session

Methods inherited from class java.lang.Object

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

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

GoalListGUIListener

private GoalListGUIListener()

Method Detail

modalDialogOpened

public void modalDialogOpened(java.util.EventObject e)

invoked if a frame that wants modal access is opened

Specified by:

modalDialogOpened in interface GUIListener

modalDialogClosed

public void modalDialogClosed(java.util.EventObject e)

invoked if a frame that wants modal access is closed

Specified by:

modalDialogClosed in interface GUIListener

shutDown

public void shutDown(java.util.EventObject e)

Description copied from interface: GUIListener

invoked if the user wants to abort the proving session

Specified by:

shutDown in interface GUIListener