|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--edu.wpi.cs.dsrg.xmldb.xat.component.gui.utils.GraphManager
Constructor Summary | |
GraphManager(GUI gui)
Constructor initializes the ArrayList that holds the open JGraph s and
associates the given gui with this GraphManager |
Method Summary | |
void |
addGraph(diva.graph.JGraph graph)
Add the given graph to the ArrayList of open graphs. |
void |
drawModel(diva.graph.GraphModel model,
XATQueryObject queryObject)
Draws the given model as a new JGraph and places the graph
in the graph tabbed pane. |
diva.graph.JGraph |
getGraph(int index)
Returns the JGraph located at the given index . |
java.util.Iterator |
getGraphs()
Returns an Iterator of all the open graphs. |
JTabbedPaneCAPE |
getGraphTabbedPane()
Returns the tabbed pane that holds the open graphs. |
JTabbedPaneCAPE |
getStatsTabbedPane()
Returns the tabbed pane that holds the statistic tables. |
protected java.awt.Component |
initializeTabbedPaneRaindrop()
Creates an empty JTabbedPaneCAPE . |
void |
redrawGraph(int index)
Redraws the graph at the given index . |
void |
redrawGraph(diva.graph.JGraph graph)
Redraws the given graph using the LevelLayout in the diva package. |
void |
removeGraph(int index)
Removes the graph at the given index . |
void |
removeGraph(diva.graph.JGraph graph)
Removes the given graph from the ArrayList of open graphs. |
void |
setGraphTabbedPane(JTabbedPaneCAPE graphTabbedPane)
Sets the graph tabbed pane to the given graphTabbedPane . |
void |
setStatsTabbedPane(JTabbedPaneCAPE statsTabbedPane)
Sets the statistics tabbed pane to the given statsTabbedPane . |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public GraphManager(GUI gui)
ArrayList
that holds the open JGraph
s and
associates the given gui
with this GraphManager
gui
- the GUI
to associate with this GraphManager
Method Detail |
public void addGraph(diva.graph.JGraph graph)
graph
to the ArrayList
of open graphs.
public void drawModel(diva.graph.GraphModel model, XATQueryObject queryObject)
model
as a new JGraph
and places the graph
in the graph tabbed pane. The given queryObject
is associated with the
tab of this tree.
model
- the graph model of the treequeryObject
- the query object to associate with the tab of this treepublic diva.graph.JGraph getGraph(int index)
JGraph
located at the given index
.
index
public java.util.Iterator getGraphs()
Iterator
of all the open graphs.
Iterator
of all the open graphspublic JTabbedPaneCAPE getGraphTabbedPane()
public JTabbedPaneCAPE getStatsTabbedPane()
protected java.awt.Component initializeTabbedPaneRaindrop()
JTabbedPaneCAPE
.
public void redrawGraph(diva.graph.JGraph graph)
graph
using the LevelLayout
in the diva package.
graph
- the graph to be redrawnpublic void redrawGraph(int index)
index
.
public void removeGraph(diva.graph.JGraph graph)
graph
from the ArrayList
of open graphs.
public void removeGraph(int index)
index
.
public void setGraphTabbedPane(JTabbedPaneCAPE graphTabbedPane)
graphTabbedPane
.
public void setStatsTabbedPane(JTabbedPaneCAPE statsTabbedPane)
statsTabbedPane
.
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |