Package | Description |
---|---|
org.ginsim.gui |
Definition of the GUIManager: provide access to all opened windows
|
org.ginsim.gui.graph |
Common GUI for all graphs, and definition of hooks for specialised parts.
|
org.ginsim.gui.graph.canvas |
Custom implementation of the interactive view
|
org.ginsim.gui.graph.regulatorygraph.perturbation |
GUI for the definition and selection of perturbations applied to a Regulatory Graph
|
org.ginsim.gui.graph.view.style |
GUI for the definition of styles associated to graph elements.
|
org.ginsim.gui.shell |
Define the main shell: graph windows and common dialogs
|
org.ginsim.gui.shell.callbacks |
Define the Actions behind the menu entries
|
org.ginsim.gui.shell.editpanel |
Define edit panels: panels which follow graph selection events.
|
org.ginsim.servicegui.tool.modelreduction | |
org.ginsim.servicegui.tool.regulatorygraphanimation |
animate the regulatory graph (by simply changing nodes and edge's colors)
according to a path/state in the state transition graph.
|
Modifier and Type | Method and Description |
---|---|
GraphGUI |
GUIManager.getGraphGUI(Graph graph)
Give access to the GraphGUI corresponding to the given Graph
|
Modifier and Type | Method and Description |
---|---|
void |
GUIManager.registerGUI(GraphGUI graph_gui,
MainFrame frame) |
Modifier and Type | Class and Description |
---|---|
class |
BaseGraphGUI<G extends Graph<V,E>,V,E extends Edge<V>>
Abstract class providing generic parts of a Graph GUI.
|
Modifier and Type | Method and Description |
---|---|
void |
GraphGUIListener.graphGUIClosed(GraphGUI<G,V,E> gui)
The GUI was closed.
|
void |
GraphGUIListener.graphSelectionChanged(GraphGUI<G,V,E> gui)
The selection has changed.
|
Constructor and Description |
---|
EditActionManager(GraphGUI gui,
List<EditAction> actions)
Create an action manager with a list of specific edit actions
|
GraphSelection(GraphGUI gui) |
Modifier and Type | Class and Description |
---|---|
class |
CanvasGraphGUIImpl<G extends Graph<V,E>,V,E extends Edge<V>> |
Modifier and Type | Method and Description |
---|---|
void |
PerturbationSelectionPanel.graphGUIClosed(GraphGUI<RegulatoryGraph,RegulatoryNode,RegulatoryMultiEdge> gui) |
void |
PerturbationSelectionPanel.graphSelectionChanged(GraphGUI<RegulatoryGraph,RegulatoryNode,RegulatoryMultiEdge> gui) |
Constructor and Description |
---|
StyleEditionPanel(GraphGUI gui,
StyleManager styleManager) |
StyleTab(GraphGUI gui) |
Modifier and Type | Method and Description |
---|---|
void |
MainFrameActionManager.buildActions(GraphGUI<?,?,?> gui,
JMenuBar menubar,
JToolBar toolbar) |
void |
FrameActionManager.buildActions(GraphGUI<?,?,?> graph,
JMenuBar menubar,
JToolBar toolbar) |
void |
MainFrame.graphGUIClosed(GraphGUI gui) |
void |
MainFrame.graphSelectionChanged(GraphGUI gui) |
Constructor and Description |
---|
MainFrame(GraphGUI graph_gui) |
SearchFrame(GraphGUI<?,?,?> gui) |
Modifier and Type | Method and Description |
---|---|
static void |
EditCallBack.addEditEntries(JMenu menu,
GraphGUI<?,?,?> gui)
Create and populate an Edit menu
|
Modifier and Type | Field and Description |
---|---|
protected GraphGUI<?,?,?> |
AbstractParameterPanel.gui |
Modifier and Type | Method and Description |
---|---|
void |
EditPanel.graphGUIClosed(GraphGUI gui) |
void |
EditPanel.graphSelectionChanged(GraphGUI gui) |
Constructor and Description |
---|
AbstractParameterPanel(GraphGUI<?,?,?> gui) |
EditPanel(GraphGUI<?,?,?> gui) |
MainEditTab(GraphGUI gui) |
Modifier and Type | Method and Description |
---|---|
void |
ReductionConfigSelectionPanel.graphGUIClosed(GraphGUI<RegulatoryGraph,RegulatoryNode,RegulatoryMultiEdge> gui) |
void |
ReductionConfigSelectionPanel.graphSelectionChanged(GraphGUI<RegulatoryGraph,RegulatoryNode,RegulatoryMultiEdge> gui) |
Modifier and Type | Method and Description |
---|---|
void |
RegulatoryAnimator.graphGUIClosed(GraphGUI gui) |
void |
RegulatoryAnimator.graphSelectionChanged(GraphGUI gui) |
Copyright © 2005–2020. All rights reserved.