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. See W3C License http://www.w3.org/Consortium/Legal/ for more
10 * details.
11 *
12 * Difference to the original copy of this file:
13 *   1) ADD public int getLeft();
14 *   2) ADD public void setLeft(int top) throws DOMException;
15 *   3) MODIFY public String getTop() to public int getTop();
16 *   4) MODIFY public void setTop(String) to public void setTop(int);
17 */
18
19package org.w3c.dom.smil;
20
21import org.w3c.dom.DOMException;
22
23/**
24 *  Controls the position, size and scaling of media object elements. See the
25 * region element definition .
26 */
27public interface SMILRegionElement extends SMILElement, ElementLayout {
28    /**
29     * @exception DOMException
30     *    NO_MODIFICATION_ALLOWED_ERR: Raised if this attribute is readonly.
31     */
32    public String getFit();
33    public void setFit(String fit)
34                                      throws DOMException;
35
36    /**
37     * @exception DOMException
38     *    NO_MODIFICATION_ALLOWED_ERR: Raised if this attribute is readonly.
39     */
40    public int getLeft();
41    public void setLeft(int top)
42                                      throws DOMException;
43
44    /**
45     * @exception DOMException
46     *    NO_MODIFICATION_ALLOWED_ERR: Raised if this attribute is readonly.
47     */
48    public int getTop();
49    public void setTop(int top)
50                                      throws DOMException;
51
52    /**
53     * @exception DOMException
54     *    NO_MODIFICATION_ALLOWED_ERR: Raised if this attribute is readonly.
55     */
56    public int getZIndex();
57    public void setZIndex(int zIndex)
58                                      throws DOMException;
59
60}
61
62