01: /*
02: * Copyright (c) 2000 World Wide Web Consortium,
03: * (Massachusetts Institute of Technology, Institut National de
04: * Recherche en Informatique et en Automatique, Keio University). All
05: * Rights Reserved. This program is distributed under the W3C's Software
06: * Intellectual Property License. This program is distributed in the
07: * hope that it will be useful, but WITHOUT ANY WARRANTY; without even
08: * the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
09: * PURPOSE. See W3C License http://www.w3.org/Consortium/Legal/ for more
10: * details.
11: */
12:
13: package org.w3c.dom.html;
14:
15: /**
16: * Root of an HTML document. See the HTML element definition in HTML 4.0.
17: * <p>See also the <a href='http://www.w3.org/TR/2000/CR-DOM-Level-2-20000510'>Document Object Model (DOM) Level 2 Specification</a>.
18: */
19: public interface HTMLHtmlElement extends HTMLElement {
20: /**
21: * Version information about the document's DTD. See the version
22: * attribute definition in HTML 4.0. This attribute is deprecated in HTML
23: * 4.0.
24: */
25: public String getVersion();
26:
27: public void setVersion(String version);
28:
29: }
|