Source for org.w3c.dom.html2.HTMLScriptElement

   1: /*
   2:  * Copyright (c) 2003 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.
  10:  * See W3C License http://www.w3.org/Consortium/Legal/ for more details.
  11:  */
  12: 
  13: package org.w3c.dom.html2;
  14: 
  15: /**
  16:  * Script statements. See the SCRIPT element definition in HTML 4.01.
  17:  * <p>See also the <a href='http://www.w3.org/TR/2003/REC-DOM-Level-2-HTML-20030109'>Document Object Model (DOM) Level 2 HTML Specification</a>.
  18:  */
  19: public interface HTMLScriptElement extends HTMLElement {
  20:     /**
  21:      * The script content of the element. 
  22:      */
  23:     public String getText();
  24:     /**
  25:      * The script content of the element. 
  26:      */
  27:     public void setText(String text);
  28: 
  29:     /**
  30:      * Reserved for future use. 
  31:      */
  32:     public String getHtmlFor();
  33:     /**
  34:      * Reserved for future use. 
  35:      */
  36:     public void setHtmlFor(String htmlFor);
  37: 
  38:     /**
  39:      * Reserved for future use. 
  40:      */
  41:     public String getEvent();
  42:     /**
  43:      * Reserved for future use. 
  44:      */
  45:     public void setEvent(String event);
  46: 
  47:     /**
  48:      * The character encoding of the linked resource. See the charset 
  49:      * attribute definition in HTML 4.01.
  50:      */
  51:     public String getCharset();
  52:     /**
  53:      * The character encoding of the linked resource. See the charset 
  54:      * attribute definition in HTML 4.01.
  55:      */
  56:     public void setCharset(String charset);
  57: 
  58:     /**
  59:      * Indicates that the user agent can defer processing of the script. See 
  60:      * the defer attribute definition in HTML 4.01.
  61:      */
  62:     public boolean getDefer();
  63:     /**
  64:      * Indicates that the user agent can defer processing of the script. See 
  65:      * the defer attribute definition in HTML 4.01.
  66:      */
  67:     public void setDefer(boolean defer);
  68: 
  69:     /**
  70:      * URI [<a href='http://www.ietf.org/rfc/rfc2396.txt'>IETF RFC 2396</a>] designating an external script. See the src attribute definition 
  71:      * in HTML 4.01.
  72:      */
  73:     public String getSrc();
  74:     /**
  75:      * URI [<a href='http://www.ietf.org/rfc/rfc2396.txt'>IETF RFC 2396</a>] designating an external script. See the src attribute definition 
  76:      * in HTML 4.01.
  77:      */
  78:     public void setSrc(String src);
  79: 
  80:     /**
  81:      * The content type of the script language. See the type attribute 
  82:      * definition in HTML 4.01.
  83:      */
  84:     public String getType();
  85:     /**
  86:      * The content type of the script language. See the type attribute 
  87:      * definition in HTML 4.01.
  88:      */
  89:     public void setType(String type);
  90: 
  91: }