KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > w3c > dom > html > HTMLFrameElement


1 /*
2  * Copyright (c) 2000 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
9  * PURPOSE. See W3C License http://www.w3.org/Consortium/Legal/ for more
10  * details.
11  */
12
13 package org.w3c.dom.html;
14
15 import org.w3c.dom.Document JavaDoc;
16
17 /**
18  * Create a frame. See the FRAME element definition in HTML 4.0.
19  * <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>.
20  */
21 public interface HTMLFrameElement extends HTMLElement {
22     /**
23      * Request frame borders. See the frameborder attribute definition in
24      * HTML 4.0.
25      */
26     public String JavaDoc getFrameBorder();
27     public void setFrameBorder(String JavaDoc frameBorder);
28
29     /**
30      * URI designating a long description of this image or frame. See the
31      * longdesc attribute definition in HTML 4.0.
32      */
33     public String JavaDoc getLongDesc();
34     public void setLongDesc(String JavaDoc longDesc);
35
36     /**
37      * Frame margin height, in pixels. See the marginheight attribute
38      * definition in HTML 4.0.
39      */
40     public String JavaDoc getMarginHeight();
41     public void setMarginHeight(String JavaDoc marginHeight);
42
43     /**
44      * Frame margin width, in pixels. See the marginwidth attribute
45      * definition in HTML 4.0.
46      */
47     public String JavaDoc getMarginWidth();
48     public void setMarginWidth(String JavaDoc marginWidth);
49
50     /**
51      * The frame name (object of the <code>target</code> attribute). See the
52      * name attribute definition in HTML 4.0.
53      */
54     public String JavaDoc getName();
55     public void setName(String JavaDoc name);
56
57     /**
58      * When true, forbid user from resizing frame. See the noresize
59      * attribute definition in HTML 4.0.
60      */
61     public boolean getNoResize();
62     public void setNoResize(boolean noResize);
63
64     /**
65      * Specify whether or not the frame should have scrollbars. See the
66      * scrolling attribute definition in HTML 4.0.
67      */
68     public String JavaDoc getScrolling();
69     public void setScrolling(String JavaDoc scrolling);
70
71     /**
72      * A URI designating the initial frame contents. See the src attribute
73      * definition in HTML 4.0.
74      */
75     public String JavaDoc getSrc();
76     public void setSrc(String JavaDoc src);
77
78     /**
79      * The document this frame contains, if there is any and it is available,
80      * or <code>null</code> otherwise.
81      * @since DOM Level 2
82      */
83     public Document JavaDoc getContentDocument();
84
85 }
86
87
Popular Tags