1 12 13 package org.w3c.dom.html; 14 15 import org.w3c.dom.Document ; 16 import org.w3c.dom.NodeList ; 17 18 30 public interface HTMLDocument extends Document { 31 35 public String getTitle(); 36 public void setTitle(String title); 37 38 43 public String getReferrer(); 44 45 49 public String getDomain(); 50 51 54 public String getURL(); 55 56 62 public HTMLElement getBody(); 63 public void setBody(HTMLElement body); 64 65 70 public HTMLCollection getImages(); 71 72 76 public HTMLCollection getApplets(); 77 78 83 public HTMLCollection getLinks(); 84 85 88 public HTMLCollection getForms(); 89 90 97 public HTMLCollection getAnchors(); 98 99 106 public String getCookie(); 107 public void setCookie(String cookie); 108 109 119 public void open(); 120 121 125 public void close(); 126 127 134 public void write(String text); 135 136 143 public void writeln(String text); 144 145 152 public NodeList getElementsByName(String elementName); 153 154 } 155 156 | Popular Tags |