de.uka.ilkd.key.gui

Class GoalList.SelectingGoalListModel.DelegateListener

java.lang.Object

de.uka.ilkd.key.gui.GoalList.SelectingGoalListModel.DelegateListener

All Implemented Interfaces:

EventListener, ListDataListener

Enclosing class:

GoalList.SelectingGoalListModel

private class GoalList.SelectingGoalListModel.DelegateListener
extends Object
implements ListDataListener

Constructor Summary

Constructors

Modifier	Constructor and Description
private	DelegateListener()

Method Summary

Modifier and Type	Method and Description
void	contentsChanged(ListDataEvent e)
private int	delegateBegin(ListDataEvent e)
private int	delegateEnd(ListDataEvent e)
void	intervalAdded(ListDataEvent e)
void	intervalRemoved(ListDataEvent e)

Methods inherited from class java.lang.Object

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

Constructor Detail

DelegateListener

private DelegateListener()

Method Detail

delegateBegin

private int delegateBegin(ListDataEvent e)

delegateEnd

private int delegateEnd(ListDataEvent e)

contentsChanged

public void contentsChanged(ListDataEvent e)

Specified by:

contentsChanged in interface ListDataListener

intervalAdded

public void intervalAdded(ListDataEvent e)

Specified by:

intervalAdded in interface ListDataListener

intervalRemoved

public void intervalRemoved(ListDataEvent e)

Specified by:

intervalRemoved in interface ListDataListener