001/*
002 * Copyright (c) 2003 World Wide Web Consortium,
003 * (Massachusetts Institute of Technology, Institut National de
004 * Recherche en Informatique et en Automatique, Keio University). All
005 * Rights Reserved. This program is distributed under the W3C's Software
006 * Intellectual Property License. This program is distributed in the
007 * hope that it will be useful, but WITHOUT ANY WARRANTY; without even
008 * the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
009 * PURPOSE.
010 * See W3C License http://www.w3.org/Consortium/Legal/ for more details.
011 */
012
013package org.w3c.dom.html2;
014
015/**
016 * Ordered list. See the OL element definition in HTML 4.01.
017 * <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>.
018 */
019public interface HTMLOListElement extends HTMLElement {
020    /**
021     * Reduce spacing between list items. See the compact attribute definition 
022     * in HTML 4.01. This attribute is deprecated in HTML 4.01.
023     */
024    public boolean getCompact();
025    /**
026     * Reduce spacing between list items. See the compact attribute definition 
027     * in HTML 4.01. This attribute is deprecated in HTML 4.01.
028     */
029    public void setCompact(boolean compact);
030
031    /**
032     * Starting sequence number. See the start attribute definition in HTML 
033     * 4.01. This attribute is deprecated in HTML 4.01.
034     */
035    public int getStart();
036    /**
037     * Starting sequence number. See the start attribute definition in HTML 
038     * 4.01. This attribute is deprecated in HTML 4.01.
039     */
040    public void setStart(int start);
041
042    /**
043     * Numbering style. See the type attribute definition in HTML 4.01. This 
044     * attribute is deprecated in HTML 4.01.
045     */
046    public String getType();
047    /**
048     * Numbering style. See the type attribute definition in HTML 4.01. This 
049     * attribute is deprecated in HTML 4.01.
050     */
051    public void setType(String type);
052
053}