|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Object
|
+--graph.Edge
|
+--websphinx.workbench.RenderedEdge
| Field Summary | |
java.awt.Color |
color
|
boolean |
thick
|
| Fields inherited from class graph.Edge |
directed, from, label, labelHeight, labelWidth, placed, restLength, to |
| Constructor Summary | |
RenderedEdge(graph.Node from,
graph.Node to)
|
|
| Method Summary | |
java.lang.String[] |
getTip()
|
| Methods inherited from class graph.Edge |
length, lengthSquared |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
public java.awt.Color color
public boolean thick
| Constructor Detail |
public RenderedEdge(graph.Node from,
graph.Node to)
| Method Detail |
public java.lang.String[] getTip()
getTip in interface Tipped
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||