
// DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-

#ifndef __gnu_xml_dom_html2_DomHTMLOptionElement__
#define __gnu_xml_dom_html2_DomHTMLOptionElement__

#pragma interface

#include <gnu/xml/dom/html2/DomHTMLElement.h>
extern "Java"
{
  namespace gnu
  {
    namespace xml
    {
      namespace dom
      {
        namespace html2
        {
            class DomHTMLDocument;
            class DomHTMLOptionElement;
        }
      }
    }
  }
  namespace org
  {
    namespace w3c
    {
      namespace dom
      {
        namespace html2
        {
            class HTMLFormElement;
        }
      }
    }
  }
}

class gnu::xml::dom::html2::DomHTMLOptionElement : public ::gnu::xml::dom::html2::DomHTMLElement
{

public: // actually protected
  DomHTMLOptionElement(::gnu::xml::dom::html2::DomHTMLDocument *, ::java::lang::String *, ::java::lang::String *);
public:
  virtual ::org::w3c::dom::html2::HTMLFormElement * getForm();
  virtual jboolean getDefaultSelected();
  virtual void setDefaultSelected(jboolean);
  virtual ::java::lang::String * getText();
  virtual jint getIndex();
  virtual jboolean getDisabled();
  virtual void setDisabled(jboolean);
  virtual ::java::lang::String * getLabel();
  virtual void setLabel(::java::lang::String *);
  virtual jboolean getSelected();
  virtual void setSelected(jboolean);
  virtual ::java::lang::String * getValue();
  virtual void setValue(::java::lang::String *);
public: // actually protected
  ::java::lang::Boolean * __attribute__((aligned(__alignof__( ::gnu::xml::dom::html2::DomHTMLElement)))) selected;
public:
  static ::java::lang::Class class$;
};

#endif // __gnu_xml_dom_html2_DomHTMLOptionElement__