1 21 32 33 package org.w3c.dom.html2; 34 35 import org.w3c.dom.Document ; 36 import org.w3c.dom.NodeList ; 37 import org.w3c.dom.DOMException ; 38 39 51 public interface HTMLDocument extends Document { 52 56 public String getTitle(); 57 61 public void setTitle(String title); 62 63 68 public String getReferrer(); 69 70 75 public String getDomain(); 76 77 80 public String getURL(); 81 82 88 public HTMLElement getBody(); 89 95 public void setBody(HTMLElement body); 96 97 106 public HTMLCollection getImages(); 107 108 112 public HTMLCollection getApplets(); 113 114 119 public HTMLCollection getLinks(); 120 121 124 public HTMLCollection getForms(); 125 126 137 public HTMLCollection getAnchors(); 138 139 170 public String getCookie(); 171 205 public void setCookie(String cookie) 206 throws DOMException ; 207 208 216 public void open(); 217 218 222 public void close(); 223 224 232 public void write(String text); 233 234 243 public void writeln(String text); 244 245 255 public NodeList getElementsByName(String elementName); 256 257 } 258 | Popular Tags |