org.ginsim.gui.graph.trapspacetree

Class TrapSpaceTreeGUIHelper

java.lang.Object

org.ginsim.gui.graph.trapspacetree.TrapSpaceTreeGUIHelper

All Implemented Interfaces:

GraphGUIHelper<TrapSpaceInclusionDiagram,TrapSpaceNode,TrapSpaceInclusion>

@MetaInfServices(value=GraphGUIHelper.class)
public class TrapSpaceTreeGUIHelper
extends Object
implements GraphGUIHelper<TrapSpaceInclusionDiagram,TrapSpaceNode,TrapSpaceInclusion>

Constructor Summary

Constructors

Constructor and Description
TrapSpaceTreeGUIHelper()

Method Summary

Modifier and Type	Method and Description
boolean	canCopyPaste(TrapSpaceInclusionDiagram graph) Does this graph type support copy/paste actions?
GUIEditor<TrapSpaceInclusion>	getEdgeEditionPanel(TrapSpaceInclusionDiagram tree) Create an edition panel for edges.
List<EditAction>	getEditActions(TrapSpaceInclusionDiagram graph)
String	getEditingTabLabel(TrapSpaceInclusionDiagram graph) Retrieve the Title used for the selection edition tab
FileFilter	getFileFilter() Provide the file filter to apply to a file chooser
Class<TrapSpaceInclusionDiagram>	getGraphClass() Get the graph class the helper helps to manage
JPanel	getInfoPanel(TrapSpaceInclusionDiagram graph) Create an Information Panel
GUIEditor<TrapSpaceInclusionDiagram>	getMainEditionPanel(TrapSpaceInclusionDiagram tree) Create an edition panel for the graph itself.
GUIEditor<TrapSpaceNode>	getNodeEditionPanel(TrapSpaceInclusionDiagram tree) Create an edition panel for nodes.
JPanel	getSaveOptionPanel(TrapSpaceInclusionDiagram graph) Create a panel containing the option for graph saving

Methods inherited from class java.lang.Object

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

Constructor Detail

TrapSpaceTreeGUIHelper

public TrapSpaceTreeGUIHelper()

Method Detail

getEditingTabLabel

public String getEditingTabLabel(TrapSpaceInclusionDiagram graph)

Description copied from interface: GraphGUIHelper

Retrieve the Title used for the selection edition tab

Specified by:

getEditingTabLabel in interface GraphGUIHelper<TrapSpaceInclusionDiagram,TrapSpaceNode,TrapSpaceInclusion>

Parameters:

graph - the graph requiring the panel

Returns:

getGraphClass

public Class<TrapSpaceInclusionDiagram> getGraphClass()

Description copied from interface: GraphGUIHelper

Get the graph class the helper helps to manage

Specified by:

getGraphClass in interface GraphGUIHelper<TrapSpaceInclusionDiagram,TrapSpaceNode,TrapSpaceInclusion>

Returns:

the graph class the helper helps to manage

canCopyPaste

public boolean canCopyPaste(TrapSpaceInclusionDiagram graph)

Description copied from interface: GraphGUIHelper

Does this graph type support copy/paste actions?

Specified by:

canCopyPaste in interface GraphGUIHelper<TrapSpaceInclusionDiagram,TrapSpaceNode,TrapSpaceInclusion>

Returns:

true if copy/paste is supported, false otherwise.

getMainEditionPanel

public GUIEditor<TrapSpaceInclusionDiagram> getMainEditionPanel(TrapSpaceInclusionDiagram tree)

Description copied from interface: GraphGUIHelper

Create an edition panel for the graph itself.

Specified by:

getMainEditionPanel in interface GraphGUIHelper<TrapSpaceInclusionDiagram,TrapSpaceNode,TrapSpaceInclusion>

Parameters:

tree - the graph requiring the panel

Returns:

getNodeEditionPanel

public GUIEditor<TrapSpaceNode> getNodeEditionPanel(TrapSpaceInclusionDiagram tree)

Description copied from interface: GraphGUIHelper

Create an edition panel for nodes.

Specified by:

getNodeEditionPanel in interface GraphGUIHelper<TrapSpaceInclusionDiagram,TrapSpaceNode,TrapSpaceInclusion>

Parameters:

tree - the graph requiring the panel

Returns:

getEdgeEditionPanel

public GUIEditor<TrapSpaceInclusion> getEdgeEditionPanel(TrapSpaceInclusionDiagram tree)

Description copied from interface: GraphGUIHelper

Create an edition panel for edges.

Specified by:

getEdgeEditionPanel in interface GraphGUIHelper<TrapSpaceInclusionDiagram,TrapSpaceNode,TrapSpaceInclusion>

Parameters:

tree - the graph requiring the panel

Returns:

getInfoPanel

public JPanel getInfoPanel(TrapSpaceInclusionDiagram graph)

Description copied from interface: GraphGUIHelper

Create an Information Panel

Specified by:

getInfoPanel in interface GraphGUIHelper<TrapSpaceInclusionDiagram,TrapSpaceNode,TrapSpaceInclusion>

Parameters:

graph - the graph requiring the panel

Returns:

an Information Panel

getEditActions

public List<EditAction> getEditActions(TrapSpaceInclusionDiagram graph)

Specified by:

getEditActions in interface GraphGUIHelper<TrapSpaceInclusionDiagram,TrapSpaceNode,TrapSpaceInclusion>

Parameters:

graph - the edited graph

Returns:

the list of actions or null if none are available

getFileFilter

public FileFilter getFileFilter()

Description copied from interface: GraphGUIHelper

Provide the file filter to apply to a file chooser

Specified by:

getFileFilter in interface GraphGUIHelper<TrapSpaceInclusionDiagram,TrapSpaceNode,TrapSpaceInclusion>

Returns:

the file filter to apply to a file chooser

getSaveOptionPanel

public JPanel getSaveOptionPanel(TrapSpaceInclusionDiagram graph)

Description copied from interface: GraphGUIHelper

Create a panel containing the option for graph saving

Specified by:

getSaveOptionPanel in interface GraphGUIHelper<TrapSpaceInclusionDiagram,TrapSpaceNode,TrapSpaceInclusion>

Parameters:

graph - the edited graph