Package | Description |
---|---|
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.canvas.events | |
org.ginsim.gui.graph.view.style |
GUI for the definition of styles associated to graph elements.
|
org.ginsim.gui.shell.editpanel |
Define edit panels: panels which follow graph selection events.
|
org.ginsim.service.tool.reg2dyn.limitedsimulation |
Modifier and Type | Field and Description |
---|---|
protected GraphSelection<V,E> |
BaseGraphGUI.selection |
Modifier and Type | Method and Description |
---|---|
GraphSelection<V,E> |
GraphGUI.getSelection()
Get an object to interact with the selection
|
GraphSelection<V,E> |
BaseGraphGUI.getSelection() |
Constructor and Description |
---|
GraphCanvasRenderer(Graph<?,?> graph,
SimpleCanvas canvas,
GraphSelection selection,
EditActionManager amanager) |
Constructor and Description |
---|
GraphSelectionCanvasEventManager(Graph<?,?> graph,
GraphCanvasRenderer renderer,
GraphSelection selection) |
Modifier and Type | Method and Description |
---|---|
boolean |
StyleTab.isActive(GraphSelection<?,?> selection) |
Modifier and Type | Method and Description |
---|---|
boolean |
EditTab.isActive(GraphSelection<?,?> selection) |
boolean |
MainEditTab.isActive(GraphSelection<?,?> selection) |
Modifier and Type | Method and Description |
---|---|
boolean |
StatesToHierarchicalEditTab.isActive(GraphSelection<?,?> selection) |
Copyright © 2005–2020. All rights reserved.