1 files changed, 99 insertions, 0 deletions
diff --git a/external/jaxp/source/org/w3c/dom/html/HTMLIFrameElement.java b/external/jaxp/source/org/w3c/dom/html/HTMLIFrameElement.java
new file mode 100755
index 000000000..d78f4a99c
--- /dev/null
+++ b/external/jaxp/source/org/w3c/dom/html/HTMLIFrameElement.java
@@ -0,0 +1,99 @@
+/*
+ * Copyright (c) 2000 World Wide Web Consortium,
+ * (Massachusetts Institute of Technology, Institut National de
+ * Recherche en Informatique et en Automatique, Keio University). All
+ * Rights Reserved. This program is distributed under the W3C's Software
+ * Intellectual Property License. This program is distributed in the
+ * hope that it will be useful, but WITHOUT ANY WARRANTY; without even
+ * the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
+ * PURPOSE. See W3C License http://www.w3.org/Consortium/Legal/ for more
+ * details.
+ */
+
+package org.w3c.dom.html;
+
+import org.w3c.dom.Document;
+
+/**
+ *  Inline subwindows. See the  IFRAME element definition in HTML 4.0.
+ * <p>See also the <a href='http://www.w3.org/TR/2000/CR-DOM-Level-2-20000510'>Document Object Model (DOM) Level 2 Specification</a>.
+ */
+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 <code>target</code> 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);
+
+    /**
+     *  The document this frame contains, if there is any and it is available, 
+     * or <code>null</code> otherwise.
+     * @since DOM Level 2
+     */
+    public Document getContentDocument();
+
+}
+