diff --git a/java/external/src/org/w3c/dom/html/HTMLAnchorElement.java b/java/external/src/org/w3c/dom/html/HTMLAnchorElement.java
new file mode 100644
index 0000000..38fbf18
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLAnchorElement.java
@@ -0,0 +1,94 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * The anchor element. See the A element definition in HTML 4.0.
+ */
+public interface HTMLAnchorElement extends HTMLElement {
+ /**
+ * A single character access key to give access to the form control. See the
+ * accesskey attribute definition in HTML 4.0.
+ */
+ public String getAccessKey();
+ public void setAccessKey(String accessKey);
+ /**
+ * The character encoding of the linked resource. See the charset attribute
+ * definition in HTML 4.0.
+ */
+ public String getCharset();
+ public void setCharset(String charset);
+ /**
+ * Comma-separated list of lengths, defining an active region geometry.See
+ * also shape for the shape of the region. See the coords
+ * attribute definition in HTML 4.0.
+ */
+ public String getCoords();
+ public void setCoords(String coords);
+ /**
+ * The URI of the linked resource. See the href attribute definition in HTML
+ * 4.0.
+ */
+ public String getHref();
+ public void setHref(String href);
+ /**
+ * Language code of the linked resource. See the hreflang attribute
+ * definition in HTML 4.0.
+ */
+ public String getHreflang();
+ public void setHreflang(String hreflang);
+ /**
+ * Anchor name. See the name attribute definition in HTML 4.0.
+ */
+ public String getName();
+ public void setName(String name);
+ /**
+ * Forward link type. See the rel attribute definition in HTML 4.0.
+ */
+ public String getRel();
+ public void setRel(String rel);
+ /**
+ * Reverse link type. See the rev attribute definition in HTML 4.0.
+ */
+ public String getRev();
+ public void setRev(String rev);
+ /**
+ * The shape of the active area. The coordinates are givenby
+ * coords. See the shape attribute definition in HTML 4.0.
+ */
+ public String getShape();
+ public void setShape(String shape);
+ /**
+ * Index that represents the element's position in the tabbing order. See
+ * the tabindex attribute definition in HTML 4.0.
+ */
+ public int getTabIndex();
+ public void setTabIndex(int tabIndex);
+ /**
+ * Frame to render the resource in. See the target attribute definition in
+ * HTML 4.0.
+ */
+ public String getTarget();
+ public void setTarget(String target);
+ /**
+ * Advisory content type. See the type attribute definition in HTML 4.0.
+ */
+ public String getType();
+ public void setType(String type);
+ /**
+ * Removes keyboard focus from this element.
+ */
+ public void blur();
+ /**
+ * Gives keyboard focus to this element.
+ */
+ public void focus();
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLAppletElement.java b/java/external/src/org/w3c/dom/html/HTMLAppletElement.java
new file mode 100644
index 0000000..1a0867f
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLAppletElement.java
@@ -0,0 +1,88 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * An embedded Java applet. See the APPLET element definition in HTML 4.0.
+ * This element is deprecated in HTML 4.0.
+ */
+public interface HTMLAppletElement extends HTMLElement {
+ /**
+ * Aligns this object (vertically or horizontally) with respect to its
+ * surrounding text. See the align attribute definition in HTML 4.0. This
+ * attribute is deprecated in HTML 4.0.
+ */
+ public String getAlign();
+ public void setAlign(String align);
+ /**
+ * Alternate text for user agents not rendering the normal contentof this
+ * element. See the alt attribute definition in HTML 4.0. This attribute is
+ * deprecated in HTML 4.0.
+ */
+ public String getAlt();
+ public void setAlt(String alt);
+ /**
+ * Comma-separated archive list. See the archive attribute definition in
+ * HTML 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public String getArchive();
+ public void setArchive(String archive);
+ /**
+ * Applet class file. See the code attribute definition in HTML 4.0. This
+ * attribute is deprecated in HTML 4.0.
+ */
+ public String getCode();
+ public void setCode(String code);
+ /**
+ * Optional base URI for applet. See the codebase attribute definition in
+ * HTML 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public String getCodeBase();
+ public void setCodeBase(String codeBase);
+ /**
+ * Override height. See the height attribute definition in HTML 4.0. This
+ * attribute is deprecated in HTML 4.0.
+ */
+ public String getHeight();
+ public void setHeight(String height);
+ /**
+ * Horizontal space to the left and right of this image, applet, or object.
+ * See the hspace attribute definition in HTML 4.0. This attribute is
+ * deprecated in HTML 4.0.
+ */
+ public String getHspace();
+ public void setHspace(String hspace);
+ /**
+ * The name of the applet. See the name attribute definition in HTML 4.0.
+ * This attribute is deprecated in HTML 4.0.
+ */
+ public String getName();
+ public void setName(String name);
+ /**
+ * Serialized applet file. See the object attribute definition in HTML 4.0.
+ * This attribute is deprecated in HTML 4.0.
+ */
+ public String getObject();
+ public void setObject(String object);
+ /**
+ * Vertical space above and below this image, applet, or object. See the
+ * vspace attribute definition in HTML 4.0. This attribute is deprecated in
+ * HTML 4.0.
+ */
+ public String getVspace();
+ public void setVspace(String vspace);
+ /**
+ * Override width. See the width attribute definition in HTML 4.0. This
+ * attribute is deprecated in HTML 4.0.
+ */
+ public String getWidth();
+ public void setWidth(String width);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLAreaElement.java b/java/external/src/org/w3c/dom/html/HTMLAreaElement.java
new file mode 100644
index 0000000..e909b64
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLAreaElement.java
@@ -0,0 +1,67 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Client-side image map area definition. See the AREA element definition in
+ * HTML 4.0.
+ */
+public interface HTMLAreaElement extends HTMLElement {
+ /**
+ * A single character access key to give access to the form control. See the
+ * accesskey attribute definition in HTML 4.0.
+ */
+ public String getAccessKey();
+ public void setAccessKey(String accessKey);
+ /**
+ * Alternate text for user agents not rendering the normal contentof this
+ * element. See the alt attribute definition in HTML 4.0.
+ */
+ public String getAlt();
+ public void setAlt(String alt);
+ /**
+ * Comma-separated list of lengths, defining an active region geometry.See
+ * also shape for the shape of the region. See the coords
+ * attribute definition in HTML 4.0.
+ */
+ public String getCoords();
+ public void setCoords(String coords);
+ /**
+ * The URI of the linked resource. See the href attribute definition in HTML
+ * 4.0.
+ */
+ public String getHref();
+ public void setHref(String href);
+ /**
+ * Specifies that this area is inactive, i.e., has no associated action. See
+ * the nohref attribute definition in HTML 4.0.
+ */
+ public boolean getNoHref();
+ public void setNoHref(boolean noHref);
+ /**
+ * The shape of the active area. The coordinates are givenby
+ * coords. See the shape attribute definition in HTML 4.0.
+ */
+ public String getShape();
+ public void setShape(String shape);
+ /**
+ * Index that represents the element's position in the tabbing order. See
+ * the tabindex attribute definition in HTML 4.0.
+ */
+ public int getTabIndex();
+ public void setTabIndex(int tabIndex);
+ /**
+ * Frame to render the resource in. See the target attribute definition in
+ * HTML 4.0.
+ */
+ public String getTarget();
+ public void setTarget(String target);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLBRElement.java b/java/external/src/org/w3c/dom/html/HTMLBRElement.java
new file mode 100644
index 0000000..a1c4af5
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLBRElement.java
@@ -0,0 +1,23 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Force a line break. See the BR element definition in HTML 4.0.
+ */
+public interface HTMLBRElement extends HTMLElement {
+ /**
+ * Control flow of text around floats. See the clear attribute definition in
+ * HTML 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public String getClear();
+ public void setClear(String clear);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLBaseElement.java b/java/external/src/org/w3c/dom/html/HTMLBaseElement.java
new file mode 100644
index 0000000..3b4fada
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLBaseElement.java
@@ -0,0 +1,27 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Document base URI. See the BASE element definition in HTML 4.0.
+ */
+public interface HTMLBaseElement extends HTMLElement {
+ /**
+ * The base URI See the href attribute definition in HTML 4.0.
+ */
+ public String getHref();
+ public void setHref(String href);
+ /**
+ * The default target frame. See the target attribute definition in HTML 4.0.
+ */
+ public String getTarget();
+ public void setTarget(String target);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLBaseFontElement.java b/java/external/src/org/w3c/dom/html/HTMLBaseFontElement.java
new file mode 100644
index 0000000..71bfd92
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLBaseFontElement.java
@@ -0,0 +1,36 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Base font. See the BASEFONT element definition in HTML 4.0. This element is
+ * deprecated in HTML 4.0.
+ */
+public interface HTMLBaseFontElement extends HTMLElement {
+ /**
+ * Font color. See the color attribute definition in HTML 4.0. This
+ * attribute is deprecated in HTML 4.0.
+ */
+ public String getColor();
+ public void setColor(String color);
+ /**
+ * Font face identifier. See the face attribute definition in HTML 4.0. This
+ * attribute is deprecated in HTML 4.0.
+ */
+ public String getFace();
+ public void setFace(String face);
+ /**
+ * Font size. See the size attribute definition in HTML 4.0. This attribute
+ * is deprecated in HTML 4.0.
+ */
+ public String getSize();
+ public void setSize(String size);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLBlockquoteElement.java b/java/external/src/org/w3c/dom/html/HTMLBlockquoteElement.java
new file mode 100644
index 0000000..da8b868
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLBlockquoteElement.java
@@ -0,0 +1,23 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * ??? See the BLOCKQUOTE element definition in HTML 4.0.
+ */
+public interface HTMLBlockquoteElement extends HTMLElement {
+ /**
+ * A URI designating a document that describes the reason forthe change. See
+ * the cite attribute definition in HTML 4.0.
+ */
+ public String getCite();
+ public void setCite(String cite);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLBodyElement.java b/java/external/src/org/w3c/dom/html/HTMLBodyElement.java
new file mode 100644
index 0000000..ddcd587
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLBodyElement.java
@@ -0,0 +1,57 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * The HTML document body. This element is always present in the DOM API,even
+ * if the tags are not present in the source document. See the BODY element
+ * definition in HTML 4.0.
+ */
+public interface HTMLBodyElement extends HTMLElement {
+ /**
+ * Color of active links (after mouse-button down, but beforemouse-button
+ * up). See the alink attribute definition in HTML 4.0. This attribute is
+ * deprecated in HTML 4.0.
+ */
+ public String getALink();
+ public void setALink(String aLink);
+ /**
+ * URI of the background texture tile image. See the background attribute
+ * definition in HTML 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public String getBackground();
+ public void setBackground(String background);
+ /**
+ * Document background color. See the bgcolor attribute definition in HTML
+ * 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public String getBgColor();
+ public void setBgColor(String bgColor);
+ /**
+ * Color of links that are not active and unvisited. See the link attribute
+ * definition in HTML 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public String getLink();
+ public void setLink(String link);
+ /**
+ * Document text color. See the text attribute definition in HTML 4.0. This
+ * attribute is deprecated in HTML 4.0.
+ */
+ public String getText();
+ public void setText(String text);
+ /**
+ * Color of links that have been visited by the user. See the vlink
+ * attribute definition in HTML 4.0. This attribute is deprecated in HTML
+ * 4.0.
+ */
+ public String getVLink();
+ public void setVLink(String vLink);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLButtonElement.java b/java/external/src/org/w3c/dom/html/HTMLButtonElement.java
new file mode 100644
index 0000000..79aac0d
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLButtonElement.java
@@ -0,0 +1,56 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Push button. See the BUTTON element definition in HTML 4.0.
+ */
+public interface HTMLButtonElement extends HTMLElement {
+ /**
+ * Returns the FORM element containing this control.Returns
+ * null if this control is not within the context of a form.
+ */
+ public HTMLFormElement getForm();
+ /**
+ * A single character access key to give access to the form control. See the
+ * accesskey attribute definition in HTML 4.0.
+ */
+ public String getAccessKey();
+ public void setAccessKey(String accessKey);
+ /**
+ * The control is unavailable in this context. See the disabled attribute
+ * definition in HTML 4.0.
+ */
+ public boolean getDisabled();
+ public void setDisabled(boolean disabled);
+ /**
+ * Form control or object name when submitted with a form. See the name
+ * attribute definition in HTML 4.0.
+ */
+ public String getName();
+ public void setName(String name);
+ /**
+ * Index that represents the element's position in the tabbing order. See
+ * the tabindex attribute definition in HTML 4.0.
+ */
+ public int getTabIndex();
+ public void setTabIndex(int tabIndex);
+ /**
+ * The type of button. See the type attribute definition in HTML 4.0.
+ */
+ public String getType();
+ /**
+ * The current form control value. See the value attribute definition in
+ * HTML 4.0.
+ */
+ public String getValue();
+ public void setValue(String value);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLCollection.java b/java/external/src/org/w3c/dom/html/HTMLCollection.java
new file mode 100644
index 0000000..ccfba41
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLCollection.java
@@ -0,0 +1,46 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * An HTMLCollection is a list of nodes. An individual nodemay be
+ * accessed by either ordinal index or the node'sname or
+ * id attributes. Note:Collections in the HTML DOM are assumed
+ * to be live meaningthat they are automatically updated when the underlying
+ * document ischanged.
+ */
+public interface HTMLCollection {
+ /**
+ * This attribute specifies the length or size of the list.
+ */
+ public int getLength();
+ /**
+ * This method retrieves a node specified by ordinal index. Nodes are
+ * numbered in tree order (depth-first traversal order).
+ * @param index The index of the node to be fetched. The index origin is 0.
+ * @return The Node at the corresponding position upon success.
+ * A value of null is returned if the index is out of range.
+ */
+ public Node item(int index);
+ /**
+ * This method retrieves a Node using a name. It first searches
+ * for a Node with a matching id attribute. If it
+ * doesn't find one, it then searches for a Node with a
+ * matching name attribute, but only on those elements that
+ * are allowed a name attribute.
+ * @param name The name of the Node to be fetched.
+ * @return The Node with a name or id
+ * attribute whose value corresponds to the specified string. Upon
+ * failure (e.g., no node with this name exists), returns
+ * null.
+ */
+ public Node namedItem(String name);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLDListElement.java b/java/external/src/org/w3c/dom/html/HTMLDListElement.java
new file mode 100644
index 0000000..8db6dc6
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLDListElement.java
@@ -0,0 +1,23 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Definition list. See the DL element definition in HTML 4.0.
+ */
+public interface HTMLDListElement extends HTMLElement {
+ /**
+ * Reduce spacing between list items. See the compact attribute definition
+ * in HTML 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public boolean getCompact();
+ public void setCompact(boolean compact);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLDirectoryElement.java b/java/external/src/org/w3c/dom/html/HTMLDirectoryElement.java
new file mode 100644
index 0000000..47a4ad9
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLDirectoryElement.java
@@ -0,0 +1,24 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Directory list. See the DIR element definition in HTML 4.0. This element is
+ * deprecated in HTML 4.0.
+ */
+public interface HTMLDirectoryElement extends HTMLElement {
+ /**
+ * Reduce spacing between list items. See the compact attribute definition
+ * in HTML 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public boolean getCompact();
+ public void setCompact(boolean compact);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLDivElement.java b/java/external/src/org/w3c/dom/html/HTMLDivElement.java
new file mode 100644
index 0000000..c7285ae
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLDivElement.java
@@ -0,0 +1,23 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Generic block container. See the DIV element definition in HTML 4.0.
+ */
+public interface HTMLDivElement extends HTMLElement {
+ /**
+ * Horizontal text alignment. See the align attribute definition in HTML
+ * 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public String getAlign();
+ public void setAlign(String align);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLDocument.java b/java/external/src/org/w3c/dom/html/HTMLDocument.java
new file mode 100644
index 0000000..9e58eeb
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLDocument.java
@@ -0,0 +1,135 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * An HTMLDocument is the root of the HTML hierarchy andholds the
+ * entire content. Beside providing access to the hierarchy, italso provides
+ * some convenience methods for accessing certain sets ofinformation from the
+ * document.
+ *
The following properties have been deprecated in favor of the
+ * corresponding ones for the BODY element:alinkColorbackgroundbgColorfgColor
+ * linkColorvlinkColor
+ *
+ */
+public interface HTMLDocument extends Document {
+ /**
+ * The title of a document as specified by the TITLEelement in
+ * the head of the document.
+ */
+ public String getTitle();
+ public void setTitle(String title);
+ /**
+ * Returns the URI of the page that linked to this page. The value isan
+ * empty string if the user navigated to the page directly (notthrough a
+ * link, but, for example, via a bookmark).
+ */
+ public String getReferrer();
+ /**
+ * The domain name of the server that served the document, or a nullstring
+ * if the server cannot be identified by a domain name.
+ */
+ public String getDomain();
+ /**
+ * The complete URI of the document.
+ */
+ public String getURL();
+ /**
+ * The element that contains the content for the document. In documentswith
+ * BODY contents, returns the BODYelement, and in
+ * frameset documents, this returns the outermostFRAMESET
+ * element.
+ */
+ public HTMLElement getBody();
+ public void setBody(HTMLElement body);
+ /**
+ * A collection of all the IMG elements in a document.The
+ * behavior is limited to IMG elements forbackwards
+ * compatibility.
+ */
+ public HTMLCollection getImages();
+ /**
+ * A collection of all the OBJECT elements that includeapplets
+ * and APPLET (deprecated) elements ina document.
+ */
+ public HTMLCollection getApplets();
+ /**
+ * A collection of all AREA elements andanchor (A)
+ * elements in a documentwith a value for the href attribute.
+ */
+ public HTMLCollection getLinks();
+ /**
+ * A collection of all the forms of a document.
+ */
+ public HTMLCollection getForms();
+ /**
+ * A collection of all the anchor (A) elements in a document
+ * with a value for the name attribute.Note. For reasons of
+ * backwardscompatibility, the returned set of anchors only contains those
+ * anchors created with the name attribute, not those created
+ * with the id attribute.
+ */
+ public HTMLCollection getAnchors();
+ /**
+ * The cookies associated with this document. If there are none, thevalue is
+ * an empty string. Otherwise, the value is a string: asemicolon-delimited
+ * list of "name, value" pairs for all the cookiesassociated with the page.
+ * For example, name=value;expires=date.
+ */
+ public String getCookie();
+ public void setCookie(String cookie);
+ /**
+ * Note.This method and the ones following allow a user to add to or replace
+ * the structuremodel of a document using strings of unparsed HTML. At the
+ * time of writing alternate methods for providing similar functionality
+ * for both HTML and XML documents were being considered. The following
+ * methodsmay be deprecated at some point in the future in favor of a more
+ * general-purpose mechanism.
+ *
Open a document stream for writing. If a document exists in the
+ * target, this method clears it.
+ */
+ public void open();
+ /**
+ * Closes a document stream opened by open()and forces
+ * rendering.
+ */
+ public void close();
+ /**
+ * Write a string of text to a document stream opened byopen().
+ * The text is parsed into the document's structuremodel.
+ * @param text The string to be parsed into some structure in the document
+ * structuremodel.
+ */
+ public void write(String text);
+ /**
+ * Write a string of text followed by a newline character to a document
+ * stream opened by open(). The text is parsed into the
+ * document's structure model.
+ * @param text The string to be parsed into some structure in the document
+ * structuremodel.
+ */
+ public void writeln(String text);
+ /**
+ * Returns the Element whose id is given by elementId. If no
+ * such element exists, returns null. Behavior is not defined
+ * if more than one element has this id.
+ * @param elementId The unique id value for an element.
+ * @return The matching element.
+ */
+ public Element getElementById(String elementId);
+ /**
+ * Returns the (possibly empty) collection of elements whosename
+ * value is given by elementName.
+ * @param elementName The name attribute value for an element.
+ * @return The matching elements.
+ */
+ public NodeList getElementsByName(String elementName);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLElement.java b/java/external/src/org/w3c/dom/html/HTMLElement.java
new file mode 100644
index 0000000..8d0c291
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLElement.java
@@ -0,0 +1,54 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * All HTML element interfaces derive from this class. Elements that only
+ * exposethe HTML core attributes are represented by the base
+ * HTMLElement interface. These elements are as follows:HEAD
+ * special: SUB, SUP, SPAN, BDOfont: TT, I, B, U, S, STRIKE, BIG, SMALL
+ * phrase: EM, STRONG, DFN, CODE, SAMP, KBD, VAR, CITE, ACRONYM, ABBRlist:
+ * DD, DTNOFRAMES, NOSCRIPTADDRESS, CENTER
+ * Note. The style attribute for thisinterface is reserved for
+ * future usage.
+ */
+public interface HTMLElement extends Element {
+ /**
+ * The element's identifier. See the id attribute definition in HTML 4.0.
+ */
+ public String getId();
+ public void setId(String id);
+ /**
+ * The element's advisory title. See the title attribute definition in HTML
+ * 4.0.
+ */
+ public String getTitle();
+ public void setTitle(String title);
+ /**
+ * Language code defined in RFC 1766. See the lang attribute definition in
+ * HTML 4.0.
+ */
+ public String getLang();
+ public void setLang(String lang);
+ /**
+ * Specifies the base direction of directionally neutraltext and the
+ * directionality of tables. See the dir attribute definition in HTML 4.0.
+ */
+ public String getDir();
+ public void setDir(String dir);
+ /**
+ * The class attribute of the element. This attribute has been renameddue to
+ * conflicts with the "class" keyword exposed by many languages. See the
+ * class attribute definition in HTML 4.0.
+ */
+ public String getClassName();
+ public void setClassName(String className);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLFieldSetElement.java b/java/external/src/org/w3c/dom/html/HTMLFieldSetElement.java
new file mode 100644
index 0000000..2542194
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLFieldSetElement.java
@@ -0,0 +1,23 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Organizes form controls into logical groups. See the FIELDSET element
+ * definition in HTML 4.0.
+ */
+public interface HTMLFieldSetElement extends HTMLElement {
+ /**
+ * Returns the FORM element containing this control.Returns
+ * null if this control is not within the context of a form.
+ */
+ public HTMLFormElement getForm();
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLFontElement.java b/java/external/src/org/w3c/dom/html/HTMLFontElement.java
new file mode 100644
index 0000000..a7cb0a3
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLFontElement.java
@@ -0,0 +1,36 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Local change to font. See the FONT element definition in HTML 4.0. This
+ * element is deprecated in HTML 4.0.
+ */
+public interface HTMLFontElement extends HTMLElement {
+ /**
+ * Font color. See the color attribute definition in HTML 4.0. This
+ * attribute is deprecated in HTML 4.0.
+ */
+ public String getColor();
+ public void setColor(String color);
+ /**
+ * Font face identifier. See the face attribute definition in HTML 4.0. This
+ * attribute is deprecated in HTML 4.0.
+ */
+ public String getFace();
+ public void setFace(String face);
+ /**
+ * Font size. See the size attribute definition in HTML 4.0. This attribute
+ * is deprecated in HTML 4.0.
+ */
+ public String getSize();
+ public void setSize(String size);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLFormElement.java b/java/external/src/org/w3c/dom/html/HTMLFormElement.java
new file mode 100644
index 0000000..e2ef99d
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLFormElement.java
@@ -0,0 +1,72 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * The FORM element encompasses behavior similar to acollection
+ * and an element. It provides direct access to the containedinput elements
+ * as well as the attributes of the form element. See the FORM element
+ * definition in HTML 4.0.
+ */
+public interface HTMLFormElement extends HTMLElement {
+ /**
+ * Returns a collection of all control elements in the form.
+ */
+ public HTMLCollection getElements();
+ /**
+ * The number of form controls in the form.
+ */
+ public int getLength();
+ /**
+ * Names the form.
+ */
+ public String getName();
+ public void setName(String name);
+ /**
+ * List of character sets supported by the server. See the accept-charset
+ * attribute definition in HTML 4.0.
+ */
+ public String getAcceptCharset();
+ public void setAcceptCharset(String acceptCharset);
+ /**
+ * Server-side form handler. See the action attribute definition in HTML 4.0.
+ */
+ public String getAction();
+ public void setAction(String action);
+ /**
+ * The content type of the submitted form, generally
+ * "application/x-www-form-urlencoded". See the enctype attribute
+ * definition in HTML 4.0.
+ */
+ public String getEnctype();
+ public void setEnctype(String enctype);
+ /**
+ * HTTP method used to submit form. See the method attribute definition in
+ * HTML 4.0.
+ */
+ public String getMethod();
+ public void setMethod(String method);
+ /**
+ * Frame to render the resource in. See the target attribute definition in
+ * HTML 4.0.
+ */
+ public String getTarget();
+ public void setTarget(String target);
+ /**
+ * Submits the form. It performs the same action as a submit button.
+ */
+ public void submit();
+ /**
+ * Restores a form element's default values. It performs the same action as
+ * a reset button.
+ */
+ public void reset();
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLFrameElement.java b/java/external/src/org/w3c/dom/html/HTMLFrameElement.java
new file mode 100644
index 0000000..c0fce30
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLFrameElement.java
@@ -0,0 +1,65 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Create a frame. See the FRAME element definition in HTML 4.0.
+ */
+public interface HTMLFrameElement extends HTMLElement {
+ /**
+ * Request frame borders. See the frameborder attribute definition in HTML
+ * 4.0.
+ */
+ public String getFrameBorder();
+ public void setFrameBorder(String frameBorder);
+ /**
+ * URI designating a long description of this image or frame. See the
+ * longdesc attribute definition in HTML 4.0.
+ */
+ public String getLongDesc();
+ public void setLongDesc(String longDesc);
+ /**
+ * Frame margin height, in pixels. See the marginheight attribute definition
+ * in HTML 4.0.
+ */
+ public String getMarginHeight();
+ public void setMarginHeight(String marginHeight);
+ /**
+ * Frame margin width, in pixels. See the marginwidth attribute definition
+ * in HTML 4.0.
+ */
+ public String getMarginWidth();
+ public void setMarginWidth(String marginWidth);
+ /**
+ * The frame name (object of the target attribute). See the
+ * name attribute definition in HTML 4.0.
+ */
+ public String getName();
+ public void setName(String name);
+ /**
+ * When true, forbid user from resizing frame. See the noresize attribute
+ * definition in HTML 4.0.
+ */
+ public boolean getNoResize();
+ public void setNoResize(boolean noResize);
+ /**
+ * Specify whether or not the frame should have scrollbars. See the
+ * scrolling attribute definition in HTML 4.0.
+ */
+ public String getScrolling();
+ public void setScrolling(String scrolling);
+ /**
+ * A URI designating the initial frame contents. See the src attribute
+ * definition in HTML 4.0.
+ */
+ public String getSrc();
+ public void setSrc(String src);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLFrameSetElement.java b/java/external/src/org/w3c/dom/html/HTMLFrameSetElement.java
new file mode 100644
index 0000000..6a018df
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLFrameSetElement.java
@@ -0,0 +1,29 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Create a grid of frames. See the FRAMESET element definition in HTML 4.0.
+ */
+public interface HTMLFrameSetElement extends HTMLElement {
+ /**
+ * The number of columns of frames in the frameset. See the cols attribute
+ * definition in HTML 4.0.
+ */
+ public String getCols();
+ public void setCols(String cols);
+ /**
+ * The number of rows of frames in the frameset. See the rows attribute
+ * definition in HTML 4.0.
+ */
+ public String getRows();
+ public void setRows(String rows);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLHRElement.java b/java/external/src/org/w3c/dom/html/HTMLHRElement.java
new file mode 100644
index 0000000..55fab87
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLHRElement.java
@@ -0,0 +1,42 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Create a horizontal rule. See the HR element definition in HTML 4.0.
+ */
+public interface HTMLHRElement extends HTMLElement {
+ /**
+ * Align the rule on the page. See the align attribute definition in HTML
+ * 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public String getAlign();
+ public void setAlign(String align);
+ /**
+ * Indicates to the user agent that there should be no shading in the
+ * rendering of this element. See the noshade attribute definition in HTML
+ * 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public boolean getNoShade();
+ public void setNoShade(boolean noShade);
+ /**
+ * The height of the rule. See the size attribute definition in HTML 4.0.
+ * This attribute is deprecated in HTML 4.0.
+ */
+ public String getSize();
+ public void setSize(String size);
+ /**
+ * The width of the rule. See the width attribute definition in HTML 4.0.
+ * This attribute is deprecated in HTML 4.0.
+ */
+ public String getWidth();
+ public void setWidth(String width);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLHeadElement.java b/java/external/src/org/w3c/dom/html/HTMLHeadElement.java
new file mode 100644
index 0000000..10ee176
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLHeadElement.java
@@ -0,0 +1,23 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Document head information. See the HEAD element definition in HTML 4.0.
+ */
+public interface HTMLHeadElement extends HTMLElement {
+ /**
+ * URI designating a metadata profile. See the profile attribute definition
+ * in HTML 4.0.
+ */
+ public String getProfile();
+ public void setProfile(String profile);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLHeadingElement.java b/java/external/src/org/w3c/dom/html/HTMLHeadingElement.java
new file mode 100644
index 0000000..e63e223
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLHeadingElement.java
@@ -0,0 +1,24 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * For the H1 to H6 elements. See the H1 element
+ * definition in HTML 4.0.
+ */
+public interface HTMLHeadingElement extends HTMLElement {
+ /**
+ * Horizontal text alignment. See the align attribute definition in HTML
+ * 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public String getAlign();
+ public void setAlign(String align);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLHtmlElement.java b/java/external/src/org/w3c/dom/html/HTMLHtmlElement.java
new file mode 100644
index 0000000..ec0efb5
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLHtmlElement.java
@@ -0,0 +1,23 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Root of an HTML document. See the HTML element definition in HTML 4.0.
+ */
+public interface HTMLHtmlElement extends HTMLElement {
+ /**
+ * Version information about the document's DTD. See the version attribute
+ * definition in HTML 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public String getVersion();
+ public void setVersion(String version);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLIFrameElement.java b/java/external/src/org/w3c/dom/html/HTMLIFrameElement.java
new file mode 100644
index 0000000..34299e9
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLIFrameElement.java
@@ -0,0 +1,76 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Inline subwindows. See the IFRAME element definition in HTML 4.0.
+ */
+public interface HTMLIFrameElement extends HTMLElement {
+ /**
+ * Aligns this object (vertically or horizontally) with respect to its
+ * surrounding text. See the align attribute definition in HTML 4.0. This
+ * attribute is deprecated in HTML 4.0.
+ */
+ public String getAlign();
+ public void setAlign(String align);
+ /**
+ * Request frame borders. See the frameborder attribute definition in HTML
+ * 4.0.
+ */
+ public String getFrameBorder();
+ public void setFrameBorder(String frameBorder);
+ /**
+ * Frame height. See the height attribute definition in HTML 4.0.
+ */
+ public String getHeight();
+ public void setHeight(String height);
+ /**
+ * URI designating a long description of this image or frame. See the
+ * longdesc attribute definition in HTML 4.0.
+ */
+ public String getLongDesc();
+ public void setLongDesc(String longDesc);
+ /**
+ * Frame margin height, in pixels. See the marginheight attribute definition
+ * in HTML 4.0.
+ */
+ public String getMarginHeight();
+ public void setMarginHeight(String marginHeight);
+ /**
+ * Frame margin width, in pixels. See the marginwidth attribute definition
+ * in HTML 4.0.
+ */
+ public String getMarginWidth();
+ public void setMarginWidth(String marginWidth);
+ /**
+ * The frame name (object of the target attribute). See the
+ * name attribute definition in HTML 4.0.
+ */
+ public String getName();
+ public void setName(String name);
+ /**
+ * Specify whether or not the frame should have scrollbars. See the
+ * scrolling attribute definition in HTML 4.0.
+ */
+ public String getScrolling();
+ public void setScrolling(String scrolling);
+ /**
+ * A URI designating the initial frame contents. See the src attribute
+ * definition in HTML 4.0.
+ */
+ public String getSrc();
+ public void setSrc(String src);
+ /**
+ * Frame width. See the width attribute definition in HTML 4.0.
+ */
+ public String getWidth();
+ public void setWidth(String width);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLImageElement.java b/java/external/src/org/w3c/dom/html/HTMLImageElement.java
new file mode 100644
index 0000000..c09735f
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLImageElement.java
@@ -0,0 +1,92 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Embedded image. See the IMG element definition in HTML 4.0.
+ */
+public interface HTMLImageElement extends HTMLElement {
+ /**
+ * URI designating the source of this image, for low-resolution output.
+ */
+ public String getLowSrc();
+ public void setLowSrc(String lowSrc);
+ /**
+ * The name of the element (for backwards compatibility).
+ */
+ public String getName();
+ public void setName(String name);
+ /**
+ * Aligns this object (vertically or horizontally) with respect to its
+ * surrounding text. See the align attribute definition in HTML 4.0. This
+ * attribute is deprecated in HTML 4.0.
+ */
+ public String getAlign();
+ public void setAlign(String align);
+ /**
+ * Alternate text for user agents not rendering the normal contentof this
+ * element. See the alt attribute definition in HTML 4.0.
+ */
+ public String getAlt();
+ public void setAlt(String alt);
+ /**
+ * Width of border around image. See the border attribute definition in HTML
+ * 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public String getBorder();
+ public void setBorder(String border);
+ /**
+ * Override height. See the height attribute definition in HTML 4.0.
+ */
+ public String getHeight();
+ public void setHeight(String height);
+ /**
+ * Horizontal space to the left and right of this image. See the hspace
+ * attribute definition in HTML 4.0. This attribute is deprecated in HTML
+ * 4.0.
+ */
+ public String getHspace();
+ public void setHspace(String hspace);
+ /**
+ * Use server-side image map. See the ismap attribute definition in HTML 4.0.
+ */
+ public boolean getIsMap();
+ public void setIsMap(boolean isMap);
+ /**
+ * URI designating a long description of this image or frame. See the
+ * longdesc attribute definition in HTML 4.0.
+ */
+ public String getLongDesc();
+ public void setLongDesc(String longDesc);
+ /**
+ * URI designating the source of this image. See the src attribute definition
+ * in HTML 4.0.
+ */
+ public String getSrc();
+ public void setSrc(String src);
+ /**
+ * Use client-side image map. See the usemap attribute definition in HTML
+ * 4.0.
+ */
+ public String getUseMap();
+ public void setUseMap(String useMap);
+ /**
+ * Vertical space above and below this image. See the vspace attribute
+ * definition in HTML 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public String getVspace();
+ public void setVspace(String vspace);
+ /**
+ * Override width. See the width attribute definition in HTML 4.0.
+ */
+ public String getWidth();
+ public void setWidth(String width);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLInputElement.java b/java/external/src/org/w3c/dom/html/HTMLInputElement.java
new file mode 100644
index 0000000..a7be659
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLInputElement.java
@@ -0,0 +1,151 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Form control. Note. Depending upon the environmentthe page is being viewed,
+ * the value property may be read-only for thefile upload input type. For the
+ * "password" input type, the actual valuereturned may be masked to prevent
+ * unauthorized use. See the INPUT element definition in HTML 4.0.
+ */
+public interface HTMLInputElement extends HTMLElement {
+ /**
+ * Stores the initial control value (i.e., the initial value of
+ * value).
+ */
+ public String getDefaultValue();
+ public void setDefaultValue(String defaultValue);
+ /**
+ * When type has the value "Radio" or "Checkbox", stores the
+ * initial value of the checked attribute.
+ */
+ public boolean getDefaultChecked();
+ public void setDefaultChecked(boolean defaultChecked);
+ /**
+ * Returns the FORM element containing this control.Returns
+ * null if this control is not within the context of a form.
+ */
+ public HTMLFormElement getForm();
+ /**
+ * A comma-separated list of content types that a server processing thisform
+ * will handle correctly. See the accept attribute definition in HTML 4.0.
+ */
+ public String getAccept();
+ public void setAccept(String accept);
+ /**
+ * A single character access key to give access to the form control. See the
+ * accesskey attribute definition in HTML 4.0.
+ */
+ public String getAccessKey();
+ public void setAccessKey(String accessKey);
+ /**
+ * Aligns this object (vertically or horizontally) with respect to its
+ * surrounding text. See the align attribute definition in HTML 4.0. This
+ * attribute is deprecated in HTML 4.0.
+ */
+ public String getAlign();
+ public void setAlign(String align);
+ /**
+ * Alternate text for user agents not rendering the normal contentof this
+ * element. See the alt attribute definition in HTML 4.0.
+ */
+ public String getAlt();
+ public void setAlt(String alt);
+ /**
+ * Describes whether a radio or check box is checked, whentype
+ * has the value "Radio" or "Checkbox". The value isTRUE if explicitly
+ * set. Represents the current state of the checkboxor radio button. See
+ * the checked attribute definition in HTML 4.0.
+ */
+ public boolean getChecked();
+ public void setChecked(boolean checked);
+ /**
+ * The control is unavailable in this context. See the disabled attribute
+ * definition in HTML 4.0.
+ */
+ public boolean getDisabled();
+ public void setDisabled(boolean disabled);
+ /**
+ * Maximum number of characters for text fields, when typehas
+ * the value "Text" or "Password". See the maxlength attribute definition
+ * in HTML 4.0.
+ */
+ public int getMaxLength();
+ public void setMaxLength(int maxLength);
+ /**
+ * Form control or object name when submitted with a form. See the name
+ * attribute definition in HTML 4.0.
+ */
+ public String getName();
+ public void setName(String name);
+ /**
+ * This control is read-only. When type has the value "text"or
+ * "password" only. See the readonly attribute definition in HTML 4.0.
+ */
+ public boolean getReadOnly();
+ public void setReadOnly(boolean readOnly);
+ /**
+ * Size information. The precise meaning is specific to each type offield.
+ * See the size attribute definition in HTML 4.0.
+ */
+ public String getSize();
+ public void setSize(String size);
+ /**
+ * When the type attribute has the value "Image", thisattribute
+ * specifies the location of the image to be used to decoratethe graphical
+ * submit button. See the src attribute definition in HTML 4.0.
+ */
+ public String getSrc();
+ public void setSrc(String src);
+ /**
+ * Index that represents the element's position in the tabbing order. See
+ * the tabindex attribute definition in HTML 4.0.
+ */
+ public int getTabIndex();
+ public void setTabIndex(int tabIndex);
+ /**
+ * The type of control created. See the type attribute definition in HTML
+ * 4.0.
+ */
+ public String getType();
+ /**
+ * Use client-side image map. See the usemap attribute definition in HTML
+ * 4.0.
+ */
+ public String getUseMap();
+ public void setUseMap(String useMap);
+ /**
+ * The current form control value. Used for radio buttons and check boxes.
+ * See the value attribute definition in HTML 4.0.
+ */
+ public String getValue();
+ public void setValue(String value);
+ /**
+ * Removes keyboard focus from this element.
+ */
+ public void blur();
+ /**
+ * Gives keyboard focus to this element.
+ */
+ public void focus();
+ /**
+ * Select the contents of the text area. For INPUT elements
+ * whose type attribute has one of the following values:
+ * "Text", "File", or "Password".
+ */
+ public void select();
+ /**
+ * Simulate a mouse-click. For INPUT elements whose
+ * type attribute has one of the followingvalues: "Button",
+ * "Checkbox", "Radio", "Reset", or "Submit".
+ */
+ public void click();
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLIsIndexElement.java b/java/external/src/org/w3c/dom/html/HTMLIsIndexElement.java
new file mode 100644
index 0000000..676ccfd
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLIsIndexElement.java
@@ -0,0 +1,29 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * This element is usedfor single-line text input. See the ISINDEX element
+ * definition in HTML 4.0. This element is deprecated in HTML 4.0.
+ */
+public interface HTMLIsIndexElement extends HTMLElement {
+ /**
+ * Returns the FORM element containing this control.Returns
+ * null if this control is not within the context of a form.
+ */
+ public HTMLFormElement getForm();
+ /**
+ * The prompt message. See the prompt attribute definition in HTML 4.0. This
+ * attribute is deprecated in HTML 4.0.
+ */
+ public String getPrompt();
+ public void setPrompt(String prompt);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLLIElement.java b/java/external/src/org/w3c/dom/html/HTMLLIElement.java
new file mode 100644
index 0000000..0f1a4f7
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLLIElement.java
@@ -0,0 +1,30 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * List item. See the LI element definition in HTML 4.0.
+ */
+public interface HTMLLIElement extends HTMLElement {
+ /**
+ * List item bullet style. See the type attribute definition in HTML 4.0.
+ * This attribute is deprecated in HTML 4.0.
+ */
+ public String getType();
+ public void setType(String type);
+ /**
+ * Reset sequence number when used in OL See the value
+ * attribute definition in HTML 4.0. This attribute is deprecated in HTML
+ * 4.0.
+ */
+ public int getValue();
+ public void setValue(int value);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLLabelElement.java b/java/external/src/org/w3c/dom/html/HTMLLabelElement.java
new file mode 100644
index 0000000..856d657
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLLabelElement.java
@@ -0,0 +1,34 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Form field label text. See the LABEL element definition in HTML 4.0.
+ */
+public interface HTMLLabelElement extends HTMLElement {
+ /**
+ * Returns the FORM element containing this control.Returns
+ * null if this control is not within the context of a form.
+ */
+ public HTMLFormElement getForm();
+ /**
+ * A single character access key to give access to the form control. See the
+ * accesskey attribute definition in HTML 4.0.
+ */
+ public String getAccessKey();
+ public void setAccessKey(String accessKey);
+ /**
+ * This attribute links this label with another form controlby
+ * id attribute. See the for attribute definition in HTML 4.0.
+ */
+ public String getHtmlFor();
+ public void setHtmlFor(String htmlFor);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLLegendElement.java b/java/external/src/org/w3c/dom/html/HTMLLegendElement.java
new file mode 100644
index 0000000..5727b00
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLLegendElement.java
@@ -0,0 +1,35 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Provides a caption for a FIELDSET grouping. See the LEGEND
+ * element definition in HTML 4.0.
+ */
+public interface HTMLLegendElement extends HTMLElement {
+ /**
+ * Returns the FORM element containing this control.Returns
+ * null if this control is not within the context of a form.
+ */
+ public HTMLFormElement getForm();
+ /**
+ * A single character access key to give access to the form control. See the
+ * accesskey attribute definition in HTML 4.0.
+ */
+ public String getAccessKey();
+ public void setAccessKey(String accessKey);
+ /**
+ * Text alignment relative to FIELDSET. See the align attribute
+ * definition in HTML 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public String getAlign();
+ public void setAlign(String align);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLLinkElement.java b/java/external/src/org/w3c/dom/html/HTMLLinkElement.java
new file mode 100644
index 0000000..17039b7
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLLinkElement.java
@@ -0,0 +1,70 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * The LINK element specifies a link to an externalresource, and
+ * defines this document's relationship to that resource(or vice versa). See
+ * the LINK element definition in HTML 4.0.
+ */
+public interface HTMLLinkElement extends HTMLElement {
+ /**
+ * Enables/disables the link. This is currently only used for style sheet
+ * links, and may be used to activate or deactivate style sheets.
+ */
+ public boolean getDisabled();
+ public void setDisabled(boolean disabled);
+ /**
+ * The character encoding of the resource being linked to. See the charset
+ * attribute definition in HTML 4.0.
+ */
+ public String getCharset();
+ public void setCharset(String charset);
+ /**
+ * The URI of the linked resource. See the href attribute definition in HTML
+ * 4.0.
+ */
+ public String getHref();
+ public void setHref(String href);
+ /**
+ * Language code of the linked resource. See the hreflang attribute
+ * definition in HTML 4.0.
+ */
+ public String getHreflang();
+ public void setHreflang(String hreflang);
+ /**
+ * Designed for use with one or more target media. See the media attribute
+ * definition in HTML 4.0.
+ */
+ public String getMedia();
+ public void setMedia(String media);
+ /**
+ * Forward link type. See the rel attribute definition in HTML 4.0.
+ */
+ public String getRel();
+ public void setRel(String rel);
+ /**
+ * Reverse link type. See the rev attribute definition in HTML 4.0.
+ */
+ public String getRev();
+ public void setRev(String rev);
+ /**
+ * Frame to render the resource in. See the target attribute definition in
+ * HTML 4.0.
+ */
+ public String getTarget();
+ public void setTarget(String target);
+ /**
+ * Advisory content type. See the type attribute definition in HTML 4.0.
+ */
+ public String getType();
+ public void setType(String type);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLMapElement.java b/java/external/src/org/w3c/dom/html/HTMLMapElement.java
new file mode 100644
index 0000000..c06c74c
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLMapElement.java
@@ -0,0 +1,27 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Client-side image map. See the MAP element definition in HTML 4.0.
+ */
+public interface HTMLMapElement extends HTMLElement {
+ /**
+ * The list of areas defined for the image map.
+ */
+ public HTMLCollection getAreas();
+ /**
+ * Names the map (for use with usemap). See the name attribute
+ * definition in HTML 4.0.
+ */
+ public String getName();
+ public void setName(String name);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLMenuElement.java b/java/external/src/org/w3c/dom/html/HTMLMenuElement.java
new file mode 100644
index 0000000..e2d1ff3
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLMenuElement.java
@@ -0,0 +1,24 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Menu list. See the MENU element definition in HTML 4.0. This element is
+ * deprecated in HTML 4.0.
+ */
+public interface HTMLMenuElement extends HTMLElement {
+ /**
+ * Reduce spacing between list items. See the compact attribute definition
+ * in HTML 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public boolean getCompact();
+ public void setCompact(boolean compact);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLMetaElement.java b/java/external/src/org/w3c/dom/html/HTMLMetaElement.java
new file mode 100644
index 0000000..5fc4fa5
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLMetaElement.java
@@ -0,0 +1,39 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * This contains generic meta-information about the document. See the META
+ * element definition in HTML 4.0.
+ */
+public interface HTMLMetaElement extends HTMLElement {
+ /**
+ * Associated information. See the content attribute definition in HTML 4.0.
+ */
+ public String getContent();
+ public void setContent(String content);
+ /**
+ * HTTP response header name. See the http-equiv attribute definition in
+ * HTML 4.0.
+ */
+ public String getHttpEquiv();
+ public void setHttpEquiv(String httpEquiv);
+ /**
+ * Meta information name. See the name attribute definition in HTML 4.0.
+ */
+ public String getName();
+ public void setName(String name);
+ /**
+ * Select form of content. See the scheme attribute definition in HTML 4.0.
+ */
+ public String getScheme();
+ public void setScheme(String scheme);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLModElement.java b/java/external/src/org/w3c/dom/html/HTMLModElement.java
new file mode 100644
index 0000000..befc8ee
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLModElement.java
@@ -0,0 +1,30 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Notice of modification to part of a document. See the INS and DEL
+ * element definitions in HTML 4.0.
+ */
+public interface HTMLModElement extends HTMLElement {
+ /**
+ * A URI designating a document that describes the reason forthe change. See
+ * the cite attribute definition in HTML 4.0.
+ */
+ public String getCite();
+ public void setCite(String cite);
+ /**
+ * The date and time of the change. See the datetime attribute definition in
+ * HTML 4.0.
+ */
+ public String getDateTime();
+ public void setDateTime(String dateTime);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLOListElement.java b/java/external/src/org/w3c/dom/html/HTMLOListElement.java
new file mode 100644
index 0000000..35a27ee
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLOListElement.java
@@ -0,0 +1,35 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Ordered list. See the OL element definition in HTML 4.0.
+ */
+public interface HTMLOListElement extends HTMLElement {
+ /**
+ * Reduce spacing between list items. See the compact attribute definition
+ * in HTML 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public boolean getCompact();
+ public void setCompact(boolean compact);
+ /**
+ * Starting sequence number. See the start attribute definition in HTML 4.0.
+ * This attribute is deprecated in HTML 4.0.
+ */
+ public int getStart();
+ public void setStart(int start);
+ /**
+ * Numbering style. See the type attribute definition in HTML 4.0. This
+ * attribute is deprecated in HTML 4.0.
+ */
+ public String getType();
+ public void setType(String type);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLObjectElement.java b/java/external/src/org/w3c/dom/html/HTMLObjectElement.java
new file mode 100644
index 0000000..ed2db9b
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLObjectElement.java
@@ -0,0 +1,129 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Generic embedded object. Note. In principle, allproperties on the object
+ * element are read-write but in someenvironments some properties may be
+ * read-only once the underlyingobject is instantiated. See the OBJECT
+ * element definition in HTML 4.0.
+ */
+public interface HTMLObjectElement extends HTMLElement {
+ /**
+ * Returns the FORM element containing this control.Returns
+ * null if this control is not within the context of a form.
+ */
+ public HTMLFormElement getForm();
+ /**
+ * Applet class file. See the code attribute for
+ * HTMLAppletElement.
+ */
+ public String getCode();
+ public void setCode(String code);
+ /**
+ * Aligns this object (vertically or horizontally) with respect to its
+ * surrounding text. See the align attribute definition in HTML 4.0. This
+ * attribute is deprecated in HTML 4.0.
+ */
+ public String getAlign();
+ public void setAlign(String align);
+ /**
+ * Space-separated list of archives. See the archive attribute definition in
+ * HTML 4.0.
+ */
+ public String getArchive();
+ public void setArchive(String archive);
+ /**
+ * Width of border around the object. See the border attribute definition in
+ * HTML 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public String getBorder();
+ public void setBorder(String border);
+ /**
+ * Base URI for classid, data, and
+ * archive attributes. See the codebase attribute definition
+ * in HTML 4.0.
+ */
+ public String getCodeBase();
+ public void setCodeBase(String codeBase);
+ /**
+ * Content type for data downloaded via classid attribute. See
+ * the codetype attribute definition in HTML 4.0.
+ */
+ public String getCodeType();
+ public void setCodeType(String codeType);
+ /**
+ * A URI specifying the location of the object's data. See the data
+ * attribute definition in HTML 4.0.
+ */
+ public String getData();
+ public void setData(String data);
+ /**
+ * Declare (for future reference), but do not instantiate, thisobject. See
+ * the declare attribute definition in HTML 4.0.
+ */
+ public boolean getDeclare();
+ public void setDeclare(boolean declare);
+ /**
+ * Override height. See the height attribute definition in HTML 4.0.
+ */
+ public String getHeight();
+ public void setHeight(String height);
+ /**
+ * Horizontal space to the left and right of this image, applet, or object.
+ * See the hspace attribute definition in HTML 4.0. This attribute is
+ * deprecated in HTML 4.0.
+ */
+ public String getHspace();
+ public void setHspace(String hspace);
+ /**
+ * Form control or object name when submitted with a form. See the name
+ * attribute definition in HTML 4.0.
+ */
+ public String getName();
+ public void setName(String name);
+ /**
+ * Message to render while loading the object. See the standby attribute
+ * definition in HTML 4.0.
+ */
+ public String getStandby();
+ public void setStandby(String standby);
+ /**
+ * Index that represents the element's position in the tabbing order. See
+ * the tabindex attribute definition in HTML 4.0.
+ */
+ public int getTabIndex();
+ public void setTabIndex(int tabIndex);
+ /**
+ * Content type for data downloaded via data attribute. See the
+ * type attribute definition in HTML 4.0.
+ */
+ public String getType();
+ public void setType(String type);
+ /**
+ * Use client-side image map. See the usemap attribute definition in HTML
+ * 4.0.
+ */
+ public String getUseMap();
+ public void setUseMap(String useMap);
+ /**
+ * Vertical space above and below this image, applet, or object. See the
+ * vspace attribute definition in HTML 4.0. This attribute is deprecated in
+ * HTML 4.0.
+ */
+ public String getVspace();
+ public void setVspace(String vspace);
+ /**
+ * Override width. See the width attribute definition in HTML 4.0.
+ */
+ public String getWidth();
+ public void setWidth(String width);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLOptGroupElement.java b/java/external/src/org/w3c/dom/html/HTMLOptGroupElement.java
new file mode 100644
index 0000000..8e0c70c
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLOptGroupElement.java
@@ -0,0 +1,30 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Group options together in logical subdivisions. See the OPTGROUP element
+ * definition in HTML 4.0.
+ */
+public interface HTMLOptGroupElement extends HTMLElement {
+ /**
+ * The control is unavailable in this context. See the disabled attribute
+ * definition in HTML 4.0.
+ */
+ public boolean getDisabled();
+ public void setDisabled(boolean disabled);
+ /**
+ * Assigns a label to this option group. See the label attribute definition
+ * in HTML 4.0.
+ */
+ public String getLabel();
+ public void setLabel(String label);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLOptionElement.java b/java/external/src/org/w3c/dom/html/HTMLOptionElement.java
new file mode 100644
index 0000000..441b412
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLOptionElement.java
@@ -0,0 +1,59 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * A selectable choice. See the OPTION element definition in HTML 4.0.
+ */
+public interface HTMLOptionElement extends HTMLElement {
+ /**
+ * Returns the FORM element containing this control.Returns
+ * null if this control is not within the context of a form.
+ */
+ public HTMLFormElement getForm();
+ /**
+ * Stores the initial value of the selected attribute.
+ */
+ public boolean getDefaultSelected();
+ public void setDefaultSelected(boolean defaultSelected);
+ /**
+ * The text contained within the option element.
+ */
+ public String getText();
+ /**
+ * The index of this OPTION in its parent SELECT.
+ */
+ public int getIndex();
+ public void setIndex(int index);
+ /**
+ * The control is unavailable in this context. See the disabled attribute
+ * definition in HTML 4.0.
+ */
+ public boolean getDisabled();
+ public void setDisabled(boolean disabled);
+ /**
+ * Option label for use in hierarchical menus. See the label attribute
+ * definition in HTML 4.0.
+ */
+ public String getLabel();
+ public void setLabel(String label);
+ /**
+ * Means that this option is initially selected. See the selected attribute
+ * definition in HTML 4.0.
+ */
+ public boolean getSelected();
+ /**
+ * The current form control value. See the value attribute definition in
+ * HTML 4.0.
+ */
+ public String getValue();
+ public void setValue(String value);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLParagraphElement.java b/java/external/src/org/w3c/dom/html/HTMLParagraphElement.java
new file mode 100644
index 0000000..ade807d
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLParagraphElement.java
@@ -0,0 +1,23 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Paragraphs. See the P element definition in HTML 4.0.
+ */
+public interface HTMLParagraphElement extends HTMLElement {
+ /**
+ * Horizontal text alignment. See the align attribute definition in HTML
+ * 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public String getAlign();
+ public void setAlign(String align);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLParamElement.java b/java/external/src/org/w3c/dom/html/HTMLParamElement.java
new file mode 100644
index 0000000..37f4d74
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLParamElement.java
@@ -0,0 +1,43 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Parameters fed to the OBJECT element. See the PARAM element
+ * definition in HTML 4.0.
+ */
+public interface HTMLParamElement extends HTMLElement {
+ /**
+ * The name of a run-time parameter. See the name attribute definition in
+ * HTML 4.0.
+ */
+ public String getName();
+ public void setName(String name);
+ /**
+ * Content type for the value attribute when
+ * valuetype has the value "ref". See the type attribute
+ * definition in HTML 4.0.
+ */
+ public String getType();
+ public void setType(String type);
+ /**
+ * The value of a run-time parameter. See the value attribute definition in
+ * HTML 4.0.
+ */
+ public String getValue();
+ public void setValue(String value);
+ /**
+ * Information about the meaning of the value attributevalue.
+ * See the valuetype attribute definition in HTML 4.0.
+ */
+ public String getValueType();
+ public void setValueType(String valueType);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLPreElement.java b/java/external/src/org/w3c/dom/html/HTMLPreElement.java
new file mode 100644
index 0000000..f69ca12
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLPreElement.java
@@ -0,0 +1,23 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Preformatted text. See the PRE element definition in HTML 4.0.
+ */
+public interface HTMLPreElement extends HTMLElement {
+ /**
+ * Fixed width for content. See the width attribute definition in HTML 4.0.
+ * This attribute is deprecated in HTML 4.0.
+ */
+ public int getWidth();
+ public void setWidth(int width);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLQuoteElement.java b/java/external/src/org/w3c/dom/html/HTMLQuoteElement.java
new file mode 100644
index 0000000..d665212
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLQuoteElement.java
@@ -0,0 +1,24 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * For the Q and BLOCKQUOTE elements. See the Q
+ * element definition in HTML 4.0.
+ */
+public interface HTMLQuoteElement extends HTMLElement {
+ /**
+ * A URI designating a document that designates a source document or
+ * message. See the cite attribute definition in HTML 4.0.
+ */
+ public String getCite();
+ public void setCite(String cite);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLScriptElement.java b/java/external/src/org/w3c/dom/html/HTMLScriptElement.java
new file mode 100644
index 0000000..fb1dcba
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLScriptElement.java
@@ -0,0 +1,56 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Script statements. See the SCRIPT element definition in HTML 4.0.
+ */
+public interface HTMLScriptElement extends HTMLElement {
+ /**
+ * The script content of the element.
+ */
+ public String getText();
+ public void setText(String text);
+ /**
+ * Reserved for future use.
+ */
+ public String getHtmlFor();
+ public void setHtmlFor(String htmlFor);
+ /**
+ * Reserved for future use.
+ */
+ public String getEvent();
+ public void setEvent(String event);
+ /**
+ * The character encoding of the linked resource. See the charset attribute
+ * definition in HTML 4.0.
+ */
+ public String getCharset();
+ public void setCharset(String charset);
+ /**
+ * Indicates that the user agent can defer processing of the script. See
+ * the defer attribute definition in HTML 4.0.
+ */
+ public boolean getDefer();
+ public void setDefer(boolean defer);
+ /**
+ * URI designating an external script. See the src attribute definition in
+ * HTML 4.0.
+ */
+ public String getSrc();
+ public void setSrc(String src);
+ /**
+ * The content type of the script language. See the type attribute definition
+ * in HTML 4.0.
+ */
+ public String getType();
+ public void setType(String type);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLSelectElement.java b/java/external/src/org/w3c/dom/html/HTMLSelectElement.java
new file mode 100644
index 0000000..1c7da44
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLSelectElement.java
@@ -0,0 +1,100 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * The select element allows the selection of an option. The containedoptions
+ * can be directly accessed through the select element as acollection. See
+ * the SELECT element definition in HTML 4.0.
+ */
+public interface HTMLSelectElement extends HTMLElement {
+ /**
+ * The type of control created.
+ */
+ public String getType();
+ /**
+ * The ordinal index of the selected option. The value -1 is returned ifno
+ * element is selected. If multiple options are selected, the index ofthe
+ * first selected option is returned.
+ */
+ public int getSelectedIndex();
+ public void setSelectedIndex(int selectedIndex);
+ /**
+ * The current form control value.
+ */
+ public String getValue();
+ public void setValue(String value);
+ /**
+ * The number of options in this SELECT.
+ */
+ public int getLength();
+ /**
+ * Returns the FORM element containing this control.Returns
+ * null if this control is not within the context of a form.
+ */
+ public HTMLFormElement getForm();
+ /**
+ * The collection of OPTION elements contained by this element.
+ */
+ public HTMLCollection getOptions();
+ /**
+ * The control is unavailable in this context. See the disabled attribute
+ * definition in HTML 4.0.
+ */
+ public boolean getDisabled();
+ public void setDisabled(boolean disabled);
+ /**
+ * If true, multiple OPTION elements may be selected in this
+ * SELECT. See the multiple attribute definition in HTML 4.0.
+ */
+ public boolean getMultiple();
+ public void setMultiple(boolean multiple);
+ /**
+ * Form control or object name when submitted with a form. See the name
+ * attribute definition in HTML 4.0.
+ */
+ public String getName();
+ public void setName(String name);
+ /**
+ * Number of visible rows. See the size attribute definition in HTML 4.0.
+ */
+ public int getSize();
+ public void setSize(int size);
+ /**
+ * Index that represents the element's position in the tabbing order. See
+ * the tabindex attribute definition in HTML 4.0.
+ */
+ public int getTabIndex();
+ public void setTabIndex(int tabIndex);
+ /**
+ * Add a new element to the collection of OPTION elementsfor
+ * this SELECT.
+ * @param element The element to add.
+ * @param before The element to insert before, or NULL for the head of the
+ * list.
+ */
+ public void add(HTMLElement element,
+ HTMLElement before);
+ /**
+ * Remove an element from the collection of OPTION elementsfor
+ * this SELECT. Does nothing if no element has the givenindex.
+ * @param index The index of the item to remove.
+ */
+ public void remove(int index);
+ /**
+ * Removes keyboard focus from this element.
+ */
+ public void blur();
+ /**
+ * Gives keyboard focus to this element.
+ */
+ public void focus();
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLStyleElement.java b/java/external/src/org/w3c/dom/html/HTMLStyleElement.java
new file mode 100644
index 0000000..3832d13
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLStyleElement.java
@@ -0,0 +1,36 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Style information. A more detailed style sheet object model is planned to be
+ * defined in a separate document. See the STYLE element definition in HTML
+ * 4.0.
+ */
+public interface HTMLStyleElement extends HTMLElement {
+ /**
+ * Enables/disables the style sheet.
+ */
+ public boolean getDisabled();
+ public void setDisabled(boolean disabled);
+ /**
+ * Designed for use with one or more target media. See the media attribute
+ * definition in HTML 4.0.
+ */
+ public String getMedia();
+ public void setMedia(String media);
+ /**
+ * The style sheet language (Internet media type). See the type attribute
+ * definition in HTML 4.0.
+ */
+ public String getType();
+ public void setType(String type);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLTableCaptionElement.java b/java/external/src/org/w3c/dom/html/HTMLTableCaptionElement.java
new file mode 100644
index 0000000..0ee7dee
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLTableCaptionElement.java
@@ -0,0 +1,23 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Table caption See the CAPTION element definition in HTML 4.0.
+ */
+public interface HTMLTableCaptionElement extends HTMLElement {
+ /**
+ * Caption alignment with respect to the table. See the align attribute
+ * definition in HTML 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public String getAlign();
+ public void setAlign(String align);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLTableCellElement.java b/java/external/src/org/w3c/dom/html/HTMLTableCellElement.java
new file mode 100644
index 0000000..cb825cc
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLTableCellElement.java
@@ -0,0 +1,107 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * The object used to represent the TH and TD
+ * elements. See the TD element definition in HTML 4.0.
+ */
+public interface HTMLTableCellElement extends HTMLElement {
+ /**
+ * The index of this cell in the row.
+ */
+ public int getCellIndex();
+ public void setCellIndex(int cellIndex);
+ /**
+ * Abbreviation for header cells. See the abbr attribute definition in HTML
+ * 4.0.
+ */
+ public String getAbbr();
+ public void setAbbr(String abbr);
+ /**
+ * Horizontal alignment of data in cell. See the align attribute definition
+ * in HTML 4.0.
+ */
+ public String getAlign();
+ public void setAlign(String align);
+ /**
+ * Names group of related headers. See the axis attribute definition in HTML
+ * 4.0.
+ */
+ public String getAxis();
+ public void setAxis(String axis);
+ /**
+ * Cell background color. See the bgcolor attribute definition in HTML 4.0.
+ * This attribute is deprecated in HTML 4.0.
+ */
+ public String getBgColor();
+ public void setBgColor(String bgColor);
+ /**
+ * Alignment character for cells in a column. See the char attribute
+ * definition in HTML 4.0.
+ */
+ public String getCh();
+ public void setCh(String ch);
+ /**
+ * Offset of alignment character. See the charoff attribute definition in
+ * HTML 4.0.
+ */
+ public String getChOff();
+ public void setChOff(String chOff);
+ /**
+ * Number of columns spanned by cell. See the colspan attribute definition
+ * in HTML 4.0.
+ */
+ public int getColSpan();
+ public void setColSpan(int colSpan);
+ /**
+ * List of id attribute values for header cells. See the
+ * headers attribute definition in HTML 4.0.
+ */
+ public String getHeaders();
+ public void setHeaders(String headers);
+ /**
+ * Cell height. See the height attribute definition in HTML 4.0. This
+ * attribute is deprecated in HTML 4.0.
+ */
+ public String getHeight();
+ public void setHeight(String height);
+ /**
+ * Suppress word wrapping. See the nowrap attribute definition in HTML 4.0.
+ * This attribute is deprecated in HTML 4.0.
+ */
+ public boolean getNoWrap();
+ public void setNoWrap(boolean noWrap);
+ /**
+ * Number of rows spanned by cell. See the rowspan attribute definition in
+ * HTML 4.0.
+ */
+ public int getRowSpan();
+ public void setRowSpan(int rowSpan);
+ /**
+ * Scope covered by header cells. See the scope attribute definition in HTML
+ * 4.0.
+ */
+ public String getScope();
+ public void setScope(String scope);
+ /**
+ * Vertical alignment of data in cell. See the valign attribute definition
+ * in HTML 4.0.
+ */
+ public String getVAlign();
+ public void setVAlign(String vAlign);
+ /**
+ * Cell width. See the width attribute definition in HTML 4.0. This
+ * attribute is deprecated in HTML 4.0.
+ */
+ public String getWidth();
+ public void setWidth(String width);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLTableColElement.java b/java/external/src/org/w3c/dom/html/HTMLTableColElement.java
new file mode 100644
index 0000000..4d4eee5
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLTableColElement.java
@@ -0,0 +1,53 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Regroups the COL and COLGROUP elements. See the
+ * COL element definition in HTML 4.0.
+ */
+public interface HTMLTableColElement extends HTMLElement {
+ /**
+ * Horizontal alignment of cell data in column. See the align attribute
+ * definition in HTML 4.0.
+ */
+ public String getAlign();
+ public void setAlign(String align);
+ /**
+ * Alignment character for cells in a column. See the char attribute
+ * definition in HTML 4.0.
+ */
+ public String getCh();
+ public void setCh(String ch);
+ /**
+ * Offset of alignment character. See the charoff attribute definition in
+ * HTML 4.0.
+ */
+ public String getChOff();
+ public void setChOff(String chOff);
+ /**
+ * Indicates the number of columns in a group or affected by a grouping. See
+ * the span attribute definition in HTML 4.0.
+ */
+ public int getSpan();
+ public void setSpan(int span);
+ /**
+ * Vertical alignment of cell data in column. See the valign attribute
+ * definition in HTML 4.0.
+ */
+ public String getVAlign();
+ public void setVAlign(String vAlign);
+ /**
+ * Default column width. See the width attribute definition in HTML 4.0.
+ */
+ public String getWidth();
+ public void setWidth(String width);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLTableElement.java b/java/external/src/org/w3c/dom/html/HTMLTableElement.java
new file mode 100644
index 0000000..dbb3cfa
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLTableElement.java
@@ -0,0 +1,142 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * The create* and delete* methods on the table allow authors to constructand
+ * modify tables. HTML 4.0 specifies that only one of each of the
+ * CAPTION, THEAD, and TFOOTelements
+ * may exist in a table. Therefore, if one exists, and thecreateTHead() or
+ * createTFoot() method is called, the method returnsthe existing THead or
+ * TFoot element. See the TABLE element definition in HTML 4.0.
+ */
+public interface HTMLTableElement extends HTMLElement {
+ /**
+ * Returns the table's CAPTION, or void if none exists.
+ */
+ public HTMLTableCaptionElement getCaption();
+ public void setCaption(HTMLTableCaptionElement caption);
+ /**
+ * Returns the table's THEAD, or null if none
+ * exists.
+ */
+ public HTMLTableSectionElement getTHead();
+ public void setTHead(HTMLTableSectionElement tHead);
+ /**
+ * Returns the table's TFOOT, or null if none
+ * exists.
+ */
+ public HTMLTableSectionElement getTFoot();
+ public void setTFoot(HTMLTableSectionElement tFoot);
+ /**
+ * Returns a collection of all the rows in the table, including all in
+ * THEAD, TFOOT, all TBODY elements.
+ */
+ public HTMLCollection getRows();
+ /**
+ * Returns a collection of the defined table bodies.
+ */
+ public HTMLCollection getTBodies();
+ /**
+ * Specifies the table's position with respect to the rest of the document.
+ * See the align attribute definition in HTML 4.0. This attribute is
+ * deprecated in HTML 4.0.
+ */
+ public String getAlign();
+ public void setAlign(String align);
+ /**
+ * Cell background color. See the bgcolor attribute definition in HTML 4.0.
+ * This attribute is deprecated in HTML 4.0.
+ */
+ public String getBgColor();
+ public void setBgColor(String bgColor);
+ /**
+ * The width of the border around the table. See the border attribute
+ * definition in HTML 4.0.
+ */
+ public String getBorder();
+ public void setBorder(String border);
+ /**
+ * Specifies the horizontal and vertical space between cell content andcell
+ * borders. See the cellpadding attribute definition in HTML 4.0.
+ */
+ public String getCellPadding();
+ public void setCellPadding(String cellPadding);
+ /**
+ * Specifies the horizontal and vertical separation between cells. See the
+ * cellspacing attribute definition in HTML 4.0.
+ */
+ public String getCellSpacing();
+ public void setCellSpacing(String cellSpacing);
+ /**
+ * Specifies which external table borders to render. See the frame attribute
+ * definition in HTML 4.0.
+ */
+ public String getFrame();
+ public void setFrame(String frame);
+ /**
+ * Specifies which internal table borders to render. See the rules attribute
+ * definition in HTML 4.0.
+ */
+ public String getRules();
+ public void setRules(String rules);
+ /**
+ * Supplementary description about the purpose or structureof a table. See
+ * the summary attribute definition in HTML 4.0.
+ */
+ public String getSummary();
+ public void setSummary(String summary);
+ /**
+ * Specifies the desired table width. See the width attribute definition in
+ * HTML 4.0.
+ */
+ public String getWidth();
+ public void setWidth(String width);
+ /**
+ * Create a table header row or return an existing one.
+ * @return A new table header element (THEAD).
+ */
+ public HTMLElement createTHead();
+ /**
+ * Delete the header from the table, if one exists.
+ */
+ public void deleteTHead();
+ /**
+ * Create a table footer row or return an existing one.
+ * @return A footer element (TFOOT).
+ */
+ public HTMLElement createTFoot();
+ /**
+ * Delete the footer from the table, if one exists.
+ */
+ public void deleteTFoot();
+ /**
+ * Create a new table caption object or return an existing one.
+ * @return A CAPTION element.
+ */
+ public HTMLElement createCaption();
+ /**
+ * Delete the table caption, if one exists.
+ */
+ public void deleteCaption();
+ /**
+ * Insert a new empty row in the table.Note. A table row cannot be empty
+ * according to HTML 4.0 Recommendation.
+ * @param index The row number where to insert a new row.
+ * @return The newly created row.
+ */
+ public HTMLElement insertRow(int index);
+ /**
+ * Delete a table row.
+ * @param index The index of the row to be deleted.
+ */
+ public void deleteRow(int index);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLTableRowElement.java b/java/external/src/org/w3c/dom/html/HTMLTableRowElement.java
new file mode 100644
index 0000000..223054d
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLTableRowElement.java
@@ -0,0 +1,74 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * A row in a table. See the TR element definition in HTML 4.0.
+ */
+public interface HTMLTableRowElement extends HTMLElement {
+ /**
+ * The index of this row, relative to the entire table.
+ */
+ public int getRowIndex();
+ public void setRowIndex(int rowIndex);
+ /**
+ * The index of this row, relative to the current section(THEAD
+ * , TFOOT, or TBODY).
+ */
+ public int getSectionRowIndex();
+ public void setSectionRowIndex(int sectionRowIndex);
+ /**
+ * The collection of cells in this row.
+ */
+ public HTMLCollection getCells();
+ public void setCells(HTMLCollection cells);
+ /**
+ * Horizontal alignment of data within cells of this row. See the align
+ * attribute definition in HTML 4.0.
+ */
+ public String getAlign();
+ public void setAlign(String align);
+ /**
+ * Background color for rows. See the bgcolor attribute definition in HTML
+ * 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public String getBgColor();
+ public void setBgColor(String bgColor);
+ /**
+ * Alignment character for cells in a column. See the char attribute
+ * definition in HTML 4.0.
+ */
+ public String getCh();
+ public void setCh(String ch);
+ /**
+ * Offset of alignment character. See the charoff attribute definition in
+ * HTML 4.0.
+ */
+ public String getChOff();
+ public void setChOff(String chOff);
+ /**
+ * Vertical alignment of data within cells of this row. See the valign
+ * attribute definition in HTML 4.0.
+ */
+ public String getVAlign();
+ public void setVAlign(String vAlign);
+ /**
+ * Insert an empty TD cell into this row.
+ * @param index The place to insert the cell.
+ * @return The newly created cell.
+ */
+ public HTMLElement insertCell(int index);
+ /**
+ * Delete a cell from the current row.
+ * @param index The index of the cell to delete.
+ */
+ public void deleteCell(int index);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLTableSectionElement.java b/java/external/src/org/w3c/dom/html/HTMLTableSectionElement.java
new file mode 100644
index 0000000..993eed2
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLTableSectionElement.java
@@ -0,0 +1,56 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * The THEAD, TFOOT, and TBODYelements.
+ */
+public interface HTMLTableSectionElement extends HTMLElement {
+ /**
+ * Horizontal alignment of data in cells. See the align
+ * attribute for HTMLTheadElement for details.
+ */
+ public String getAlign();
+ public void setAlign(String align);
+ /**
+ * Alignment character for cells in a column. See the char attribute
+ * definition in HTML 4.0.
+ */
+ public String getCh();
+ public void setCh(String ch);
+ /**
+ * Offset of alignment character. See the charoff attribute definition in
+ * HTML 4.0.
+ */
+ public String getChOff();
+ public void setChOff(String chOff);
+ /**
+ * Vertical alignment of data in cells.See the valignattribute
+ * for HTMLTheadElement for details.
+ */
+ public String getVAlign();
+ public void setVAlign(String vAlign);
+ /**
+ * The collection of rows in this table section.
+ */
+ public HTMLCollection getRows();
+ /**
+ * Insert a row into this section.
+ * @param index The row number where to insert a new row.
+ * @return The newly created row.
+ */
+ public HTMLElement insertRow(int index);
+ /**
+ * Delete a row from this section.
+ * @param index The index of the row to be deleted.
+ */
+ public void deleteRow(int index);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLTextAreaElement.java b/java/external/src/org/w3c/dom/html/HTMLTextAreaElement.java
new file mode 100644
index 0000000..0f2dcbc
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLTextAreaElement.java
@@ -0,0 +1,92 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Multi-line text field. See the TEXTAREA element definition in HTML 4.0.
+ */
+public interface HTMLTextAreaElement extends HTMLElement {
+ /**
+ * Stores the initial control value (i.e., the initial value of
+ * value).
+ */
+ public String getDefaultValue();
+ public void setDefaultValue(String defaultValue);
+ /**
+ * Returns the FORM element containing this control.Returns
+ * null if this control is not within the context of a form.
+ */
+ public HTMLFormElement getForm();
+ /**
+ * A single character access key to give access to the form control. See the
+ * accesskey attribute definition in HTML 4.0.
+ */
+ public String getAccessKey();
+ public void setAccessKey(String accessKey);
+ /**
+ * Width of control (in characters). See the cols attribute definition in
+ * HTML 4.0.
+ */
+ public int getCols();
+ public void setCols(int cols);
+ /**
+ * The control is unavailable in this context. See the disabled attribute
+ * definition in HTML 4.0.
+ */
+ public boolean getDisabled();
+ public void setDisabled(boolean disabled);
+ /**
+ * Form control or object name when submitted with a form. See the name
+ * attribute definition in HTML 4.0.
+ */
+ public String getName();
+ public void setName(String name);
+ /**
+ * This control is read-only. See the readonly attribute definition in HTML
+ * 4.0.
+ */
+ public boolean getReadOnly();
+ public void setReadOnly(boolean readOnly);
+ /**
+ * Number of text rows. See the rows attribute definition in HTML 4.0.
+ */
+ public int getRows();
+ public void setRows(int rows);
+ /**
+ * Index that represents the element's position in the tabbing order. See
+ * the tabindex attribute definition in HTML 4.0.
+ */
+ public int getTabIndex();
+ public void setTabIndex(int tabIndex);
+ /**
+ * The type of this form control.
+ */
+ public String getType();
+ /**
+ * The current textual content of the multi-line text field. If the entirety
+ * of the data can not fit into a single wstring, the implementation may
+ * truncate the data.
+ */
+ public String getValue();
+ public void setValue(String value);
+ /**
+ * Removes keyboard focus from this element.
+ */
+ public void blur();
+ /**
+ * Gives keyboard focus to this element.
+ */
+ public void focus();
+ /**
+ * Select the contents of the TEXTAREA.
+ */
+ public void select();
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLTitleElement.java b/java/external/src/org/w3c/dom/html/HTMLTitleElement.java
new file mode 100644
index 0000000..43298b7
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLTitleElement.java
@@ -0,0 +1,22 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * The document title. See the TITLE element definition in HTML 4.0.
+ */
+public interface HTMLTitleElement extends HTMLElement {
+ /**
+ * The specified title as a string.
+ */
+ public String getText();
+ public void setText(String text);
+}
+
diff --git a/java/external/src/org/w3c/dom/html/HTMLUListElement.java b/java/external/src/org/w3c/dom/html/HTMLUListElement.java
new file mode 100644
index 0000000..f3aaf5a
--- /dev/null
+++ b/java/external/src/org/w3c/dom/html/HTMLUListElement.java
@@ -0,0 +1,29 @@
+/*
+ * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
+ * Technology, Institut National de Recherche en Informatique et en
+ * Automatique, Keio University).
+ * All Rights Reserved. http://www.w3.org/Consortium/Legal/
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.*;
+
+/**
+ * Unordered list. See the UL element definition in HTML 4.0.
+ */
+public interface HTMLUListElement extends HTMLElement {
+ /**
+ * Reduce spacing between list items. See the compact attribute definition
+ * in HTML 4.0. This attribute is deprecated in HTML 4.0.
+ */
+ public boolean getCompact();
+ public void setCompact(boolean compact);
+ /**
+ * Bullet style. See the type attribute definition in HTML 4.0. This
+ * attribute is deprecated in HTML 4.0.
+ */
+ public String getType();
+ public void setType(String type);
+}
+