FOREIGN MODULE javax_swing_text_html;

IMPORT
    java_lang := "java.lang",
    javax_swing_event := "javax.swing.event",
    java_util := "java.util",
    javax_swing_text := "javax.swing.text",
    java_awt := "java.awt",
    javax_accessibility := "javax.accessibility",
    java_awt_event := "java.awt.event",
    java_beans := "java.beans",
    java_text := "java.text",
    javax_swing := "javax.swing",
    javax_swing_border := "javax.swing.border",
    java_io := "java.io",
    java_net := "java.net",
    sun_swing_text_html := "sun.swing.text.html",
    java_lang_reflect := "java.lang.reflect",
    java_awt_im := "java.awt.im",
    javax_swing_plaf := "javax.swing.plaf",
    javax_print := "javax.print",
    javax_print_attribute := "javax.print.attribute",
    java_awt_print := "java.awt.print",
    sun_awt := "sun.awt",
    java_util_logging := "java.util.logging",
    java_awt_peer := "java.awt.peer",
    sun_java2d_pipe := "sun.java2d.pipe",
    java_awt_image := "java.awt.image",
    java_awt_dnd := "java.awt.dnd",
    java_security := "java.security",
    javax_swing_tree := "javax.swing.tree",
    java_lang_ref := "java.lang.ref",
    java_awt_geom := "java.awt.geom",
    sun_awt_geom := "sun.awt.geom";

TYPE

  AccessibleHTML$HTMLAccessibleContext* = POINTER TO ABSTRACT RECORD (javax_accessibility.AccessibleContext + javax_accessibility.Accessible + javax_accessibility.AccessibleComponent)    (* Typebound Procedures *)
                                            elementInfo! : AccessibleHTML$ElementInfo;
                                          STATIC
                                            PROCEDURE Init*(p0 : AccessibleHTML;
                                                            p1 : AccessibleHTML$ElementInfo) : AccessibleHTML$HTMLAccessibleContext,CONSTRUCTOR;
                                          END;

  AccessibleHTML$IconElementInfo$IconAccessibleContext* = POINTER TO EXTENSIBLE RECORD (AccessibleHTML$HTMLAccessibleContext + javax_accessibility.AccessibleIcon)    (* Typebound Procedures *)
                                                          STATIC
                                                            PROCEDURE Init*(p0 : AccessibleHTML$IconElementInfo;
                                                                            p1 : AccessibleHTML$ElementInfo) : AccessibleHTML$IconElementInfo$IconAccessibleContext,CONSTRUCTOR;
                                                          END;

  AccessibleHTML$TableElementInfo$TableAccessibleContext* = POINTER TO EXTENSIBLE RECORD (AccessibleHTML$HTMLAccessibleContext + javax_accessibility.AccessibleTable)    (* Typebound Procedures *)
                                                            STATIC
                                                              PROCEDURE Init*(p0 : AccessibleHTML$TableElementInfo;
                                                                              p1 : AccessibleHTML$ElementInfo) : AccessibleHTML$TableElementInfo$TableAccessibleContext,CONSTRUCTOR;
                                                            END;

  AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + javax_accessibility.AccessibleTable)    (* Typebound Procedures *)
                                                                                   STATIC
                                                                                     PROCEDURE Init!(p0 : AccessibleHTML$TableElementInfo$TableAccessibleContext) : AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable,CONSTRUCTOR;
                                                                                   END;

  AccessibleHTML$TextElementInfo$TextAccessibleContext* = POINTER TO EXTENSIBLE RECORD (AccessibleHTML$HTMLAccessibleContext + javax_accessibility.AccessibleText)    (* Typebound Procedures *)
                                                          STATIC
                                                            PROCEDURE Init*(p0 : AccessibleHTML$TextElementInfo;
                                                                            p1 : AccessibleHTML$ElementInfo) : AccessibleHTML$TextElementInfo$TextAccessibleContext,CONSTRUCTOR;
                                                          END;

  BlockView* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.BoxView)    (* Typebound Procedures *)
               STATIC
                 PROCEDURE Init*(p0 : javax_swing_text.Element;
                                 p1 : INTEGER) : BlockView,CONSTRUCTOR;
               END;

  CSS* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable)
         STATIC
           PROCEDURE getAllAttributeKeys*() : POINTER TO ARRAY OF CSS$Attribute;
           PROCEDURE getAttribute*(p0 : java_lang.String) : CSS$Attribute;
           PROCEDURE Init*() : CSS,CONSTRUCTOR;
         END;

  CSS$Attribute* = POINTER TO RECORD (java_lang.Object)    (* Typebound Procedures *)
                   STATIC
                     BACKGROUND*            : CSS$Attribute;
                     BACKGROUND_ATTACHMENT* : CSS$Attribute;
                     BACKGROUND_COLOR*      : CSS$Attribute;
                     BACKGROUND_IMAGE*      : CSS$Attribute;
                     BACKGROUND_POSITION*   : CSS$Attribute;
                     BACKGROUND_REPEAT*     : CSS$Attribute;
                     BORDER*                : CSS$Attribute;
                     BORDER_BOTTOM*         : CSS$Attribute;
                     BORDER_BOTTOM_WIDTH*   : CSS$Attribute;
                     BORDER_COLOR*          : CSS$Attribute;
                     BORDER_LEFT*           : CSS$Attribute;
                     BORDER_LEFT_WIDTH*     : CSS$Attribute;
                     BORDER_RIGHT*          : CSS$Attribute;
                     BORDER_RIGHT_WIDTH*    : CSS$Attribute;
                     BORDER_STYLE*          : CSS$Attribute;
                     BORDER_TOP*            : CSS$Attribute;
                     BORDER_TOP_WIDTH*      : CSS$Attribute;
                     BORDER_WIDTH*          : CSS$Attribute;
                     CLEAR*                 : CSS$Attribute;
                     COLOR*                 : CSS$Attribute;
                     DISPLAY*               : CSS$Attribute;
                     FLOAT*                 : CSS$Attribute;
                     FONT*                  : CSS$Attribute;
                     FONT_FAMILY*           : CSS$Attribute;
                     FONT_SIZE*             : CSS$Attribute;
                     FONT_STYLE*            : CSS$Attribute;
                     FONT_VARIANT*          : CSS$Attribute;
                     FONT_WEIGHT*           : CSS$Attribute;
                     HEIGHT*                : CSS$Attribute;
                     LETTER_SPACING*        : CSS$Attribute;
                     LINE_HEIGHT*           : CSS$Attribute;
                     LIST_STYLE*            : CSS$Attribute;
                     LIST_STYLE_IMAGE*      : CSS$Attribute;
                     LIST_STYLE_POSITION*   : CSS$Attribute;
                     LIST_STYLE_TYPE*       : CSS$Attribute;
                     MARGIN*                : CSS$Attribute;
                     MARGIN_BOTTOM*         : CSS$Attribute;
                     MARGIN_LEFT*           : CSS$Attribute;
                     MARGIN_RIGHT*          : CSS$Attribute;
                     MARGIN_TOP*            : CSS$Attribute;
                     PADDING*               : CSS$Attribute;
                     PADDING_BOTTOM*        : CSS$Attribute;
                     PADDING_LEFT*          : CSS$Attribute;
                     PADDING_RIGHT*         : CSS$Attribute;
                     PADDING_TOP*           : CSS$Attribute;
                     TEXT_ALIGN*            : CSS$Attribute;
                     TEXT_DECORATION*       : CSS$Attribute;
                     TEXT_INDENT*           : CSS$Attribute;
                     TEXT_TRANSFORM*        : CSS$Attribute;
                     VERTICAL_ALIGN*        : CSS$Attribute;
                     WHITE_SPACE*           : CSS$Attribute;
                     WIDTH*                 : CSS$Attribute;
                     WORD_SPACING*          : CSS$Attribute;
                   END;

  FormSubmitEvent* = POINTER TO EXTENSIBLE RECORD (HTMLFrameHyperlinkEvent)    (* Typebound Procedures *)
                     END;

  FormSubmitEvent$MethodType* = POINTER TO RECORD (java_lang.Enum)
                                STATIC
                                  GET*     : FormSubmitEvent$MethodType;
                                  POST*    : FormSubmitEvent$MethodType;
                                  PROCEDURE valueOf*(p0 : java_lang.String) : FormSubmitEvent$MethodType;
                                  PROCEDURE values*() : POINTER TO ARRAY OF FormSubmitEvent$MethodType;
                                END;

  FormView* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.ComponentView + java_awt_event.ActionListener)    (* Typebound Procedures *)
              STATIC
                RESET*  : java_lang.String;
                SUBMIT* : java_lang.String;
                PROCEDURE Init*(p0 : javax_swing_text.Element) : FormView,CONSTRUCTOR;
              END;

  FormView$MouseEventListener* = POINTER TO EXTENSIBLE RECORD (java_awt_event.MouseAdapter)    (* Typebound Procedures *)
                                 STATIC
                                   PROCEDURE Init!(p0 : FormView) : FormView$MouseEventListener,CONSTRUCTOR;
                                 END;

  HTML* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
          STATIC
            NULL_ATTRIBUTE_VALUE*     = "#DEFAULT";
            PROCEDURE getAllAttributeKeys*() : POINTER TO ARRAY OF HTML$Attribute;
            PROCEDURE getAllTags*() : POINTER TO ARRAY OF HTML$Tag;
            PROCEDURE getAttributeKey*(p0 : java_lang.String) : HTML$Attribute;
            PROCEDURE getIntegerAttributeValue*(p0 : javax_swing_text.AttributeSet;
                                                p1 : HTML$Attribute;
                                                p2 : INTEGER) : INTEGER;
            PROCEDURE getTag*(p0 : java_lang.String) : HTML$Tag;
            PROCEDURE Init*() : HTML,CONSTRUCTOR;
          END;

  HTML$Attribute* = POINTER TO RECORD (java_lang.Object)    (* Typebound Procedures *)
                    STATIC
                      ACTION*       : HTML$Attribute;
                      ALIGN*        : HTML$Attribute;
                      ALINK*        : HTML$Attribute;
                      ALT*          : HTML$Attribute;
                      ARCHIVE*      : HTML$Attribute;
                      BACKGROUND*   : HTML$Attribute;
                      BGCOLOR*      : HTML$Attribute;
                      BORDER*       : HTML$Attribute;
                      CELLPADDING*  : HTML$Attribute;
                      CELLSPACING*  : HTML$Attribute;
                      CHECKED*      : HTML$Attribute;
                      CLASS*        : HTML$Attribute;
                      CLASSID*      : HTML$Attribute;
                      CLEAR*        : HTML$Attribute;
                      CODE*         : HTML$Attribute;
                      CODEBASE*     : HTML$Attribute;
                      CODETYPE*     : HTML$Attribute;
                      COLOR*        : HTML$Attribute;
                      COLS*         : HTML$Attribute;
                      COLSPAN*      : HTML$Attribute;
                      COMMENT*      : HTML$Attribute;
                      COMPACT*      : HTML$Attribute;
                      CONTENT*      : HTML$Attribute;
                      COORDS*       : HTML$Attribute;
                      DATA*         : HTML$Attribute;
                      DECLARE*      : HTML$Attribute;
                      DIR*          : HTML$Attribute;
                      DUMMY*        : HTML$Attribute;
                      ENCTYPE*      : HTML$Attribute;
                      ENDTAG*       : HTML$Attribute;
                      FACE*         : HTML$Attribute;
                      FRAMEBORDER*  : HTML$Attribute;
                      HALIGN*       : HTML$Attribute;
                      HEIGHT*       : HTML$Attribute;
                      HREF*         : HTML$Attribute;
                      HSPACE*       : HTML$Attribute;
                      HTTPEQUIV*    : HTML$Attribute;
                      ID*           : HTML$Attribute;
                      ISMAP*        : HTML$Attribute;
                      LANG*         : HTML$Attribute;
                      LANGUAGE*     : HTML$Attribute;
                      LINK*         : HTML$Attribute;
                      LOWSRC*       : HTML$Attribute;
                      MARGINHEIGHT* : HTML$Attribute;
                      MARGINWIDTH*  : HTML$Attribute;
                      MAXLENGTH*    : HTML$Attribute;
                      METHOD*       : HTML$Attribute;
                      MULTIPLE*     : HTML$Attribute;
                      N*            : HTML$Attribute;
                      NAME*         : HTML$Attribute;
                      NOHREF*       : HTML$Attribute;
                      NORESIZE*     : HTML$Attribute;
                      NOSHADE*      : HTML$Attribute;
                      NOWRAP*       : HTML$Attribute;
                      PROMPT*       : HTML$Attribute;
                      REL*          : HTML$Attribute;
                      REV*          : HTML$Attribute;
                      ROWS*         : HTML$Attribute;
                      ROWSPAN*      : HTML$Attribute;
                      SCROLLING*    : HTML$Attribute;
                      SELECTED*     : HTML$Attribute;
                      SHAPE*        : HTML$Attribute;
                      SHAPES*       : HTML$Attribute;
                      SIZE*         : HTML$Attribute;
                      SRC*          : HTML$Attribute;
                      STANDBY*      : HTML$Attribute;
                      START*        : HTML$Attribute;
                      STYLE*        : HTML$Attribute;
                      TARGET*       : HTML$Attribute;
                      TEXT*         : HTML$Attribute;
                      TITLE*        : HTML$Attribute;
                      TYPE*         : HTML$Attribute;
                      USEMAP*       : HTML$Attribute;
                      VALIGN*       : HTML$Attribute;
                      VALUE*        : HTML$Attribute;
                      VALUETYPE*    : HTML$Attribute;
                      VERSION*      : HTML$Attribute;
                      VLINK*        : HTML$Attribute;
                      VSPACE*       : HTML$Attribute;
                      WIDTH*        : HTML$Attribute;
                    END;

  HTML$Tag* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)    (* Typebound Procedures *)
              STATIC
                A*          : HTML$Tag;
                ADDRESS*    : HTML$Tag;
                APPLET*     : HTML$Tag;
                AREA*       : HTML$Tag;
                B*          : HTML$Tag;
                BASE*       : HTML$Tag;
                BASEFONT*   : HTML$Tag;
                BIG*        : HTML$Tag;
                BLOCKQUOTE* : HTML$Tag;
                BODY*       : HTML$Tag;
                BR*         : HTML$Tag;
                CAPTION*    : HTML$Tag;
                CENTER*     : HTML$Tag;
                CITE*       : HTML$Tag;
                CODE*       : HTML$Tag;
                COMMENT*    : HTML$Tag;
                CONTENT*    : HTML$Tag;
                DD*         : HTML$Tag;
                DFN*        : HTML$Tag;
                DIR*        : HTML$Tag;
                DIV*        : HTML$Tag;
                DL*         : HTML$Tag;
                DT*         : HTML$Tag;
                EM*         : HTML$Tag;
                FONT*       : HTML$Tag;
                FORM*       : HTML$Tag;
                FRAME*      : HTML$Tag;
                FRAMESET*   : HTML$Tag;
                H1*         : HTML$Tag;
                H2*         : HTML$Tag;
                H3*         : HTML$Tag;
                H4*         : HTML$Tag;
                H5*         : HTML$Tag;
                H6*         : HTML$Tag;
                HEAD*       : HTML$Tag;
                HR*         : HTML$Tag;
                HTML*       : HTML$Tag;
                I*          : HTML$Tag;
                IMG*        : HTML$Tag;
                IMPLIED*    : HTML$Tag;
                INPUT*      : HTML$Tag;
                ISINDEX*    : HTML$Tag;
                KBD*        : HTML$Tag;
                LI*         : HTML$Tag;
                LINK*       : HTML$Tag;
                MAP*        : HTML$Tag;
                MENU*       : HTML$Tag;
                META*       : HTML$Tag;
                NOFRAMES*   : HTML$Tag;
                OBJECT*     : HTML$Tag;
                OL*         : HTML$Tag;
                OPTION*     : HTML$Tag;
                P*          : HTML$Tag;
                PARAM*      : HTML$Tag;
                PRE*        : HTML$Tag;
                S*          : HTML$Tag;
                SAMP*       : HTML$Tag;
                SCRIPT*     : HTML$Tag;
                SELECT*     : HTML$Tag;
                SMALL*      : HTML$Tag;
                SPAN*       : HTML$Tag;
                STRIKE*     : HTML$Tag;
                STRONG*     : HTML$Tag;
                STYLE*      : HTML$Tag;
                SUB*        : HTML$Tag;
                SUP*        : HTML$Tag;
                TABLE*      : HTML$Tag;
                TD*         : HTML$Tag;
                TEXTAREA*   : HTML$Tag;
                TH*         : HTML$Tag;
                TITLE*      : HTML$Tag;
                TR*         : HTML$Tag;
                TT*         : HTML$Tag;
                U*          : HTML$Tag;
                UL*         : HTML$Tag;
                VAR*        : HTML$Tag;
                PROCEDURE Init!(p0 : java_lang.String;
                                p1 : BOOLEAN;
                                p2 : BOOLEAN) : HTML$Tag,CONSTRUCTOR;
                PROCEDURE Init!(p0 : java_lang.String) : HTML$Tag,CONSTRUCTOR;
                PROCEDURE Init*() : HTML$Tag,CONSTRUCTOR;
              END;

  HTML$UnknownTag* = POINTER TO EXTENSIBLE RECORD (HTML$Tag + java_io.Serializable)    (* Typebound Procedures *)
                     STATIC
                       PROCEDURE Init*(p0 : java_lang.String) : HTML$UnknownTag,CONSTRUCTOR;
                     END;

  HTMLDocument* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.DefaultStyledDocument)    (* Typebound Procedures *)
                  STATIC
                    AdditionalComments* = "AdditionalComments";
                    PROCEDURE Init*(p0 : javax_swing_text.AbstractDocument$Content;
                                    p1 : StyleSheet) : HTMLDocument,CONSTRUCTOR;
                    PROCEDURE Init*(p0 : StyleSheet) : HTMLDocument,CONSTRUCTOR;
                    PROCEDURE Init*() : HTMLDocument,CONSTRUCTOR;
                  END;

  HTMLDocument$BlockElement* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.AbstractDocument$BranchElement)    (* Typebound Procedures *)
                               STATIC
                                 PROCEDURE Init*(p0 : HTMLDocument;
                                                 p1 : javax_swing_text.Element;
                                                 p2 : javax_swing_text.AttributeSet) : HTMLDocument$BlockElement,CONSTRUCTOR;
                               END;

  HTMLDocument$HTMLReader* = POINTER TO EXTENSIBLE RECORD (HTMLEditorKit$ParserCallback)    (* Typebound Procedures *)
                               parseBuffer! : java_util.Vector;
                               charAttr!    : javax_swing_text.MutableAttributeSet;
                             STATIC
                               PROCEDURE Init*(p0 : HTMLDocument;
                                               p1 : INTEGER;
                                               p2 : INTEGER;
                                               p3 : INTEGER;
                                               p4 : HTML$Tag) : HTMLDocument$HTMLReader,CONSTRUCTOR;
                               PROCEDURE Init*(p0 : HTMLDocument;
                                               p1 : INTEGER) : HTMLDocument$HTMLReader,CONSTRUCTOR;
                             END;

  HTMLDocument$HTMLReader$BlockAction* = POINTER TO EXTENSIBLE RECORD (HTMLDocument$HTMLReader$TagAction)    (* Typebound Procedures *)
                                         STATIC
                                           PROCEDURE Init*(p0 : HTMLDocument$HTMLReader) : HTMLDocument$HTMLReader$BlockAction,CONSTRUCTOR;
                                         END;

  HTMLDocument$HTMLReader$CharacterAction* = POINTER TO EXTENSIBLE RECORD (HTMLDocument$HTMLReader$TagAction)    (* Typebound Procedures *)
                                             STATIC
                                               PROCEDURE Init*(p0 : HTMLDocument$HTMLReader) : HTMLDocument$HTMLReader$CharacterAction,CONSTRUCTOR;
                                             END;

  HTMLDocument$HTMLReader$FormAction* = POINTER TO EXTENSIBLE RECORD (HTMLDocument$HTMLReader$SpecialAction)    (* Typebound Procedures *)
                                        STATIC
                                          PROCEDURE Init*(p0 : HTMLDocument$HTMLReader) : HTMLDocument$HTMLReader$FormAction,CONSTRUCTOR;
                                        END;

  HTMLDocument$HTMLReader$HiddenAction* = POINTER TO EXTENSIBLE RECORD (HTMLDocument$HTMLReader$TagAction)    (* Typebound Procedures *)
                                          STATIC
                                            PROCEDURE Init*(p0 : HTMLDocument$HTMLReader) : HTMLDocument$HTMLReader$HiddenAction,CONSTRUCTOR;
                                          END;

  HTMLDocument$HTMLReader$IsindexAction* = POINTER TO EXTENSIBLE RECORD (HTMLDocument$HTMLReader$TagAction)    (* Typebound Procedures *)
                                           STATIC
                                             PROCEDURE Init*(p0 : HTMLDocument$HTMLReader) : HTMLDocument$HTMLReader$IsindexAction,CONSTRUCTOR;
                                           END;

  HTMLDocument$HTMLReader$ParagraphAction* = POINTER TO EXTENSIBLE RECORD (HTMLDocument$HTMLReader$BlockAction)    (* Typebound Procedures *)
                                             STATIC
                                               PROCEDURE Init*(p0 : HTMLDocument$HTMLReader) : HTMLDocument$HTMLReader$ParagraphAction,CONSTRUCTOR;
                                             END;

  HTMLDocument$HTMLReader$PreAction* = POINTER TO EXTENSIBLE RECORD (HTMLDocument$HTMLReader$BlockAction)    (* Typebound Procedures *)
                                       STATIC
                                         PROCEDURE Init*(p0 : HTMLDocument$HTMLReader) : HTMLDocument$HTMLReader$PreAction,CONSTRUCTOR;
                                       END;

  HTMLDocument$HTMLReader$SpecialAction* = POINTER TO EXTENSIBLE RECORD (HTMLDocument$HTMLReader$TagAction)    (* Typebound Procedures *)
                                           STATIC
                                             PROCEDURE Init*(p0 : HTMLDocument$HTMLReader) : HTMLDocument$HTMLReader$SpecialAction,CONSTRUCTOR;
                                           END;

  HTMLDocument$HTMLReader$TagAction* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)    (* Typebound Procedures *)
                                       STATIC
                                         PROCEDURE Init*(p0 : HTMLDocument$HTMLReader) : HTMLDocument$HTMLReader$TagAction,CONSTRUCTOR;
                                       END;

  HTMLDocument$Iterator* = POINTER TO ABSTRACT RECORD (java_lang.Object)    (* Typebound Procedures *)
                           STATIC
                             PROCEDURE Init*() : HTMLDocument$Iterator,CONSTRUCTOR;
                           END;

  HTMLDocument$RunElement* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.AbstractDocument$LeafElement)    (* Typebound Procedures *)
                             STATIC
                               PROCEDURE Init*(p0 : HTMLDocument;
                                               p1 : javax_swing_text.Element;
                                               p2 : javax_swing_text.AttributeSet;
                                               p3 : INTEGER;
                                               p4 : INTEGER) : HTMLDocument$RunElement,CONSTRUCTOR;
                             END;

  HTMLEditorKit* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.StyledEditorKit + javax_accessibility.Accessible)    (* Typebound Procedures *)
                   STATIC
                     BOLD_ACTION*          = "html-bold-action";
                     COLOR_ACTION*         = "html-color-action";
                     DEFAULT_CSS*          = "default.css";
                     FONT_CHANGE_BIGGER*   = "html-font-bigger";
                     FONT_CHANGE_SMALLER*  = "html-font-smaller";
                     IMG_ALIGN_BOTTOM*     = "html-image-align-bottom";
                     IMG_ALIGN_MIDDLE*     = "html-image-align-middle";
                     IMG_ALIGN_TOP*        = "html-image-align-top";
                     IMG_BORDER*           = "html-image-border";
                     ITALIC_ACTION*        = "html-italic-action";
                     LOGICAL_STYLE_ACTION* = "html-logical-style-action";
                     PARA_INDENT_LEFT*     = "html-para-indent-left";
                     PARA_INDENT_RIGHT*    = "html-para-indent-right";
                     PROCEDURE Init*() : HTMLEditorKit,CONSTRUCTOR;
                   END;

  HTMLEditorKit$HTMLFactory* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + javax_swing_text.ViewFactory)    (* Typebound Procedures *)
                               STATIC
                                 PROCEDURE Init*() : HTMLEditorKit$HTMLFactory,CONSTRUCTOR;
                               END;

  HTMLEditorKit$HTMLTextAction* = POINTER TO ABSTRACT RECORD (javax_swing_text.StyledEditorKit$StyledTextAction)    (* Typebound Procedures *)
                                  STATIC
                                    PROCEDURE Init*(p0 : java_lang.String) : HTMLEditorKit$HTMLTextAction,CONSTRUCTOR;
                                  END;

  HTMLEditorKit$InsertHTMLTextAction* = POINTER TO EXTENSIBLE RECORD (HTMLEditorKit$HTMLTextAction)    (* Typebound Procedures *)
                                          html!               : java_lang.String;
                                          parentTag!          : HTML$Tag;
                                          addTag!             : HTML$Tag;
                                          alternateParentTag! : HTML$Tag;
                                          alternateAddTag!    : HTML$Tag;
                                        STATIC
                                          PROCEDURE Init*(p0 : java_lang.String;
                                                          p1 : java_lang.String;
                                                          p2 : HTML$Tag;
                                                          p3 : HTML$Tag;
                                                          p4 : HTML$Tag;
                                                          p5 : HTML$Tag) : HTMLEditorKit$InsertHTMLTextAction,CONSTRUCTOR;
                                          PROCEDURE Init*(p0 : java_lang.String;
                                                          p1 : java_lang.String;
                                                          p2 : HTML$Tag;
                                                          p3 : HTML$Tag) : HTMLEditorKit$InsertHTMLTextAction,CONSTRUCTOR;
                                        END;

  HTMLEditorKit$LinkController* = POINTER TO EXTENSIBLE RECORD (java_awt_event.MouseAdapter + java_awt_event.MouseMotionListener + java_io.Serializable)    (* Typebound Procedures *)
                                  STATIC
                                    PROCEDURE Init*() : HTMLEditorKit$LinkController,CONSTRUCTOR;
                                  END;

  HTMLEditorKit$Parser* = POINTER TO ABSTRACT RECORD (java_lang.Object)    (* Typebound Procedures *)
                          STATIC
                            PROCEDURE Init*() : HTMLEditorKit$Parser,CONSTRUCTOR;
                          END;

  HTMLEditorKit$ParserCallback* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)    (* Typebound Procedures *)
                                  STATIC
                                    IMPLIED* : java_lang.Object;
                                    PROCEDURE Init*() : HTMLEditorKit$ParserCallback,CONSTRUCTOR;
                                  END;

  HTMLFrameHyperlinkEvent* = POINTER TO EXTENSIBLE RECORD (javax_swing_event.HyperlinkEvent)    (* Typebound Procedures *)
                             STATIC
                               PROCEDURE Init*(p0 : java_lang.Object;
                                               p1 : javax_swing_event.HyperlinkEvent$EventType;
                                               p2 : java_net.URL;
                                               p3 : javax_swing_text.Element;
                                               p4 : java_lang.String) : HTMLFrameHyperlinkEvent,CONSTRUCTOR;
                               PROCEDURE Init*(p0 : java_lang.Object;
                                               p1 : javax_swing_event.HyperlinkEvent$EventType;
                                               p2 : java_net.URL;
                                               p3 : java_lang.String;
                                               p4 : javax_swing_text.Element;
                                               p5 : java_lang.String) : HTMLFrameHyperlinkEvent,CONSTRUCTOR;
                               PROCEDURE Init*(p0 : java_lang.Object;
                                               p1 : javax_swing_event.HyperlinkEvent$EventType;
                                               p2 : java_net.URL;
                                               p3 : java_lang.String) : HTMLFrameHyperlinkEvent,CONSTRUCTOR;
                               PROCEDURE Init*(p0 : java_lang.Object;
                                               p1 : javax_swing_event.HyperlinkEvent$EventType;
                                               p2 : java_net.URL;
                                               p3 : java_lang.String;
                                               p4 : java_lang.String) : HTMLFrameHyperlinkEvent,CONSTRUCTOR;
                             END;

  HTMLWriter* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.AbstractWriter)    (* Typebound Procedures *)
                STATIC
                  PROCEDURE Init*(p0 : java_io.Writer;
                                  p1 : HTMLDocument;
                                  p2 : INTEGER;
                                  p3 : INTEGER) : HTMLWriter,CONSTRUCTOR;
                  PROCEDURE Init*(p0 : java_io.Writer;
                                  p1 : HTMLDocument) : HTMLWriter,CONSTRUCTOR;
                END;

  ImageView* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.View)    (* Typebound Procedures *)
               STATIC
                 PROCEDURE Init*(p0 : javax_swing_text.Element) : ImageView,CONSTRUCTOR;
               END;

  InlineView* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.LabelView)    (* Typebound Procedures *)
                STATIC
                  PROCEDURE Init*(p0 : javax_swing_text.Element) : InlineView,CONSTRUCTOR;
                END;

  ListView* = POINTER TO EXTENSIBLE RECORD (BlockView)    (* Typebound Procedures *)
              STATIC
                PROCEDURE Init*(p0 : javax_swing_text.Element) : ListView,CONSTRUCTOR;
              END;

  MinimalHTMLWriter* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.AbstractWriter)    (* Typebound Procedures *)
                       STATIC
                         PROCEDURE Init*(p0 : java_io.Writer;
                                         p1 : javax_swing_text.StyledDocument;
                                         p2 : INTEGER;
                                         p3 : INTEGER) : MinimalHTMLWriter,CONSTRUCTOR;
                         PROCEDURE Init*(p0 : java_io.Writer;
                                         p1 : javax_swing_text.StyledDocument) : MinimalHTMLWriter,CONSTRUCTOR;
                       END;

  ObjectView* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.ComponentView)    (* Typebound Procedures *)
                STATIC
                  PROCEDURE Init*(p0 : javax_swing_text.Element) : ObjectView,CONSTRUCTOR;
                END;

  Option* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable)    (* Typebound Procedures *)
            STATIC
              PROCEDURE Init*(p0 : javax_swing_text.AttributeSet) : Option,CONSTRUCTOR;
            END;

  ParagraphView* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.ParagraphView)    (* Typebound Procedures *)
                   STATIC
                     PROCEDURE Init*(p0 : javax_swing_text.Element) : ParagraphView,CONSTRUCTOR;
                   END;

  StyleSheet* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.StyleContext)    (* Typebound Procedures *)
                STATIC
                  PROCEDURE getIndexOfSize*(p0 : SHORTREAL) : INTEGER;
                  PROCEDURE Init*() : StyleSheet,CONSTRUCTOR;
                END;

  StyleSheet$BoxPainter* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable)    (* Typebound Procedures *)
                           END;

  StyleSheet$ListPainter* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable)    (* Typebound Procedures *)
                            END;

  TableView$RowView* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.BoxView)    (* Typebound Procedures *)
                       STATIC
                         PROCEDURE Init*(p0 : TableView;
                                         p1 : javax_swing_text.Element) : TableView$RowView,CONSTRUCTOR;
                       END;




PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) addFocusListener*(p0 : java_awt_event.FocusListener),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) contains*(p0 : java_awt.Point) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getAccessibleAt*(p0 : java_awt.Point) : javax_accessibility.Accessible,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getAccessibleChild*(p0 : INTEGER) : javax_accessibility.Accessible,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getAccessibleChildrenCount*() : INTEGER,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getAccessibleComponent*() : javax_accessibility.AccessibleComponent,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getAccessibleContext*() : javax_accessibility.AccessibleContext,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getAccessibleIndexInParent*() : INTEGER,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getAccessibleStateSet*() : javax_accessibility.AccessibleStateSet,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getBackground*() : java_awt.Color,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getBounds*() : java_awt.Rectangle,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getCursor*() : java_awt.Cursor,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getFont*() : java_awt.Font,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getFontMetrics*(p0 : java_awt.Font) : java_awt.FontMetrics,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getForeground*() : java_awt.Color,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getLocale*() : java_util.Locale,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getLocation*() : java_awt.Point,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getLocationOnScreen*() : java_awt.Point,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getSize*() : java_awt.Dimension,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) isEnabled*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) isFocusTraversable*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) isShowing*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) isVisible*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) removeFocusListener*(p0 : java_awt_event.FocusListener),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) requestFocus*(),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) setBackground*(p0 : java_awt.Color),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) setBounds*(p0 : java_awt.Rectangle),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) setCursor*(p0 : java_awt.Cursor),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) setEnabled*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) setFont*(p0 : java_awt.Font),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) setForeground*(p0 : java_awt.Color),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) setLocation*(p0 : java_awt.Point),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) setSize*(p0 : java_awt.Dimension),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) setVisible*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$IconElementInfo$IconAccessibleContext) getAccessibleDescription*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$IconElementInfo$IconAccessibleContext) getAccessibleIcon*() : POINTER TO ARRAY OF javax_accessibility.AccessibleIcon,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$IconElementInfo$IconAccessibleContext) getAccessibleIconDescription*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$IconElementInfo$IconAccessibleContext) getAccessibleIconHeight*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$IconElementInfo$IconAccessibleContext) getAccessibleIconWidth*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$IconElementInfo$IconAccessibleContext) getAccessibleName*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$IconElementInfo$IconAccessibleContext) getAccessibleRole*() : javax_accessibility.AccessibleRole,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$IconElementInfo$IconAccessibleContext) setAccessibleIconDescription*(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) addFocusListener*(p0 : java_awt_event.FocusListener),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) addRowHeader*(p0 : AccessibleHTML$TableElementInfo$TableCellElementInfo;
                                                                                      p1 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) contains*(p0 : java_awt.Point) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleAt*(p0 : java_awt.Point) : javax_accessibility.Accessible,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleAt*(p0 : INTEGER;
                                                                                         p1 : INTEGER) : javax_accessibility.Accessible,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleCaption*() : javax_accessibility.Accessible,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleChild*(p0 : INTEGER) : javax_accessibility.Accessible,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleChildrenCount*() : INTEGER,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleColumn*(p0 : INTEGER) : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleColumnCount*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleColumnDescription*(p0 : INTEGER) : javax_accessibility.Accessible,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleColumnExtentAt*(p0 : INTEGER;
                                                                                                     p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleColumnHeader*() : javax_accessibility.AccessibleTable,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleColumnHeader*(p0 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleComponent*() : javax_accessibility.AccessibleComponent,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleContext*() : javax_accessibility.AccessibleContext,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleDescription*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleIndex*(p0 : INTEGER;
                                                                                            p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleIndexInParent*() : INTEGER,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleName*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleRole*() : javax_accessibility.AccessibleRole,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleRow*(p0 : INTEGER) : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleRowCount*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleRowDescription*(p0 : INTEGER) : javax_accessibility.Accessible,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleRowExtentAt*(p0 : INTEGER;
                                                                                                  p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleRowHeader*(p0 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleRowHeader*() : javax_accessibility.AccessibleTable,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleStateSet*() : javax_accessibility.AccessibleStateSet,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleSummary*() : javax_accessibility.Accessible,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleTable*() : javax_accessibility.AccessibleTable,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getBackground*() : java_awt.Color,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getBounds*() : java_awt.Rectangle,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getCursor*() : java_awt.Cursor,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getFont*() : java_awt.Font,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getFontMetrics*(p0 : java_awt.Font) : java_awt.FontMetrics,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getForeground*() : java_awt.Color,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getLocale*() : java_util.Locale,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getLocation*() : java_awt.Point,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getLocationOnScreen*() : java_awt.Point,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getSelectedAccessibleColumns*() : POINTER TO ARRAY OF INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getSelectedAccessibleRows*() : POINTER TO ARRAY OF INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getSize*() : java_awt.Dimension,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) isAccessibleColumnSelected*(p0 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) isAccessibleRowSelected*(p0 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) isAccessibleSelected*(p0 : INTEGER;
                                                                                              p1 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) isEnabled*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) isFocusTraversable*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) isShowing*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) isVisible*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) removeFocusListener*(p0 : java_awt_event.FocusListener),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) requestFocus*(),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setAccessibleCaption*(p0 : javax_accessibility.Accessible),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setAccessibleColumnDescription*(p0 : INTEGER;
                                                                                                        p1 : javax_accessibility.Accessible),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setAccessibleColumnHeader*(p0 : javax_accessibility.AccessibleTable),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setAccessibleRowDescription*(p0 : INTEGER;
                                                                                                     p1 : javax_accessibility.Accessible),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setAccessibleRowHeader*(p0 : javax_accessibility.AccessibleTable),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setAccessibleSummary*(p0 : javax_accessibility.Accessible),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setBackground*(p0 : java_awt.Color),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setBounds*(p0 : java_awt.Rectangle),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setCursor*(p0 : java_awt.Cursor),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setEnabled*(p0 : BOOLEAN),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setFont*(p0 : java_awt.Font),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setForeground*(p0 : java_awt.Color),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setLocation*(p0 : java_awt.Point),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setSize*(p0 : java_awt.Dimension),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setVisible*(p0 : BOOLEAN),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) addHeader*(p0 : AccessibleHTML$TableElementInfo$TableCellElementInfo;
                                                                                                          p1 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleAt*(p0 : INTEGER;
                                                                                                                p1 : INTEGER) : javax_accessibility.Accessible,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleCaption*() : javax_accessibility.Accessible,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleColumnCount*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleColumnDescription*(p0 : INTEGER) : javax_accessibility.Accessible,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleColumnExtentAt*(p0 : INTEGER;
                                                                                                                            p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleColumnHeader*() : javax_accessibility.AccessibleTable,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleRowCount*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleRowDescription*(p0 : INTEGER) : javax_accessibility.Accessible,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleRowExtentAt*(p0 : INTEGER;
                                                                                                                         p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleRowHeader*() : javax_accessibility.AccessibleTable,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleSummary*() : javax_accessibility.Accessible,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getSelectedAccessibleColumns*() : POINTER TO ARRAY OF INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getSelectedAccessibleRows*() : POINTER TO ARRAY OF INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) isAccessibleColumnSelected*(p0 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) isAccessibleRowSelected*(p0 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) isAccessibleSelected*(p0 : INTEGER;
                                                                                                                     p1 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) setAccessibleCaption*(p0 : javax_accessibility.Accessible),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) setAccessibleColumnDescription*(p0 : INTEGER;
                                                                                                                               p1 : javax_accessibility.Accessible),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) setAccessibleColumnHeader*(p0 : javax_accessibility.AccessibleTable),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) setAccessibleRowDescription*(p0 : INTEGER;
                                                                                                                            p1 : javax_accessibility.Accessible),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) setAccessibleRowHeader*(p0 : javax_accessibility.AccessibleTable),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) setAccessibleSummary*(p0 : javax_accessibility.Accessible),NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) addFocusListener*(p0 : java_awt_event.FocusListener),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) contains*(p0 : java_awt.Point) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleAt*(p0 : java_awt.Point) : javax_accessibility.Accessible,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleChild*(p0 : INTEGER) : javax_accessibility.Accessible,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleChildrenCount*() : INTEGER,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleComponent*() : javax_accessibility.AccessibleComponent,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleContext*() : javax_accessibility.AccessibleContext,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleDescription*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleIndexInParent*() : INTEGER,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleName*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleRole*() : javax_accessibility.AccessibleRole,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleStateSet*() : javax_accessibility.AccessibleStateSet,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleText*() : javax_accessibility.AccessibleText,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAfterIndex*(p0 : INTEGER;
                                                                                     p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAtIndex*(p0 : INTEGER;
                                                                                  p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getBackground*() : java_awt.Color,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getBeforeIndex*(p0 : INTEGER;
                                                                                      p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getBounds*() : java_awt.Rectangle,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getCaretPosition*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getCharacterAttribute*(p0 : INTEGER) : javax_swing_text.AttributeSet,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getCharacterBounds*(p0 : INTEGER) : java_awt.Rectangle,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getCharCount*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getCursor*() : java_awt.Cursor,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getFont*() : java_awt.Font,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getFontMetrics*(p0 : java_awt.Font) : java_awt.FontMetrics,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getForeground*() : java_awt.Color,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getIndexAtPoint*(p0 : java_awt.Point) : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getLocale*() : java_util.Locale,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getLocation*() : java_awt.Point,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getLocationOnScreen*() : java_awt.Point,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getSelectedText*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getSelectionEnd*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getSelectionStart*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getSize*() : java_awt.Dimension,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) isEnabled*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) isFocusTraversable*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) isShowing*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) isVisible*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) removeFocusListener*(p0 : java_awt_event.FocusListener),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) requestFocus*(),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) setBackground*(p0 : java_awt.Color),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) setBounds*(p0 : java_awt.Rectangle),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) setCursor*(p0 : java_awt.Cursor),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) setEnabled*(p0 : BOOLEAN),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) setFont*(p0 : java_awt.Font),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) setForeground*(p0 : java_awt.Color),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) setLocation*(p0 : java_awt.Point),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) setSize*(p0 : java_awt.Dimension),EXTENSIBLE;

PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) setVisible*(p0 : BOOLEAN),EXTENSIBLE;

PROCEDURE (self:BlockView) calculateMajorAxisRequirements!(p0 : INTEGER;
                                                           p1 : javax_swing.SizeRequirements) : javax_swing.SizeRequirements,EXTENSIBLE;

PROCEDURE (self:BlockView) calculateMinorAxisRequirements!(p0 : INTEGER;
                                                           p1 : javax_swing.SizeRequirements) : javax_swing.SizeRequirements,EXTENSIBLE;

PROCEDURE (self:BlockView) changedUpdate*(p0 : javax_swing_event.DocumentEvent;
                                          p1 : java_awt.Shape;
                                          p2 : javax_swing_text.ViewFactory),EXTENSIBLE;

PROCEDURE (self:BlockView) getAlignment*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;

PROCEDURE (self:BlockView) getAttributes*() : javax_swing_text.AttributeSet,EXTENSIBLE;

PROCEDURE (self:BlockView) getMaximumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;

PROCEDURE (self:BlockView) getMinimumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;

PROCEDURE (self:BlockView) getPreferredSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;

PROCEDURE (self:BlockView) getResizeWeight*(p0 : INTEGER) : INTEGER,EXTENSIBLE;

PROCEDURE (self:BlockView) getStyleSheet!() : StyleSheet,NEW,EXTENSIBLE;

PROCEDURE (self:BlockView) layoutMinorAxis!(    p0 : INTEGER;
                                                p1 : INTEGER;
                                            IN  p2 : ARRAY OF INTEGER;
                                            IN  p3 : ARRAY OF INTEGER),EXTENSIBLE;

PROCEDURE (self:BlockView) paint*(p0 : java_awt.Graphics;
                                  p1 : java_awt.Shape),EXTENSIBLE;

PROCEDURE (self:BlockView) setParent*(p0 : javax_swing_text.View),EXTENSIBLE;

PROCEDURE (self:BlockView) setPropertiesFromAttributes!(),NEW,EXTENSIBLE;

PROCEDURE (self:CSS$Attribute) getDefaultValue*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:CSS$Attribute) isInherited*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:CSS$Attribute) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:FormSubmitEvent) getData*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:FormSubmitEvent) getMethod*() : FormSubmitEvent$MethodType,NEW,EXTENSIBLE;

PROCEDURE (self:FormView) actionPerformed*(p0 : java_awt_event.ActionEvent),NEW,EXTENSIBLE;

PROCEDURE (self:FormView) createComponent!() : java_awt.Component,EXTENSIBLE;

PROCEDURE (self:FormView) getMaximumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;

PROCEDURE (self:FormView) imageSubmit!(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:FormView) submitData!(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:FormView$MouseEventListener) mouseReleased*(p0 : java_awt_event.MouseEvent),EXTENSIBLE;

PROCEDURE (self:HTML$Attribute) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:HTML$Tag) breaksFlow*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:HTML$Tag) isBlock*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:HTML$Tag) isPreformatted*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:HTML$Tag) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:HTML$UnknownTag) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:HTML$UnknownTag) hashCode*() : INTEGER,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) create!(IN  p0 : ARRAY OF javax_swing_text.DefaultStyledDocument$ElementSpec),EXTENSIBLE;

PROCEDURE (self:HTMLDocument) createBranchElement!(p0 : javax_swing_text.Element;
                                                   p1 : javax_swing_text.AttributeSet) : javax_swing_text.Element,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) createDefaultRoot!() : javax_swing_text.AbstractDocument$AbstractElement,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) createLeafElement!(p0 : javax_swing_text.Element;
                                                 p1 : javax_swing_text.AttributeSet;
                                                 p2 : INTEGER;
                                                 p3 : INTEGER) : javax_swing_text.Element,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) fireChangedUpdate!(p0 : javax_swing_event.DocumentEvent),EXTENSIBLE;

PROCEDURE (self:HTMLDocument) fireUndoableEditUpdate!(p0 : javax_swing_event.UndoableEditEvent),EXTENSIBLE;

PROCEDURE (self:HTMLDocument) getBase*() : java_net.URL,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) getElement*(p0 : java_lang.String) : javax_swing_text.Element,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) getElement*(p0 : javax_swing_text.Element;
                                          p1 : java_lang.Object;
                                          p2 : java_lang.Object) : javax_swing_text.Element,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) getIterator*(p0 : HTML$Tag) : HTMLDocument$Iterator,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) getParser*() : HTMLEditorKit$Parser,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) getPreservesUnknownTags*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) getReader*(p0 : INTEGER) : HTMLEditorKit$ParserCallback,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) getReader*(p0 : INTEGER;
                                         p1 : INTEGER;
                                         p2 : INTEGER;
                                         p3 : HTML$Tag) : HTMLEditorKit$ParserCallback,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) getStyleSheet*() : StyleSheet,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) getTokenThreshold*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) insert!(    p0 : INTEGER;
                                      IN  p1 : ARRAY OF javax_swing_text.DefaultStyledDocument$ElementSpec),EXTENSIBLE;

PROCEDURE (self:HTMLDocument) insertAfterEnd*(p0 : javax_swing_text.Element;
                                              p1 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) insertAfterStart*(p0 : javax_swing_text.Element;
                                                p1 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) insertBeforeEnd*(p0 : javax_swing_text.Element;
                                               p1 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) insertBeforeStart*(p0 : javax_swing_text.Element;
                                                 p1 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) insertUpdate!(p0 : javax_swing_text.AbstractDocument$DefaultDocumentEvent;
                                            p1 : javax_swing_text.AttributeSet),EXTENSIBLE;

PROCEDURE (self:HTMLDocument) processHTMLFrameHyperlinkEvent*(p0 : HTMLFrameHyperlinkEvent),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) setBase*(p0 : java_net.URL),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) setInnerHTML*(p0 : javax_swing_text.Element;
                                            p1 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) setOuterHTML*(p0 : javax_swing_text.Element;
                                            p1 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) setParagraphAttributes*(p0 : INTEGER;
                                                      p1 : INTEGER;
                                                      p2 : javax_swing_text.AttributeSet;
                                                      p3 : BOOLEAN),EXTENSIBLE;

PROCEDURE (self:HTMLDocument) setParser*(p0 : HTMLEditorKit$Parser),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) setPreservesUnknownTags*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument) setTokenThreshold*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument$BlockElement) getName*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:HTMLDocument$BlockElement) getResolveParent*() : javax_swing_text.AttributeSet,EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader) addContent!(IN  p0 : ARRAY OF CHAR;
                                                         p1 : INTEGER;
                                                         p2 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader) addContent!(IN  p0 : ARRAY OF CHAR;
                                                         p1 : INTEGER;
                                                         p2 : INTEGER;
                                                         p3 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader) addSpecialElement!(p0 : HTML$Tag;
                                                            p1 : javax_swing_text.MutableAttributeSet),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader) blockClose!(p0 : HTML$Tag),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader) blockOpen!(p0 : HTML$Tag;
                                                    p1 : javax_swing_text.MutableAttributeSet),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader) flush*(),EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader) handleComment*(IN  p0 : ARRAY OF CHAR;
                                                            p1 : INTEGER),EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader) handleEndOfLineString*(p0 : java_lang.String),EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader) handleEndTag*(p0 : HTML$Tag;
                                                       p1 : INTEGER),EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader) handleSimpleTag*(p0 : HTML$Tag;
                                                          p1 : javax_swing_text.MutableAttributeSet;
                                                          p2 : INTEGER),EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader) handleStartTag*(p0 : HTML$Tag;
                                                         p1 : javax_swing_text.MutableAttributeSet;
                                                         p2 : INTEGER),EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader) handleText*(IN  p0 : ARRAY OF CHAR;
                                                         p1 : INTEGER),EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader) popCharacterStyle!(),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader) preContent!(IN  p0 : ARRAY OF CHAR),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader) pushCharacterStyle!(),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader) registerTag!(p0 : HTML$Tag;
                                                      p1 : HTMLDocument$HTMLReader$TagAction),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader) textAreaContent!(IN  p0 : ARRAY OF CHAR),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader$BlockAction) end*(p0 : HTML$Tag),EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader$BlockAction) start*(p0 : HTML$Tag;
                                                            p1 : javax_swing_text.MutableAttributeSet),EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader$CharacterAction) end*(p0 : HTML$Tag),EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader$CharacterAction) start*(p0 : HTML$Tag;
                                                                p1 : javax_swing_text.MutableAttributeSet),EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader$FormAction) end*(p0 : HTML$Tag),EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader$FormAction) start*(p0 : HTML$Tag;
                                                           p1 : javax_swing_text.MutableAttributeSet),EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader$HiddenAction) end*(p0 : HTML$Tag),EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader$HiddenAction) start*(p0 : HTML$Tag;
                                                             p1 : javax_swing_text.MutableAttributeSet),EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader$IsindexAction) start*(p0 : HTML$Tag;
                                                              p1 : javax_swing_text.MutableAttributeSet),EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader$ParagraphAction) end*(p0 : HTML$Tag),EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader$ParagraphAction) start*(p0 : HTML$Tag;
                                                                p1 : javax_swing_text.MutableAttributeSet),EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader$PreAction) end*(p0 : HTML$Tag),EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader$PreAction) start*(p0 : HTML$Tag;
                                                          p1 : javax_swing_text.MutableAttributeSet),EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader$SpecialAction) start*(p0 : HTML$Tag;
                                                              p1 : javax_swing_text.MutableAttributeSet),EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader$TagAction) end*(p0 : HTML$Tag),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument$HTMLReader$TagAction) start*(p0 : HTML$Tag;
                                                          p1 : javax_swing_text.MutableAttributeSet),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLDocument$Iterator) getAttributes*() : javax_swing_text.AttributeSet,NEW,ABSTRACT;

PROCEDURE (self:HTMLDocument$Iterator) getEndOffset*() : INTEGER,NEW,ABSTRACT;

PROCEDURE (self:HTMLDocument$Iterator) getStartOffset*() : INTEGER,NEW,ABSTRACT;

PROCEDURE (self:HTMLDocument$Iterator) getTag*() : HTML$Tag,NEW,ABSTRACT;

PROCEDURE (self:HTMLDocument$Iterator) isValid*() : BOOLEAN,NEW,ABSTRACT;

PROCEDURE (self:HTMLDocument$Iterator) next*(),NEW,ABSTRACT;

PROCEDURE (self:HTMLDocument$RunElement) getName*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:HTMLDocument$RunElement) getResolveParent*() : javax_swing_text.AttributeSet,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) clone*() : java_lang.Object,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) createDefaultDocument*() : javax_swing_text.Document,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) createInputAttributes!(p0 : javax_swing_text.Element;
                                                      p1 : javax_swing_text.MutableAttributeSet),EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) deinstall*(p0 : javax_swing.JEditorPane),EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) getAccessibleContext*() : javax_accessibility.AccessibleContext,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) getActions*() : POINTER TO ARRAY OF javax_swing.Action,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) getContentType*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) getDefaultCursor*() : java_awt.Cursor,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) getInputAttributes*() : javax_swing_text.MutableAttributeSet,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) getLinkCursor*() : java_awt.Cursor,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) getParser!() : HTMLEditorKit$Parser,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) getStyleSheet*() : StyleSheet,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) getViewFactory*() : javax_swing_text.ViewFactory,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) insertHTML*(p0 : HTMLDocument;
                                           p1 : INTEGER;
                                           p2 : java_lang.String;
                                           p3 : INTEGER;
                                           p4 : INTEGER;
                                           p5 : HTML$Tag),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) install*(p0 : javax_swing.JEditorPane),EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) isAutoFormSubmission*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) read*(p0 : java_io.Reader;
                                     p1 : javax_swing_text.Document;
                                     p2 : INTEGER),EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) setAutoFormSubmission*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) setDefaultCursor*(p0 : java_awt.Cursor),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) setLinkCursor*(p0 : java_awt.Cursor),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) setStyleSheet*(p0 : StyleSheet),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit) write*(p0 : java_io.Writer;
                                      p1 : javax_swing_text.Document;
                                      p2 : INTEGER;
                                      p3 : INTEGER),EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$HTMLFactory) create*(p0 : javax_swing_text.Element) : javax_swing_text.View,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$HTMLTextAction) elementCountToTag!(p0 : HTMLDocument;
                                                                 p1 : INTEGER;
                                                                 p2 : HTML$Tag) : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$HTMLTextAction) findElementMatchingTag!(p0 : HTMLDocument;
                                                                      p1 : INTEGER;
                                                                      p2 : HTML$Tag) : javax_swing_text.Element,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$HTMLTextAction) getElementsAt!(p0 : HTMLDocument;
                                                             p1 : INTEGER) : POINTER TO ARRAY OF javax_swing_text.Element,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$HTMLTextAction) getHTMLDocument!(p0 : javax_swing.JEditorPane) : HTMLDocument,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$HTMLTextAction) getHTMLEditorKit!(p0 : javax_swing.JEditorPane) : HTMLEditorKit,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$InsertHTMLTextAction) actionPerformed*(p0 : java_awt_event.ActionEvent),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$InsertHTMLTextAction) insertAtBoundary!(p0 : javax_swing.JEditorPane;
                                                                      p1 : HTMLDocument;
                                                                      p2 : INTEGER;
                                                                      p3 : javax_swing_text.Element;
                                                                      p4 : java_lang.String;
                                                                      p5 : HTML$Tag;
                                                                      p6 : HTML$Tag),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$InsertHTMLTextAction) insertAtBoundry!(p0 : javax_swing.JEditorPane;
                                                                     p1 : HTMLDocument;
                                                                     p2 : INTEGER;
                                                                     p3 : javax_swing_text.Element;
                                                                     p4 : java_lang.String;
                                                                     p5 : HTML$Tag;
                                                                     p6 : HTML$Tag),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$InsertHTMLTextAction) insertHTML!(p0 : javax_swing.JEditorPane;
                                                                p1 : HTMLDocument;
                                                                p2 : INTEGER;
                                                                p3 : java_lang.String;
                                                                p4 : INTEGER;
                                                                p5 : INTEGER;
                                                                p6 : HTML$Tag),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$LinkController) activateLink!(p0 : INTEGER;
                                                            p1 : javax_swing.JEditorPane),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$LinkController) mouseClicked*(p0 : java_awt_event.MouseEvent),EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$LinkController) mouseDragged*(p0 : java_awt_event.MouseEvent),EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$LinkController) mouseMoved*(p0 : java_awt_event.MouseEvent),EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$Parser) parse*(p0 : java_io.Reader;
                                             p1 : HTMLEditorKit$ParserCallback;
                                             p2 : BOOLEAN),NEW,ABSTRACT;

PROCEDURE (self:HTMLEditorKit$ParserCallback) flush*(),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$ParserCallback) handleComment*(IN  p0 : ARRAY OF CHAR;
                                                                 p1 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$ParserCallback) handleEndOfLineString*(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$ParserCallback) handleEndTag*(p0 : HTML$Tag;
                                                            p1 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$ParserCallback) handleError*(p0 : java_lang.String;
                                                           p1 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$ParserCallback) handleSimpleTag*(p0 : HTML$Tag;
                                                               p1 : javax_swing_text.MutableAttributeSet;
                                                               p2 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$ParserCallback) handleStartTag*(p0 : HTML$Tag;
                                                              p1 : javax_swing_text.MutableAttributeSet;
                                                              p2 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLEditorKit$ParserCallback) handleText*(IN  p0 : ARRAY OF CHAR;
                                                              p1 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLFrameHyperlinkEvent) getTarget*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLWriter) closeOutUnwantedEmbeddedTags!(p0 : javax_swing_text.AttributeSet),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLWriter) comment!(p0 : javax_swing_text.Element),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLWriter) emptyTag!(p0 : javax_swing_text.Element),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLWriter) endTag!(p0 : javax_swing_text.Element),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLWriter) isBlockTag!(p0 : javax_swing_text.AttributeSet) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLWriter) matchNameAttribute!(p0 : javax_swing_text.AttributeSet;
                                                p1 : HTML$Tag) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLWriter) output!(IN  p0 : ARRAY OF CHAR;
                                        p1 : INTEGER;
                                        p2 : INTEGER),EXTENSIBLE;

PROCEDURE (self:HTMLWriter) selectContent!(p0 : javax_swing_text.AttributeSet),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLWriter) startTag!(p0 : javax_swing_text.Element),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLWriter) synthesizedElement!(p0 : javax_swing_text.Element) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:HTMLWriter) text!(p0 : javax_swing_text.Element),EXTENSIBLE;

PROCEDURE (self:HTMLWriter) textAreaContent!(p0 : javax_swing_text.AttributeSet),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLWriter) write*(),EXTENSIBLE;

PROCEDURE (self:HTMLWriter) writeAttributes!(p0 : javax_swing_text.AttributeSet),EXTENSIBLE;

PROCEDURE (self:HTMLWriter) writeEmbeddedTags!(p0 : javax_swing_text.AttributeSet),NEW,EXTENSIBLE;

PROCEDURE (self:HTMLWriter) writeLineSeparator!(),EXTENSIBLE;

PROCEDURE (self:HTMLWriter) writeOption!(p0 : Option),NEW,EXTENSIBLE;

PROCEDURE (self:ImageView) changedUpdate*(p0 : javax_swing_event.DocumentEvent;
                                          p1 : java_awt.Shape;
                                          p2 : javax_swing_text.ViewFactory),EXTENSIBLE;

PROCEDURE (self:ImageView) getAlignment*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;

PROCEDURE (self:ImageView) getAltText*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:ImageView) getAttributes*() : javax_swing_text.AttributeSet,EXTENSIBLE;

PROCEDURE (self:ImageView) getImage*() : java_awt.Image,NEW,EXTENSIBLE;

PROCEDURE (self:ImageView) getImageURL*() : java_net.URL,NEW,EXTENSIBLE;

PROCEDURE (self:ImageView) getLoadingImageIcon*() : javax_swing.Icon,NEW,EXTENSIBLE;

PROCEDURE (self:ImageView) getLoadsSynchronously*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:ImageView) getNoImageIcon*() : javax_swing.Icon,NEW,EXTENSIBLE;

PROCEDURE (self:ImageView) getPreferredSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;

PROCEDURE (self:ImageView) getStyleSheet!() : StyleSheet,NEW,EXTENSIBLE;

PROCEDURE (self:ImageView) getToolTipText*(p0 : SHORTREAL;
                                           p1 : SHORTREAL;
                                           p2 : java_awt.Shape) : java_lang.String,EXTENSIBLE;

PROCEDURE (self:ImageView) modelToView*(p0 : INTEGER;
                                        p1 : java_awt.Shape;
                                        p2 : javax_swing_text.Position$Bias) : java_awt.Shape,EXTENSIBLE;

PROCEDURE (self:ImageView) paint*(p0 : java_awt.Graphics;
                                  p1 : java_awt.Shape),EXTENSIBLE;

PROCEDURE (self:ImageView) setLoadsSynchronously*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:ImageView) setParent*(p0 : javax_swing_text.View),EXTENSIBLE;

PROCEDURE (self:ImageView) setPropertiesFromAttributes!(),NEW,EXTENSIBLE;

PROCEDURE (self:ImageView) setSize*(p0 : SHORTREAL;
                                    p1 : SHORTREAL),EXTENSIBLE;

PROCEDURE (self:ImageView) viewToModel*(    p0 : SHORTREAL;
                                            p1 : SHORTREAL;
                                            p2 : java_awt.Shape;
                                        IN  p3 : ARRAY OF javax_swing_text.Position$Bias) : INTEGER,EXTENSIBLE;

PROCEDURE (self:InlineView) breakView*(p0 : INTEGER;
                                       p1 : INTEGER;
                                       p2 : SHORTREAL;
                                       p3 : SHORTREAL) : javax_swing_text.View,EXTENSIBLE;

PROCEDURE (self:InlineView) changedUpdate*(p0 : javax_swing_event.DocumentEvent;
                                           p1 : java_awt.Shape;
                                           p2 : javax_swing_text.ViewFactory),EXTENSIBLE;

PROCEDURE (self:InlineView) getAttributes*() : javax_swing_text.AttributeSet,EXTENSIBLE;

PROCEDURE (self:InlineView) getBreakWeight*(p0 : INTEGER;
                                            p1 : SHORTREAL;
                                            p2 : SHORTREAL) : INTEGER,EXTENSIBLE;

PROCEDURE (self:InlineView) getStyleSheet!() : StyleSheet,NEW,EXTENSIBLE;

PROCEDURE (self:InlineView) insertUpdate*(p0 : javax_swing_event.DocumentEvent;
                                          p1 : java_awt.Shape;
                                          p2 : javax_swing_text.ViewFactory),EXTENSIBLE;

PROCEDURE (self:InlineView) removeUpdate*(p0 : javax_swing_event.DocumentEvent;
                                          p1 : java_awt.Shape;
                                          p2 : javax_swing_text.ViewFactory),EXTENSIBLE;

PROCEDURE (self:InlineView) setPropertiesFromAttributes!(),EXTENSIBLE;

PROCEDURE (self:ListView) getAlignment*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;

PROCEDURE (self:ListView) paint*(p0 : java_awt.Graphics;
                                 p1 : java_awt.Shape),EXTENSIBLE;

PROCEDURE (self:ListView) paintChild!(p0 : java_awt.Graphics;
                                      p1 : java_awt.Rectangle;
                                      p2 : INTEGER),EXTENSIBLE;

PROCEDURE (self:ListView) setPropertiesFromAttributes!(),EXTENSIBLE;

PROCEDURE (self:MinimalHTMLWriter) endFontTag!(),NEW,EXTENSIBLE;

PROCEDURE (self:MinimalHTMLWriter) inFontTag!() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:MinimalHTMLWriter) isText!(p0 : javax_swing_text.Element) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:MinimalHTMLWriter) startFontTag!(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:MinimalHTMLWriter) text!(p0 : javax_swing_text.Element),EXTENSIBLE;

PROCEDURE (self:MinimalHTMLWriter) write*(),EXTENSIBLE;

PROCEDURE (self:MinimalHTMLWriter) writeAttributes!(p0 : javax_swing_text.AttributeSet),EXTENSIBLE;

PROCEDURE (self:MinimalHTMLWriter) writeBody!(),NEW,EXTENSIBLE;

PROCEDURE (self:MinimalHTMLWriter) writeComponent!(p0 : javax_swing_text.Element),NEW,EXTENSIBLE;

PROCEDURE (self:MinimalHTMLWriter) writeContent!(p0 : javax_swing_text.Element;
                                                 p1 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:MinimalHTMLWriter) writeEndParagraph!(),NEW,EXTENSIBLE;

PROCEDURE (self:MinimalHTMLWriter) writeEndTag!(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:MinimalHTMLWriter) writeHeader!(),NEW,EXTENSIBLE;

PROCEDURE (self:MinimalHTMLWriter) writeHTMLTags!(p0 : javax_swing_text.AttributeSet),NEW,EXTENSIBLE;

PROCEDURE (self:MinimalHTMLWriter) writeImage!(p0 : javax_swing_text.Element),NEW,EXTENSIBLE;

PROCEDURE (self:MinimalHTMLWriter) writeLeaf!(p0 : javax_swing_text.Element),NEW,EXTENSIBLE;

PROCEDURE (self:MinimalHTMLWriter) writeNonHTMLAttributes!(p0 : javax_swing_text.AttributeSet),NEW,EXTENSIBLE;

PROCEDURE (self:MinimalHTMLWriter) writeStartParagraph!(p0 : javax_swing_text.Element),NEW,EXTENSIBLE;

PROCEDURE (self:MinimalHTMLWriter) writeStartTag!(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:MinimalHTMLWriter) writeStyles!(),NEW,EXTENSIBLE;

PROCEDURE (self:ObjectView) createComponent!() : java_awt.Component,EXTENSIBLE;

PROCEDURE (self:Option) getAttributes*() : javax_swing_text.AttributeSet,NEW,EXTENSIBLE;

PROCEDURE (self:Option) getLabel*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:Option) getValue*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:Option) isSelected*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:Option) setLabel*(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:Option) setSelection!(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:Option) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:ParagraphView) calculateMinorAxisRequirements!(p0 : INTEGER;
                                                               p1 : javax_swing.SizeRequirements) : javax_swing.SizeRequirements,EXTENSIBLE;

PROCEDURE (self:ParagraphView) getAttributes*() : javax_swing_text.AttributeSet,EXTENSIBLE;

PROCEDURE (self:ParagraphView) getMaximumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;

PROCEDURE (self:ParagraphView) getMinimumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;

PROCEDURE (self:ParagraphView) getPreferredSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;

PROCEDURE (self:ParagraphView) getStyleSheet!() : StyleSheet,NEW,EXTENSIBLE;

PROCEDURE (self:ParagraphView) isVisible*() : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:ParagraphView) paint*(p0 : java_awt.Graphics;
                                      p1 : java_awt.Shape),EXTENSIBLE;

PROCEDURE (self:ParagraphView) setParent*(p0 : javax_swing_text.View),EXTENSIBLE;

PROCEDURE (self:ParagraphView) setPropertiesFromAttributes!(),EXTENSIBLE;

PROCEDURE (self:StyleSheet) addAttribute*(p0 : javax_swing_text.AttributeSet;
                                          p1 : java_lang.Object;
                                          p2 : java_lang.Object) : javax_swing_text.AttributeSet,EXTENSIBLE;

PROCEDURE (self:StyleSheet) addAttributes*(p0 : javax_swing_text.AttributeSet;
                                           p1 : javax_swing_text.AttributeSet) : javax_swing_text.AttributeSet,EXTENSIBLE;

PROCEDURE (self:StyleSheet) addCSSAttribute*(p0 : javax_swing_text.MutableAttributeSet;
                                             p1 : CSS$Attribute;
                                             p2 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet) addCSSAttributeFromHTML*(p0 : javax_swing_text.MutableAttributeSet;
                                                     p1 : CSS$Attribute;
                                                     p2 : java_lang.String) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet) addRule*(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet) addStyleSheet*(p0 : StyleSheet),NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet) createLargeAttributeSet!(p0 : javax_swing_text.AttributeSet) : javax_swing_text.MutableAttributeSet,EXTENSIBLE;

PROCEDURE (self:StyleSheet) createSmallAttributeSet!(p0 : javax_swing_text.AttributeSet) : javax_swing_text.StyleContext$SmallAttributeSet,EXTENSIBLE;

PROCEDURE (self:StyleSheet) getBackground*(p0 : javax_swing_text.AttributeSet) : java_awt.Color,EXTENSIBLE;

PROCEDURE (self:StyleSheet) getBase*() : java_net.URL,NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet) getBoxPainter*(p0 : javax_swing_text.AttributeSet) : StyleSheet$BoxPainter,NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet) getDeclaration*(p0 : java_lang.String) : javax_swing_text.AttributeSet,NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet) getFont*(p0 : javax_swing_text.AttributeSet) : java_awt.Font,EXTENSIBLE;

PROCEDURE (self:StyleSheet) getForeground*(p0 : javax_swing_text.AttributeSet) : java_awt.Color,EXTENSIBLE;

PROCEDURE (self:StyleSheet) getListPainter*(p0 : javax_swing_text.AttributeSet) : StyleSheet$ListPainter,NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet) getPointSize*(p0 : java_lang.String) : SHORTREAL,NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet) getPointSize*(p0 : INTEGER) : SHORTREAL,NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet) getRule*(p0 : java_lang.String) : javax_swing_text.Style,NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet) getRule*(p0 : HTML$Tag;
                                     p1 : javax_swing_text.Element) : javax_swing_text.Style,NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet) getStyleSheets*() : POINTER TO ARRAY OF StyleSheet,NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet) getViewAttributes*(p0 : javax_swing_text.View) : javax_swing_text.AttributeSet,NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet) importStyleSheet*(p0 : java_net.URL),NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet) loadRules*(p0 : java_io.Reader;
                                       p1 : java_net.URL),NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet) removeAttribute*(p0 : javax_swing_text.AttributeSet;
                                             p1 : java_lang.Object) : javax_swing_text.AttributeSet,EXTENSIBLE;

PROCEDURE (self:StyleSheet) removeAttributes*(p0 : javax_swing_text.AttributeSet;
                                              p1 : javax_swing_text.AttributeSet) : javax_swing_text.AttributeSet,EXTENSIBLE;

PROCEDURE (self:StyleSheet) removeAttributes*(p0 : javax_swing_text.AttributeSet;
                                              p1 : java_util.Enumeration) : javax_swing_text.AttributeSet,EXTENSIBLE;

PROCEDURE (self:StyleSheet) removeStyle*(p0 : java_lang.String),EXTENSIBLE;

PROCEDURE (self:StyleSheet) removeStyleSheet*(p0 : StyleSheet),NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet) setBase*(p0 : java_net.URL),NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet) setBaseFontSize*(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet) setBaseFontSize*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet) stringToColor*(p0 : java_lang.String) : java_awt.Color,NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet) translateHTMLToCSS*(p0 : javax_swing_text.AttributeSet) : javax_swing_text.AttributeSet,NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet$BoxPainter) getInset*(p0 : INTEGER;
                                                 p1 : javax_swing_text.View) : SHORTREAL,NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet$BoxPainter) paint*(p0 : java_awt.Graphics;
                                              p1 : SHORTREAL;
                                              p2 : SHORTREAL;
                                              p3 : SHORTREAL;
                                              p4 : SHORTREAL;
                                              p5 : javax_swing_text.View),NEW,EXTENSIBLE;

PROCEDURE (self:StyleSheet$ListPainter) paint*(p0 : java_awt.Graphics;
                                               p1 : SHORTREAL;
                                               p2 : SHORTREAL;
                                               p3 : SHORTREAL;
                                               p4 : SHORTREAL;
                                               p5 : javax_swing_text.View;
                                               p6 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:TableView$RowView) calculateMajorAxisRequirements!(p0 : INTEGER;
                                                                   p1 : javax_swing.SizeRequirements) : javax_swing.SizeRequirements,EXTENSIBLE;

PROCEDURE (self:TableView$RowView) calculateMinorAxisRequirements!(p0 : INTEGER;
                                                                   p1 : javax_swing.SizeRequirements) : javax_swing.SizeRequirements,EXTENSIBLE;

PROCEDURE (self:TableView$RowView) changedUpdate*(p0 : javax_swing_event.DocumentEvent;
                                                  p1 : java_awt.Shape;
                                                  p2 : javax_swing_text.ViewFactory),EXTENSIBLE;

PROCEDURE (self:TableView$RowView) getAttributes*() : javax_swing_text.AttributeSet,EXTENSIBLE;

PROCEDURE (self:TableView$RowView) getMaximumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;

PROCEDURE (self:TableView$RowView) getMinimumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;

PROCEDURE (self:TableView$RowView) getPreferredSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;

PROCEDURE (self:TableView$RowView) getResizeWeight*(p0 : INTEGER) : INTEGER,EXTENSIBLE;

PROCEDURE (self:TableView$RowView) getStyleSheet!() : StyleSheet,NEW,EXTENSIBLE;

PROCEDURE (self:TableView$RowView) getViewAtPosition!(p0 : INTEGER;
                                                      p1 : java_awt.Rectangle) : javax_swing_text.View,EXTENSIBLE;

PROCEDURE (self:TableView$RowView) layoutMajorAxis!(    p0 : INTEGER;
                                                        p1 : INTEGER;
                                                    IN  p2 : ARRAY OF INTEGER;
                                                    IN  p3 : ARRAY OF INTEGER),EXTENSIBLE;

PROCEDURE (self:TableView$RowView) layoutMinorAxis!(    p0 : INTEGER;
                                                        p1 : INTEGER;
                                                    IN  p2 : ARRAY OF INTEGER;
                                                    IN  p3 : ARRAY OF INTEGER),EXTENSIBLE;

PROCEDURE (self:TableView$RowView) paint*(p0 : java_awt.Graphics;
                                          p1 : java_awt.Shape),EXTENSIBLE;

PROCEDURE (self:TableView$RowView) preferenceChanged*(p0 : javax_swing_text.View;
                                                      p1 : BOOLEAN;
                                                      p2 : BOOLEAN),EXTENSIBLE;

PROCEDURE (self:TableView$RowView) replace*(    p0 : INTEGER;
                                                p1 : INTEGER;
                                            IN  p2 : ARRAY OF javax_swing_text.View),EXTENSIBLE;

END javax_swing_text_html.