home *** CD-ROM | disk | FTP | other *** search
/ S283 Planetary Science &n…he Search for Life DVD 2 / DVD-ROM.iso / install / jre1_3 / lib / rt.jar / javax / swing / text / html / CSS$Attribute.class (.txt) < prev    next >
Encoding:
Java Class File  |  1979-12-31  |  5.1 KB  |  107 lines
  1. package javax.swing.text.html;
  2.  
  3. public final class CSS$Attribute {
  4.    private String name;
  5.    private String defaultValue;
  6.    private boolean inherited;
  7.    public static final CSS$Attribute BACKGROUND = new CSS$Attribute("background", (String)null, false);
  8.    public static final CSS$Attribute BACKGROUND_ATTACHMENT = new CSS$Attribute("background-attachment", "scroll", false);
  9.    public static final CSS$Attribute BACKGROUND_COLOR = new CSS$Attribute("background-color", "transparent", false);
  10.    public static final CSS$Attribute BACKGROUND_IMAGE = new CSS$Attribute("background-image", "none", false);
  11.    public static final CSS$Attribute BACKGROUND_POSITION = new CSS$Attribute("background-position", (String)null, false);
  12.    public static final CSS$Attribute BACKGROUND_REPEAT = new CSS$Attribute("background-repeat", "repeat", false);
  13.    public static final CSS$Attribute BORDER = new CSS$Attribute("border", (String)null, false);
  14.    public static final CSS$Attribute BORDER_BOTTOM = new CSS$Attribute("border-bottom", (String)null, false);
  15.    public static final CSS$Attribute BORDER_BOTTOM_WIDTH = new CSS$Attribute("border-bottom-width", "medium", false);
  16.    public static final CSS$Attribute BORDER_COLOR = new CSS$Attribute("border-color", (String)null, false);
  17.    public static final CSS$Attribute BORDER_LEFT = new CSS$Attribute("border-left", (String)null, false);
  18.    public static final CSS$Attribute BORDER_LEFT_WIDTH = new CSS$Attribute("border-left-width", "medium", false);
  19.    public static final CSS$Attribute BORDER_RIGHT = new CSS$Attribute("border-right", (String)null, false);
  20.    public static final CSS$Attribute BORDER_RIGHT_WIDTH = new CSS$Attribute("border-right-width", "medium", false);
  21.    public static final CSS$Attribute BORDER_STYLE = new CSS$Attribute("border-style", "none", false);
  22.    public static final CSS$Attribute BORDER_TOP = new CSS$Attribute("border-top", (String)null, false);
  23.    public static final CSS$Attribute BORDER_TOP_WIDTH = new CSS$Attribute("border-top-width", "medium", false);
  24.    public static final CSS$Attribute BORDER_WIDTH = new CSS$Attribute("border-width", "medium", false);
  25.    public static final CSS$Attribute CLEAR = new CSS$Attribute("clear", "none", false);
  26.    public static final CSS$Attribute COLOR = new CSS$Attribute("color", (String)null, true);
  27.    public static final CSS$Attribute DISPLAY = new CSS$Attribute("display", "block", false);
  28.    public static final CSS$Attribute FLOAT = new CSS$Attribute("float", "none", false);
  29.    public static final CSS$Attribute FONT = new CSS$Attribute("font", (String)null, true);
  30.    public static final CSS$Attribute FONT_FAMILY = new CSS$Attribute("font-family", (String)null, true);
  31.    public static final CSS$Attribute FONT_SIZE = new CSS$Attribute("font-size", "medium", true);
  32.    public static final CSS$Attribute FONT_STYLE = new CSS$Attribute("font-style", "normal", true);
  33.    public static final CSS$Attribute FONT_VARIANT = new CSS$Attribute("font-variant", "normal", true);
  34.    public static final CSS$Attribute FONT_WEIGHT = new CSS$Attribute("font-weight", "normal", true);
  35.    public static final CSS$Attribute HEIGHT = new CSS$Attribute("height", "auto", false);
  36.    public static final CSS$Attribute LETTER_SPACING = new CSS$Attribute("letter-spacing", "normal", true);
  37.    public static final CSS$Attribute LINE_HEIGHT = new CSS$Attribute("line-height", "normal", true);
  38.    public static final CSS$Attribute LIST_STYLE = new CSS$Attribute("list-style", (String)null, true);
  39.    public static final CSS$Attribute LIST_STYLE_IMAGE = new CSS$Attribute("list-style-image", "none", true);
  40.    public static final CSS$Attribute LIST_STYLE_POSITION = new CSS$Attribute("list-style-position", "outside", true);
  41.    public static final CSS$Attribute LIST_STYLE_TYPE = new CSS$Attribute("list-style-type", "disc", true);
  42.    public static final CSS$Attribute MARGIN = new CSS$Attribute("margin", (String)null, false);
  43.    public static final CSS$Attribute MARGIN_BOTTOM = new CSS$Attribute("margin-bottom", "0", false);
  44.    public static final CSS$Attribute MARGIN_LEFT = new CSS$Attribute("margin-left", "0", false);
  45.    public static final CSS$Attribute MARGIN_RIGHT = new CSS$Attribute("margin-right", "0", false);
  46.    public static final CSS$Attribute MARGIN_TOP = new CSS$Attribute("margin-top", "0", false);
  47.    public static final CSS$Attribute PADDING = new CSS$Attribute("padding", (String)null, false);
  48.    public static final CSS$Attribute PADDING_BOTTOM = new CSS$Attribute("padding-bottom", "0", false);
  49.    public static final CSS$Attribute PADDING_LEFT = new CSS$Attribute("padding-left", "0", false);
  50.    public static final CSS$Attribute PADDING_RIGHT = new CSS$Attribute("padding-right", "0", false);
  51.    public static final CSS$Attribute PADDING_TOP = new CSS$Attribute("padding-top", "0", false);
  52.    public static final CSS$Attribute TEXT_ALIGN = new CSS$Attribute("text-align", (String)null, true);
  53.    public static final CSS$Attribute TEXT_DECORATION = new CSS$Attribute("text-decoration", "none", true);
  54.    public static final CSS$Attribute TEXT_INDENT = new CSS$Attribute("text-indent", "0", true);
  55.    public static final CSS$Attribute TEXT_TRANSFORM = new CSS$Attribute("text-transform", "none", true);
  56.    public static final CSS$Attribute VERTICAL_ALIGN = new CSS$Attribute("vertical-align", "baseline", false);
  57.    public static final CSS$Attribute WORD_SPACING = new CSS$Attribute("word-spacing", "normal", true);
  58.    public static final CSS$Attribute WHITE_SPACE = new CSS$Attribute("white-space", "normal", true);
  59.    public static final CSS$Attribute WIDTH = new CSS$Attribute("width", "auto", false);
  60.    static final CSS$Attribute BORDER_SPACING = new CSS$Attribute("border-spacing", "0", true);
  61.    static final CSS$Attribute CAPTION_SIDE = new CSS$Attribute("caption-side", "left", true);
  62.    static final CSS$Attribute[] allAttributes;
  63.    private static final CSS$Attribute[] ALL_MARGINS;
  64.    private static final CSS$Attribute[] ALL_PADDING;
  65.    private static final CSS$Attribute[] ALL_BORDER_WIDTHS;
  66.  
  67.    private CSS$Attribute(String var1, String var2, boolean var3) {
  68.       this.name = var1;
  69.       this.defaultValue = var2;
  70.       this.inherited = var3;
  71.    }
  72.  
  73.    public String toString() {
  74.       return this.name;
  75.    }
  76.  
  77.    public String getDefaultValue() {
  78.       return this.defaultValue;
  79.    }
  80.  
  81.    public boolean isInherited() {
  82.       return this.inherited;
  83.    }
  84.  
  85.    // $FF: synthetic method
  86.    static CSS$Attribute[] access$000() {
  87.       return ALL_MARGINS;
  88.    }
  89.  
  90.    // $FF: synthetic method
  91.    static CSS$Attribute[] access$100() {
  92.       return ALL_PADDING;
  93.    }
  94.  
  95.    // $FF: synthetic method
  96.    static CSS$Attribute[] access$200() {
  97.       return ALL_BORDER_WIDTHS;
  98.    }
  99.  
  100.    static {
  101.       allAttributes = new CSS$Attribute[]{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};
  102.       ALL_MARGINS = new CSS$Attribute[]{MARGIN_TOP, MARGIN_RIGHT, MARGIN_BOTTOM, MARGIN_LEFT};
  103.       ALL_PADDING = new CSS$Attribute[]{PADDING_TOP, PADDING_RIGHT, PADDING_BOTTOM, PADDING_LEFT};
  104.       ALL_BORDER_WIDTHS = new CSS$Attribute[]{BORDER_TOP_WIDTH, BORDER_RIGHT_WIDTH, BORDER_BOTTOM_WIDTH, BORDER_LEFT_WIDTH};
  105.    }
  106. }
  107.