graphics.graph
Class ControlPanel
java.lang.Object
   graphics.graph.ControlPanel
graphics.graph.ControlPanel
- public class ControlPanel 
- extends java.lang.Object
 
 
| Methods inherited from class java.lang.Object | 
| equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait | 
 
ControlPanel
public ControlPanel()
getNodes
public Nodes getNodes()
- 
 
println
public void println(java.lang.Object o)
- 
 
println
public void println(java.lang.Object[] o)
- 
 
synthesizeRMI
public void synthesizeRMI()
- 
 
addEdge
public void addEdge(java.lang.String nodeName1,
                    java.lang.String nodeName2)
- 
 
getGraphManager
public GraphManager getGraphManager()
- 
 
getImagePanel
public GraphImagePanel getImagePanel()
- 
 
getControlPanel
public java.awt.Panel getControlPanel()
- 
 
start
public void start()
- 
 
addEdge
public void addEdge(java.lang.String s,
                    java.lang.Class nodeName2)
-