2 * Copyright (c) 2003 World Wide Web Consortium,
3 * (Massachusetts Institute of Technology, Institut National de
4 * Recherche en Informatique et en Automatique, Keio University). All
5 * Rights Reserved. This program is distributed under the W3C's Software
6 * Intellectual Property License. This program is distributed in the
7 * hope that it will be useful, but WITHOUT ANY WARRANTY; without even
8 * the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
10 * See W3C License http://www.w3.org/Consortium/Legal/ for more details.
13 package org.w3c.dom.html2;
15 import org.w3c.dom.Document;
18 * Create a frame. See the FRAME element definition in HTML 4.01.
19 * <p>See also the <a href='http://www.w3.org/TR/2003/REC-DOM-Level-2-HTML-20030109'>Document Object Model (DOM) Level 2 HTML Specification</a>.
21 public interface HTMLFrameElement extends HTMLElement {
23 * Request frame borders. See the frameborder attribute definition in HTML
26 public String getFrameBorder();
28 * Request frame borders. See the frameborder attribute definition in HTML
31 public void setFrameBorder(String frameBorder);
34 * URI [<a href='http://www.ietf.org/rfc/rfc2396.txt'>IETF RFC 2396</a>] designating a long description of this image or frame. See the
35 * longdesc attribute definition in HTML 4.01.
37 public String getLongDesc();
39 * URI [<a href='http://www.ietf.org/rfc/rfc2396.txt'>IETF RFC 2396</a>] designating a long description of this image or frame. See the
40 * longdesc attribute definition in HTML 4.01.
42 public void setLongDesc(String longDesc);
45 * Frame margin height, in pixels. See the marginheight attribute
46 * definition in HTML 4.01.
48 public String getMarginHeight();
50 * Frame margin height, in pixels. See the marginheight attribute
51 * definition in HTML 4.01.
53 public void setMarginHeight(String marginHeight);
56 * Frame margin width, in pixels. See the marginwidth attribute definition
59 public String getMarginWidth();
61 * Frame margin width, in pixels. See the marginwidth attribute definition
64 public void setMarginWidth(String marginWidth);
67 * The frame name (object of the <code>target</code> attribute). See the
68 * name attribute definition in HTML 4.01.
70 public String getName();
72 * The frame name (object of the <code>target</code> attribute). See the
73 * name attribute definition in HTML 4.01.
75 public void setName(String name);
78 * When true, forbid user from resizing frame. See the noresize attribute
79 * definition in HTML 4.01.
81 public boolean getNoResize();
83 * When true, forbid user from resizing frame. See the noresize attribute
84 * definition in HTML 4.01.
86 public void setNoResize(boolean noResize);
89 * Specify whether or not the frame should have scrollbars. See the
90 * scrolling attribute definition in HTML 4.01.
92 public String getScrolling();
94 * Specify whether or not the frame should have scrollbars. See the
95 * scrolling attribute definition in HTML 4.01.
97 public void setScrolling(String scrolling);
100 * A URI [<a href='http://www.ietf.org/rfc/rfc2396.txt'>IETF RFC 2396</a>] designating the initial frame contents. See the src attribute
101 * definition in HTML 4.01.
103 public String getSrc();
105 * A URI [<a href='http://www.ietf.org/rfc/rfc2396.txt'>IETF RFC 2396</a>] designating the initial frame contents. See the src attribute
106 * definition in HTML 4.01.
108 public void setSrc(String src);
111 * The document this frame contains, if there is any and it is available,
112 * or <code>null</code> otherwise.
115 public Document getContentDocument();