Java Language Binding

REC-DOM-Level-1-19981001

# Appendix D: Java Language Binding

This appendix contains the complete Java binding for the Level 1 Document Object Model. The definitions are divided into Core and HTML.

The Java files are also available as http://www.w3.org/TR/1998/REC-DOM-Level-1-19981001/java-binding.zip

## D.1: Document Object Model Level 1 Core

    public abstract class DOMException extends RuntimeException {
      public DOMException(short code, String message) {
         super(message);
         this.code = code;
      }
      public short   code;
      // ExceptionCode
      public static final short           INDEX_SIZE_ERR       = 1;
      public static final short           DOMSTRING_SIZE_ERR   = 2;
      public static final short           HIERARCHY_REQUEST_ERR = 3;
      public static final short           WRONG_DOCUMENT_ERR   = 4;
      public static final short           INVALID_CHARACTER_ERR = 5;
      public static final short           NO_DATA_ALLOWED_ERR  = 6;
      public static final short           NO_MODIFICATION_ALLOWED_ERR = 7;
      public static final short           NOT_FOUND_ERR        = 8;
      public static final short           NOT_SUPPORTED_ERR    = 9;
      public static final short           INUSE_ATTRIBUTE_ERR  = 10;

    }

    // ExceptionCode
    public static final short           INDEX_SIZE_ERR       = 1;
    public static final short           DOMSTRING_SIZE_ERR   = 2;
    public static final short           HIERARCHY_REQUEST_ERR = 3;
    public static final short           WRONG_DOCUMENT_ERR   = 4;
    public static final short           INVALID_CHARACTER_ERR = 5;
    public static final short           NO_DATA_ALLOWED_ERR  = 6;
    public static final short           NO_MODIFICATION_ALLOWED_ERR = 7;
    public static final short           NOT_FOUND_ERR        = 8;
    public static final short           NOT_SUPPORTED_ERR    = 9;
    public static final short           INUSE_ATTRIBUTE_ERR  = 10;

    }

    public interface DOMImplementation {
      public boolean            hasFeature(String feature,
                                           String version);
    }

    public interface DocumentFragment extends Node {
    }

    public interface Document extends Node {
      public DocumentType       getDoctype();
      public DOMImplementation  getImplementation();
      public Element            getDocumentElement();
      public Element            createElement(String tagName)
                                              throws DOMException;
      public DocumentFragment   createDocumentFragment();
      public Text               createTextNode(String data);
      public Comment            createComment(String data);
      public CDATASection       createCDATASection(String data)
                                                   throws DOMException;
      public ProcessingInstruction createProcessingInstruction(String target,
                                                               String data)
                                                               throws DOMException;
      public Attr               createAttribute(String name)
                                                throws DOMException;
      public EntityReference    createEntityReference(String name)
                                                      throws DOMException;
      public NodeList           getElementsByTagName(String tagname);
    }

    public interface Node {
      // NodeType
      public static final short           ELEMENT_NODE         = 1;
      public static final short           ATTRIBUTE_NODE       = 2;
      public static final short           TEXT_NODE            = 3;
      public static final short           CDATA_SECTION_NODE   = 4;
      public static final short           ENTITY_REFERENCE_NODE = 5;
      public static final short           ENTITY_NODE          = 6;
      public static final short           PROCESSING_INSTRUCTION_NODE = 7;
      public static final short           COMMENT_NODE         = 8;
      public static final short           DOCUMENT_NODE        = 9;
      public static final short           DOCUMENT_TYPE_NODE   = 10;
      public static final short           DOCUMENT_FRAGMENT_NODE = 11;
      public static final short           NOTATION_NODE        = 12;

      public String             getNodeName();
      public String             getNodeValue()
                                                     throws DOMException;
      public void               setNodeValue(String nodeValue)
                                                     throws DOMException;
      public short              getNodeType();
      public Node               getParentNode();
      public NodeList           getChildNodes();
      public Node               getFirstChild();
      public Node               getLastChild();
      public Node               getPreviousSibling();
      public Node               getNextSibling();
      public NamedNodeMap       getAttributes();
      public Document           getOwnerDocument();
      public Node               insertBefore(Node newChild,
                                             Node refChild)
                                             throws DOMException;
      public Node               replaceChild(Node newChild,
                                             Node oldChild)
                                             throws DOMException;
      public Node               removeChild(Node oldChild)
                                            throws DOMException;
      public Node               appendChild(Node newChild)
                                            throws DOMException;
      public boolean            hasChildNodes();
      public Node               cloneNode(boolean deep);
    }

    public interface NodeList {
      public Node               item(int index);
      public int                getLength();
    }

    public interface NamedNodeMap {
      public Node               getNamedItem(String name);
      public Node               setNamedItem(Node arg)
                                             throws DOMException;
      public Node               removeNamedItem(String name)
                                                throws DOMException;
      public Node               item(int index);
      public int                getLength();
    }

    public interface CharacterData extends Node {
      public String             getData()
                                     throws DOMException;
      public void               setData(String data)
                                     throws DOMException;
      public int                getLength();
      public String             substringData(int offset,
                                              int count)
                                              throws DOMException;
      public void               appendData(String arg)
                                           throws DOMException;
      public void               insertData(int offset,
                                           String arg)
                                           throws DOMException;
      public void               deleteData(int offset,
                                           int count)
                                           throws DOMException;
      public void               replaceData(int offset,
                                            int count,
                                            String arg)
                                            throws DOMException;
    }

    public interface Attr extends Node {
      public String             getName();
      public boolean            getSpecified();
      public String             getValue();
      public void               setValue(String value);
    }

    public interface Element extends Node {
      public String             getTagName();
      public String             getAttribute(String name);
      public void               setAttribute(String name,
                                             String value)
                                             throws DOMException;
      public void               removeAttribute(String name)
                                                throws DOMException;
      public Attr               getAttributeNode(String name);
      public Attr               setAttributeNode(Attr newAttr)
                                                 throws DOMException;
      public Attr               removeAttributeNode(Attr oldAttr)
                                                    throws DOMException;
      public NodeList           getElementsByTagName(String name);
      public void               normalize();
    }

    public interface Text extends CharacterData {
      public Text               splitText(int offset)
                                          throws DOMException;
    }

    public interface Comment extends CharacterData {
    }

    public interface CDATASection extends Text {
    }

    public interface DocumentType extends Node {
      public String             getName();
      public NamedNodeMap       getEntities();
      public NamedNodeMap       getNotations();
    }

    public interface Notation extends Node {
      public String             getPublicId();
      public String             getSystemId();
    }

    public interface Entity extends Node {
      public String             getPublicId();
      public String             getSystemId();
      public String             getNotationName();
    }

    public interface EntityReference extends Node {
    }

    public interface ProcessingInstruction extends Node {
      public String             getTarget();
      public String             getData();
      public void               setData(String data)
                                          throws DOMException;
    }

## D.2: Document Object Model Level 1 HTML

    public interface HTMLCollection {
      public int                getLength();
      public Node               item(int index);
      public Node               namedItem(String name);
    }

    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);
      public void               open();
      public void               close();
      public void               write(String text);
      public void               writeln(String text);
      public Element            getElementById(String elementId);
      public NodeList           getElementsByName(String elementName);
    }

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

    public interface HTMLHtmlElement extends HTMLElement {
      public String             getVersion();
      public void               setVersion(String version);
    }

    public interface HTMLHeadElement extends HTMLElement {
      public String             getProfile();
      public void               setProfile(String profile);
    }

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

    public interface HTMLTitleElement extends HTMLElement {
      public String             getText();
      public void               setText(String text);
    }

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

    public interface HTMLBaseElement extends HTMLElement {
      public String             getHref();
      public void               setHref(String href);
      public String             getTarget();
      public void               setTarget(String target);
    }

    public interface HTMLIsIndexElement extends HTMLElement {
      public HTMLFormElement    getForm();
      public String             getPrompt();
      public void               setPrompt(String prompt);
    }

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

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

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

    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 HTMLFormElement    getForm();
      public HTMLCollection     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);
      public void               remove(int index);
      public void               blur();
      public void               focus();
    }

    public interface HTMLOptGroupElement extends HTMLElement {
      public boolean            getDisabled();
      public void               setDisabled(boolean disabled);
      public String             getLabel();
      public void               setLabel(String label);
    }

    public interface HTMLOptionElement extends HTMLElement {
      public HTMLFormElement    getForm();
      public boolean            getDefaultSelected();
      public void               setDefaultSelected(boolean defaultSelected);
      public String             getText();
      public int                getIndex();
      public void               setIndex(int index);
      public boolean            getDisabled();
      public void               setDisabled(boolean disabled);
      public String             getLabel();
      public void               setLabel(String label);
      public boolean            getSelected();
      public String             getValue();
      public void               setValue(String value);
    }

    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 String             getSize();
      public void               setSize(String size);
      public String             getSrc();
      public void               setSrc(String src);
      public int                getTabIndex();
      public void               setTabIndex(int tabIndex);
      public String             getType();
      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();
    }

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

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

    public interface HTMLLabelElement extends HTMLElement {
      public HTMLFormElement    getForm();
      public String             getAccessKey();
      public void               setAccessKey(String accessKey);
      public String             getHtmlFor();
      public void               setHtmlFor(String htmlFor);
    }

    public interface HTMLFieldSetElement extends HTMLElement {
      public HTMLFormElement    getForm();
    }

    public interface HTMLLegendElement extends HTMLElement {
      public HTMLFormElement    getForm();
      public String             getAccessKey();
      public void               setAccessKey(String accessKey);
      public String             getAlign();
      public void               setAlign(String align);
    }

    public interface HTMLUListElement extends HTMLElement {
      public boolean            getCompact();
      public void               setCompact(boolean compact);
      public String             getType();
      public void               setType(String type);
    }

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

    public interface HTMLDListElement extends HTMLElement {
      public boolean            getCompact();
      public void               setCompact(boolean compact);
    }

    public interface HTMLDirectoryElement extends HTMLElement {
      public boolean            getCompact();
      public void               setCompact(boolean compact);
    }

    public interface HTMLMenuElement extends HTMLElement {
      public boolean            getCompact();
      public void               setCompact(boolean compact);
    }

    public interface HTMLLIElement extends HTMLElement {
      public String             getType();
      public void               setType(String type);
      public int                getValue();
      public void               setValue(int value);
    }

    public interface HTMLBlockquoteElement extends HTMLElement {
      public String             getCite();
      public void               setCite(String cite);
    }

    public interface HTMLDivElement extends HTMLElement {
      public String             getAlign();
      public void               setAlign(String align);
    }

    public interface HTMLParagraphElement extends HTMLElement {
      public String             getAlign();
      public void               setAlign(String align);
    }

    public interface HTMLHeadingElement extends HTMLElement {
      public String             getAlign();
      public void               setAlign(String align);
    }

    public interface HTMLQuoteElement extends HTMLElement {
      public String             getCite();
      public void               setCite(String cite);
    }

    public interface HTMLPreElement extends HTMLElement {
      public int                getWidth();
      public void               setWidth(int width);
    }

    public interface HTMLBRElement extends HTMLElement {
      public String             getClear();
      public void               setClear(String clear);
    }

    public interface HTMLBaseFontElement 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);
    }

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

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

    public interface HTMLModElement extends HTMLElement {
      public String             getCite();
      public void               setCite(String cite);
      public String             getDateTime();
      public void               setDateTime(String dateTime);
    }

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

    public interface HTMLImageElement extends HTMLElement {
      public String             getLowSrc();
      public void               setLowSrc(String lowSrc);
      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 String             getHeight();
      public void               setHeight(String height);
      public String             getHspace();
      public void               setHspace(String 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 String             getVspace();
      public void               setVspace(String vspace);
      public String             getWidth();
      public void               setWidth(String width);
    }

    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 String             getHspace();
      public void               setHspace(String 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 String             getVspace();
      public void               setVspace(String vspace);
      public String             getWidth();
      public void               setWidth(String width);
    }

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

    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 String             getHspace();
      public void               setHspace(String hspace);
      public String             getName();
      public void               setName(String name);
      public String             getObject();
      public void               setObject(String object);
      public String             getVspace();
      public void               setVspace(String vspace);
      public String             getWidth();
      public void               setWidth(String width);
    }

    public interface HTMLMapElement extends HTMLElement {
      public HTMLCollection     getAreas();
      public String             getName();
      public void               setName(String name);
    }

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

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

    public interface HTMLTableElement extends HTMLElement {
      public HTMLTableCaptionElement getCaption();
      public void               setCaption(HTMLTableCaptionElement caption);
      public HTMLTableSectionElement getTHead();
      public void               setTHead(HTMLTableSectionElement tHead);
      public HTMLTableSectionElement getTFoot();
      public void               setTFoot(HTMLTableSectionElement tFoot);
      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);
      public void               deleteRow(int index);
    }

    public interface HTMLTableCaptionElement extends HTMLElement {
      public String             getAlign();
      public void               setAlign(String align);
    }

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

    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);
      public void               deleteRow(int index);
    }

    public interface HTMLTableRowElement extends HTMLElement {
      public int                getRowIndex();
      public void               setRowIndex(int rowIndex);
      public int                getSectionRowIndex();
      public void               setSectionRowIndex(int sectionRowIndex);
      public HTMLCollection     getCells();
      public void               setCells(HTMLCollection cells);
      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);
      public void               deleteCell(int index);
    }

    public interface HTMLTableCellElement extends HTMLElement {
      public int                getCellIndex();
      public void               setCellIndex(int cellIndex);
      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);
    }

    public interface HTMLFrameSetElement extends HTMLElement {
      public String             getCols();
      public void               setCols(String cols);
      public String             getRows();
      public void               setRows(String rows);
    }

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