org.ginsim.gui.graph

Interface GraphGUIListener<G extends Graph<V,E>,V,E extends Edge<V>>

Type Parameters:

G -

V -

E -

All Known Implementing Classes:

EditPanel, MainFrame, PerturbationSelectionPanel, ReductionConfigSelectionPanel, RegulatoryAnimator

public interface GraphGUIListener<G extends Graph<V,E>,V,E extends Edge<V>>

Interface for objects which listen for Graph GUI events.

Author:

Aurelien Naldi

Method Summary

Modifier and Type	Method and Description
void	graphChanged(G g, GraphChangeType type, Object data) The graph data was changed.
void	graphGUIClosed(GraphGUI<G,V,E> gui) The GUI was closed.
void	graphSelectionChanged(GraphGUI<G,V,E> gui) The selection has changed.

Method Detail

graphSelectionChanged

void graphSelectionChanged(GraphGUI<G,V,E> gui)

The selection has changed.

Parameters:

gui -

graphGUIClosed

void graphGUIClosed(GraphGUI<G,V,E> gui)

The GUI was closed.

Parameters:

gui -

graphChanged

void graphChanged(G g,
                  GraphChangeType type,
                  Object data)

The graph data was changed. This method is used to forward change events (see GraphListener) to the GUI. Listeners should react by refreshing the GUI when needed but should not change the graph.

Parameters:

g -

type -

data -