Source for org.w3c.dom.html2.HTMLOListElement

   1: /*
   2:  * Copyright (c) 2003 World Wide Web Consortium,
   3:  * (Massachusetts Institute of Technology, Institut National de
   4:  * Recherche en Informatique et en Automatique, Keio University). All
   5:  * Rights Reserved. This program is distributed under the W3C's Software
   6:  * Intellectual Property License. This program is distributed in the
   7:  * hope that it will be useful, but WITHOUT ANY WARRANTY; without even
   8:  * the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
   9:  * PURPOSE.
  10:  * See W3C License http://www.w3.org/Consortium/Legal/ for more details.
  11:  */
  12: 
  13: package org.w3c.dom.html2;
  14: 
  15: /**
  16:  * Ordered list. See the OL element definition in HTML 4.01.
  17:  * <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>.
  18:  */
  19: public interface HTMLOListElement extends HTMLElement {
  20:     /**
  21:      * Reduce spacing between list items. See the compact attribute definition 
  22:      * in HTML 4.01. This attribute is deprecated in HTML 4.01.
  23:      */
  24:     public boolean getCompact();
  25:     /**
  26:      * Reduce spacing between list items. See the compact attribute definition 
  27:      * in HTML 4.01. This attribute is deprecated in HTML 4.01.
  28:      */
  29:     public void setCompact(boolean compact);
  30: 
  31:     /**
  32:      * Starting sequence number. See the start attribute definition in HTML 
  33:      * 4.01. This attribute is deprecated in HTML 4.01.
  34:      */
  35:     public int getStart();
  36:     /**
  37:      * Starting sequence number. See the start attribute definition in HTML 
  38:      * 4.01. This attribute is deprecated in HTML 4.01.
  39:      */
  40:     public void setStart(int start);
  41: 
  42:     /**
  43:      * Numbering style. See the type attribute definition in HTML 4.01. This 
  44:      * attribute is deprecated in HTML 4.01.
  45:      */
  46:     public String getType();
  47:     /**
  48:      * Numbering style. See the type attribute definition in HTML 4.01. This 
  49:      * attribute is deprecated in HTML 4.01.
  50:      */
  51:     public void setType(String type);
  52: 
  53: }