Font.java

/*
 *  MicroEmulator
 *  Copyright (C) 2001-2005 Bartek Teodorczyk <barteo@barteo.net>
 *  Copyright (C) 2005 Andres Navarro
 *
 *  This library is free software; you can redistribute it and/or
 *  modify it under the terms of the GNU Lesser General Public
 *  License as published by the Free Software Foundation; either
 *  version 2.1 of the License, or (at your option) any later version.
 *
 *  This library is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 *  Lesser General Public License for more details.
 *
 *  You should have received a copy of the GNU Lesser General Public
 *  License along with this library; if not, write to the Free Software
 *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 */

package javax.microedition.lcdui;

import java.util.Hashtable;

import org.microemu.device.DeviceFactory;


public final class Font {
    public static final int STYLE_PLAIN = 0;
    public static final int STYLE_BOLD = 1;
    public static final int STYLE_ITALIC = 2;
    public static final int STYLE_UNDERLINED = 4;

    public static final int SIZE_SMALL = 8;
    public static final int SIZE_MEDIUM = 0;
    public static final int SIZE_LARGE = 16;

    public static final int FACE_SYSTEM = 0;
    public static final int FACE_MONOSPACE = 32;
    public static final int FACE_PROPORTIONAL = 64;

    public static final int FONT_STATIC_TEXT = 0;
    public static final int FONT_INPUT_TEXT = 1;

    private static final Font DEFAULT_FONT = new Font(Font.FACE_SYSTEM, Font.STYLE_PLAIN, Font.SIZE_MEDIUM);

    private static Font[] fontsBySpecifier = {DEFAULT_FONT, DEFAULT_FONT};

    private static Hashtable fonts = new Hashtable();

    private int face;

    private int style;

    private int size;

    private int baselinePosition = -1;

    private int height = -1;


    private Font(int face, int style, int size) {
        if ((face != FACE_SYSTEM) && (face != FACE_MONOSPACE) && (face != FACE_PROPORTIONAL)) {
            throw new IllegalArgumentException();
        }
        if (!(isPlain() || isBold() || isItalic() || isUnderlined())) {
            throw new IllegalArgumentException();
        }
        if ((size != SIZE_SMALL) && (size != SIZE_MEDIUM) && (size != SIZE_LARGE)) {
            throw new IllegalArgumentException();
        }

        this.face = face;
        this.style = style;
        this.size = size;
    }


    public static Font getDefaultFont() {
        return DEFAULT_FONT;
    }


    public static Font getFont(int specifier) {
        if (specifier != Font.FONT_INPUT_TEXT &&
                specifier != Font.FONT_STATIC_TEXT)
            throw new IllegalArgumentException("Bad specifier");
        return fontsBySpecifier[specifier];
    }


    public static Font getFont(int face, int style, int size) {
        Integer key = new Integer(style + size + face);
        Font result = (Font) fonts.get(key);
        if (result == null) {
            result = new Font(face, style, size);
            fonts.put(key, result);
        }
        return result;
    }


    public int getStyle() {
        return style;
    }


    public int getSize() {
        return size;
    }


    public int getFace() {
        return face;
    }


    public boolean isPlain() {
        return (style == STYLE_PLAIN);
    }


    public boolean isBold() {
        return ((style & STYLE_BOLD) != 0);
    }


    public boolean isItalic() {
        return ((style & STYLE_ITALIC) != 0);
    }


    public boolean isUnderlined() {
        return ((style & STYLE_UNDERLINED) != 0);
    }


    public int getHeight() {
        if (height == -1) {
            height = DeviceFactory.getDevice().getFontManager().getHeight(this);
        }

        return height;
    }


    public int getBaselinePosition() {
        if (baselinePosition == -1) {
            baselinePosition = DeviceFactory.getDevice().getFontManager().getBaselinePosition(this);
        }

        return baselinePosition;
    }


    public int charWidth(char ch) {
        return DeviceFactory.getDevice().getFontManager().charWidth(this, ch);
    }


    public int charsWidth(char[] ch, int offset, int length) {
        return DeviceFactory.getDevice().getFontManager().charsWidth(this, ch, offset, length);
    }


    public int stringWidth(String str) {
        return DeviceFactory.getDevice().getFontManager().stringWidth(this, str);
    }


    public int substringWidth(String str, int offset, int len) {
        return DeviceFactory.getDevice().getFontManager().substringWidth(this, str, offset, len);
    }


    public int hashCode() {
        return style + size + face;
    }

}