1 12 13 package org.w3c.dom.html; 14 15 import org.w3c.dom.Document ; 16 17 21 public interface HTMLIFrameElement extends HTMLElement { 22 27 public String getAlign(); 28 public void setAlign(String align); 29 30 34 public String getFrameBorder(); 35 public void setFrameBorder(String frameBorder); 36 37 40 public String getHeight(); 41 public void setHeight(String height); 42 43 47 public String getLongDesc(); 48 public void setLongDesc(String longDesc); 49 50 54 public String getMarginHeight(); 55 public void setMarginHeight(String marginHeight); 56 57 61 public String getMarginWidth(); 62 public void setMarginWidth(String marginWidth); 63 64 68 public String getName(); 69 public void setName(String name); 70 71 75 public String getScrolling(); 76 public void setScrolling(String scrolling); 77 78 82 public String getSrc(); 83 public void setSrc(String src); 84 85 88 public String getWidth(); 89 public void setWidth(String width); 90 91 96 public Document getContentDocument(); 97 98 } 99 100 | Popular Tags |