org.corpus_tools.annis.gui.visualizers.component.tree.backends.staticimg

Class Java2dBackend.Java2dFont

java.lang.Object

org.corpus_tools.annis.gui.visualizers.component.tree.backends.staticimg.Java2dBackend.Java2dFont

All Implemented Interfaces:

GraphicsBackend.Font

Enclosing class:

Java2dBackend

public static class Java2dBackend.Java2dFont
extends Object
implements GraphicsBackend.Font

Constructor Summary

Constructors

Constructor and Description
Java2dFont(Font original, int pointSize, int style)

Method Summary

Modifier and Type	Method and Description
Rectangle2D	extents(String string)
double	getAscent()
Font	getAwtFont()
double	getLineHeight()

Methods inherited from class java.lang.Object

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

Constructor Detail

Java2dFont

public Java2dFont(Font original,
                  int pointSize,
                  int style)

Method Detail

extents

public Rectangle2D extents(String string)

Specified by:

extents in interface GraphicsBackend.Font

getAscent

public double getAscent()

Specified by:

getAscent in interface GraphicsBackend.Font

getAwtFont

public Font getAwtFont()

getLineHeight

public double getLineHeight()

Specified by:

getLineHeight in interface GraphicsBackend.Font