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
10
* See W3C License http://www.w3.org/Consortium/Legal/ for more details.
13
package org.w3c.dom.stylesheets;
15
import org.w3c.dom.DOMException;
18
* The <code>MediaList</code> interface provides the abstraction of an
19
* ordered collection of media, without defining or constraining how this
20
* collection is implemented. An empty list is the same as a list that
21
* contains the medium <code>"all"</code>.
22
* <p> The items in the <code>MediaList</code> are accessible via an integral
23
* index, starting from 0.
24
* <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>.
27
public interface MediaList {
29
* The parsable textual representation of the media list. This is a
30
* comma-separated list of media.
31
* @exception DOMException
32
* SYNTAX_ERR: Raised if the specified string value has a syntax error
34
* <br>NO_MODIFICATION_ALLOWED_ERR: Raised if this media list is
37
public String getMediaText();
39
* The parsable textual representation of the media list. This is a
40
* comma-separated list of media.
41
* @exception DOMException
42
* SYNTAX_ERR: Raised if the specified string value has a syntax error
44
* <br>NO_MODIFICATION_ALLOWED_ERR: Raised if this media list is
47
public void setMediaText(String mediaText)
51
* The number of media in the list. The range of valid media is
52
* <code>0</code> to <code>length-1</code> inclusive.
54
public int getLength();
57
* Returns the <code>index</code>th in the list. If <code>index</code> is
58
* greater than or equal to the number of media in the list, this
59
* returns <code>null</code>.
60
* @param index Index into the collection.
61
* @return The medium at the <code>index</code>th position in the
62
* <code>MediaList</code>, or <code>null</code> if that is not a valid
65
public String item(int index);
68
* Deletes the medium indicated by <code>oldMedium</code> from the list.
69
* @param oldMedium The medium to delete in the media list.
70
* @exception DOMException
71
* NO_MODIFICATION_ALLOWED_ERR: Raised if this list is readonly.
72
* <br> NOT_FOUND_ERR: Raised if <code>oldMedium</code> is not in the
75
public void deleteMedium(String oldMedium)
79
* Adds the medium <code>newMedium</code> to the end of the list. If the
80
* <code>newMedium</code> is already used, it is first removed.
81
* @param newMedium The new medium to add.
82
* @exception DOMException
83
* INVALID_CHARACTER_ERR: If the medium contains characters that are
84
* invalid in the underlying style language.
85
* <br> NO_MODIFICATION_ALLOWED_ERR: Raised if this list is readonly.
87
public void appendMedium(String newMedium)