public class RegulatoryAnimator extends AbstractListModel implements GraphGUIListener
animate
static method to run the animation on a dynamic or regulatory graph:
It performs some checks and run the GUI once everything looks OK.listenerList
Modifier and Type | Method and Description |
---|---|
protected void |
add2path(DynamicNode vertex) |
static void |
animate(JFrame frame,
DynamicGraph dynGraph) |
void |
colorizeGraph(int i)
colorize the regulatory graph according to the selected element.
|
protected void |
endAnim()
stop the animator, restore colors...
|
Object |
getElementAt(int index) |
List |
getPath() |
int |
getSize() |
int |
getStatus(DynamicEdge edge) |
int |
getStatus(DynamicNode node) |
void |
graphChanged(Graph g,
GraphChangeType type,
Object data)
The graph data was changed.
|
void |
graphGUIClosed(GraphGUI gui)
The GUI was closed.
|
void |
graphSelectionChanged(GraphGUI gui)
The selection has changed.
|
protected void |
playerEnded() |
void |
playPath(int start) |
protected void |
revertPath(int index)
rewind the path.
|
void |
saveGnuPlotPath()
export the selected path to be drawn with gnuplot
|
void |
updateGraphNotificationMessage(Graph graph) |
addListDataListener, fireContentsChanged, fireIntervalAdded, fireIntervalRemoved, getListDataListeners, getListeners, removeListDataListener
public static void animate(JFrame frame, DynamicGraph dynGraph)
frame
- graph
- protected void endAnim()
protected void add2path(DynamicNode vertex)
public int getStatus(DynamicNode node)
public int getStatus(DynamicEdge edge)
protected void revertPath(int index)
index
- index of the last node to remove.public Object getElementAt(int index)
getElementAt
in interface ListModel
public void playPath(int start)
start
- protected void playerEnded()
public void colorizeGraph(int i)
i
- index of the selected element in the path listpublic void saveGnuPlotPath()
public List getPath()
public void updateGraphNotificationMessage(Graph graph)
public void graphSelectionChanged(GraphGUI gui)
GraphGUIListener
graphSelectionChanged
in interface GraphGUIListener
public void graphGUIClosed(GraphGUI gui)
GraphGUIListener
graphGUIClosed
in interface GraphGUIListener
public void graphChanged(Graph g, GraphChangeType type, Object data)
GraphGUIListener
graphChanged
in interface GraphGUIListener
Copyright © 2005–2020. All rights reserved.