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;

  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 getFrameBorder();

  27.     public void setFrameBorder(String 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 getLongDesc();

  34.     public void setLongDesc(String longDesc);

  35. 

  36.     /**

  37.      *  Frame margin height, in pixels. See the  marginheight attribute 

  38.      * definition in HTML 4.0.

  39.      */

  40.     public String getMarginHeight();

  41.     public void setMarginHeight(String marginHeight);

  42. 

  43.     /**

  44.      *  Frame margin width, in pixels. See the  marginwidth attribute 

  45.      * definition in HTML 4.0.

  46.      */

  47.     public String getMarginWidth();

  48.     public void setMarginWidth(String 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 getName();

  55.     public void setName(String 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 getScrolling();

  69.     public void setScrolling(String 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 getSrc();

  76.     public void setSrc(String 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 getContentDocument();

  84. 

  85. }

  86.