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. package org.w3c.dom.html;
  13. import org.w3c.dom.Document;
  14. /**
  15. * Inline subwindows. See the IFRAME element definition in HTML 4.0.
  16. * <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>.
  17. */
  18. public interface HTMLIFrameElement extends HTMLElement {
  19. /**
  20. * Aligns this object (vertically or horizontally) with respect to its
  21. * surrounding text. See the align attribute definition in HTML 4.0.
  22. * This attribute is deprecated in HTML 4.0.
  23. */
  24. public String getAlign();
  25. public void setAlign(String align);
  26. /**
  27. * Request frame borders. See the frameborder attribute definition in
  28. * HTML 4.0.
  29. */
  30. public String getFrameBorder();
  31. public void setFrameBorder(String frameBorder);
  32. /**
  33. * Frame height. See the height attribute definition in HTML 4.0.
  34. */
  35. public String getHeight();
  36. public void setHeight(String height);
  37. /**
  38. * URI designating a long description of this image or frame. See the
  39. * longdesc attribute definition in HTML 4.0.
  40. */
  41. public String getLongDesc();
  42. public void setLongDesc(String longDesc);
  43. /**
  44. * Frame margin height, in pixels. See the marginheight attribute
  45. * definition in HTML 4.0.
  46. */
  47. public String getMarginHeight();
  48. public void setMarginHeight(String marginHeight);
  49. /**
  50. * Frame margin width, in pixels. See the marginwidth attribute
  51. * definition in HTML 4.0.
  52. */
  53. public String getMarginWidth();
  54. public void setMarginWidth(String marginWidth);
  55. /**
  56. * The frame name (object of the <code>target</code> attribute). See the
  57. * name attribute definition in HTML 4.0.
  58. */
  59. public String getName();
  60. public void setName(String name);
  61. /**
  62. * Specify whether or not the frame should have scrollbars. See the
  63. * scrolling attribute definition in HTML 4.0.
  64. */
  65. public String getScrolling();
  66. public void setScrolling(String scrolling);
  67. /**
  68. * A URI designating the initial frame contents. See the src attribute
  69. * definition in HTML 4.0.
  70. */
  71. public String getSrc();
  72. public void setSrc(String src);
  73. /**
  74. * Frame width. See the width attribute definition in HTML 4.0.
  75. */
  76. public String getWidth();
  77. public void setWidth(String width);
  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. }