Appendix D: Java Language Binding

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

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

D.1: Document Object Model Level 1 Core

public abstract class DOMException extends RuntimeException {
 public DOMException(short code, String message) {
 super(message);
 this.code = code;
 }
 public short code;
 // ExceptionCode
 public static final short INDEX_SIZE_ERR = 1;
 public static final short DOMSTRING_SIZE_ERR = 2;
 public static final short HIERARCHY_REQUEST_ERR = 3;
 public static final short WRONG_DOCUMENT_ERR = 4;
 public static final short INVALID_CHARACTER_ERR = 5;
 public static final short NO_DATA_ALLOWED_ERR = 6;
 public static final short NO_MODIFICATION_ALLOWED_ERR = 7;
 public static final short NOT_FOUND_ERR = 8;
 public static final short NOT_SUPPORTED_ERR = 9;
 public static final short INUSE_ATTRIBUTE_ERR = 10;
}
// ExceptionCode
public static final short INDEX_SIZE_ERR = 1;
public static final short DOMSTRING_SIZE_ERR = 2;
public static final short HIERARCHY_REQUEST_ERR = 3;
public static final short WRONG_DOCUMENT_ERR = 4;
public static final short INVALID_CHARACTER_ERR = 5;
public static final short NO_DATA_ALLOWED_ERR = 6;
public static final short NO_MODIFICATION_ALLOWED_ERR = 7;
public static final short NOT_FOUND_ERR = 8;
public static final short NOT_SUPPORTED_ERR = 9;
public static final short INUSE_ATTRIBUTE_ERR = 10;
}
public interface DOMImplementation {
 public boolean hasFeature(String feature, 
 String version);
}
public interface DocumentFragment extends Node {
}
public interface Document extends Node {
 public DocumentType getDoctype();
 public DOMImplementation getImplementation();
 public Element getDocumentElement();
 public Element createElement(String tagName)
 throws DOMException;
 public DocumentFragment createDocumentFragment();
 public Text createTextNode(String data);
 public Comment createComment(String data);
 public CDATASection createCDATASection(String data)
 throws DOMException;
 public ProcessingInstruction createProcessingInstruction(String target, 
 String data)
 throws DOMException;
 public Attr createAttribute(String name)
 throws DOMException;
 public EntityReference createEntityReference(String name)
 throws DOMException;
 public NodeList getElementsByTagName(String tagname);
}
public interface Node {
 // NodeType
 public static final short ELEMENT_NODE = 1;
 public static final short ATTRIBUTE_NODE = 2;
 public static final short TEXT_NODE = 3;
 public static final short CDATA_SECTION_NODE = 4;
 public static final short ENTITY_REFERENCE_NODE = 5;
 public static final short ENTITY_NODE = 6;
 public static final short PROCESSING_INSTRUCTION_NODE = 7;
 public static final short COMMENT_NODE = 8;
 public static final short DOCUMENT_NODE = 9;
 public static final short DOCUMENT_TYPE_NODE = 10;
 public static final short DOCUMENT_FRAGMENT_NODE = 11;
 public static final short NOTATION_NODE = 12;
 public String getNodeName();
 public String getNodeValue()
 throws DOMException;
 public void setNodeValue(String nodeValue)
 throws DOMException;
 public short getNodeType();
 public Node getParentNode();
 public NodeList getChildNodes();
 public Node getFirstChild();
 public Node getLastChild();
 public Node getPreviousSibling();
 public Node getNextSibling();
 public NamedNodeMap getAttributes();
 public Document getOwnerDocument();
 public Node insertBefore(Node newChild, 
 Node refChild)
 throws DOMException;
 public Node replaceChild(Node newChild, 
 Node oldChild)
 throws DOMException;
 public Node removeChild(Node oldChild)
 throws DOMException;
 public Node appendChild(Node newChild)
 throws DOMException;
 public boolean hasChildNodes();
 public Node cloneNode(boolean deep);
}
public interface NodeList {
 public Node item(int index);
 public int getLength();
}
public interface NamedNodeMap {
 public Node getNamedItem(String name);
 public Node setNamedItem(Node arg)
 throws DOMException;
 public Node removeNamedItem(String name)
 throws DOMException;
 public Node item(int index);
 public int getLength();
}
public interface CharacterData extends Node {
 public String getData()
 throws DOMException;
 public void setData(String data)
 throws DOMException;
 public int getLength();
 public String substringData(int offset, 
 int count)
 throws DOMException;
 public void appendData(String arg)
 throws DOMException;
 public void insertData(int offset, 
 String arg)
 throws DOMException;
 public void deleteData(int offset, 
 int count)
 throws DOMException;
 public void replaceData(int offset, 
 int count, 
 String arg)
 throws DOMException;
}
public interface Attr extends Node {
 public String getName();
 public boolean getSpecified();
 public String getValue();
 public void setValue(String value);
}
public interface Element extends Node {
 public String getTagName();
 public String getAttribute(String name);
 public void setAttribute(String name, 
 String value)
 throws DOMException;
 public void removeAttribute(String name)
 throws DOMException;
 public Attr getAttributeNode(String name);
 public Attr setAttributeNode(Attr newAttr)
 throws DOMException;
 public Attr removeAttributeNode(Attr oldAttr)
 throws DOMException;
 public NodeList getElementsByTagName(String name);
 public void normalize();
}
public interface Text extends CharacterData {
 public Text splitText(int offset)
 throws DOMException;
}
public interface Comment extends CharacterData {
}
public interface CDATASection extends Text {
}
public interface DocumentType extends Node {
 public String getName();
 public NamedNodeMap getEntities();
 public NamedNodeMap getNotations();
}
public interface Notation extends Node {
 public String getPublicId();
 public String getSystemId();
}
public interface Entity extends Node {
 public String getPublicId();
 public String getSystemId();
 public String getNotationName();
}
public interface EntityReference extends Node {
}
public interface ProcessingInstruction extends Node {
 public String getTarget();
 public String getData();
 public void setData(String data)
 throws DOMException;
}

D.2: Document Object Model Level 1 HTML

public interface HTMLCollection {
 public int getLength();
 public Node item(int index);
 public Node namedItem(String name);
}
public interface HTMLDocument extends Document {
 public String getTitle();
 public void setTitle(String title);
 public String getReferrer();
 public String getDomain();
 public String getURL();
 public HTMLElement getBody();
 public void setBody(HTMLElement body);
 public HTMLCollection getImages();
 public HTMLCollection getApplets();
 public HTMLCollection getLinks();
 public HTMLCollection getForms();
 public HTMLCollection getAnchors();
 public String getCookie();
 public void setCookie(String cookie);
 public void open();
 public void close();
 public void write(String text);
 public void writeln(String text);
 public Element getElementById(String elementId);
 public NodeList getElementsByName(String elementName);
}
public interface HTMLElement extends Element {
 public String getId();
 public void setId(String id);
 public String getTitle();
 public void setTitle(String title);
 public String getLang();
 public void setLang(String lang);
 public String getDir();
 public void setDir(String dir);
 public String getClassName();
 public void setClassName(String className);
}
public interface HTMLHtmlElement extends HTMLElement {
 public String getVersion();
 public void setVersion(String version);
}
public interface HTMLHeadElement extends HTMLElement {
 public String getProfile();
 public void setProfile(String profile);
}
public interface HTMLLinkElement extends HTMLElement {
 public boolean getDisabled();
 public void setDisabled(boolean disabled);
 public String getCharset();
 public void setCharset(String charset);
 public String getHref();
 public void setHref(String href);
 public String getHreflang();
 public void setHreflang(String hreflang);
 public String getMedia();
 public void setMedia(String media);
 public String getRel();
 public void setRel(String rel);
 public String getRev();
 public void setRev(String rev);
 public String getTarget();
 public void setTarget(String target);
 public String getType();
 public void setType(String type);
}
public interface HTMLTitleElement extends HTMLElement {
 public String getText();
 public void setText(String text);
}
public interface HTMLMetaElement extends HTMLElement {
 public String getContent();
 public void setContent(String content);
 public String getHttpEquiv();
 public void setHttpEquiv(String httpEquiv);
 public String getName();
 public void setName(String name);
 public String getScheme();
 public void setScheme(String scheme);
}
public interface HTMLBaseElement extends HTMLElement {
 public String getHref();
 public void setHref(String href);
 public String getTarget();
 public void setTarget(String target);
}
public interface HTMLIsIndexElement extends HTMLElement {
 public HTMLFormElement getForm();
 public String getPrompt();
 public void setPrompt(String prompt);
}
public interface HTMLStyleElement extends HTMLElement {
 public boolean getDisabled();
 public void setDisabled(boolean disabled);
 public String getMedia();
 public void setMedia(String media);
 public String getType();
 public void setType(String type);
}
public interface HTMLBodyElement extends HTMLElement {
 public String getALink();
 public void setALink(String aLink);
 public String getBackground();
 public void setBackground(String background);
 public String getBgColor();
 public void setBgColor(String bgColor);
 public String getLink();
 public void setLink(String link);
 public String getText();
 public void setText(String text);
 public String getVLink();
 public void setVLink(String vLink);
}
public interface HTMLFormElement extends HTMLElement {
 public HTMLCollection getElements();
 public int getLength();
 public String getName();
 public void setName(String name);
 public String getAcceptCharset();
 public void setAcceptCharset(String acceptCharset);
 public String getAction();
 public void setAction(String action);
 public String getEnctype();
 public void setEnctype(String enctype);
 public String getMethod();
 public void setMethod(String method);
 public String getTarget();
 public void setTarget(String target);
 public void submit();
 public void reset();
}
public interface HTMLSelectElement extends HTMLElement {
 public String getType();
 public int getSelectedIndex();
 public void setSelectedIndex(int selectedIndex);
 public String getValue();
 public void setValue(String value);
 public int getLength();
 public HTMLFormElement getForm();
 public HTMLCollection getOptions();
 public boolean getDisabled();
 public void setDisabled(boolean disabled);
 public boolean getMultiple();
 public void setMultiple(boolean multiple);
 public String getName();
 public void setName(String name);
 public int getSize();
 public void setSize(int size);
 public int getTabIndex();
 public void setTabIndex(int tabIndex);
 public void add(HTMLElement element, 
 HTMLElement before);
 public void remove(int index);
 public void blur();
 public void focus();
}
public interface HTMLOptGroupElement extends HTMLElement {
 public boolean getDisabled();
 public void setDisabled(boolean disabled);
 public String getLabel();
 public void setLabel(String label);
}
public interface HTMLOptionElement extends HTMLElement {
 public HTMLFormElement getForm();
 public boolean getDefaultSelected();
 public void setDefaultSelected(boolean defaultSelected);
 public String getText();
 public int getIndex();
 public void setIndex(int index);
 public boolean getDisabled();
 public void setDisabled(boolean disabled);
 public String getLabel();
 public void setLabel(String label);
 public boolean getSelected();
 public String getValue();
 public void setValue(String value);
}
public interface HTMLInputElement extends HTMLElement {
 public String getDefaultValue();
 public void setDefaultValue(String defaultValue);
 public boolean getDefaultChecked();
 public void setDefaultChecked(boolean defaultChecked);
 public HTMLFormElement getForm();
 public String getAccept();
 public void setAccept(String accept);
 public String getAccessKey();
 public void setAccessKey(String accessKey);
 public String getAlign();
 public void setAlign(String align);
 public String getAlt();
 public void setAlt(String alt);
 public boolean getChecked();
 public void setChecked(boolean checked);
 public boolean getDisabled();
 public void setDisabled(boolean disabled);
 public int getMaxLength();
 public void setMaxLength(int maxLength);
 public String getName();
 public void setName(String name);
 public boolean getReadOnly();
 public void setReadOnly(boolean readOnly);
 public String getSize();
 public void setSize(String size);
 public String getSrc();
 public void setSrc(String src);
 public int getTabIndex();
 public void setTabIndex(int tabIndex);
 public String getType();
 public String getUseMap();
 public void setUseMap(String useMap);
 public String getValue();
 public void setValue(String value);
 public void blur();
 public void focus();
 public void select();
 public void click();
}
public interface HTMLTextAreaElement extends HTMLElement {
 public String getDefaultValue();
 public void setDefaultValue(String defaultValue);
 public HTMLFormElement getForm();
 public String getAccessKey();
 public void setAccessKey(String accessKey);
 public int getCols();
 public void setCols(int cols);
 public boolean getDisabled();
 public void setDisabled(boolean disabled);
 public String getName();
 public void setName(String name);
 public boolean getReadOnly();
 public void setReadOnly(boolean readOnly);
 public int getRows();
 public void setRows(int rows);
 public int getTabIndex();
 public void setTabIndex(int tabIndex);
 public String getType();
 public String getValue();
 public void setValue(String value);
 public void blur();
 public void focus();
 public void select();
}
public interface HTMLButtonElement extends HTMLElement {
 public HTMLFormElement getForm();
 public String getAccessKey();
 public void setAccessKey(String accessKey);
 public boolean getDisabled();
 public void setDisabled(boolean disabled);
 public String getName();
 public void setName(String name);
 public int getTabIndex();
 public void setTabIndex(int tabIndex);
 public String getType();
 public String getValue();
 public void setValue(String value);
}
public interface HTMLLabelElement extends HTMLElement {
 public HTMLFormElement getForm();
 public String getAccessKey();
 public void setAccessKey(String accessKey);
 public String getHtmlFor();
 public void setHtmlFor(String htmlFor);
}
public interface HTMLFieldSetElement extends HTMLElement {
 public HTMLFormElement getForm();
}
public interface HTMLLegendElement extends HTMLElement {
 public HTMLFormElement getForm();
 public String getAccessKey();
 public void setAccessKey(String accessKey);
 public String getAlign();
 public void setAlign(String align);
}
public interface HTMLUListElement extends HTMLElement {
 public boolean getCompact();
 public void setCompact(boolean compact);
 public String getType();
 public void setType(String type);
}
public interface HTMLOListElement extends HTMLElement {
 public boolean getCompact();
 public void setCompact(boolean compact);
 public int getStart();
 public void setStart(int start);
 public String getType();
 public void setType(String type);
}
public interface HTMLDListElement extends HTMLElement {
 public boolean getCompact();
 public void setCompact(boolean compact);
}
public interface HTMLDirectoryElement extends HTMLElement {
 public boolean getCompact();
 public void setCompact(boolean compact);
}
public interface HTMLMenuElement extends HTMLElement {
 public boolean getCompact();
 public void setCompact(boolean compact);
}
public interface HTMLLIElement extends HTMLElement {
 public String getType();
 public void setType(String type);
 public int getValue();
 public void setValue(int value);
}
public interface HTMLBlockquoteElement extends HTMLElement {
 public String getCite();
 public void setCite(String cite);
}
public interface HTMLDivElement extends HTMLElement {
 public String getAlign();
 public void setAlign(String align);
}
public interface HTMLParagraphElement extends HTMLElement {
 public String getAlign();
 public void setAlign(String align);
}
public interface HTMLHeadingElement extends HTMLElement {
 public String getAlign();
 public void setAlign(String align);
}
public interface HTMLQuoteElement extends HTMLElement {
 public String getCite();
 public void setCite(String cite);
}
public interface HTMLPreElement extends HTMLElement {
 public int getWidth();
 public void setWidth(int width);
}
public interface HTMLBRElement extends HTMLElement {
 public String getClear();
 public void setClear(String clear);
}
public interface HTMLBaseFontElement extends HTMLElement {
 public String getColor();
 public void setColor(String color);
 public String getFace();
 public void setFace(String face);
 public String getSize();
 public void setSize(String size);
}
public interface HTMLFontElement extends HTMLElement {
 public String getColor();
 public void setColor(String color);
 public String getFace();
 public void setFace(String face);
 public String getSize();
 public void setSize(String size);
}
public interface HTMLHRElement extends HTMLElement {
 public String getAlign();
 public void setAlign(String align);
 public boolean getNoShade();
 public void setNoShade(boolean noShade);
 public String getSize();
 public void setSize(String size);
 public String getWidth();
 public void setWidth(String width);
}
public interface HTMLModElement extends HTMLElement {
 public String getCite();
 public void setCite(String cite);
 public String getDateTime();
 public void setDateTime(String dateTime);
}
public interface HTMLAnchorElement extends HTMLElement {
 public String getAccessKey();
 public void setAccessKey(String accessKey);
 public String getCharset();
 public void setCharset(String charset);
 public String getCoords();
 public void setCoords(String coords);
 public String getHref();
 public void setHref(String href);
 public String getHreflang();
 public void setHreflang(String hreflang);
 public String getName();
 public void setName(String name);
 public String getRel();
 public void setRel(String rel);
 public String getRev();
 public void setRev(String rev);
 public String getShape();
 public void setShape(String shape);
 public int getTabIndex();
 public void setTabIndex(int tabIndex);
 public String getTarget();
 public void setTarget(String target);
 public String getType();
 public void setType(String type);
 public void blur();
 public void focus();
}
public interface HTMLImageElement extends HTMLElement {
 public String getLowSrc();
 public void setLowSrc(String lowSrc);
 public String getName();
 public void setName(String name);
 public String getAlign();
 public void setAlign(String align);
 public String getAlt();
 public void setAlt(String alt);
 public String getBorder();
 public void setBorder(String border);
 public String getHeight();
 public void setHeight(String height);
 public String getHspace();
 public void setHspace(String hspace);
 public boolean getIsMap();
 public void setIsMap(boolean isMap);
 public String getLongDesc();
 public void setLongDesc(String longDesc);
 public String getSrc();
 public void setSrc(String src);
 public String getUseMap();
 public void setUseMap(String useMap);
 public String getVspace();
 public void setVspace(String vspace);
 public String getWidth();
 public void setWidth(String width);
}
public interface HTMLObjectElement extends HTMLElement {
 public HTMLFormElement getForm();
 public String getCode();
 public void setCode(String code);
 public String getAlign();
 public void setAlign(String align);
 public String getArchive();
 public void setArchive(String archive);
 public String getBorder();
 public void setBorder(String border);
 public String getCodeBase();
 public void setCodeBase(String codeBase);
 public String getCodeType();
 public void setCodeType(String codeType);
 public String getData();
 public void setData(String data);
 public boolean getDeclare();
 public void setDeclare(boolean declare);
 public String getHeight();
 public void setHeight(String height);
 public String getHspace();
 public void setHspace(String hspace);
 public String getName();
 public void setName(String name);
 public String getStandby();
 public void setStandby(String standby);
 public int getTabIndex();
 public void setTabIndex(int tabIndex);
 public String getType();
 public void setType(String type);
 public String getUseMap();
 public void setUseMap(String useMap);
 public String getVspace();
 public void setVspace(String vspace);
 public String getWidth();
 public void setWidth(String width);
}
public interface HTMLParamElement extends HTMLElement {
 public String getName();
 public void setName(String name);
 public String getType();
 public void setType(String type);
 public String getValue();
 public void setValue(String value);
 public String getValueType();
 public void setValueType(String valueType);
}
public interface HTMLAppletElement extends HTMLElement {
 public String getAlign();
 public void setAlign(String align);
 public String getAlt();
 public void setAlt(String alt);
 public String getArchive();
 public void setArchive(String archive);
 public String getCode();
 public void setCode(String code);
 public String getCodeBase();
 public void setCodeBase(String codeBase);
 public String getHeight();
 public void setHeight(String height);
 public String getHspace();
 public void setHspace(String hspace);
 public String getName();
 public void setName(String name);
 public String getObject();
 public void setObject(String object);
 public String getVspace();
 public void setVspace(String vspace);
 public String getWidth();
 public void setWidth(String width);
}
public interface HTMLMapElement extends HTMLElement {
 public HTMLCollection getAreas();
 public String getName();
 public void setName(String name);
}
public interface HTMLAreaElement extends HTMLElement {
 public String getAccessKey();
 public void setAccessKey(String accessKey);
 public String getAlt();
 public void setAlt(String alt);
 public String getCoords();
 public void setCoords(String coords);
 public String getHref();
 public void setHref(String href);
 public boolean getNoHref();
 public void setNoHref(boolean noHref);
 public String getShape();
 public void setShape(String shape);
 public int getTabIndex();
 public void setTabIndex(int tabIndex);
 public String getTarget();
 public void setTarget(String target);
}
public interface HTMLScriptElement extends HTMLElement {
 public String getText();
 public void setText(String text);
 public String getHtmlFor();
 public void setHtmlFor(String htmlFor);
 public String getEvent();
 public void setEvent(String event);
 public String getCharset();
 public void setCharset(String charset);
 public boolean getDefer();
 public void setDefer(boolean defer);
 public String getSrc();
 public void setSrc(String src);
 public String getType();
 public void setType(String type);
}
public interface HTMLTableElement extends HTMLElement {
 public HTMLTableCaptionElement getCaption();
 public void setCaption(HTMLTableCaptionElement caption);
 public HTMLTableSectionElement getTHead();
 public void setTHead(HTMLTableSectionElement tHead);
 public HTMLTableSectionElement getTFoot();
 public void setTFoot(HTMLTableSectionElement tFoot);
 public HTMLCollection getRows();
 public HTMLCollection getTBodies();
 public String getAlign();
 public void setAlign(String align);
 public String getBgColor();
 public void setBgColor(String bgColor);
 public String getBorder();
 public void setBorder(String border);
 public String getCellPadding();
 public void setCellPadding(String cellPadding);
 public String getCellSpacing();
 public void setCellSpacing(String cellSpacing);
 public String getFrame();
 public void setFrame(String frame);
 public String getRules();
 public void setRules(String rules);
 public String getSummary();
 public void setSummary(String summary);
 public String getWidth();
 public void setWidth(String width);
 public HTMLElement createTHead();
 public void deleteTHead();
 public HTMLElement createTFoot();
 public void deleteTFoot();
 public HTMLElement createCaption();
 public void deleteCaption();
 public HTMLElement insertRow(int index);
 public void deleteRow(int index);
}
public interface HTMLTableCaptionElement extends HTMLElement {
 public String getAlign();
 public void setAlign(String align);
}
public interface HTMLTableColElement extends HTMLElement {
 public String getAlign();
 public void setAlign(String align);
 public String getCh();
 public void setCh(String ch);
 public String getChOff();
 public void setChOff(String chOff);
 public int getSpan();
 public void setSpan(int span);
 public String getVAlign();
 public void setVAlign(String vAlign);
 public String getWidth();
 public void setWidth(String width);
}
public interface HTMLTableSectionElement extends HTMLElement {
 public String getAlign();
 public void setAlign(String align);
 public String getCh();
 public void setCh(String ch);
 public String getChOff();
 public void setChOff(String chOff);
 public String getVAlign();
 public void setVAlign(String vAlign);
 public HTMLCollection getRows();
 public HTMLElement insertRow(int index);
 public void deleteRow(int index);
}
public interface HTMLTableRowElement extends HTMLElement {
 public int getRowIndex();
 public void setRowIndex(int rowIndex);
 public int getSectionRowIndex();
 public void setSectionRowIndex(int sectionRowIndex);
 public HTMLCollection getCells();
 public void setCells(HTMLCollection cells);
 public String getAlign();
 public void setAlign(String align);
 public String getBgColor();
 public void setBgColor(String bgColor);
 public String getCh();
 public void setCh(String ch);
 public String getChOff();
 public void setChOff(String chOff);
 public String getVAlign();
 public void setVAlign(String vAlign);
 public HTMLElement insertCell(int index);
 public void deleteCell(int index);
}
public interface HTMLTableCellElement extends HTMLElement {
 public int getCellIndex();
 public void setCellIndex(int cellIndex);
 public String getAbbr();
 public void setAbbr(String abbr);
 public String getAlign();
 public void setAlign(String align);
 public String getAxis();
 public void setAxis(String axis);
 public String getBgColor();
 public void setBgColor(String bgColor);
 public String getCh();
 public void setCh(String ch);
 public String getChOff();
 public void setChOff(String chOff);
 public int getColSpan();
 public void setColSpan(int colSpan);
 public String getHeaders();
 public void setHeaders(String headers);
 public String getHeight();
 public void setHeight(String height);
 public boolean getNoWrap();
 public void setNoWrap(boolean noWrap);
 public int getRowSpan();
 public void setRowSpan(int rowSpan);
 public String getScope();
 public void setScope(String scope);
 public String getVAlign();
 public void setVAlign(String vAlign);
 public String getWidth();
 public void setWidth(String width);
}
public interface HTMLFrameSetElement extends HTMLElement {
 public String getCols();
 public void setCols(String cols);
 public String getRows();
 public void setRows(String rows);
}
public interface HTMLFrameElement extends HTMLElement {
 public String getFrameBorder();
 public void setFrameBorder(String frameBorder);
 public String getLongDesc();
 public void setLongDesc(String longDesc);
 public String getMarginHeight();
 public void setMarginHeight(String marginHeight);
 public String getMarginWidth();
 public void setMarginWidth(String marginWidth);
 public String getName();
 public void setName(String name);
 public boolean getNoResize();
 public void setNoResize(boolean noResize);
 public String getScrolling();
 public void setScrolling(String scrolling);
 public String getSrc();
 public void setSrc(String src);
}
public interface HTMLIFrameElement extends HTMLElement {
 public String getAlign();
 public void setAlign(String align);
 public String getFrameBorder();
 public void setFrameBorder(String frameBorder);
 public String getHeight();
 public void setHeight(String height);
 public String getLongDesc();
 public void setLongDesc(String longDesc);
 public String getMarginHeight();
 public void setMarginHeight(String marginHeight);
 public String getMarginWidth();
 public void setMarginWidth(String marginWidth);
 public String getName();
 public void setName(String name);
 public String getScrolling();
 public void setScrolling(String scrolling);
 public String getSrc();
 public void setSrc(String src);
 public String getWidth();
 public void setWidth(String width);
}