|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--graph.Node | +--websphinx.workbench.RenderedNode
Field Summary | |
java.awt.Color |
color
|
java.awt.Image |
icon
|
double |
scale
|
int |
screenX
|
int |
screenY
|
Fields inherited from class graph.Node |
barycenter, degree, fixed, height, incidentEdges, name, neighbors, placed, width, x, y |
Constructor Summary | |
RenderedNode()
|
Method Summary | |
java.lang.String[] |
getTip()
|
Methods inherited from class graph.Node |
addNeighbor, distance, distance, distanceSquared, distanceSquared, removeNeighbor, removeNeighbor |
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 double scale
public java.awt.Image icon
public int screenX
public int screenY
Constructor Detail |
public RenderedNode()
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 |