org.ginsim.gui.graph.canvas

Class CanvasGraphGUIImpl<G extends Graph<V,E>,V,E extends Edge<V>>

java.lang.Object

org.ginsim.gui.graph.BaseGraphGUI<G,V,E>

org.ginsim.gui.graph.canvas.CanvasGraphGUIImpl<G,V,E>

All Implemented Interfaces:

SavingGUI, GraphListener<G>, GraphViewListener, GraphGUI<G,V,E>

public class CanvasGraphGUIImpl<G extends Graph<V,E>,V,E extends Edge<V>>
extends BaseGraphGUI<G,V,E>

Field Summary

Fields inherited from class org.ginsim.gui.graph.BaseGraphGUI

graph, selection

Constructor Summary

Constructors

Constructor and Description
CanvasGraphGUIImpl(G g, GraphGUIHelper<G,V,E> helper, boolean can_be_saved)

Method Summary

Modifier and Type	Method and Description
Component	getGraphComponent()
JMenu	getViewMenu(JMenu layout) Fill the view menu with actions available on this graph GUI
double	getZoomLevel()
void	refresh(Object o) A single item was changed.
void	repaint() Force a repaint (should be used only by layout actions)
void	selectionChanged() Update selection to reflect the internal selection object
protected void	setZoomLevel(ZoomEffect effect)

Methods inherited from class org.ginsim.gui.graph.BaseGraphGUI

addGraphGUIListener, canBeSaved, canCopyPaste, fireGraphClose, fireSelectionChange, getEdgeEditionPanel, getEditActionManager, getEditingTabLabel, getGraph, getInfoPanel, getMainEditionPanel, getNodeEditionPanel, getSelection, getZoomAction, graphChanged, isEditAllowed, isSaved, removeGraphGUIListener, save, saveAs, setSaved, updateSelection

Methods inherited from class java.lang.Object

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

Constructor Detail

CanvasGraphGUIImpl

public CanvasGraphGUIImpl(G g,
                          GraphGUIHelper<G,V,E> helper,
                          boolean can_be_saved)

Method Detail

getGraphComponent

public Component getGraphComponent()

Returns:

the widget showing the graph

selectionChanged

public void selectionChanged()

Description copied from interface: GraphGUI

Update selection to reflect the internal selection object

repaint

public void repaint()

Description copied from interface: GraphGUI

Force a repaint (should be used only by layout actions)

refresh

public void refresh(Object o)

Description copied from interface: GraphViewListener

A single item was changed.

setZoomLevel

protected void setZoomLevel(ZoomEffect effect)

Specified by:

setZoomLevel in class BaseGraphGUI<G extends Graph<V,E>,V,E extends Edge<V>>

getZoomLevel

public double getZoomLevel()

getViewMenu

public JMenu getViewMenu(JMenu layout)

Description copied from interface: GraphGUI

Fill the view menu with actions available on this graph GUI

Specified by:

getViewMenu in interface GraphGUI<G extends Graph<V,E>,V,E extends Edge<V>>

Overrides:

getViewMenu in class BaseGraphGUI<G extends Graph<V,E>,V,E extends Edge<V>>