1 files changed, 53 insertions, 0 deletions
diff --git a/gcc-4.4.3/libjava/classpath/external/w3c_dom/org/w3c/dom/html2/HTMLOListElement.java b/gcc-4.4.3/libjava/classpath/external/w3c_dom/org/w3c/dom/html2/HTMLOListElement.java
new file mode 100644
index 000000000..13041c8a1
--- /dev/null
+++ b/gcc-4.4.3/libjava/classpath/external/w3c_dom/org/w3c/dom/html2/HTMLOListElement.java
@@ -0,0 +1,53 @@
+/*
+ * Copyright (c) 2003 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.html2;
+
+/**
+ * Ordered list. See the OL element definition in HTML 4.01.
+ * <p>See also the <a href='http://www.w3.org/TR/2003/REC-DOM-Level-2-HTML-20030109'>Document Object Model (DOM) Level 2 HTML Specification</a>.
+ */
+public interface HTMLOListElement extends HTMLElement {
+    /**
+     * Reduce spacing between list items. See the compact attribute definition 
+     * in HTML 4.01. This attribute is deprecated in HTML 4.01.
+     */
+    public boolean getCompact();
+    /**
+     * Reduce spacing between list items. See the compact attribute definition 
+     * in HTML 4.01. This attribute is deprecated in HTML 4.01.
+     */
+    public void setCompact(boolean compact);
+
+    /**
+     * Starting sequence number. See the start attribute definition in HTML 
+     * 4.01. This attribute is deprecated in HTML 4.01.
+     */
+    public int getStart();
+    /**
+     * Starting sequence number. See the start attribute definition in HTML 
+     * 4.01. This attribute is deprecated in HTML 4.01.
+     */
+    public void setStart(int start);
+
+    /**
+     * Numbering style. See the type attribute definition in HTML 4.01. This 
+     * attribute is deprecated in HTML 4.01.
+     */
+    public String getType();
+    /**
+     * Numbering style. See the type attribute definition in HTML 4.01. This 
+     * attribute is deprecated in HTML 4.01.
+     */
+    public void setType(String type);
+
+}