de.uka.ilkd.key.gui.prooftree

Class ExpansionState.Listener

java.lang.Object

de.uka.ilkd.key.gui.prooftree.ExpansionState.Listener

All Implemented Interfaces:

PropertyChangeListener, EventListener, TreeExpansionListener, TreeModelListener

Enclosing class:

ExpansionState

private class ExpansionState.Listener
extends Object
implements TreeExpansionListener, TreeModelListener, PropertyChangeListener

Constructor Summary

Constructors

Modifier	Constructor and Description
private	Listener()

Method Summary

Modifier and Type	Method and Description
void	propertyChange(PropertyChangeEvent e)
private void	removeDescendants(TreePath path)
void	treeCollapsed(TreeExpansionEvent e)
void	treeExpanded(TreeExpansionEvent e)
void	treeNodesChanged(TreeModelEvent e)
void	treeNodesInserted(TreeModelEvent e)
void	treeNodesRemoved(TreeModelEvent e)
void	treeStructureChanged(TreeModelEvent e)

Methods inherited from class java.lang.Object

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

Constructor Detail

Listener

private Listener()

Method Detail

propertyChange

public void propertyChange(PropertyChangeEvent e)

Specified by:

propertyChange in interface PropertyChangeListener

treeExpanded

public void treeExpanded(TreeExpansionEvent e)

Specified by:

treeExpanded in interface TreeExpansionListener

treeCollapsed

public void treeCollapsed(TreeExpansionEvent e)

Specified by:

treeCollapsed in interface TreeExpansionListener

treeNodesChanged

public void treeNodesChanged(TreeModelEvent e)

Specified by:

treeNodesChanged in interface TreeModelListener

treeNodesInserted

public void treeNodesInserted(TreeModelEvent e)

Specified by:

treeNodesInserted in interface TreeModelListener

treeNodesRemoved

public void treeNodesRemoved(TreeModelEvent e)

Specified by:

treeNodesRemoved in interface TreeModelListener

treeStructureChanged

public void treeStructureChanged(TreeModelEvent e)

Specified by:

treeStructureChanged in interface TreeModelListener

removeDescendants

private void removeDescendants(TreePath path)