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. package org.w3c.dom.html;
  13. /**
  14. * Script statements. See the SCRIPT element definition in HTML 4.0.
  15. * <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>.
  16. */
  17. public interface HTMLScriptElement extends HTMLElement {
  18. /**
  19. * The script content of the element.
  20. */
  21. public String getText();
  22. public void setText(String text);
  23. /**
  24. * Reserved for future use.
  25. */
  26. public String getHtmlFor();
  27. public void setHtmlFor(String htmlFor);
  28. /**
  29. * Reserved for future use.
  30. */
  31. public String getEvent();
  32. public void setEvent(String event);
  33. /**
  34. * The character encoding of the linked resource. See the charset
  35. * attribute definition in HTML 4.0.
  36. */
  37. public String getCharset();
  38. public void setCharset(String charset);
  39. /**
  40. * Indicates that the user agent can defer processing of the script. See
  41. * the defer attribute definition in HTML 4.0.
  42. */
  43. public boolean getDefer();
  44. public void setDefer(boolean defer);
  45. /**
  46. * URI designating an external script. See the src attribute definition
  47. * in HTML 4.0.
  48. */
  49. public String getSrc();
  50. public void setSrc(String src);
  51. /**
  52. * The content type of the script language. See the type attribute
  53. * definition in HTML 4.0.
  54. */
  55. public String getType();
  56. public void setType(String type);
  57. }