protected void |
AbstractSvgDecorator.decorate(SvgLabelledElement node,
java.awt.Color color,
java.awt.Color fillColor,
java.awt.Color textColor,
java.lang.String labelExtra) |
protected void |
AbstractSvgDecorator.decorate(SvgLabelledElement edge,
java.awt.Color stroke,
double penwidth,
java.lang.String label) |
void |
ISvgDecorator.decorateEdge(Edge edge,
SvgLabelledElement svgEdge) |
void |
NullSvgDecorator.decorateEdge(E node,
SvgLabelledElement svgNode) |
void |
SvgMetricDecorator.decorateEdge(E edge,
SvgLabelledElement svgEdge) |
void |
ISvgDecorator.decorateNode(Node node,
SvgLabelledElement svgNode) |
void |
NullSvgDecorator.decorateNode(T node,
SvgLabelledElement svgNode) |
void |
SvgMetricDecorator.decorateNode(T node,
SvgLabelledElement svgNode) |
void |
ISvgDecorator.decorateRecursionBackArrow(Node child,
Node entryNode,
SvgLabelledElement e) |
void |
NullSvgDecorator.decorateRecursionBackArrow(T child,
T entryNode,
SvgLabelledElement e) |
void |
SvgMetricDecorator.decorateRecursionBackArrow(T child,
T entryNode,
SvgLabelledElement e) |