REC-DOM-Level-1-19981001


附属書D Java言語結合

附属書Dは,文書オブジェクトモデル水準1に対する完全なJava結合を含む。 定義は,コアとHTMLとに分かれる。

Javaファイルは, http://www.w3.org/TR/1998/REC-DOM-Level-1-19981001/java-binding.zip としても入手できる。

D.1. 文書オブジェクトモデル水準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. 文書オブジェクトモデル水準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);
}