Appendix C: Java Language Binding

package org.w3c.dom;

public 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;

}

package org.w3c.dom;

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

}

package org.w3c.dom;

public interface DocumentFragment extends Node {
}

package org.w3c.dom;

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

}

package org.w3c.dom;

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)
             throws DOMException;

}

package org.w3c.dom;

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

}

package org.w3c.dom;

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

}

package org.w3c.dom;

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;

}

package org.w3c.dom;

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

}

package org.w3c.dom;

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

}

package org.w3c.dom;

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

}

package org.w3c.dom;

public interface Comment extends CharacterData {
}

package org.w3c.dom;

public interface CDATASection extends Text {
}

package org.w3c.dom;

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

}

package org.w3c.dom;

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

}

package org.w3c.dom;

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

}

package org.w3c.dom;

public interface EntityReference extends Node {
}

package org.w3c.dom;

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

}

package org.w3c.dom.html;

import org.w3c.dom.Node;

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

}

package org.w3c.dom.html;

import org.w3c.dom.Document;
import org.w3c.dom.NodeList;
import org.w3c.dom.Element;

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

}

package org.w3c.dom.html;

import org.w3c.dom.Element;

public interface HTMLElement extends Element {
    public String getId();
    public void setId(String id);
 public String getTitle();
    public void setTitle(String title);
 public String getLang();
    public void setLang(String lang);
 public String getDir();
    public void setDir(String dir);
 public String getClassName();
    public void setClassName(String className);

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

public interface HTMLMetaElement extends HTMLElement {
    public String getContent();
    public void setContent(String content);
 public String getHttpEquiv();
    public void setHttpEquiv(String httpEquiv);
 public String getName();
    public void setName(String name);
 public String getScheme();
    public void setScheme(String scheme);

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

public interface HTMLStyleElement extends HTMLElement {
    public boolean getDisabled();
    public void setDisabled(boolean disabled);
 public String getMedia();
    public void setMedia(String media);
 public String getType();
    public void setType(String type);

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

import org.w3c.dom.DOMException;

public interface HTMLSelectElement extends HTMLElement {
    public String getType();
 public int getSelectedIndex();
    public void setSelectedIndex(int selectedIndex);
 public String getValue();
    public void setValue(String value);
 public int getLength();
 public 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)
       throws DOMException;
 public void remove(int index);
 public void blur();
 public void focus();

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

public interface HTMLOListElement extends HTMLElement {
    public boolean getCompact();
    public void setCompact(boolean compact);
 public int getStart();
    public void setStart(int start);
 public String getType();
    public void setType(String type);

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

public interface HTMLFontElement extends HTMLElement {
    public String getColor();
    public void setColor(String color);
 public String getFace();
    public void setFace(String face);
 public String getSize();
    public void setSize(String size);

}

package org.w3c.dom.html;

public interface HTMLHRElement extends HTMLElement {
    public String getAlign();
    public void setAlign(String align);
 public boolean getNoShade();
    public void setNoShade(boolean noShade);
 public String getSize();
    public void setSize(String size);
 public String getWidth();
    public void setWidth(String width);

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

public interface HTMLParamElement extends HTMLElement {
    public String getName();
    public void setName(String name);
 public String getType();
    public void setType(String type);
 public String getValue();
    public void setValue(String value);
 public String getValueType();
    public void setValueType(String valueType);

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

import org.w3c.dom.DOMException;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

import org.w3c.dom.DOMException;

public interface HTMLTableSectionElement extends HTMLElement {
    public String getAlign();
    public void setAlign(String align);
 public String getCh();
    public void setCh(String ch);
 public String getChOff();
    public void setChOff(String chOff);
 public String getVAlign();
    public void setVAlign(String vAlign);
 public HTMLCollection getRows();
 public HTMLElement insertRow(int index)
                    throws DOMException;
 public void deleteRow(int index)
             throws DOMException;

}

package org.w3c.dom.html;

import org.w3c.dom.DOMException;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}

package org.w3c.dom.html;

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

}