websphinx.util
Class RenderedEdge

java.lang.Object
  |
  +--graph.Edge
        |
        +--websphinx.util.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

distance, distanceSquared, length, lengthSquared

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, 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