css.java

Mobile 应用程序使用 Java Micro Edition (Java ME) 平台

/*
 * @(#)CSS.java	1.67 06/02/27
 *
 * Copyright 2006 Sun Microsystems, Inc. All rights reserved.
 * SUN PROPRIETARY/CONFIDENTIAL. Use is subject to license terms.
 */
package javax.swing.text.html;

import java.awt.Color;
import java.awt.Font;
import java.awt.GraphicsEnvironment;
import java.awt.Toolkit;
import java.awt.HeadlessException;
import java.awt.Image;
import java.io.*;
import java.lang.reflect.Method;
import java.net.URL;
import java.net.MalformedURLException;
import java.util.Enumeration;
import java.util.Hashtable;
import java.util.Vector;
import java.util.Locale;
import javax.swing.ImageIcon;
import javax.swing.SizeRequirements;
import javax.swing.text.*;

/**
 * Defines a set of
 * <a href="http://www.w3.org/TR/REC-CSS1">CSS attributes</a>
 * as a typesafe enumeration.  The HTML View implementations use
 * CSS attributes to determine how they will render. This also defines
 * methods to map between CSS/HTML/StyleConstants. Any shorthand
 * properties, such as font, are mapped to the intrinsic properties.
 * <p>The following describes the CSS properties that are suppored by the
 * rendering engine:
 * <ul><li>font-family
 *   <li>font-style
 *   <li>font-size (supports relative units)
 *   <li>font-weight
 *   <li>font
 *   <li>color
 *   <li>background-color (with the exception of transparent)
 *   <li>background-image
 *   <li>background-repeat
 *   <li>background-position
 *   <li>background
 *   <li>background-repeat
 *   <li>text-decoration (with the exception of blink and overline)
 *   <li>vertical-align (only sup and super)
 *   <li>text-align (justify is treated as center)
 *   <li>margin-top
 *   <li>margin-right
 *   <li>margin-bottom
 *   <li>margin-left
 *   <li>margin
 *   <li>padding-top
 *   <li>padding-right
 *   <li>padding-bottom
 *   <li>padding-left
 *   <li>border-style (only supports inset, outset and none)
 *   <li>list-style-type
 *   <li>list-style-position
 * </ul>
 * The following are modeled, but currently not rendered.
 * <ul><li>font-variant
 *   <li>background-attachment (background always treated as scroll)
 *   <li>word-spacing
 *   <li>letter-spacing
 *   <li>text-indent
 *   <li>text-transform
 *   <li>line-height
 *   <li>border-top-width (this is used to indicate if a border should be used)
 *   <li>border-right-width
 *   <li>border-bottom-width
 *   <li>border-left-width
 *   <li>border-width
 *   <li>border-top
 *   <li>border-right
 *   <li>border-bottom
 *   <li>border-left
 *   <li>border
 *   <li>width
 *   <li>height
 *   <li>float
 *   <li>clear
 *   <li>display
 *   <li>white-space
 *   <li>list-style
 * </ul>
 * <p><b>Note: for the time being we do not fully support relative units,
 * unless noted, so that
 * p { margin-top: 10% } will be treated as if no margin-top was specified.
 *
 * @author  Timothy Prinzing
 * @author  Scott Violet
 * @version 1.67 02/27/06
 * @see StyleSheet
 */
public class CSS implements Serializable {

    /**
     * Definitions to be used as a key on AttributeSet's
     * that might hold CSS attributes.  Since this is a
     * closed set (i.e. defined exactly by the specification),
     * it is final and cannot be extended.
     */
    public static final class Attribute {

	private Attribute(String name, String defaultValue, boolean inherited) {
	    this.name = name;
	    this.defaultValue = defaultValue;
	    this.inherited = inherited;
	}

	/**
	 * The string representation of the attribute.  This
	 * should exactly match the string specified in the
	 * CSS specification.
	 */
	public String toString() {
	    return name;
	}

	/**
	 * Fetch the default value for the attribute.
	 * If there is no default value (such as for
	 * composite attributes), null will be returned.
	 */
	public String getDefaultValue() {
	    return defaultValue;
	}

	/**
	 * Indicates if the attribute should be inherited
	 * from the parent or not.
	 */
	public boolean isInherited() {
	    return inherited;
	}

	private String name;
	private String defaultValue;
	private boolean inherited;


	public static final Attribute BACKGROUND =
	    new Attribute("background", null, false);

	public static final Attribute BACKGROUND_ATTACHMENT =
	    new Attribute("background-attachment", "scroll", false);

	public static final Attribute BACKGROUND_COLOR =
	    new Attribute("background-color", "transparent", false);

	public static final Attribute BACKGROUND_IMAGE =
	    new Attribute("background-image", "none", false);

	public static final Attribute BACKGROUND_POSITION =
	    new Attribute("background-position", null, false);

	public static final Attribute BACKGROUND_REPEAT =
	    new Attribute("background-repeat", "repeat", false);

	public static final Attribute BORDER =
	    new Attribute("border", null, false);

	public static final Attribute BORDER_BOTTOM =
	    new Attribute("border-bottom", null, false);

	public static final Attribute BORDER_BOTTOM_WIDTH =
	    new Attribute("border-bottom-width", "medium", false);

	public static final Attribute BORDER_COLOR =
	    new Attribute("border-color", "black", false);

	public static final Attribute BORDER_LEFT =
	    new Attribute("border-left", null, false);

	public static final Attribute BORDER_LEFT_WIDTH =
	    new Attribute("border-left-width", "medium", false);

	public static final Attribute BORDER_RIGHT =
	    new Attribute("border-right", null, false);

	public static final Attribute BORDER_RIGHT_WIDTH =
	    new Attribute("border-right-width", "medium", false);

	public static final Attribute BORDER_STYLE =
	    new Attribute("border-style", "none", false);

	public static final Attribute BORDER_TOP =
	    new Attribute("border-top", null, false);

	public static final Attribute BORDER_TOP_WIDTH =
	    new Attribute("border-top-width", "medium", false);

	public static final Attribute BORDER_WIDTH =
	    new Attribute("border-width", "medium", false);

	public static final Attribute CLEAR =
	    new Attribute("clear", "none", false);

	public static final Attribute COLOR =
	    new Attribute("color", "black", true);

	public static final Attribute DISPLAY =
	    new Attribute("display", "block", false);

	public static final Attribute FLOAT =
	    new Attribute("float", "none", false);

	public static final Attribute FONT =
	    new Attribute("font", null, true);

	public static final Attribute FONT_FAMILY =
	    new Attribute("font-family", null, true);

	public static final Attribute FONT_SIZE =
	    new Attribute("font-size", "medium", true);

	public static final Attribute FONT_STYLE =
	    new Attribute("font-style", "normal", true);

	public static final Attribute FONT_VARIANT =
	    new Attribute("font-variant", "normal", true);

	public static final Attribute FONT_WEIGHT =
	    new Attribute("font-weight", "normal", true);

	public static final Attribute HEIGHT =
	    new Attribute("height", "auto", false);

	public static final Attribute LETTER_SPACING =
	    new Attribute("letter-spacing", "normal", true);

	public static final Attribute LINE_HEIGHT =
	    new Attribute("line-height", "normal", true);

	public static final Attribute LIST_STYLE =
	    new Attribute("list-style", null, true);

	public static final Attribute LIST_STYLE_IMAGE =
	    new Attribute("list-style-image", "none", true);

	public static final Attribute LIST_STYLE_POSITION =
	    new Attribute("list-style-position", "outside", true);

	public static final Attribute LIST_STYLE_TYPE =
	    new Attribute("list-style-type", "disc", true);

	public static final Attribute MARGIN =
	    new Attribute("margin", null, false);

	public static final Attribute MARGIN_BOTTOM =
	    new Attribute("margin-bottom", "0", false);

	public static final Attribute MARGIN_LEFT =
	    new Attribute("margin-left", "0", false);

	public static final Attribute MARGIN_RIGHT =
	    new Attribute("margin-right", "0", false);

        /* 
         * made up css attributes to describe orientation depended
         * margins. used for <dir>, <menu>, <ul> etc. see
         * 5088268 for more details
         */
        static final Attribute MARGIN_LEFT_LTR =
	    new Attribute("margin-left-ltr", 
                          Integer.toString(Integer.MIN_VALUE), false);

        static final Attribute MARGIN_LEFT_RTL =
	    new Attribute("margin-left-rtl", 
                          Integer.toString(Integer.MIN_VALUE), false);
        
        static final Attribute MARGIN_RIGHT_LTR =
	    new Attribute("margin-right-ltr", 
                          Integer.toString(Integer.MIN_VALUE), false);

        static final Attribute MARGIN_RIGHT_RTL =
	    new Attribute("margin-right-rtl", 
                          Integer.toString(Integer.MIN_VALUE), false);


	public static final Attribute MARGIN_TOP =
	    new Attribute("margin-top", "0", false);

	public static final Attribute PADDING =
	    new Attribute("padding", null, false);

	public static final Attribute PADDING_BOTTOM =
	    new Attribute("padding-bottom", "0", false);

	public static final Attribute PADDING_LEFT =
	    new Attribute("padding-left", "0", false);

	public static final Attribute PADDING_RIGHT =
	    new Attribute("padding-right", "0", false);

	public static final Attribute PADDING_TOP =
	    new Attribute("padding-top", "0", false);

	public static final Attribute TEXT_ALIGN =
	    new Attribute("text-align", null, true);

	public static final Attribute TEXT_DECORATION =
	    new Attribute("text-decoration", "none", true);

	public static final Attribute TEXT_INDENT =
	    new Attribute("text-indent", "0", true);

	public static final Attribute TEXT_TRANSFORM =
	    new Attribute("text-transform", "none", true);

	public static final Attribute VERTICAL_ALIGN =
	    new Attribute("vertical-align", "baseline", false);

	public static final Attribute WORD_SPACING =
	    new Attribute("word-spacing", "normal", true);

	public static final Attribute WHITE_SPACE =
	    new Attribute("white-space", "normal", true);

	public static final Attribute WIDTH =
	    new Attribute("width", "auto", false);

	/*public*/ static final Attribute BORDER_SPACING = 
	    new Attribute("border-spacing", "0", true);

	/*public*/ static final Attribute CAPTION_SIDE = 
	    new Attribute("caption-side", "left", true);

	// All possible CSS attribute keys.
	static final Attribute[] allAttributes = {
	    BACKGROUND, BACKGROUND_ATTACHMENT, BACKGROUND_COLOR,
	    BACKGROUND_IMAGE, BACKGROUND_POSITION, BACKGROUND_REPEAT,
	    BORDER, BORDER_BOTTOM, BORDER_BOTTOM_WIDTH, BORDER_COLOR,
	    BORDER_LEFT, BORDER_LEFT_WIDTH, BORDER_RIGHT, BORDER_RIGHT_WIDTH,
	    BORDER_STYLE, BORDER_TOP, BORDER_TOP_WIDTH, BORDER_WIDTH,
	    CLEAR, COLOR, DISPLAY, FLOAT, FONT, FONT_FAMILY, FONT_SIZE,
	    FONT_STYLE, FONT_VARIANT, FONT_WEIGHT, HEIGHT, LETTER_SPACING,
	    LINE_HEIGHT, LIST_STYLE, LIST_STYLE_IMAGE, LIST_STYLE_POSITION,
	    LIST_STYLE_TYPE, MARGIN, MARGIN_BOTTOM, MARGIN_LEFT, MARGIN_RIGHT,
	    MARGIN_TOP, PADDING, PADDING_BOTTOM, PADDING_LEFT, PADDING_RIGHT,
	    PADDING_TOP, TEXT_ALIGN, TEXT_DECORATION, TEXT_INDENT, TEXT_TRANSFORM,
	    VERTICAL_ALIGN, WORD_SPACING, WHITE_SPACE, WIDTH, 
	    BORDER_SPACING, CAPTION_SIDE, 
            MARGIN_LEFT_LTR, MARGIN_LEFT_RTL, MARGIN_RIGHT_LTR, MARGIN_RIGHT_RTL
	};

	private static final Attribute[] ALL_MARGINS =
	        { MARGIN_TOP, MARGIN_RIGHT, MARGIN_BOTTOM, MARGIN_LEFT };
	private static final Attribute[] ALL_PADDING =
	        { PADDING_TOP, PADDING_RIGHT, PADDING_BOTTOM, PADDING_LEFT };
	private static final Attribute[] ALL_BORDER_WIDTHS =
	        { BORDER_TOP_WIDTH, BORDER_RIGHT_WIDTH, BORDER_BOTTOM_WIDTH,
		  BORDER_LEFT_WIDTH };

    }

    static final class Value {

	private Value(String name) {
	    this.name = name;
	}

	/**
	 * The string representation of the attribute.  This
	 * should exactly match the string specified in the
	 * CSS specification.
	 */
	public String toString() {
	    return name;
	}

	static final Value INHERITED = new Value("inherited");
	static final Value NONE = new Value("none");
	static final Value DOTTED = new Value("dotted");
	static final Value DASHED = new Value("dashed");
	static final Value SOLID = new Value("solid");
	static final Value DOUBLE = new Value("double");
	static final Value GROOVE = new Value("groove");
	static final Value RIDGE = new Value("ridge");
	static final Value INSET = new Value("inset");
	static final Value OUTSET = new Value("outset");
	// Lists.
	static final Value BLANK_LIST_ITEM = new Value("none");
	static final Value DISC = new Value("disc");
	static final Value CIRCLE = new Value("circle");
	static final Value SQUARE = new Value("square");
	static final Value DECIMAL = new Value("decimal");
	static final Value LOWER_ROMAN = new Value("lower-roman");
	static final Value UPPER_ROMAN = new Value("upper-roman");
	static final Value LOWER_ALPHA = new Value("lower-alpha");
	static final Value UPPER_ALPHA = new Value("upper-alpha");
	// background-repeat
	static final Value BACKGROUND_NO_REPEAT = new Value("no-repeat");
	static final Value BACKGROUND_REPEAT = new Value("repeat");
	static final Value BACKGROUND_REPEAT_X = new Value("repeat-x");
	static final Value BACKGROUND_REPEAT_Y = new Value("repeat-y");
	// background-attachment
	static final Value BACKGROUND_SCROLL = new Value("scroll");
	static final Value BACKGROUND_FIXED = new Value("fixed");