1 21 32 33 package org.w3c.dom.html2; 34 35 import org.w3c.dom.Document ; 36 37 41 public interface HTMLIFrameElement extends HTMLElement { 42 47 public String getAlign(); 48 53 public void setAlign(String align); 54 55 59 public String getFrameBorder(); 60 64 public void setFrameBorder(String frameBorder); 65 66 69 public String getHeight(); 70 73 public void setHeight(String height); 74 75 79 public String getLongDesc(); 80 84 public void setLongDesc(String longDesc); 85 86 90 public String getMarginHeight(); 91 95 public void setMarginHeight(String marginHeight); 96 97 101 public String getMarginWidth(); 102 106 public void setMarginWidth(String marginWidth); 107 108 112 public String getName(); 113 117 public void setName(String name); 118 119 123 public String getScrolling(); 124 128 public void setScrolling(String scrolling); 129 130 134 public String getSrc(); 135 139 public void setSrc(String src); 140 141 144 public String getWidth(); 145 148 public void setWidth(String width); 149 150 155 public Document getContentDocument(); 156 157 } 158 | Popular Tags |