de.uka.ilkd.key.gui

Class GoalList.GoalListSelectionListener

java.lang.Object

de.uka.ilkd.key.gui.GoalList.GoalListSelectionListener

All Implemented Interfaces:

KeYSelectionListener

Enclosing class:

GoalList

private class GoalList.GoalListSelectionListener
extends java.lang.Object
implements KeYSelectionListener

Constructor Summary

Constructors

Modifier	Constructor and Description
private	GoalListSelectionListener()

Method Summary

Modifier and Type	Method and Description
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)

Methods inherited from class java.lang.Object

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

Constructor Detail

GoalListSelectionListener

private GoalListSelectionListener()

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