REC-DOM-Level-1-19981001


Annexe D: Correspondances avec le langage Java

Cette annexe contient la liste complète des corespondances Java au Modèle Objet de Document niveau 1. Les définitions sont réparties entre Noyau et HTML.

Les fichiers Java sont également disponibles à l'adresse http://www.w3.org/TR/1998/REC-DOM-Level-1-19981001/java-binding.zip

D.1: Noyau du Modèle Objet de Documents Niveau 1

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: Modèle Objet de Documents Niveau 1 pour 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);
}