grammarscope.browser.renderer

Class Utils

java.lang.Object

grammarscope.browser.renderer.Utils

public final class Utils
extends java.lang.Object

Renderer utilities

Author:

Bernard Bou

Constructor Summary

Constructors

Modifier	Constructor and Description
private	Utils()

Method Summary

Modifier and Type	Method and Description
static void	drawDiamond(java.awt.Graphics2D g2, java.awt.Color color, double x0, double y0, double r) Draw diamond
static void	drawDot(java.awt.Graphics2D g2, java.awt.Color color, int x0, int y0, double r) Draw dot
static void	drawEllipse(java.awt.Graphics2D g2, double x0, double y0) Draw ellipse
static void	drawTriangle(java.awt.Graphics2D g2, java.awt.Color color, int x0, int y0, int w, int h2, boolean reverse) Draw triangle
static void	drawTriangle(java.awt.Graphics2D g2, java.awt.Color color, int x0, int y0, int w, int h2, boolean reverse, double rotation)
static void	drawUpwardTriangle(java.awt.Graphics2D g2, java.awt.Color color, int x0, int y0, int w2, int h) Draw triangle
static int	getCenteringOffset(int n, int w) Get centering offset for a node with n edges and given x2
static java.awt.Dimension	getLabelDimension(java.lang.String text, java.awt.Font font) Get label dimensions
static java.lang.String	truncate(java.lang.String label, int width, java.awt.FontMetrics metrics) Truncate label to width

Methods inherited from class java.lang.Object

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

Constructor Detail

Utils

private Utils()

Method Detail

truncate

public static java.lang.String truncate(java.lang.String label,
                                        int width,
                                        java.awt.FontMetrics metrics)

Truncate label to width

Parameters:

label - label

width - width

metrics - font metrics

Returns:

truncate label

drawDot

public static void drawDot(java.awt.Graphics2D g2,
                           java.awt.Color color,
                           int x0,
                           int y0,
                           double r)

Draw dot

Parameters:

g2 - graphics context

color - color

x0 - x coordinate

y0 - y coordinate

r - radius

drawEllipse

public static void drawEllipse(java.awt.Graphics2D g2,
                               double x0,
                               double y0)

Draw ellipse

Parameters:

g2 - graphics context

x0 - x coordinate

y0 - y coordinate

drawDiamond

public static void drawDiamond(java.awt.Graphics2D g2,
                               java.awt.Color color,
                               double x0,
                               double y0,
                               double r)

Draw diamond

Parameters:

g2 - graphics context

color - color

x0 - x coordinate

y0 - y coordinate

r - radius

drawTriangle

public static void drawTriangle(java.awt.Graphics2D g2,
                                java.awt.Color color,
                                int x0,
                                int y0,
                                int w,
                                int h2,
                                boolean reverse)

Draw triangle

Parameters:

g2 - graphics context

color - color

x0 - x coordinate

y0 - y coordinate

w - arrow width

h2 - arrow half height

reverse - reverse

drawTriangle

public static void drawTriangle(java.awt.Graphics2D g2,
                                java.awt.Color color,
                                int x0,
                                int y0,
                                int w,
                                int h2,
                                boolean reverse,
                                double rotation)

Parameters:

g2 - graphics context

color - color

x0 - x coordinate

y0 - y coordinate

w - arrow width

h2 - arrow half height

reverse - reverse

rotation - rotation of triangle

drawUpwardTriangle

public static void drawUpwardTriangle(java.awt.Graphics2D g2,
                                      java.awt.Color color,
                                      int x0,
                                      int y0,
                                      int w2,
                                      int h)

Draw triangle

Parameters:

g2 - graphics context

color - color

x0 - x coordinate

y0 - y coordinate

w2 - arrow half width

h - arrow height

getCenteringOffset

public static int getCenteringOffset(int n,
                                     int w)

Get centering offset for a node with n edges and given x2

Parameters:

n - number of incoming and outgoing nodes

w - x2

Returns:

centering offset for a node with n edges

getLabelDimension

public static java.awt.Dimension getLabelDimension(java.lang.String text,
                                                   java.awt.Font font)

Get label dimensions

Parameters:

text - label text

font - font

Returns:

dimension