001: /*
002: * Copyright (c) 2000 World Wide Web Consortium,
003: * (Massachusetts Institute of Technology, Institut National de
004: * Recherche en Informatique et en Automatique, Keio University). All
005: * Rights Reserved. This program is distributed under the W3C's Software
006: * Intellectual Property License. This program is distributed in the
007: * hope that it will be useful, but WITHOUT ANY WARRANTY; without even
008: * the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
009: * PURPOSE. See W3C License http://www.w3.org/Consortium/Legal/ for more
010: * details.
011: */
012:
013: package org.w3c.dom.html;
014:
015: import org.w3c.dom.Document;
016:
017: /**
018: * Inline subwindows. See the IFRAME element definition in HTML 4.0.
019: * <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>.
020: */
021: public interface HTMLIFrameElement extends HTMLElement {
022: /**
023: * Aligns this object (vertically or horizontally) with respect to its
024: * surrounding text. See the align attribute definition in HTML 4.0.
025: * This attribute is deprecated in HTML 4.0.
026: */
027: public String getAlign();
028:
029: public void setAlign(String align);
030:
031: /**
032: * Request frame borders. See the frameborder attribute definition in
033: * HTML 4.0.
034: */
035: public String getFrameBorder();
036:
037: public void setFrameBorder(String frameBorder);
038:
039: /**
040: * Frame height. See the height attribute definition in HTML 4.0.
041: */
042: public String getHeight();
043:
044: public void setHeight(String height);
045:
046: /**
047: * URI designating a long description of this image or frame. See the
048: * longdesc attribute definition in HTML 4.0.
049: */
050: public String getLongDesc();
051:
052: public void setLongDesc(String longDesc);
053:
054: /**
055: * Frame margin height, in pixels. See the marginheight attribute
056: * definition in HTML 4.0.
057: */
058: public String getMarginHeight();
059:
060: public void setMarginHeight(String marginHeight);
061:
062: /**
063: * Frame margin width, in pixels. See the marginwidth attribute
064: * definition in HTML 4.0.
065: */
066: public String getMarginWidth();
067:
068: public void setMarginWidth(String marginWidth);
069:
070: /**
071: * The frame name (object of the <code>target</code> attribute). See the
072: * name attribute definition in HTML 4.0.
073: */
074: public String getName();
075:
076: public void setName(String name);
077:
078: /**
079: * Specify whether or not the frame should have scrollbars. See the
080: * scrolling attribute definition in HTML 4.0.
081: */
082: public String getScrolling();
083:
084: public void setScrolling(String scrolling);
085:
086: /**
087: * A URI designating the initial frame contents. See the src attribute
088: * definition in HTML 4.0.
089: */
090: public String getSrc();
091:
092: public void setSrc(String src);
093:
094: /**
095: * Frame width. See the width attribute definition in HTML 4.0.
096: */
097: public String getWidth();
098:
099: public void setWidth(String width);
100:
101: /**
102: * The document this frame contains, if there is any and it is available,
103: * or <code>null</code> otherwise.
104: * @since DOM Level 2
105: */
106: public Document getContentDocument();
107:
108: }
|