File: HTMLScriptElement.java

package info (click to toggle)
libjaxp1.3-java 1.3.03-4
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 2,388 kB
  • ctags: 3,077
  • sloc: java: 9,175; makefile: 12
file content (56 lines) | stat: -rw-r--r-- 1,748 bytes parent folder | download | duplicates (11)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
/*
 * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
 * Technology, Institut National de Recherche en Informatique et en
 * Automatique, Keio University).
 * All Rights Reserved. http://www.w3.org/Consortium/Legal/
 */

package org.w3c.dom.html;

import org.w3c.dom.*;

/**
 * Script statements. See the SCRIPT element definition in HTML 4.0.
 */
public interface HTMLScriptElement extends HTMLElement {
  /**
   * The script content of the element. 
   */
  public String             getText();
  public void               setText(String text);
  /**
   * Reserved for future use. 
   */
  public String             getHtmlFor();
  public void               setHtmlFor(String htmlFor);
  /**
   * Reserved for future use. 
   */
  public String             getEvent();
  public void               setEvent(String event);
  /**
   * The character encoding of the linked resource. See the charset attribute 
   * definition in HTML 4.0.
   */
  public String             getCharset();
  public void               setCharset(String charset);
  /**
   * Indicates that the user agent can defer processing of the script.  See 
   * the defer attribute definition in HTML 4.0.
   */
  public boolean            getDefer();
  public void               setDefer(boolean defer);
  /**
   * URI designating an external script. See the src attribute definition in 
   * HTML 4.0.
   */
  public String             getSrc();
  public void               setSrc(String src);
  /**
   * The content type of the script language. See the type attribute definition
   *  in HTML 4.0.
   */
  public String             getType();
  public void               setType(String type);
}