de.uka.ilkd.key.gui.fonticons

Class IconFontSwing

java.lang.Object

de.uka.ilkd.key.gui.fonticons.IconFontSwing

public final class IconFontSwing
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private static java.util.List<IconFont>	fonts

Constructor Summary

Constructors

Modifier	Constructor and Description
private	IconFontSwing()

Method Summary

Modifier and Type	Method and Description
private static java.awt.Font	buildFont(IconCode iconCode, float size)
static java.awt.Font	buildFont(java.lang.String fontFamily) Builds a font.
static javax.swing.Icon	buildIcon(IconCode iconCode, float size) Builds an icon.
static javax.swing.Icon	buildIcon(IconCode iconCode, float size, java.awt.Color color) Builds an icon.
static java.awt.Image	buildImage(IconCode iconCode, float size) Builds an image.
static java.awt.Image	buildImage(IconCode iconCode, float size, java.awt.Color color) Builds an image.
private static java.awt.image.BufferedImage	buildImage(java.lang.String text, java.awt.Font font, java.awt.Color color)
static void	register(IconFont iconFont) Register an icon font.

Methods inherited from class java.lang.Object

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

Field Detail

fonts

private static java.util.List<IconFont> fonts

Constructor Detail

IconFontSwing

private IconFontSwing()

Method Detail

register

public static void register(IconFont iconFont)

Register an icon font.

Parameters:

iconFont - the icon font.

buildFont

public static final java.awt.Font buildFont(java.lang.String fontFamily)

Builds a font.

Parameters:

fontFamily - the font family.

Returns:

the font.

buildImage

public static java.awt.Image buildImage(IconCode iconCode,
                                        float size)

Builds an image.

Parameters:

iconCode - the icon code.

size - the size.

Returns:

the image.

buildImage

public static java.awt.Image buildImage(IconCode iconCode,
                                        float size,
                                        java.awt.Color color)

Builds an image.

Parameters:

iconCode - the icon code.

size - the size.

color - the size.

Returns:

the image.

buildIcon

public static javax.swing.Icon buildIcon(IconCode iconCode,
                                         float size)

Builds an icon.

Parameters:

iconCode - the icon code.

size - the size.

Returns:

the icon.

buildIcon

public static javax.swing.Icon buildIcon(IconCode iconCode,
                                         float size,
                                         java.awt.Color color)

Builds an icon.

Parameters:

iconCode - the icon code.

size - the size.

color - the size.

Returns:

the icon.

buildImage

private static java.awt.image.BufferedImage buildImage(java.lang.String text,
                                                       java.awt.Font font,
                                                       java.awt.Color color)

buildFont

private static java.awt.Font buildFont(IconCode iconCode,
                                       float size)