Source for gnu.xml.dom.html2.DomHTMLIFrameElement

   1: /* DomHTMLIFrameElement.java --
   2:    Copyright (C) 2005 Free Software Foundation, Inc.
   3: 
   4: This file is part of GNU Classpath.
   5: 
   6: GNU Classpath is free software; you can redistribute it and/or modify
   7: it under the terms of the GNU General Public License as published by
   8: the Free Software Foundation; either version 2, or (at your option)
   9: any later version.
  10: 
  11: GNU Classpath is distributed in the hope that it will be useful, but
  12: WITHOUT ANY WARRANTY; without even the implied warranty of
  13: MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14: General Public License for more details.
  15: 
  16: You should have received a copy of the GNU General Public License
  17: along with GNU Classpath; see the file COPYING.  If not, write to the
  18: Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  19: 02110-1301 USA.
  20: 
  21: Linking this library statically or dynamically with other modules is
  22: making a combined work based on this library.  Thus, the terms and
  23: conditions of the GNU General Public License cover the whole
  24: combination.
  25: 
  26: As a special exception, the copyright holders of this library give you
  27: permission to link this library with independent modules to produce an
  28: executable, regardless of the license terms of these independent
  29: modules, and to copy and distribute the resulting executable under
  30: terms of your choice, provided that you also meet, for each linked
  31: independent module, the terms and conditions of the license of that
  32: module.  An independent module is a module which is not derived from
  33: or based on this library.  If you modify this library, you may extend
  34: this exception to your version of the library, but you are not
  35: obligated to do so.  If you do not wish to do so, delete this
  36: exception statement from your version. */
  37: 
  38: package gnu.xml.dom.html2;
  39: 
  40: import org.w3c.dom.Document;
  41: import org.w3c.dom.html2.HTMLIFrameElement;
  42: 
  43: /**
  44:  * An HTML 'IFRAME' element node.
  45:  *
  46:  * @author <a href='mailto:dog@gnu.org'>Chris Burdess</a>
  47:  */
  48: public class DomHTMLIFrameElement
  49:   extends DomHTMLElement
  50:   implements HTMLIFrameElement
  51: {
  52: 
  53:   protected DomHTMLIFrameElement(DomHTMLDocument owner, String namespaceURI,
  54:                                 String name)
  55:   {
  56:     super(owner, namespaceURI, name);
  57:   }
  58: 
  59:   public String getAlign()
  60:   {
  61:     return getHTMLAttribute("align");
  62:   }
  63: 
  64:   public void setAlign(String align)
  65:   {
  66:     setHTMLAttribute("align", align);
  67:   }
  68: 
  69:   public String getFrameBorder()
  70:   {
  71:     return getHTMLAttribute("frameborder");
  72:   }
  73: 
  74:   public void setFrameBorder(String frameBorder)
  75:   {
  76:     setHTMLAttribute("frameborder", frameBorder);
  77:   }
  78: 
  79:   public String getHeight()
  80:   {
  81:     return getHTMLAttribute("height");
  82:   }
  83: 
  84:   public void setHeight(String height)
  85:   {
  86:     setHTMLAttribute("height", height);
  87:   }
  88: 
  89:   public String getLongDesc()
  90:   {
  91:     return getHTMLAttribute("longdesc");
  92:   }
  93: 
  94:   public void setLongDesc(String longDesc)
  95:   {
  96:     setHTMLAttribute("longdesc", longDesc);
  97:   }
  98: 
  99:   public String getMarginHeight()
 100:   {
 101:     return getHTMLAttribute("marginheight");
 102:   }
 103: 
 104:   public void setMarginHeight(String marginHeight)
 105:   {
 106:     setHTMLAttribute("marginheight", marginHeight);
 107:   }
 108: 
 109:   public String getMarginWidth()
 110:   {
 111:     return getHTMLAttribute("marginwidth");
 112:   }
 113: 
 114:   public void setMarginWidth(String marginWidth)
 115:   {
 116:     setHTMLAttribute("marginwidth", marginWidth);
 117:   }
 118: 
 119:   public String getName()
 120:   {
 121:     return getHTMLAttribute("name");
 122:   }
 123: 
 124:   public void setName(String name)
 125:   {
 126:     setHTMLAttribute("name", name);
 127:   }
 128: 
 129:   public String getScrolling()
 130:   {
 131:     return getHTMLAttribute("scrolling");
 132:   }
 133: 
 134:   public void setScrolling(String scrolling)
 135:   {
 136:     setHTMLAttribute("scrolling", scrolling);
 137:   }
 138: 
 139:   public String getSrc()
 140:   {
 141:     return getHTMLAttribute("src");
 142:   }
 143: 
 144:   public void setSrc(String src)
 145:   {
 146:     setHTMLAttribute("src", src);
 147:   }
 148: 
 149:   public String getWidth()
 150:   {
 151:     return getHTMLAttribute("width");
 152:   }
 153: 
 154:   public void setWidth(String width)
 155:   {
 156:     setHTMLAttribute("width", width);
 157:   }
 158: 
 159:   public Document getContentDocument()
 160:   {
 161:     // TODO getContentDocument
 162:     return null;
 163:   }
 164: 
 165: }