org.w3c.dom.html.HTMLFrameElement Maven / Gradle / Ivy
// Copyright (c) 1998 by W3C
//
// DOM is a trademark of W3C
// The DOM level 1 specification, from which this
// source is derived, is copyright by W3C.
// See: http://www.w3.org/TR/REC-DOM-Level-1/
//
package org.w3c.dom.html;
import org.w3c.dom.*;
/**
Create a frame. See the
FRAME element definition
in HTML 4.0.
Property Summary
frameBorder
getFrameBorder
setFrameBorder
Request frame borders. See the
frameborder attribute definition
in HTML 4.0.
longDesc
getLongDesc
setLongDesc
URI designating a long description of this image or frame. See the
longdesc attribute definition
in HTML 4.0.
marginHeight
getMarginHeight
setMarginHeight
Frame margin height, in pixels. See the
marginheight attribute definition
in HTML 4.0.
marginWidth
getMarginWidth
setMarginWidth
Frame margin width, in pixels. See the
marginwidth attribute definition
in HTML 4.0.
name
getName
setName
The frame name (object of the
target attribute). See the
name attribute definition
in HTML 4.0.
noResize
getNoResize
setNoResize
When true, forbid user from resizing frame. See the
noresize attribute definition
in HTML 4.0.
scrolling
getScrolling
setScrolling
Specify whether or not the frame should have scrollbars. See the
scrolling attribute definition
in HTML 4.0.
src
getSrc
setSrc
A URI designating the initial frame contents. See the
src attribute definition
in HTML 4.0.
*/
public interface HTMLFrameElement
extends HTMLElement
{
/** Assigns the value of the frameBorder property.
*/
void setFrameBorder (String frameBorder);
/**
* Returns the value of the frameBorder property.
*/
String getFrameBorder ();
/** Assigns the value of the longDesc property.
*/
void setLongDesc (String longDesc);
/**
* Returns the value of the longDesc property.
*/
String getLongDesc ();
/** Assigns the value of the marginHeight property.
*/
void setMarginHeight (String marginHeight);
/**
* Returns the value of the marginHeight property.
*/
String getMarginHeight ();
/** Assigns the value of the marginWidth property.
*/
void setMarginWidth (String marginWidth);
/**
* Returns the value of the marginWidth property.
*/
String getMarginWidth ();
/** Assigns the value of the name property.
*/
void setName (String name);
/**
* Returns the value of the name property.
*/
String getName ();
/** Assigns the value of the noResize property.
*/
void setNoResize (boolean noResize);
/**
* Returns the value of the noResize property.
*/
boolean getNoResize ();
/** Assigns the value of the scrolling property.
*/
void setScrolling (String scrolling);
/**
* Returns the value of the scrolling property.
*/
String getScrolling ();
/** Assigns the value of the src property.
*/
void setSrc (String src);
/**
* Returns the value of the src property.
*/
String getSrc ();
}