de.uka.ilkd.key.gui

Class GoalList.GoalListSelectionListern

java.lang.Object

de.uka.ilkd.key.gui.GoalList.GoalListSelectionListern

All Implemented Interfaces:

EventListener, ListSelectionListener

Enclosing class:

GoalList

public class GoalList.GoalListSelectionListern
extends Object
implements ListSelectionListener

choose goal as soon as selected

Constructor Summary

Constructors

Constructor and Description
GoalListSelectionListern()

Method Summary

Modifier and Type	Method and Description
void	valueChanged(ListSelectionEvent e)

Methods inherited from class java.lang.Object

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

Constructor Detail

GoalListSelectionListern

public GoalListSelectionListern()

Method Detail

valueChanged

public void valueChanged(ListSelectionEvent e)

Specified by:

valueChanged in interface ListSelectionListener