Lisez-moi S.V.P. 

13 novembre 2000

Annexe B : La liaison avec le langage Java

Cette annexe contient la liaison complète du langage Java [Java] pour le modèle objet de document niveau 2 Style. Les définitions se répartissent entre les fonctionnalités StyleSheets et CSS.

Les fichiers Java sont également disponibles sous la forme suivante : http://www.w3.org/TR/2000/REC-DOM-Level-2-Style-20001113/java-binding.zip La documentation dans les fichiers sources Java n'avait pas de contenu pour les méthodes set*. Ce nouveau fichier zip devrait corriger les problèmes.

B.1 : Le modèle objet de document StyleSheets

org/w3c/dom/stylesheets/StyleSheet.java:

package org.w3c.dom.stylesheets;

import org.w3c.dom.Node;

public interface StyleSheet {
    public String getType();

    public boolean getDisabled();
    public void setDisabled(boolean disabled);

    public Node getOwnerNode();

    public StyleSheet getParentStyleSheet();

    public String getHref();

    public String getTitle();

    public MediaList getMedia();

}

org/w3c/dom/stylesheets/StyleSheetList.java:

package org.w3c.dom.stylesheets;

public interface StyleSheetList {
    public int getLength();

    public StyleSheet item(int index);

}

org/w3c/dom/stylesheets/MediaList.java:

package org.w3c.dom.stylesheets;

import org.w3c.dom.DOMException;

public interface MediaList {
    public String getMediaText();
    public void setMediaText(String mediaText)
                           throws DOMException;

    public int getLength();

    public String item(int index);

    public void deleteMedium(String oldMedium)
                             throws DOMException;

    public void appendMedium(String newMedium)
                             throws DOMException;

}

org/w3c/dom/stylesheets/LinkStyle.java:

package org.w3c.dom.stylesheets;

public interface LinkStyle {
    public StyleSheet getSheet();

}

org/w3c/dom/stylesheets/DocumentStyle.java:

package org.w3c.dom.stylesheets;

public interface DocumentStyle {
    public StyleSheetList getStyleSheets();

}

B.2 : Le modèle objet de document CSS

org/w3c/dom/css/CSSStyleSheet.java:

package org.w3c.dom.css;

import org.w3c.dom.DOMException;
import org.w3c.dom.stylesheets.StyleSheet;

public interface CSSStyleSheet extends StyleSheet {
    public CSSRule getOwnerRule();

    public CSSRuleList getCssRules();

    public int insertRule(String rule, 
                          int index)
                          throws DOMException;

    public void deleteRule(int index)
                           throws DOMException;

}

org/w3c/dom/css/CSSRuleList.java:

package org.w3c.dom.css;

public interface CSSRuleList {
    public int getLength();

    public CSSRule item(int index);

}

org/w3c/dom/css/CSSRule.java:

package org.w3c.dom.css;

import org.w3c.dom.DOMException;

public interface CSSRule {
    // Type de règle
    public static final short UNKNOWN_RULE              = 0;
    public static final short STYLE_RULE                = 1;
    public static final short CHARSET_RULE              = 2;
    public static final short IMPORT_RULE               = 3;
    public static final short MEDIA_RULE                = 4;
    public static final short FONT_FACE_RULE            = 5;
    public static final short PAGE_RULE                 = 6;

    public short getType();

    public String getCssText();
    public void setCssText(String cssText)
                        throws DOMException;

    public CSSStyleSheet getParentStyleSheet();

    public CSSRule getParentRule();

}

org/w3c/dom/css/CSSStyleRule.java:

package org.w3c.dom.css;

import org.w3c.dom.DOMException;

public interface CSSStyleRule extends CSSRule {
    public String getSelectorText();
    public void setSelectorText(String selectorText)
                        throws DOMException;

    public CSSStyleDeclaration getStyle();

}

org/w3c/dom/css/CSSMediaRule.java:

package org.w3c.dom.css;

import org.w3c.dom.DOMException;
import org.w3c.dom.stylesheets.MediaList;

public interface CSSMediaRule extends CSSRule {
    public MediaList getMedia();

    public CSSRuleList getCssRules();

    public int insertRule(String rule, 
                          int index)
                          throws DOMException;

    public void deleteRule(int index)
                           throws DOMException;

}

org/w3c/dom/css/CSSFontFaceRule.java:

package org.w3c.dom.css;

public interface CSSFontFaceRule extends CSSRule {
    public CSSStyleDeclaration getStyle();

}

org/w3c/dom/css/CSSPageRule.java:

package org.w3c.dom.css;

import org.w3c.dom.DOMException;

public interface CSSPageRule extends CSSRule {
    public String getSelectorText();
    public void setSelectorText(String selectorText)
                           throws DOMException;

    public CSSStyleDeclaration getStyle();

}

org/w3c/dom/css/CSSImportRule.java:

package org.w3c.dom.css;

import org.w3c.dom.stylesheets.MediaList;

public interface CSSImportRule extends CSSRule {
    public String getHref();

    public MediaList getMedia();

    public CSSStyleSheet getStyleSheet();

}

org/w3c/dom/css/CSSCharsetRule.java:

package org.w3c.dom.css;

import org.w3c.dom.DOMException;

public interface CSSCharsetRule extends CSSRule {
    public String getEncoding();
    public void setEncoding(String encoding)
                           throws DOMException;

}

org/w3c/dom/css/CSSUnknownRule.java:

package org.w3c.dom.css;

public interface CSSUnknownRule extends CSSRule {
}

org/w3c/dom/css/CSSStyleDeclaration.java:

package org.w3c.dom.css;

import org.w3c.dom.DOMException;

public interface CSSStyleDeclaration {
    public String getCssText();
    public void setCssText(String cssText)
                           throws DOMException;

    public String getPropertyValue(String propertyName);

    public CSSValue getPropertyCSSValue(String propertyName);

    public String removeProperty(String propertyName)
                                 throws DOMException;

    public String getPropertyPriority(String propertyName);

    public void setProperty(String propertyName, 
                            String value, 
                            String priority)
                            throws DOMException;

    public int getLength();

    public String item(int index);

    public CSSRule getParentRule();

}

org/w3c/dom/css/CSSValue.java:

package org.w3c.dom.css;

import org.w3c.dom.DOMException;

public interface CSSValue {
    // Types d'unité
    public static final short CSS_INHERIT               = 0;
    public static final short CSS_PRIMITIVE_VALUE       = 1;
    public static final short CSS_VALUE_LIST            = 2;
    public static final short CSS_CUSTOM                = 3;

    public String getCssText();
    public void setCssText(String cssText)
                       throws DOMException;

    public short getCssValueType();

}

org/w3c/dom/css/CSSPrimitiveValue.java:

package org.w3c.dom.css;

import org.w3c.dom.DOMException;

public interface CSSPrimitiveValue extends CSSValue {
    // Types d'unité
    public static final short CSS_UNKNOWN               = 0;
    public static final short CSS_NUMBER                = 1;
    public static final short CSS_PERCENTAGE            = 2;
    public static final short CSS_EMS                   = 3;
    public static final short CSS_EXS                   = 4;
    public static final short CSS_PX                    = 5;
    public static final short CSS_CM                    = 6;
    public static final short CSS_MM                    = 7;
    public static final short CSS_IN                    = 8;
    public static final short CSS_PT                    = 9;
    public static final short CSS_PC                    = 10;
    public static final short CSS_DEG                   = 11;
    public static final short CSS_RAD                   = 12;
    public static final short CSS_GRAD                  = 13;
    public static final short CSS_MS                    = 14;
    public static final short CSS_S                     = 15;
    public static final short CSS_HZ                    = 16;
    public static final short CSS_KHZ                   = 17;
    public static final short CSS_DIMENSION             = 18;
    public static final short CSS_STRING                = 19;
    public static final short CSS_URI                   = 20;
    public static final short CSS_IDENT                 = 21;
    public static final short CSS_ATTR                  = 22;
    public static final short CSS_COUNTER               = 23;
    public static final short CSS_RECT                  = 24;
    public static final short CSS_RGBCOLOR              = 25;

    public short getPrimitiveType();

    public void setFloatValue(short unitType, 
                              float floatValue)
                              throws DOMException;

    public float getFloatValue(short unitType)
                               throws DOMException;

    public void setStringValue(short stringType, 
                               String stringValue)
                               throws DOMException;

    public String getStringValue()
                                 throws DOMException;

    public Counter getCounterValue()
                                   throws DOMException;

    public Rect getRectValue()
                             throws DOMException;

    public RGBColor getRGBColorValue()
                                     throws DOMException;

}

org/w3c/dom/css/CSSValueList.java:

package org.w3c.dom.css;

public interface CSSValueList extends CSSValue {
    public int getLength();

    public CSSValue item(int index);

}

org/w3c/dom/css/RGBColor.java:

package org.w3c.dom.css;

public interface RGBColor {
    public CSSPrimitiveValue getRed();

    public CSSPrimitiveValue getGreen();

    public CSSPrimitiveValue getBlue();

}

org/w3c/dom/css/Rect.java:

package org.w3c.dom.css;

public interface Rect {
    public CSSPrimitiveValue getTop();

    public CSSPrimitiveValue getRight();

    public CSSPrimitiveValue getBottom();

    public CSSPrimitiveValue getLeft();

}

org/w3c/dom/css/Counter.java:

package org.w3c.dom.css;

public interface Counter {
    public String getIdentifier();

    public String getListStyle();

    public String getSeparator();

}

org/w3c/dom/css/ViewCSS.java:

package org.w3c.dom.css;

import org.w3c.dom.views.AbstractView;
import org.w3c.dom.Element;

public interface ViewCSS extends AbstractView {
    public CSSStyleDeclaration getComputedStyle(Element elt, 
                                                String pseudoElt);

}

org/w3c/dom/css/DocumentCSS.java:

package org.w3c.dom.css;

import org.w3c.dom.stylesheets.DocumentStyle;
import org.w3c.dom.Element;

public interface DocumentCSS extends DocumentStyle {
    public CSSStyleDeclaration getOverrideStyle(Element elt, 
                                                String pseudoElt);

}

org/w3c/dom/css/DOMImplementationCSS.java:

package org.w3c.dom.css;

import org.w3c.dom.DOMImplementation;
import org.w3c.dom.DOMException;

public interface DOMImplementationCSS extends DOMImplementation {
    public CSSStyleSheet createCSSStyleSheet(String title, 
                                             String media)
                                             throws DOMException;

}

org/w3c/dom/css/ElementCSSInlineStyle.java:

package org.w3c.dom.css;

public interface ElementCSSInlineStyle {
    public CSSStyleDeclaration getStyle();

}

org/w3c/dom/css/CSS2Properties.java:

package org.w3c.dom.css;

import org.w3c.dom.DOMException;

public interface CSS2Properties {
    public String getAzimuth();
    public void setAzimuth(String azimuth)
                                             throws DOMException;

    public String getBackground();
    public void setBackground(String background)
                                             throws DOMException;

    public String getBackgroundAttachment();
    public void setBackgroundAttachment(String backgroundAttachment)
                                             throws DOMException;

    public String getBackgroundColor();
    public void setBackgroundColor(String backgroundColor)
                                             throws DOMException;

    public String getBackgroundImage();
    public void setBackgroundImage(String backgroundImage)
                                             throws DOMException;

    public String getBackgroundPosition();
    public void setBackgroundPosition(String backgroundPosition)
                                             throws DOMException;

    public String getBackgroundRepeat();
    public void setBackgroundRepeat(String backgroundRepeat)
                                             throws DOMException;

    public String getBorder();
    public void setBorder(String border)
                                             throws DOMException;

    public String getBorderCollapse();
    public void setBorderCollapse(String borderCollapse)
                                             throws DOMException;

    public String getBorderColor();
    public void setBorderColor(String borderColor)
                                             throws DOMException;

    public String getBorderSpacing();
    public void setBorderSpacing(String borderSpacing)
                                             throws DOMException;

    public String getBorderStyle();
    public void setBorderStyle(String borderStyle)
                                             throws DOMException;

    public String getBorderTop();
    public void setBorderTop(String borderTop)
                                             throws DOMException;

    public String getBorderRight();
    public void setBorderRight(String borderRight)
                                             throws DOMException;

    public String getBorderBottom();
    public void setBorderBottom(String borderBottom)
                                             throws DOMException;

    public String getBorderLeft();
    public void setBorderLeft(String borderLeft)
                                             throws DOMException;

    public String getBorderTopColor();
    public void setBorderTopColor(String borderTopColor)
                                             throws DOMException;

    public String getBorderRightColor();
    public void setBorderRightColor(String borderRightColor)
                                             throws DOMException;

    public String getBorderBottomColor();
    public void setBorderBottomColor(String borderBottomColor)
                                             throws DOMException;

    public String getBorderLeftColor();
    public void setBorderLeftColor(String borderLeftColor)
                                             throws DOMException;

    public String getBorderTopStyle();
    public void setBorderTopStyle(String borderTopStyle)
                                             throws DOMException;

    public String getBorderRightStyle();
    public void setBorderRightStyle(String borderRightStyle)
                                             throws DOMException;

    public String getBorderBottomStyle();
    public void setBorderBottomStyle(String borderBottomStyle)
                                             throws DOMException;

    public String getBorderLeftStyle();
    public void setBorderLeftStyle(String borderLeftStyle)
                                             throws DOMException;

    public String getBorderTopWidth();
    public void setBorderTopWidth(String borderTopWidth)
                                             throws DOMException;

    public String getBorderRightWidth();
    public void setBorderRightWidth(String borderRightWidth)
                                             throws DOMException;

    public String getBorderBottomWidth();
    public void setBorderBottomWidth(String borderBottomWidth)
                                             throws DOMException;

    public String getBorderLeftWidth();
    public void setBorderLeftWidth(String borderLeftWidth)
                                             throws DOMException;

    public String getBorderWidth();
    public void setBorderWidth(String borderWidth)
                                             throws DOMException;

    public String getBottom();
    public void setBottom(String bottom)
                                             throws DOMException;

    public String getCaptionSide();
    public void setCaptionSide(String captionSide)
                                             throws DOMException;

    public String getClear();
    public void setClear(String clear)
                                             throws DOMException;

    public String getClip();
    public void setClip(String clip)
                                             throws DOMException;

    public String getColor();
    public void setColor(String color)
                                             throws DOMException;

    public String getContent();
    public void setContent(String content)
                                             throws DOMException;

    public String getCounterIncrement();
    public void setCounterIncrement(String counterIncrement)
                                             throws DOMException;

    public String getCounterReset();
    public void setCounterReset(String counterReset)
                                             throws DOMException;

    public String getCue();
    public void setCue(String cue)
                                             throws DOMException;

    public String getCueAfter();
    public void setCueAfter(String cueAfter)
                                             throws DOMException;

    public String getCueBefore();
    public void setCueBefore(String cueBefore)
                                             throws DOMException;

    public String getCursor();
    public void setCursor(String cursor)
                                             throws DOMException;

    public String getDirection();
    public void setDirection(String direction)
                                             throws DOMException;

    public String getDisplay();
    public void setDisplay(String display)
                                             throws DOMException;

    public String getElevation();
    public void setElevation(String elevation)
                                             throws DOMException;

    public String getEmptyCells();
    public void setEmptyCells(String emptyCells)
                                             throws DOMException;

    public String getCssFloat();
    public void setCssFloat(String cssFloat)
                                             throws DOMException;

    public String getFont();
    public void setFont(String font)
                                             throws DOMException;

    public String getFontFamily();
    public void setFontFamily(String fontFamily)
                                             throws DOMException;

    public String getFontSize();
    public void setFontSize(String fontSize)
                                             throws DOMException;

    public String getFontSizeAdjust();
    public void setFontSizeAdjust(String fontSizeAdjust)
                                             throws DOMException;

    public String getFontStretch();
    public void setFontStretch(String fontStretch)
                                             throws DOMException;

    public String getFontStyle();
    public void setFontStyle(String fontStyle)
                                             throws DOMException;

    public String getFontVariant();
    public void setFontVariant(String fontVariant)
                                             throws DOMException;

    public String getFontWeight();
    public void setFontWeight(String fontWeight)
                                             throws DOMException;

    public String getHeight();
    public void setHeight(String height)
                                             throws DOMException;

    public String getLeft();
    public void setLeft(String left)
                                             throws DOMException;

    public String getLetterSpacing();
    public void setLetterSpacing(String letterSpacing)
                                             throws DOMException;

    public String getLineHeight();
    public void setLineHeight(String lineHeight)
                                             throws DOMException;

    public String getListStyle();
    public void setListStyle(String listStyle)
                                             throws DOMException;

    public String getListStyleImage();
    public void setListStyleImage(String listStyleImage)
                                             throws DOMException;

    public String getListStylePosition();
    public void setListStylePosition(String listStylePosition)
                                             throws DOMException;

    public String getListStyleType();
    public void setListStyleType(String listStyleType)
                                             throws DOMException;

    public String getMargin();
    public void setMargin(String margin)
                                             throws DOMException;

    public String getMarginTop();
    public void setMarginTop(String marginTop)
                                             throws DOMException;

    public String getMarginRight();
    public void setMarginRight(String marginRight)
                                             throws DOMException;

    public String getMarginBottom();
    public void setMarginBottom(String marginBottom)
                                             throws DOMException;

    public String getMarginLeft();
    public void setMarginLeft(String marginLeft)
                                             throws DOMException;

    public String getMarkerOffset();
    public void setMarkerOffset(String markerOffset)
                                             throws DOMException;

    public String getMarks();
    public void setMarks(String marks)
                                             throws DOMException;

    public String getMaxHeight();
    public void setMaxHeight(String maxHeight)
                                             throws DOMException;

    public String getMaxWidth();
    public void setMaxWidth(String maxWidth)
                                             throws DOMException;

    public String getMinHeight();
    public void setMinHeight(String minHeight)
                                             throws DOMException;

    public String getMinWidth();
    public void setMinWidth(String minWidth)
                                             throws DOMException;

    public String getOrphans();
    public void setOrphans(String orphans)
                                             throws DOMException;

    public String getOutline();
    public void setOutline(String outline)
                                             throws DOMException;

    public String getOutlineColor();
    public void setOutlineColor(String outlineColor)
                                             throws DOMException;

    public String getOutlineStyle();
    public void setOutlineStyle(String outlineStyle)
                                             throws DOMException;

    public String getOutlineWidth();
    public void setOutlineWidth(String outlineWidth)
                                             throws DOMException;

    public String getOverflow();
    public void setOverflow(String overflow)
                                             throws DOMException;

    public String getPadding();
    public void setPadding(String padding)
                                             throws DOMException;

    public String getPaddingTop();
    public void setPaddingTop(String paddingTop)
                                             throws DOMException;

    public String getPaddingRight();
    public void setPaddingRight(String paddingRight)
                                             throws DOMException;

    public String getPaddingBottom();
    public void setPaddingBottom(String paddingBottom)
                                             throws DOMException;

    public String getPaddingLeft();
    public void setPaddingLeft(String paddingLeft)
                                             throws DOMException;

    public String getPage();
    public void setPage(String page)
                                             throws DOMException;

    public String getPageBreakAfter();
    public void setPageBreakAfter(String pageBreakAfter)
                                             throws DOMException;

    public String getPageBreakBefore();
    public void setPageBreakBefore(String pageBreakBefore)
                                             throws DOMException;

    public String getPageBreakInside();
    public void setPageBreakInside(String pageBreakInside)
                                             throws DOMException;

    public String getPause();
    public void setPause(String pause)
                                             throws DOMException;

    public String getPauseAfter();
    public void setPauseAfter(String pauseAfter)
                                             throws DOMException;

    public String getPauseBefore();
    public void setPauseBefore(String pauseBefore)
                                             throws DOMException;

    public String getPitch();
    public void setPitch(String pitch)
                                             throws DOMException;

    public String getPitchRange();
    public void setPitchRange(String pitchRange)
                                             throws DOMException;

    public String getPlayDuring();
    public void setPlayDuring(String playDuring)
                                             throws DOMException;

    public String getPosition();
    public void setPosition(String position)
                                             throws DOMException;

    public String getQuotes();
    public void setQuotes(String quotes)
                                             throws DOMException;

    public String getRichness();
    public void setRichness(String richness)
                                             throws DOMException;

    public String getRight();
    public void setRight(String right)
                                             throws DOMException;

    public String getSize();
    public void setSize(String size)
                                             throws DOMException;

    public String getSpeak();
    public void setSpeak(String speak)
                                             throws DOMException;

    public String getSpeakHeader();
    public void setSpeakHeader(String speakHeader)
                                             throws DOMException;

    public String getSpeakNumeral();
    public void setSpeakNumeral(String speakNumeral)
                                             throws DOMException;

    public String getSpeakPunctuation();
    public void setSpeakPunctuation(String speakPunctuation)
                                             throws DOMException;

    public String getSpeechRate();
    public void setSpeechRate(String speechRate)
                                             throws DOMException;

    public String getStress();
    public void setStress(String stress)
                                             throws DOMException;

    public String getTableLayout();
    public void setTableLayout(String tableLayout)
                                             throws DOMException;

    public String getTextAlign();
    public void setTextAlign(String textAlign)
                                             throws DOMException;

    public String getTextDecoration();
    public void setTextDecoration(String textDecoration)
                                             throws DOMException;

    public String getTextIndent();
    public void setTextIndent(String textIndent)
                                             throws DOMException;

    public String getTextShadow();
    public void setTextShadow(String textShadow)
                                             throws DOMException;

    public String getTextTransform();
    public void setTextTransform(String textTransform)
                                             throws DOMException;

    public String getTop();
    public void setTop(String top)
                                             throws DOMException;

    public String getUnicodeBidi();
    public void setUnicodeBidi(String unicodeBidi)
                                             throws DOMException;

    public String getVerticalAlign();
    public void setVerticalAlign(String verticalAlign)
                                             throws DOMException;

    public String getVisibility();
    public void setVisibility(String visibility)
                                             throws DOMException;

    public String getVoiceFamily();
    public void setVoiceFamily(String voiceFamily)
                                             throws DOMException;

    public String getVolume();
    public void setVolume(String volume)
                                             throws DOMException;

    public String getWhiteSpace();
    public void setWhiteSpace(String whiteSpace)
                                             throws DOMException;

    public String getWidows();
    public void setWidows(String widows)
                                             throws DOMException;

    public String getWidth();
    public void setWidth(String width)
                                             throws DOMException;

    public String getWordSpacing();
    public void setWordSpacing(String wordSpacing)
                                             throws DOMException;

    public String getZIndex();
    public void setZIndex(String zIndex)
                                             throws DOMException;

}