Appendix B: Java Language Binding

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();
}

package org.w3c.dom.stylesheets;
public interface StyleSheetList {
 public int getLength();
 public StyleSheet item(int index);
}

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;
}

package org.w3c.dom.stylesheets;
public interface LinkStyle {
 public StyleSheet getSheet();
}

package org.w3c.dom.stylesheets;
public interface DocumentStyle {
 public StyleSheetList getStyleSheets();
}

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;
}

package org.w3c.dom.css;
public interface CSSRuleList {
 public int getLength();
 public CSSRule item(int index);
}

package org.w3c.dom.css;
import org.w3c.dom.DOMException;
public interface CSSRule {
 // RuleType
 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();
}

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();
}

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;
}

package org.w3c.dom.css;
public interface CSSFontFaceRule extends CSSRule {
 public CSSStyleDeclaration getStyle();
}

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();
}

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();
}

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;
}

package org.w3c.dom.css;
public interface CSSUnknownRule extends CSSRule {
}

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();
}

package org.w3c.dom.css;
import org.w3c.dom.DOMException;
public interface CSSValue {
 // UnitTypes
 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();
}

package org.w3c.dom.css;
import org.w3c.dom.DOMException;
public interface CSSPrimitiveValue extends CSSValue {
 // UnitTypes
 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;
}

package org.w3c.dom.css;
public interface CSSValueList extends CSSValue {
 public int getLength();
 public CSSValue item(int index);
}

package org.w3c.dom.css;
public interface RGBColor {
 public CSSPrimitiveValue getRed();
 public CSSPrimitiveValue getGreen();
 public CSSPrimitiveValue getBlue();
}

package org.w3c.dom.css;
public interface Rect {
 public CSSPrimitiveValue getTop();
 public CSSPrimitiveValue getRight();
 public CSSPrimitiveValue getBottom();
 public CSSPrimitiveValue getLeft();
}

package org.w3c.dom.css;
public interface Counter {
 public String getIdentifier();
 public String getListStyle();
 public String getSeparator();
}

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);
}

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);
}

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;
}

package org.w3c.dom.css;
public interface ElementCSSInlineStyle {
 public CSSStyleDeclaration getStyle();
}

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;
}