org.graphstream.ui.swing_viewer.util

Class StrokeFactory

java.lang.Object

org.graphstream.ui.swing_viewer.util.StrokeFactory

public class StrokeFactory
extends java.lang.Object

Generator for strokes based on the given style.

Field Summary

Fields

Modifier and Type	Field and Description
protected static float[]	dashes
protected static float[]	dots

Constructor Summary

Constructors

Constructor and Description
StrokeFactory()

Method Summary

Modifier and Type	Method and Description
protected static java.awt.Stroke	generateDashesStroke(org.graphstream.ui.graphicGraph.stylesheet.Style style, org.graphstream.ui.view.util.GraphMetrics metrics)
protected static java.awt.Stroke	generateDotsStroke(org.graphstream.ui.graphicGraph.stylesheet.Style style, org.graphstream.ui.view.util.GraphMetrics metrics)
protected static java.awt.Stroke	generatePlainStroke(org.graphstream.ui.graphicGraph.stylesheet.Style style, org.graphstream.ui.view.util.GraphMetrics metrics)
static java.awt.Stroke	generateStroke(org.graphstream.ui.graphicGraph.stylesheet.Style style, org.graphstream.ui.view.util.GraphMetrics metrics) Generate a stroke of the appropriate width and style according to the given style and metrics.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

dots

protected static float[] dots

dashes

protected static float[] dashes

Constructor Detail

StrokeFactory

public StrokeFactory()

Method Detail

generateStroke

public static java.awt.Stroke generateStroke(org.graphstream.ui.graphicGraph.stylesheet.Style style,
                                             org.graphstream.ui.view.util.GraphMetrics metrics)

Generate a stroke of the appropriate width and style according to the given style and metrics.

Parameters:

style - The style to use.

metrics - The metrics to use.

Returns:

The stroke or null if the style specifies a "none" stroke mode.

generatePlainStroke

protected static java.awt.Stroke generatePlainStroke(org.graphstream.ui.graphicGraph.stylesheet.Style style,
                                                     org.graphstream.ui.view.util.GraphMetrics metrics)

generateDotsStroke

protected static java.awt.Stroke generateDotsStroke(org.graphstream.ui.graphicGraph.stylesheet.Style style,
                                                    org.graphstream.ui.view.util.GraphMetrics metrics)

generateDashesStroke

protected static java.awt.Stroke generateDashesStroke(org.graphstream.ui.graphicGraph.stylesheet.Style style,
                                                      org.graphstream.ui.view.util.GraphMetrics metrics)