Appendix C: Java language Binding

package org.w3c.dom.html2;
import org.w3c.dom.Node;
public interface HTMLCollection {
 public int getLength();
 public Node item(int index);
 public Node namedItem(String name);
}

package org.w3c.dom.html2;
import org.w3c.dom.Node;
import org.w3c.dom.DOMException;
public interface HTMLOptionsCollection {
 public int getLength();
 public void setLength(int length)
 throws DOMException;
 public Node item(int index);
 public Node namedItem(String name);
}

package org.w3c.dom.html2;
import org.w3c.dom.Document;
import org.w3c.dom.NodeList;
import org.w3c.dom.DOMException;
public interface HTMLDocument extends Document {
 public String getTitle();
 public void setTitle(String title);
 public String getReferrer();
 public String getDomain();
 public String getURL();
 public HTMLElement getBody();
 public void setBody(HTMLElement body);
 public HTMLCollection getImages();
 public HTMLCollection getApplets();
 public HTMLCollection getLinks();
 public HTMLCollection getForms();
 public HTMLCollection getAnchors();
 public String getCookie();
 public void setCookie(String cookie)
 throws DOMException;
 public void open();
 public void close();
 public void write(String text);
 public void writeln(String text);
 public NodeList getElementsByName(String elementName);
}

package org.w3c.dom.html2;
import org.w3c.dom.Element;
public interface HTMLElement extends Element {
 public String getId();
 public void setId(String id);
 public String getTitle();
 public void setTitle(String title);
 public String getLang();
 public void setLang(String lang);
 public String getDir();
 public void setDir(String dir);
 public String getClassName();
 public void setClassName(String className);
}

package org.w3c.dom.html2;
public interface HTMLHtmlElement extends HTMLElement {
 public String getVersion();
 public void setVersion(String version);
}

package org.w3c.dom.html2;
public interface HTMLHeadElement extends HTMLElement {
 public String getProfile();
 public void setProfile(String profile);
}

package org.w3c.dom.html2;
public interface HTMLLinkElement extends HTMLElement {
 public boolean getDisabled();
 public void setDisabled(boolean disabled);
 public String getCharset();
 public void setCharset(String charset);
 public String getHref();
 public void setHref(String href);
 public String getHreflang();
 public void setHreflang(String hreflang);
 public String getMedia();
 public void setMedia(String media);
 public String getRel();
 public void setRel(String rel);
 public String getRev();
 public void setRev(String rev);
 public String getTarget();
 public void setTarget(String target);
 public String getType();
 public void setType(String type);
}

package org.w3c.dom.html2;
public interface HTMLTitleElement extends HTMLElement {
 public String getText();
 public void setText(String text);
}

package org.w3c.dom.html2;
public interface HTMLMetaElement extends HTMLElement {
 public String getContent();
 public void setContent(String content);
 public String getHttpEquiv();
 public void setHttpEquiv(String httpEquiv);
 public String getName();
 public void setName(String name);
 public String getScheme();
 public void setScheme(String scheme);
}

package org.w3c.dom.html2;
public interface HTMLBaseElement extends HTMLElement {
 public String getHref();
 public void setHref(String href);
 public String getTarget();
 public void setTarget(String target);
}

package org.w3c.dom.html2;
public interface HTMLIsIndexElement extends HTMLElement {
 public HTMLFormElement getForm();
 public String getPrompt();
 public void setPrompt(String prompt);
}

package org.w3c.dom.html2;
public interface HTMLStyleElement extends HTMLElement {
 public boolean getDisabled();
 public void setDisabled(boolean disabled);
 public String getMedia();
 public void setMedia(String media);
 public String getType();
 public void setType(String type);
}

package org.w3c.dom.html2;
public interface HTMLBodyElement extends HTMLElement {
 public String getALink();
 public void setALink(String aLink);
 public String getBackground();
 public void setBackground(String background);
 public String getBgColor();
 public void setBgColor(String bgColor);
 public String getLink();
 public void setLink(String link);
 public String getText();
 public void setText(String text);
 public String getVLink();
 public void setVLink(String vLink);
}

package org.w3c.dom.html2;
public interface HTMLFormElement extends HTMLElement {
 public HTMLCollection getElements();
 public int getLength();
 public String getName();
 public void setName(String name);
 public String getAcceptCharset();
 public void setAcceptCharset(String acceptCharset);
 public String getAction();
 public void setAction(String action);
 public String getEnctype();
 public void setEnctype(String enctype);
 public String getMethod();
 public void setMethod(String method);
 public String getTarget();
 public void setTarget(String target);
 public void submit();
 public void reset();
}

package org.w3c.dom.html2;
import org.w3c.dom.DOMException;
public interface HTMLSelectElement extends HTMLElement {
 public String getType();
 public int getSelectedIndex();
 public void setSelectedIndex(int selectedIndex);
 public String getValue();
 public void setValue(String value);
 public int getLength();
 public void setLength(int length)
 throws DOMException;
 public HTMLFormElement getForm();
 public HTMLOptionsCollection getOptions();
 public boolean getDisabled();
 public void setDisabled(boolean disabled);
 public boolean getMultiple();
 public void setMultiple(boolean multiple);
 public String getName();
 public void setName(String name);
 public int getSize();
 public void setSize(int size);
 public int getTabIndex();
 public void setTabIndex(int tabIndex);
 public void add(HTMLElement element, 
 HTMLElement before)
 throws DOMException;
 public void remove(int index);
 public void blur();
 public void focus();
}

package org.w3c.dom.html2;
public interface HTMLOptGroupElement extends HTMLElement {
 public boolean getDisabled();
 public void setDisabled(boolean disabled);
 public String getLabel();
 public void setLabel(String label);
}

package org.w3c.dom.html2;
public interface HTMLOptionElement extends HTMLElement {
 public HTMLFormElement getForm();
 public boolean getDefaultSelected();
 public void setDefaultSelected(boolean defaultSelected);
 public String getText();
 public int getIndex();
 public boolean getDisabled();
 public void setDisabled(boolean disabled);
 public String getLabel();
 public void setLabel(String label);
 public boolean getSelected();
 public void setSelected(boolean selected);
 public String getValue();
 public void setValue(String value);
}

package org.w3c.dom.html2;
public interface HTMLInputElement extends HTMLElement {
 public String getDefaultValue();
 public void setDefaultValue(String defaultValue);
 public boolean getDefaultChecked();
 public void setDefaultChecked(boolean defaultChecked);
 public HTMLFormElement getForm();
 public String getAccept();
 public void setAccept(String accept);
 public String getAccessKey();
 public void setAccessKey(String accessKey);
 public String getAlign();
 public void setAlign(String align);
 public String getAlt();
 public void setAlt(String alt);
 public boolean getChecked();
 public void setChecked(boolean checked);
 public boolean getDisabled();
 public void setDisabled(boolean disabled);
 public int getMaxLength();
 public void setMaxLength(int maxLength);
 public String getName();
 public void setName(String name);
 public boolean getReadOnly();
 public void setReadOnly(boolean readOnly);
 public int getSize();
 public void setSize(int size);
 public String getSrc();
 public void setSrc(String src);
 public int getTabIndex();
 public void setTabIndex(int tabIndex);
 public String getType();
 public void setType(String type);
 public String getUseMap();
 public void setUseMap(String useMap);
 public String getValue();
 public void setValue(String value);
 public void blur();
 public void focus();
 public void select();
 public void click();
}

package org.w3c.dom.html2;
public interface HTMLTextAreaElement extends HTMLElement {
 public String getDefaultValue();
 public void setDefaultValue(String defaultValue);
 public HTMLFormElement getForm();
 public String getAccessKey();
 public void setAccessKey(String accessKey);
 public int getCols();
 public void setCols(int cols);
 public boolean getDisabled();
 public void setDisabled(boolean disabled);
 public String getName();
 public void setName(String name);
 public boolean getReadOnly();
 public void setReadOnly(boolean readOnly);
 public int getRows();
 public void setRows(int rows);
 public int getTabIndex();
 public void setTabIndex(int tabIndex);
 public String getType();
 public String getValue();
 public void setValue(String value);
 public void blur();
 public void focus();
 public void select();
}

package org.w3c.dom.html2;
public interface HTMLButtonElement extends HTMLElement {
 public HTMLFormElement getForm();
 public String getAccessKey();
 public void setAccessKey(String accessKey);
 public boolean getDisabled();
 public void setDisabled(boolean disabled);
 public String getName();
 public void setName(String name);
 public int getTabIndex();
 public void setTabIndex(int tabIndex);
 public String getType();
 public String getValue();
 public void setValue(String value);
}

package org.w3c.dom.html2;
public interface HTMLLabelElement extends HTMLElement {
 public HTMLFormElement getForm();
 public String getAccessKey();
 public void setAccessKey(String accessKey);
 public String getHtmlFor();
 public void setHtmlFor(String htmlFor);
}

package org.w3c.dom.html2;
public interface HTMLFieldSetElement extends HTMLElement {
 public HTMLFormElement getForm();
}

package org.w3c.dom.html2;
public interface HTMLLegendElement extends HTMLElement {
 public HTMLFormElement getForm();
 public String getAccessKey();
 public void setAccessKey(String accessKey);
 public String getAlign();
 public void setAlign(String align);
}

package org.w3c.dom.html2;
public interface HTMLUListElement extends HTMLElement {
 public boolean getCompact();
 public void setCompact(boolean compact);
 public String getType();
 public void setType(String type);
}

package org.w3c.dom.html2;
public interface HTMLOListElement extends HTMLElement {
 public boolean getCompact();
 public void setCompact(boolean compact);
 public int getStart();
 public void setStart(int start);
 public String getType();
 public void setType(String type);
}

package org.w3c.dom.html2;
public interface HTMLDListElement extends HTMLElement {
 public boolean getCompact();
 public void setCompact(boolean compact);
}

package org.w3c.dom.html2;
public interface HTMLDirectoryElement extends HTMLElement {
 public boolean getCompact();
 public void setCompact(boolean compact);
}

package org.w3c.dom.html2;
public interface HTMLMenuElement extends HTMLElement {
 public boolean getCompact();
 public void setCompact(boolean compact);
}

package org.w3c.dom.html2;
public interface HTMLLIElement extends HTMLElement {
 public String getType();
 public void setType(String type);
 public int getValue();
 public void setValue(int value);
}

package org.w3c.dom.html2;
public interface HTMLDivElement extends HTMLElement {
 public String getAlign();
 public void setAlign(String align);
}

package org.w3c.dom.html2;
public interface HTMLParagraphElement extends HTMLElement {
 public String getAlign();
 public void setAlign(String align);
}

package org.w3c.dom.html2;
public interface HTMLHeadingElement extends HTMLElement {
 public String getAlign();
 public void setAlign(String align);
}

package org.w3c.dom.html2;
public interface HTMLQuoteElement extends HTMLElement {
 public String getCite();
 public void setCite(String cite);
}

package org.w3c.dom.html2;
public interface HTMLPreElement extends HTMLElement {
 public int getWidth();
 public void setWidth(int width);
}

package org.w3c.dom.html2;
public interface HTMLBRElement extends HTMLElement {
 public String getClear();
 public void setClear(String clear);
}

package org.w3c.dom.html2;
public interface HTMLBaseFontElement extends HTMLElement {
 public String getColor();
 public void setColor(String color);
 public String getFace();
 public void setFace(String face);
 public int getSize();
 public void setSize(int size);
}

package org.w3c.dom.html2;
public interface HTMLFontElement extends HTMLElement {
 public String getColor();
 public void setColor(String color);
 public String getFace();
 public void setFace(String face);
 public String getSize();
 public void setSize(String size);
}

package org.w3c.dom.html2;
public interface HTMLHRElement extends HTMLElement {
 public String getAlign();
 public void setAlign(String align);
 public boolean getNoShade();
 public void setNoShade(boolean noShade);
 public String getSize();
 public void setSize(String size);
 public String getWidth();
 public void setWidth(String width);
}

package org.w3c.dom.html2;
public interface HTMLModElement extends HTMLElement {
 public String getCite();
 public void setCite(String cite);
 public String getDateTime();
 public void setDateTime(String dateTime);
}

package org.w3c.dom.html2;
public interface HTMLAnchorElement extends HTMLElement {
 public String getAccessKey();
 public void setAccessKey(String accessKey);
 public String getCharset();
 public void setCharset(String charset);
 public String getCoords();
 public void setCoords(String coords);
 public String getHref();
 public void setHref(String href);
 public String getHreflang();
 public void setHreflang(String hreflang);
 public String getName();
 public void setName(String name);
 public String getRel();
 public void setRel(String rel);
 public String getRev();
 public void setRev(String rev);
 public String getShape();
 public void setShape(String shape);
 public int getTabIndex();
 public void setTabIndex(int tabIndex);
 public String getTarget();
 public void setTarget(String target);
 public String getType();
 public void setType(String type);
 public void blur();
 public void focus();
}

package org.w3c.dom.html2;
public interface HTMLImageElement extends HTMLElement {
 public String getName();
 public void setName(String name);
 public String getAlign();
 public void setAlign(String align);
 public String getAlt();
 public void setAlt(String alt);
 public String getBorder();
 public void setBorder(String border);
 public int getHeight();
 public void setHeight(int height);
 public int getHspace();
 public void setHspace(int hspace);
 public boolean getIsMap();
 public void setIsMap(boolean isMap);
 public String getLongDesc();
 public void setLongDesc(String longDesc);
 public String getSrc();
 public void setSrc(String src);
 public String getUseMap();
 public void setUseMap(String useMap);
 public int getVspace();
 public void setVspace(int vspace);
 public int getWidth();
 public void setWidth(int width);
}

package org.w3c.dom.html2;
import org.w3c.dom.Document;
public interface HTMLObjectElement extends HTMLElement {
 public HTMLFormElement getForm();
 public String getCode();
 public void setCode(String code);
 public String getAlign();
 public void setAlign(String align);
 public String getArchive();
 public void setArchive(String archive);
 public String getBorder();
 public void setBorder(String border);
 public String getCodeBase();
 public void setCodeBase(String codeBase);
 public String getCodeType();
 public void setCodeType(String codeType);
 public String getData();
 public void setData(String data);
 public boolean getDeclare();
 public void setDeclare(boolean declare);
 public String getHeight();
 public void setHeight(String height);
 public int getHspace();
 public void setHspace(int hspace);
 public String getName();
 public void setName(String name);
 public String getStandby();
 public void setStandby(String standby);
 public int getTabIndex();
 public void setTabIndex(int tabIndex);
 public String getType();
 public void setType(String type);
 public String getUseMap();
 public void setUseMap(String useMap);
 public int getVspace();
 public void setVspace(int vspace);
 public String getWidth();
 public void setWidth(String width);
 public Document getContentDocument();
}

package org.w3c.dom.html2;
public interface HTMLParamElement extends HTMLElement {
 public String getName();
 public void setName(String name);
 public String getType();
 public void setType(String type);
 public String getValue();
 public void setValue(String value);
 public String getValueType();
 public void setValueType(String valueType);
}

package org.w3c.dom.html2;
public interface HTMLAppletElement extends HTMLElement {
 public String getAlign();
 public void setAlign(String align);
 public String getAlt();
 public void setAlt(String alt);
 public String getArchive();
 public void setArchive(String archive);
 public String getCode();
 public void setCode(String code);
 public String getCodeBase();
 public void setCodeBase(String codeBase);
 public String getHeight();
 public void setHeight(String height);
 public int getHspace();
 public void setHspace(int hspace);
 public String getName();
 public void setName(String name);
 public String getObject();
 public void setObject(String object);
 public int getVspace();
 public void setVspace(int vspace);
 public String getWidth();
 public void setWidth(String width);
}

package org.w3c.dom.html2;
public interface HTMLMapElement extends HTMLElement {
 public HTMLCollection getAreas();
 public String getName();
 public void setName(String name);
}

package org.w3c.dom.html2;
public interface HTMLAreaElement extends HTMLElement {
 public String getAccessKey();
 public void setAccessKey(String accessKey);
 public String getAlt();
 public void setAlt(String alt);
 public String getCoords();
 public void setCoords(String coords);
 public String getHref();
 public void setHref(String href);
 public boolean getNoHref();
 public void setNoHref(boolean noHref);
 public String getShape();
 public void setShape(String shape);
 public int getTabIndex();
 public void setTabIndex(int tabIndex);
 public String getTarget();
 public void setTarget(String target);
}

package org.w3c.dom.html2;
public interface HTMLScriptElement extends HTMLElement {
 public String getText();
 public void setText(String text);
 public String getHtmlFor();
 public void setHtmlFor(String htmlFor);
 public String getEvent();
 public void setEvent(String event);
 public String getCharset();
 public void setCharset(String charset);
 public boolean getDefer();
 public void setDefer(boolean defer);
 public String getSrc();
 public void setSrc(String src);
 public String getType();
 public void setType(String type);
}

package org.w3c.dom.html2;
import org.w3c.dom.DOMException;
public interface HTMLTableElement extends HTMLElement {
 public HTMLTableCaptionElement getCaption();
 public void setCaption(HTMLTableCaptionElement caption)
 throws DOMException;
 public HTMLTableSectionElement getTHead();
 public void setTHead(HTMLTableSectionElement tHead)
 throws DOMException;
 public HTMLTableSectionElement getTFoot();
 public void setTFoot(HTMLTableSectionElement tFoot)
 throws DOMException;
 public HTMLCollection getRows();
 public HTMLCollection getTBodies();
 public String getAlign();
 public void setAlign(String align);
 public String getBgColor();
 public void setBgColor(String bgColor);
 public String getBorder();
 public void setBorder(String border);
 public String getCellPadding();
 public void setCellPadding(String cellPadding);
 public String getCellSpacing();
 public void setCellSpacing(String cellSpacing);
 public String getFrame();
 public void setFrame(String frame);
 public String getRules();
 public void setRules(String rules);
 public String getSummary();
 public void setSummary(String summary);
 public String getWidth();
 public void setWidth(String width);
 public HTMLElement createTHead();
 public void deleteTHead();
 public HTMLElement createTFoot();
 public void deleteTFoot();
 public HTMLElement createCaption();
 public void deleteCaption();
 public HTMLElement insertRow(int index)
 throws DOMException;
 public void deleteRow(int index)
 throws DOMException;
}

package org.w3c.dom.html2;
public interface HTMLTableCaptionElement extends HTMLElement {
 public String getAlign();
 public void setAlign(String align);
}

package org.w3c.dom.html2;
public interface HTMLTableColElement extends HTMLElement {
 public String getAlign();
 public void setAlign(String align);
 public String getCh();
 public void setCh(String ch);
 public String getChOff();
 public void setChOff(String chOff);
 public int getSpan();
 public void setSpan(int span);
 public String getVAlign();
 public void setVAlign(String vAlign);
 public String getWidth();
 public void setWidth(String width);
}

package org.w3c.dom.html2;
import org.w3c.dom.DOMException;
public interface HTMLTableSectionElement extends HTMLElement {
 public String getAlign();
 public void setAlign(String align);
 public String getCh();
 public void setCh(String ch);
 public String getChOff();
 public void setChOff(String chOff);
 public String getVAlign();
 public void setVAlign(String vAlign);
 public HTMLCollection getRows();
 public HTMLElement insertRow(int index)
 throws DOMException;
 public void deleteRow(int index)
 throws DOMException;
}

package org.w3c.dom.html2;
import org.w3c.dom.DOMException;
public interface HTMLTableRowElement extends HTMLElement {
 public int getRowIndex();
 public int getSectionRowIndex();
 public HTMLCollection getCells();
 public String getAlign();
 public void setAlign(String align);
 public String getBgColor();
 public void setBgColor(String bgColor);
 public String getCh();
 public void setCh(String ch);
 public String getChOff();
 public void setChOff(String chOff);
 public String getVAlign();
 public void setVAlign(String vAlign);
 public HTMLElement insertCell(int index)
 throws DOMException;
 public void deleteCell(int index)
 throws DOMException;
}

package org.w3c.dom.html2;
public interface HTMLTableCellElement extends HTMLElement {
 public int getCellIndex();
 public String getAbbr();
 public void setAbbr(String abbr);
 public String getAlign();
 public void setAlign(String align);
 public String getAxis();
 public void setAxis(String axis);
 public String getBgColor();
 public void setBgColor(String bgColor);
 public String getCh();
 public void setCh(String ch);
 public String getChOff();
 public void setChOff(String chOff);
 public int getColSpan();
 public void setColSpan(int colSpan);
 public String getHeaders();
 public void setHeaders(String headers);
 public String getHeight();
 public void setHeight(String height);
 public boolean getNoWrap();
 public void setNoWrap(boolean noWrap);
 public int getRowSpan();
 public void setRowSpan(int rowSpan);
 public String getScope();
 public void setScope(String scope);
 public String getVAlign();
 public void setVAlign(String vAlign);
 public String getWidth();
 public void setWidth(String width);
}

package org.w3c.dom.html2;
public interface HTMLFrameSetElement extends HTMLElement {
 public String getCols();
 public void setCols(String cols);
 public String getRows();
 public void setRows(String rows);
}

package org.w3c.dom.html2;
import org.w3c.dom.Document;
public interface HTMLFrameElement extends HTMLElement {
 public String getFrameBorder();
 public void setFrameBorder(String frameBorder);
 public String getLongDesc();
 public void setLongDesc(String longDesc);
 public String getMarginHeight();
 public void setMarginHeight(String marginHeight);
 public String getMarginWidth();
 public void setMarginWidth(String marginWidth);
 public String getName();
 public void setName(String name);
 public boolean getNoResize();
 public void setNoResize(boolean noResize);
 public String getScrolling();
 public void setScrolling(String scrolling);
 public String getSrc();
 public void setSrc(String src);
 public Document getContentDocument();
}

package org.w3c.dom.html2;
import org.w3c.dom.Document;
public interface HTMLIFrameElement extends HTMLElement {
 public String getAlign();
 public void setAlign(String align);
 public String getFrameBorder();
 public void setFrameBorder(String frameBorder);
 public String getHeight();
 public void setHeight(String height);
 public String getLongDesc();
 public void setLongDesc(String longDesc);
 public String getMarginHeight();
 public void setMarginHeight(String marginHeight);
 public String getMarginWidth();
 public void setMarginWidth(String marginWidth);
 public String getName();
 public void setName(String name);
 public String getScrolling();
 public void setScrolling(String scrolling);
 public String getSrc();
 public void setSrc(String src);
 public String getWidth();
 public void setWidth(String width);
 public Document getContentDocument();
}