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: * Script statements. See the SCRIPT 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 HTMLScriptElement extends HTMLElement {
20: /**
21: * The script content of the element.
22: */
23: public String getText();
24:
25: public void setText(String text);
26:
27: /**
28: * Reserved for future use.
29: */
30: public String getHtmlFor();
31:
32: public void setHtmlFor(String htmlFor);
33:
34: /**
35: * Reserved for future use.
36: */
37: public String getEvent();
38:
39: public void setEvent(String event);
40:
41: /**
42: * The character encoding of the linked resource. See the charset
43: * attribute definition in HTML 4.0.
44: */
45: public String getCharset();
46:
47: public void setCharset(String charset);
48:
49: /**
50: * Indicates that the user agent can defer processing of the script. See
51: * the defer attribute definition in HTML 4.0.
52: */
53: public boolean getDefer();
54:
55: public void setDefer(boolean defer);
56:
57: /**
58: * URI designating an external script. See the src attribute definition
59: * in HTML 4.0.
60: */
61: public String getSrc();
62:
63: public void setSrc(String src);
64:
65: /**
66: * The content type of the script language. See the type attribute
67: * definition in HTML 4.0.
68: */
69: public String getType();
70:
71: public void setType(String type);
72:
73: }
|