de.uka.ilkd.key.gui.fonticons

Class DefaultIconCode

java.lang.Object

de.uka.ilkd.key.gui.fonticons.DefaultIconCode

All Implemented Interfaces:

IconCode

public class DefaultIconCode
extends java.lang.Object
implements IconCode

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	fontFamily
private char	unicode

Constructor Summary

Constructors

Constructor and Description
DefaultIconCode(java.lang.String fontFamily, char unicode) Construtor.

Method Summary

Modifier and Type	Method and Description
java.lang.String	getFontFamily() Gets the font family name.
char	getUnicode() Gets the icon unicode.
java.lang.String	name() Gets the icon name.

Methods inherited from class java.lang.Object

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

Field Detail

unicode

private final char unicode

fontFamily

private final java.lang.String fontFamily

Constructor Detail

DefaultIconCode

public DefaultIconCode(java.lang.String fontFamily,
                       char unicode)

Construtor.

Parameters:

fontFamily - the font family.

unicode - the icon code.

Method Detail

name

public java.lang.String name()

Gets the icon name.

Specified by:

name in interface IconCode

Returns:

String

getUnicode

public char getUnicode()

Gets the icon unicode.

Specified by:

getUnicode in interface IconCode

Returns:

char

getFontFamily

public java.lang.String getFontFamily()

Gets the font family name.

Specified by:

getFontFamily in interface IconCode

Returns:

String