websphinx.workbench
Class RenderedEdge

java.lang.Object
  |
  +--graph.Edge
        |
        +--websphinx.workbench.RenderedEdge
All Implemented Interfaces:
Tipped
Direct Known Subclasses:
WebEdge

public class RenderedEdge
extends graph.Edge
implements Tipped


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

color

public java.awt.Color color

thick

public boolean thick
Constructor Detail

RenderedEdge

public RenderedEdge(graph.Node from,
                    graph.Node to)
Method Detail

getTip

public java.lang.String[] getTip()
Specified by:
getTip in interface Tipped