PR-DOM-Level-1-19980818


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/PR-DOM-Level-1-19980818/java-binding.zip

D.1: Document Object Model Level 1 Core

 public static final int INDEX_SIZE_ERR= 1;
 public static final int WSTRING_SIZE_ERR= 2;
 public static final int HIERARCHY_REQUEST_ERR= 3;
 public static final int WRONG_DOCUMENT_ERR= 4;
 public static final int INVALID_NAME_ERR= 5;
 public static final int NO_DATA_ALLOWED_ERR= 6;
 public static final int NO_MODIFICATION_ALLOWED_ERR= 7;
 public static final int NOT_FOUND_ERR= 8;
 public static final int NOT_SUPPORTED_ERR= 9;
 public static final int INUSE_ATTRIBUTE_ERR= 10;


public abstract class DOMException extends RuntimeException {
   public DOMException(int code, String message) {
      super(message);
      this.code = code;
   }

 public static final int INDEX_SIZE_ERR= 1;
 public static final int WSTRING_SIZE_ERR= 2;
 public static final int HIERARCHY_REQUEST_ERR= 3;
 public static final int WRONG_DOCUMENT_ERR= 4;
 public static final int INVALID_NAME_ERR= 5;
 public static final int NO_DATA_ALLOWED_ERR= 6;
 public static final int NO_MODIFICATION_ALLOWED_ERR= 7;
 public static final int NOT_FOUND_ERR= 8;
 public static final int NOT_SUPPORTED_ERR= 9;
 public static final int INUSE_ATTRIBUTE_ERR= 10;


   public int   code;
}

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 Attribute          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();
   public void               setNodeValue(String arg);

   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();
   public void               setData(String arg);

   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 Attribute extends Node {
   public String             getName();

   public boolean            getSpecified();

   public String             getValue();
   public void               setValue(String arg);

}

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 Attribute          getAttributeNode(String name);
   public Attribute          setAttributeNode(Attribute newAttr)
                                              throws DOMException;
   public Attribute          removeAttributeNode(Attribute 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 ProcessingInstruction extends Node {
   public String             getTarget();

   public String             getData();
   public void               setData(String arg);

}

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


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

   public String             getReferrer();

   public String             getDomain();

   public String             getURL();

   public HTMLElement        getBody();
   public void               setBody(HTMLElement arg);

   public HTMLCollection     getImages();

   public HTMLCollection     getApplets();

   public HTMLCollection     getLinks();

   public HTMLCollection     getForms();

   public HTMLCollection     getAnchors();

   public String             getCookie();
   public void               setCookie(String arg);

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

   public String             getTitle();
   public void               setTitle(String arg);

   public String             getLang();
   public void               setLang(String arg);

   public String             getDir();
   public void               setDir(String arg);

   public String             getClassName();
   public void               setClassName(String arg);

}

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

}

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

}

public interface HTMLLinkElement extends HTMLElement {
   public boolean            getDisabled();
   public void               setDisabled(boolean arg);

   public String             getCharset();
   public void               setCharset(String arg);

   public String             getHref();
   public void               setHref(String arg);

   public String             getHreflang();
   public void               setHreflang(String arg);

   public String             getMedia();
   public void               setMedia(String arg);

   public String             getRel();
   public void               setRel(String arg);

   public String             getRev();
   public void               setRev(String arg);

   public String             getTarget();
   public void               setTarget(String arg);

   public String             getType();
   public void               setType(String arg);

}

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

}

public interface HTMLMetaElement extends HTMLElement {
   public String             getContent();
   public void               setContent(String arg);

   public String             getHttpEquiv();
   public void               setHttpEquiv(String arg);

   public String             getName();
   public void               setName(String arg);

   public String             getScheme();
   public void               setScheme(String arg);

}

public interface HTMLBaseElement extends HTMLElement {
   public String             getHref();
   public void               setHref(String arg);

   public String             getTarget();
   public void               setTarget(String arg);

}

public interface HTMLIsIndexElement extends HTMLElement {
   public HTMLFormElement    getForm();

   public String             getPrompt();
   public void               setPrompt(String arg);

}

public interface HTMLStyleElement extends HTMLElement {
   public boolean            getDisabled();
   public void               setDisabled(boolean arg);

   public String             getMedia();
   public void               setMedia(String arg);

   public String             getType();
   public void               setType(String arg);

}

public interface HTMLBodyElement extends HTMLElement {
   public String             getALink();
   public void               setALink(String arg);

   public String             getBackground();
   public void               setBackground(String arg);

   public String             getBgColor();
   public void               setBgColor(String arg);

   public String             getLink();
   public void               setLink(String arg);

   public String             getText();
   public void               setText(String arg);

   public String             getVLink();
   public void               setVLink(String arg);

}

public interface HTMLFormElement extends HTMLElement {
   public HTMLCollection     getElements();

   public int                getLength();

   public String             getName();
   public void               setName(String arg);

   public String             getAcceptCharset();
   public void               setAcceptCharset(String arg);

   public String             getAction();
   public void               setAction(String arg);

   public String             getEnctype();
   public void               setEnctype(String arg);

   public String             getMethod();
   public void               setMethod(String arg);

   public String             getTarget();
   public void               setTarget(String arg);

   public void               submit();
   public void               reset();
}

public interface HTMLSelectElement extends HTMLElement {
   public String             getType();

   public int                getSelectedIndex();
   public void               setSelectedIndex(int arg);

   public String             getValue();
   public void               setValue(String arg);

   public int                getLength();
   public void               setLength(int arg);

   public HTMLFormElement    getForm();

   public HTMLCollection     getOptions();
   public void               setOptions(HTMLCollection arg);

   public boolean            getDisabled();
   public void               setDisabled(boolean arg);

   public boolean            getMultiple();
   public void               setMultiple(boolean arg);

   public String             getName();
   public void               setName(String arg);

   public int                getSize();
   public void               setSize(int arg);

   public int                getTabIndex();
   public void               setTabIndex(int arg);

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

   public String             getLabel();
   public void               setLabel(String arg);

}

public interface HTMLOptionElement extends HTMLElement {
   public HTMLFormElement    getForm();

   public boolean            getDefaultSelected();
   public void               setDefaultSelected(boolean arg);

   public String             getText();

   public int                getIndex();
   public void               setIndex(int arg);

   public boolean            getDisabled();
   public void               setDisabled(boolean arg);

   public String             getLabel();
   public void               setLabel(String arg);

   public boolean            getSelected();

   public String             getValue();
   public void               setValue(String arg);

}

public interface HTMLInputElement extends HTMLElement {
   public String             getDefaultValue();
   public void               setDefaultValue(String arg);

   public boolean            getDefaultChecked();
   public void               setDefaultChecked(boolean arg);

   public HTMLFormElement    getForm();

   public String             getAccept();
   public void               setAccept(String arg);

   public String             getAccessKey();
   public void               setAccessKey(String arg);

   public String             getAlign();
   public void               setAlign(String arg);

   public String             getAlt();
   public void               setAlt(String arg);

   public boolean            getChecked();
   public void               setChecked(boolean arg);

   public boolean            getDisabled();
   public void               setDisabled(boolean arg);

   public int                getMaxLength();
   public void               setMaxLength(int arg);

   public String             getName();
   public void               setName(String arg);

   public boolean            getReadOnly();
   public void               setReadOnly(boolean arg);

   public String             getSize();
   public void               setSize(String arg);

   public String             getSrc();
   public void               setSrc(String arg);

   public int                getTabIndex();
   public void               setTabIndex(int arg);

   public String             getType();

   public String             getUseMap();
   public void               setUseMap(String arg);

   public String             getValue();
   public void               setValue(String arg);

   public void               blur();
   public void               focus();
   public void               select();
   public void               click();
}

public interface HTMLTextAreaElement extends HTMLElement {
   public String             getDefaultValue();
   public void               setDefaultValue(String arg);

   public HTMLFormElement    getForm();

   public String             getAccessKey();
   public void               setAccessKey(String arg);

   public int                getCols();
   public void               setCols(int arg);

   public boolean            getDisabled();
   public void               setDisabled(boolean arg);

   public String             getName();
   public void               setName(String arg);

   public boolean            getReadOnly();
   public void               setReadOnly(boolean arg);

   public int                getRows();
   public void               setRows(int arg);

   public int                getTabIndex();
   public void               setTabIndex(int arg);

   public String             getType();

   public void               blur();
   public void               focus();
   public void               select();
}

public interface HTMLButtonElement extends HTMLElement {
   public HTMLFormElement    getForm();

   public String             getAccessKey();
   public void               setAccessKey(String arg);

   public boolean            getDisabled();
   public void               setDisabled(boolean arg);

   public String             getName();
   public void               setName(String arg);

   public int                getTabIndex();
   public void               setTabIndex(int arg);

   public String             getType();

   public String             getValue();
   public void               setValue(String arg);

}

public interface HTMLLabelElement extends HTMLElement {
   public HTMLFormElement    getForm();

   public String             getAccessKey();
   public void               setAccessKey(String arg);

   public String             getHtmlFor();
   public void               setHtmlFor(String arg);

}

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

}

public interface HTMLLegendElement extends HTMLElement {
   public HTMLFormElement    getForm();

   public String             getAccessKey();
   public void               setAccessKey(String arg);

   public String             getAlign();
   public void               setAlign(String arg);

}

public interface HTMLUListElement extends HTMLElement {
   public boolean            getCompact();
   public void               setCompact(boolean arg);

   public String             getType();
   public void               setType(String arg);

}

public interface HTMLOListElement extends HTMLElement {
   public boolean            getCompact();
   public void               setCompact(boolean arg);

   public int                getStart();
   public void               setStart(int arg);

   public String             getType();
   public void               setType(String arg);

}

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

}

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

}

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

}

public interface HTMLLIElement extends HTMLElement {
   public String             getType();
   public void               setType(String arg);

   public int                getValue();
   public void               setValue(int arg);

}

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

}

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

}

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

}

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

}

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

}

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

}

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

}

public interface HTMLBaseFontElement extends HTMLElement {
   public String             getColor();
   public void               setColor(String arg);

   public String             getFace();
   public void               setFace(String arg);

   public String             getSize();
   public void               setSize(String arg);

}

public interface HTMLFontElement extends HTMLElement {
   public String             getColor();
   public void               setColor(String arg);

   public String             getFace();
   public void               setFace(String arg);

   public String             getSize();
   public void               setSize(String arg);

}

public interface HTMLHRElement extends HTMLElement {
   public String             getAlign();
   public void               setAlign(String arg);

   public boolean            getNoShade();
   public void               setNoShade(boolean arg);

   public String             getSize();
   public void               setSize(String arg);

   public String             getWidth();
   public void               setWidth(String arg);

}

public interface HTMLModElement extends HTMLElement {
   public String             getCite();
   public void               setCite(String arg);

   public String             getDateTime();
   public void               setDateTime(String arg);

}

public interface HTMLAnchorElement extends HTMLElement {
   public String             getAccessKey();
   public void               setAccessKey(String arg);

   public String             getCharset();
   public void               setCharset(String arg);

   public String             getCoords();
   public void               setCoords(String arg);

   public String             getHref();
   public void               setHref(String arg);

   public String             getHreflang();
   public void               setHreflang(String arg);

   public String             getName();
   public void               setName(String arg);

   public String             getRel();
   public void               setRel(String arg);

   public String             getRev();
   public void               setRev(String arg);

   public String             getShape();
   public void               setShape(String arg);

   public int                getTabIndex();
   public void               setTabIndex(int arg);

   public String             getTarget();
   public void               setTarget(String arg);

   public String             getType();
   public void               setType(String arg);

   public void               blur();
   public void               focus();
}

public interface HTMLImageElement extends HTMLElement {
   public String             getLowSrc();
   public void               setLowSrc(String arg);

   public String             getName();
   public void               setName(String arg);

   public String             getAlign();
   public void               setAlign(String arg);

   public String             getAlt();
   public void               setAlt(String arg);

   public String             getBorder();
   public void               setBorder(String arg);

   public String             getHeight();
   public void               setHeight(String arg);

   public String             getHspace();
   public void               setHspace(String arg);

   public boolean            getIsMap();
   public void               setIsMap(boolean arg);

   public String             getLongDesc();
   public void               setLongDesc(String arg);

   public String             getSrc();
   public void               setSrc(String arg);

   public String             getUseMap();
   public void               setUseMap(String arg);

   public String             getVspace();
   public void               setVspace(String arg);

   public String             getWidth();
   public void               setWidth(String arg);

}

public interface HTMLObjectElement extends HTMLElement {
   public HTMLFormElement    getForm();

   public String             getCode();
   public void               setCode(String arg);

   public String             getAlign();
   public void               setAlign(String arg);

   public String             getArchive();
   public void               setArchive(String arg);

   public String             getBorder();
   public void               setBorder(String arg);

   public String             getCodeBase();
   public void               setCodeBase(String arg);

   public String             getCodeType();
   public void               setCodeType(String arg);

   public String             getData();
   public void               setData(String arg);

   public boolean            getDeclare();
   public void               setDeclare(boolean arg);

   public String             getHeight();
   public void               setHeight(String arg);

   public String             getHspace();
   public void               setHspace(String arg);

   public String             getName();
   public void               setName(String arg);

   public String             getStandby();
   public void               setStandby(String arg);

   public int                getTabIndex();
   public void               setTabIndex(int arg);

   public String             getType();
   public void               setType(String arg);

   public String             getUseMap();
   public void               setUseMap(String arg);

   public String             getVspace();
   public void               setVspace(String arg);

   public String             getWidth();
   public void               setWidth(String arg);

}

public interface HTMLParamElement extends HTMLElement {
   public String             getName();
   public void               setName(String arg);

   public String             getType();
   public void               setType(String arg);

   public String             getValue();
   public void               setValue(String arg);

   public String             getValueType();
   public void               setValueType(String arg);

}

public interface HTMLAppletElement extends HTMLElement {
   public String             getAlign();
   public void               setAlign(String arg);

   public String             getAlt();
   public void               setAlt(String arg);

   public String             getArchive();
   public void               setArchive(String arg);

   public String             getCode();
   public void               setCode(String arg);

   public String             getCodeBase();
   public void               setCodeBase(String arg);

   public String             getHeight();
   public void               setHeight(String arg);

   public String             getHspace();
   public void               setHspace(String arg);

   public String             getName();
   public void               setName(String arg);

   public String             getObject();
   public void               setObject(String arg);

   public String             getVspace();
   public void               setVspace(String arg);

   public String             getWidth();
   public void               setWidth(String arg);

}

public interface HTMLMapElement extends HTMLElement {
   public HTMLCollection     getAreas();

   public String             getName();
   public void               setName(String arg);

}

public interface HTMLAreaElement extends HTMLElement {
   public String             getAccessKey();
   public void               setAccessKey(String arg);

   public String             getAlt();
   public void               setAlt(String arg);

   public String             getCoords();
   public void               setCoords(String arg);

   public String             getHref();
   public void               setHref(String arg);

   public boolean            getNoHref();
   public void               setNoHref(boolean arg);

   public String             getShape();
   public void               setShape(String arg);

   public int                getTabIndex();
   public void               setTabIndex(int arg);

   public String             getTarget();
   public void               setTarget(String arg);

}

public interface HTMLScriptElement extends HTMLElement {
   public String             getText();
   public void               setText(String arg);

   public String             getHtmlFor();
   public void               setHtmlFor(String arg);

   public String             getEvent();
   public void               setEvent(String arg);

   public String             getCharset();
   public void               setCharset(String arg);

   public boolean            getDefer();
   public void               setDefer(boolean arg);

   public String             getSrc();
   public void               setSrc(String arg);

   public String             getType();
   public void               setType(String arg);

}

public interface HTMLTableElement extends HTMLElement {
   public HTMLTableCaptionElement getCaption();
   public void               setCaption(HTMLTableCaptionElement arg);

   public HTMLTableSectionElement getTHead();
   public void               setTHead(HTMLTableSectionElement arg);

   public HTMLTableSectionElement getTFoot();
   public void               setTFoot(HTMLTableSectionElement arg);

   public HTMLCollection     getRows();

   public HTMLCollection     getTBodies();
   public void               setTBodies(HTMLCollection arg);

   public String             getAlign();
   public void               setAlign(String arg);

   public String             getBgColor();
   public void               setBgColor(String arg);

   public String             getBorder();
   public void               setBorder(String arg);

   public String             getCellPadding();
   public void               setCellPadding(String arg);

   public String             getCellSpacing();
   public void               setCellSpacing(String arg);

   public String             getFrame();
   public void               setFrame(String arg);

   public String             getRules();
   public void               setRules(String arg);

   public String             getSummary();
   public void               setSummary(String arg);

   public String             getWidth();
   public void               setWidth(String arg);

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

}

public interface HTMLTableColElement extends HTMLElement {
   public String             getAlign();
   public void               setAlign(String arg);

   public String             getCh();
   public void               setCh(String arg);

   public String             getChOff();
   public void               setChOff(String arg);

   public int                getSpan();
   public void               setSpan(int arg);

   public String             getVAlign();
   public void               setVAlign(String arg);

   public String             getWidth();
   public void               setWidth(String arg);

}

public interface HTMLTableSectionElement extends HTMLElement {
   public String             getAlign();
   public void               setAlign(String arg);

   public String             getCh();
   public void               setCh(String arg);

   public String             getChOff();
   public void               setChOff(String arg);

   public String             getVAlign();
   public void               setVAlign(String arg);

   public HTMLCollection     getRows();
   public void               setRows(HTMLCollection arg);

   public HTMLElement        insertRow(int index);
   public void               deleteRow(int index);
}

public interface HTMLTableRowElement extends HTMLElement {
   public int                getRowIndex();
   public void               setRowIndex(int arg);

   public int                getSectionRowIndex();
   public void               setSectionRowIndex(int arg);

   public HTMLCollection     getCells();
   public void               setCells(HTMLCollection arg);

   public String             getAlign();
   public void               setAlign(String arg);

   public String             getBgColor();
   public void               setBgColor(String arg);

   public String             getCh();
   public void               setCh(String arg);

   public String             getChOff();
   public void               setChOff(String arg);

   public String             getVAlign();
   public void               setVAlign(String arg);

   public HTMLElement        insertCell(int index);
   public void               deleteCell(int index);
}

public interface HTMLTableCellElement extends HTMLElement {
   public int                getCellIndex();
   public void               setCellIndex(int arg);

   public String             getAbbr();
   public void               setAbbr(String arg);

   public String             getAlign();
   public void               setAlign(String arg);

   public String             getAxis();
   public void               setAxis(String arg);

   public String             getBgColor();
   public void               setBgColor(String arg);

   public String             getCh();
   public void               setCh(String arg);

   public String             getChOff();
   public void               setChOff(String arg);

   public int                getColSpan();
   public void               setColSpan(int arg);

   public String             getHeaders();
   public void               setHeaders(String arg);

   public String             getHeight();
   public void               setHeight(String arg);

   public boolean            getNoWrap();
   public void               setNoWrap(boolean arg);

   public int                getRowSpan();
   public void               setRowSpan(int arg);

   public String             getScope();
   public void               setScope(String arg);

   public String             getVAlign();
   public void               setVAlign(String arg);

   public String             getWidth();
   public void               setWidth(String arg);

}

public interface HTMLFrameSetElement extends HTMLElement {
   public String             getCols();
   public void               setCols(String arg);

   public String             getRows();
   public void               setRows(String arg);

}

public interface HTMLFrameElement extends HTMLElement {
   public String             getFrameBorder();
   public void               setFrameBorder(String arg);

   public String             getLongDesc();
   public void               setLongDesc(String arg);

   public String             getMarginHeight();
   public void               setMarginHeight(String arg);

   public String             getMarginWidth();
   public void               setMarginWidth(String arg);

   public String             getName();
   public void               setName(String arg);

   public boolean            getNoResize();
   public void               setNoResize(boolean arg);

   public String             getScrolling();
   public void               setScrolling(String arg);

   public String             getSrc();
   public void               setSrc(String arg);

}

public interface HTMLIFrameElement extends HTMLElement {
   public String             getAlign();
   public void               setAlign(String arg);

   public String             getFrameBorder();
   public void               setFrameBorder(String arg);

   public String             getHeight();
   public void               setHeight(String arg);

   public String             getLongDesc();
   public void               setLongDesc(String arg);

   public String             getMarginHeight();
   public void               setMarginHeight(String arg);

   public String             getMarginWidth();
   public void               setMarginWidth(String arg);

   public String             getName();
   public void               setName(String arg);

   public String             getScrolling();
   public void               setScrolling(String arg);

   public String             getSrc();
   public void               setSrc(String arg);

   public String             getWidth();
   public void               setWidth(String arg);

}