Dead
[official-gcc.git] / gomp-20050608-branch / libjava / classpath / external / w3c_dom / org / w3c / dom / css / Counter.java
blob8cd4967b32de8192ec28ad3201b2c57d18a9682f
1 /*
2 * Copyright (c) 2000 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.
13 package org.w3c.dom.css;
15 /**
16 * The <code>Counter</code> interface is used to represent any counter or
17 * counters function value. This interface reflects the values in the
18 * underlying style property.
19 * <p>See also the <a href='http://www.w3.org/TR/2000/REC-DOM-Level-2-Style-20001113'>Document Object Model (DOM) Level 2 Style Specification</a>.
20 * @since DOM Level 2
22 public interface Counter {
23 /**
24 * This attribute is used for the identifier of the counter.
26 public String getIdentifier();
28 /**
29 * This attribute is used for the style of the list.
31 public String getListStyle();
33 /**
34 * This attribute is used for the separator of the nested counters.
36 public String getSeparator();