public interface org.w3c.dom.html.HTMLIsIndexElement extends org.w3c.dom.html.HTMLElement
  minor version: 0
  major version: 59
  flags: flags: (0x0601) ACC_PUBLIC, ACC_INTERFACE, ACC_ABSTRACT
  this_class: org.w3c.dom.html.HTMLIsIndexElement
  super_class: java.lang.Object
{
  public abstract org.w3c.dom.html.HTMLFormElement getForm();
    descriptor: ()Lorg/w3c/dom/html/HTMLFormElement;
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT

  public abstract java.lang.String getPrompt();
    descriptor: ()Ljava/lang/String;
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT

  public abstract void setPrompt(java.lang.String);
    descriptor: (Ljava/lang/String;)V
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT
    MethodParameters:
        Name  Flags
      prompt  
}
SourceFile: "HTMLIsIndexElement.java"