org.ginsim.gui

Class GUIManager

java.lang.Object

org.ginsim.gui.GUIManager

public class GUIManager
extends Object

Constructor Summary

Constructors

Constructor and Description
GUIManager()

Method Summary

Modifier and Type	Method and Description
void	about() Show an "about" dialog
void	addBlockClose(Graph graph, Object key) Block closing of the graph
void	addBlockEdit(Graph graph, Object key) block editing mode for the graph
boolean	canClose(Graph graph) Verify if it is allowed to close the graph can be closed
boolean	close(Graph graph) Unmemorize the relationship between a graph and its GraphGUI and Frame
void	closeEmptyGraphs() Close all the windows of graphs that are empty
void	closeStartupDialog()
void	exit()
Frame	getFrame(Graph graph) Give access to the Frame corresponding to the given Graph
GraphGUI	getGraphGUI(Graph graph) Give access to the GraphGUI corresponding to the given Graph
static GUIManager	getInstance() Give access to the manager singleton
boolean	isEditAllowed(Graph graph) Verify if edition is allowed on the graph
void	loadGINMLfile(String filename) Load a graph from a GINML file and open a new frame for it.
RegulatoryGraph	newFrame() Create a new graph (of the default type, i.e.
Frame	newFrame(Graph graph) Build a new frame for the given Graph by creating a suitable GraphGUI and memorize their relationship
Frame	newFrame(Graph graph, boolean can_be_saved) Build a new frame for the given Graph by creating a suitable GraphGUI and memorize their relationship
void	quit() try to close all frames
void	registerGUI(GraphGUI graph_gui, MainFrame frame)
void	removeBlockClose(Graph graph, Object key) Remove a block on closing
void	removeBlockEdit(Graph graph, Object key) Remove a block on Edition
void	startup(List<String> open)
void	whatToDoWithGraph(Graph<?,?> new_graph)
void	whatToDoWithGraph(Graph<?,?> new_graph, Graph<?,?> parent_graph) Manage the action to execute on the new graph (that was generated from the parent graph).

Methods inherited from class java.lang.Object

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

Constructor Detail

GUIManager

public GUIManager()

Method Detail

getInstance

public static GUIManager getInstance()

Give access to the manager singleton

Returns:

registerGUI

public void registerGUI(GraphGUI graph_gui,
                        MainFrame frame)

loadGINMLfile

public void loadGINMLfile(String filename)

Load a graph from a GINML file and open a new frame for it.

Parameters:

filename -

newFrame

public RegulatoryGraph newFrame()

Create a new graph (of the default type, i.e. a regulatory graph) and then a new frame for it.

Returns:

the new regulatory graph

newFrame

public Frame newFrame(Graph graph)

Build a new frame for the given Graph by creating a suitable GraphGUI and memorize their relationship

Parameters:

graph - the graph for which a Frame is desired

Returns:

a new frame for the given Graph

newFrame

public Frame newFrame(Graph graph,
                      boolean can_be_saved)

Build a new frame for the given Graph by creating a suitable GraphGUI and memorize their relationship

Parameters:

graph - the graph for which a Frame is desired

can_be_saved - a boolean indicating if the graph associated to the frame can be saved or not

Returns:

a new frame for the given Graph

getGraphGUI

public GraphGUI getGraphGUI(Graph graph)

Give access to the GraphGUI corresponding to the given Graph

Parameters:

graph - the graph for which the GraphGUI is desired

Returns:

the GraphGUI corresponding to the given Graph

getFrame

public Frame getFrame(Graph graph)

Give access to the Frame corresponding to the given Graph

Parameters:

graph - the graph for which the GraphGUI is desired

Returns:

the Frame corresponding to the given Graph

close

public boolean close(Graph graph)

Unmemorize the relationship between a graph and its GraphGUI and Frame

Parameters:

graph - the graph to close

quit

public void quit()

try to close all frames

closeEmptyGraphs

public void closeEmptyGraphs()

Close all the windows of graphs that are empty

addBlockEdit

public void addBlockEdit(Graph graph,
                         Object key)

block editing mode for the graph

Parameters:

key -

isEditAllowed

public boolean isEditAllowed(Graph graph)

Verify if edition is allowed on the graph

Returns:

true if edit isn't blocked

removeBlockEdit

public void removeBlockEdit(Graph graph,
                            Object key)

Remove a block on Edition

Parameters:

key -

addBlockClose

public void addBlockClose(Graph graph,
                          Object key)

Block closing of the graph

Parameters:

key -

canClose

public boolean canClose(Graph graph)

Verify if it is allowed to close the graph can be closed

Returns:

true if closing this graph is allowed

removeBlockClose

public void removeBlockClose(Graph graph,
                             Object key)

Remove a block on closing

Parameters:

key -

whatToDoWithGraph

public void whatToDoWithGraph(Graph<?,?> new_graph)

whatToDoWithGraph

public void whatToDoWithGraph(Graph<?,?> new_graph,
                              Graph<?,?> parent_graph)

Manage the action to execute on the new graph (that was generated from the parent graph). According to the size of teh graph, a WhatToDoWithGraph frame may be opened to ask user what he wants to do with the new graph.

Parameters:

new_graph - the graph to manage

parentGraph - the graph from which the new graph was generated

b - (unused)

startup

public void startup(List<String> open)

exit

public void exit()

closeStartupDialog

public void closeStartupDialog()

about

public void about()

Show an "about" dialog