    FOREIGN MODULE javax_swing_text;

    IMPORT
        java_io,
        java_lang,
        javax_swing_tree,
        java_util,
        javax_swing_undo,
        javax_swing_event,
        javax_swing,
        java_awt,
        java_awt_event,
        java_awt_image,
        java_awt_peer,
        sun_awt,
        java_awt_dnd,
        java_beans,
        java_awt_im,
        java_awt_geom,
        javax_swing_plaf_basic,
        javax_swing_plaf,
        javax_accessibility,
        java_awt_font,
        javax_swing_border,
        java_awt_datatransfer,
        java_text;

    TYPE

      AbstractDocument$AbstractElement* = POINTER TO ABSTRACT RECORD (java_lang.Object + Element + MutableAttributeSet + java_io.Serializable + javax_swing_tree.TreeNode)
                                          STATIC
                                            PROCEDURE Init*(p0 : AbstractDocument;
                                                            p1 : Element;
                                                            p2 : AttributeSet) : AbstractDocument$AbstractElement,CONSTRUCTOR;
                                          END;

      AbstractDocument$AttributeContext* = POINTER TO INTERFACE RECORD (java_lang.Object)
                                           END;

      AbstractDocument$BranchElement* = POINTER TO EXTENSIBLE RECORD (AbstractDocument$AbstractElement)
                                        STATIC
                                          PROCEDURE Init*(p0 : AbstractDocument;
                                                          p1 : Element;
                                                          p2 : AttributeSet) : AbstractDocument$BranchElement,CONSTRUCTOR;
                                        END;

      AbstractDocument$Content* = POINTER TO INTERFACE RECORD (java_lang.Object)
                                  END;

      AbstractDocument$DefaultDocumentEvent* = POINTER TO EXTENSIBLE RECORD (javax_swing_undo.CompoundEdit + javax_swing_event.DocumentEvent)
                                               STATIC
                                                 PROCEDURE Init*(p0 : AbstractDocument;
                                                                 p1 : INTEGER;
                                                                 p2 : INTEGER;
                                                                 p3 : javax_swing_event.DocumentEvent$EventType) : AbstractDocument$DefaultDocumentEvent,CONSTRUCTOR;
                                               END;

      AbstractDocument$ElementEdit* = POINTER TO EXTENSIBLE RECORD (javax_swing_undo.AbstractUndoableEdit + javax_swing_event.DocumentEvent$ElementChange)
                                      STATIC
                                        PROCEDURE Init*(    p0 : Element;
                                                            p1 : INTEGER;
                                                        IN  p2 : ARRAY OF Element;
                                                        IN  p3 : ARRAY OF Element) : AbstractDocument$ElementEdit,CONSTRUCTOR;
                                      END;

      AbstractDocument$LeafElement* = POINTER TO EXTENSIBLE RECORD (AbstractDocument$AbstractElement)
                                      STATIC
                                        PROCEDURE Init*(p0 : AbstractDocument;
                                                        p1 : Element;
                                                        p2 : AttributeSet;
                                                        p3 : INTEGER;
                                                        p4 : INTEGER) : AbstractDocument$LeafElement,CONSTRUCTOR;
                                      END;

      AbstractDocument* = POINTER TO ABSTRACT RECORD (java_lang.Object + Document + java_io.Serializable)
                            listenerList! : javax_swing_event.EventListenerList;
                          STATIC
                            BAD_LOCATION! = "document location failure";
                            ParagraphElementName* = "paragraph";
                            ContentElementName* = "content";
                            SectionElementName* = "section";
                            BidiElementName* = "bidi level";
                            ElementNameAttribute* = "$ename";
                            PROCEDURE Init!(p0 : AbstractDocument$Content) : AbstractDocument,CONSTRUCTOR;
                            PROCEDURE Init!(p0 : AbstractDocument$Content;
                                            p1 : AbstractDocument$AttributeContext) : AbstractDocument,CONSTRUCTOR;
                          END;

      AbstractWriter* = POINTER TO ABSTRACT RECORD (java_lang.Object)
                        STATIC
                          NEWLINE! = 10;
                          PROCEDURE Init!(p0 : java_io.Writer;
                                          p1 : Document) : AbstractWriter,CONSTRUCTOR;
                          PROCEDURE Init!(p0 : java_io.Writer;
                                          p1 : Document;
                                          p2 : INTEGER;
                                          p3 : INTEGER) : AbstractWriter,CONSTRUCTOR;
                          PROCEDURE Init!(p0 : java_io.Writer;
                                          p1 : Element) : AbstractWriter,CONSTRUCTOR;
                          PROCEDURE Init!(p0 : java_io.Writer;
                                          p1 : Element;
                                          p2 : INTEGER;
                                          p3 : INTEGER) : AbstractWriter,CONSTRUCTOR;
                        END;

      AttributeSet$CharacterAttribute* = POINTER TO INTERFACE RECORD (java_lang.Object)
                                         END;

      AttributeSet$ColorAttribute* = POINTER TO INTERFACE RECORD (java_lang.Object)
                                     END;

      AttributeSet$FontAttribute* = POINTER TO INTERFACE RECORD (java_lang.Object)
                                    END;

      AttributeSet$ParagraphAttribute* = POINTER TO INTERFACE RECORD (java_lang.Object)
                                         END;

      AttributeSet* = POINTER TO INTERFACE RECORD (java_lang.Object)
                      STATIC
                        NameAttribute* : java_lang.Object;
                        ResolveAttribute* : java_lang.Object;
                      END;

      BadLocationException* = POINTER TO EXTENSIBLE RECORD (java_lang.Exception)
                              STATIC
                                PROCEDURE Init*(p0 : java_lang.String;
                                                p1 : INTEGER) : BadLocationException,CONSTRUCTOR;
                              END;

      BoxView* = POINTER TO EXTENSIBLE RECORD (CompositeView)
                 STATIC
                   PROCEDURE Init*(p0 : Element;
                                   p1 : INTEGER) : BoxView,CONSTRUCTOR;
                 END;

      Caret* = POINTER TO INTERFACE RECORD (java_lang.Object)
               END;

      ChangedCharSetException* = POINTER TO EXTENSIBLE RECORD (java_io.IOException)
                                 STATIC
                                   PROCEDURE Init*(p0 : java_lang.String;
                                                   p1 : BOOLEAN) : ChangedCharSetException,CONSTRUCTOR;
                                 END;

      ComponentView* = POINTER TO EXTENSIBLE RECORD (View)
                       STATIC
                         PROCEDURE Init*(p0 : Element) : ComponentView,CONSTRUCTOR;
                       END;

      CompositeView* = POINTER TO ABSTRACT RECORD (View)
                       STATIC
                         PROCEDURE Init*(p0 : Element) : CompositeView,CONSTRUCTOR;
                       END;

      DefaultCaret* = POINTER TO EXTENSIBLE RECORD (java_awt.Rectangle + Caret + java_awt_event.FocusListener + java_awt_event.MouseListener + java_awt_event.MouseMotionListener)
                        listenerList! : javax_swing_event.EventListenerList;
                        changeEvent! : javax_swing_event.ChangeEvent;
                      STATIC
                        PROCEDURE Init*() : DefaultCaret,CONSTRUCTOR;
                      END;

      DefaultEditorKit$BeepAction* = POINTER TO EXTENSIBLE RECORD (TextAction)
                                     STATIC
                                       PROCEDURE Init*() : DefaultEditorKit$BeepAction,CONSTRUCTOR;
                                     END;

      DefaultEditorKit$CopyAction* = POINTER TO EXTENSIBLE RECORD (TextAction)
                                     STATIC
                                       PROCEDURE Init*() : DefaultEditorKit$CopyAction,CONSTRUCTOR;
                                     END;

      DefaultEditorKit$CutAction* = POINTER TO EXTENSIBLE RECORD (TextAction)
                                    STATIC
                                      PROCEDURE Init*() : DefaultEditorKit$CutAction,CONSTRUCTOR;
                                    END;

      DefaultEditorKit$DefaultKeyTypedAction* = POINTER TO EXTENSIBLE RECORD (TextAction)
                                                STATIC
                                                  PROCEDURE Init*() : DefaultEditorKit$DefaultKeyTypedAction,CONSTRUCTOR;
                                                END;

      DefaultEditorKit$InsertBreakAction* = POINTER TO EXTENSIBLE RECORD (TextAction)
                                            STATIC
                                              PROCEDURE Init*() : DefaultEditorKit$InsertBreakAction,CONSTRUCTOR;
                                            END;

      DefaultEditorKit$InsertContentAction* = POINTER TO EXTENSIBLE RECORD (TextAction)
                                              STATIC
                                                PROCEDURE Init*() : DefaultEditorKit$InsertContentAction,CONSTRUCTOR;
                                              END;

      DefaultEditorKit$InsertTabAction* = POINTER TO EXTENSIBLE RECORD (TextAction)
                                          STATIC
                                            PROCEDURE Init*() : DefaultEditorKit$InsertTabAction,CONSTRUCTOR;
                                          END;

      DefaultEditorKit$PasteAction* = POINTER TO EXTENSIBLE RECORD (TextAction)
                                      STATIC
                                        PROCEDURE Init*() : DefaultEditorKit$PasteAction,CONSTRUCTOR;
                                      END;

      DefaultEditorKit* = POINTER TO EXTENSIBLE RECORD (EditorKit)
                          STATIC
                            EndOfLineStringProperty* = "__EndOfLine__";
                            insertContentAction* = "insert-content";
                            insertBreakAction* = "insert-break";
                            insertTabAction* = "insert-tab";
                            deletePrevCharAction* = "delete-previous";
                            deleteNextCharAction* = "delete-next";
                            readOnlyAction* = "set-read-only";
                            writableAction* = "set-writable";
                            cutAction* = "cut-to-clipboard";
                            copyAction* = "copy-to-clipboard";
                            pasteAction* = "paste-from-clipboard";
                            beepAction* = "beep";
                            pageUpAction* = "page-up";
                            pageDownAction* = "page-down";
                            forwardAction* = "caret-forward";
                            backwardAction* = "caret-backward";
                            selectionForwardAction* = "selection-forward";
                            selectionBackwardAction* = "selection-backward";
                            upAction* = "caret-up";
                            downAction* = "caret-down";
                            selectionUpAction* = "selection-up";
                            selectionDownAction* = "selection-down";
                            beginWordAction* = "caret-begin-word";
                            endWordAction* = "caret-end-word";
                            selectionBeginWordAction* = "selection-begin-word";
                            selectionEndWordAction* = "selection-end-word";
                            previousWordAction* = "caret-previous-word";
                            nextWordAction* = "caret-next-word";
                            selectionPreviousWordAction* = "selection-previous-word";
                            selectionNextWordAction* = "selection-next-word";
                            beginLineAction* = "caret-begin-line";
                            endLineAction* = "caret-end-line";
                            selectionBeginLineAction* = "selection-begin-line";
                            selectionEndLineAction* = "selection-end-line";
                            beginParagraphAction* = "caret-begin-paragraph";
                            endParagraphAction* = "caret-end-paragraph";
                            selectionBeginParagraphAction* = "selection-begin-paragraph";
                            selectionEndParagraphAction* = "selection-end-paragraph";
                            beginAction* = "caret-begin";
                            endAction* = "caret-end";
                            selectionBeginAction* = "selection-begin";
                            selectionEndAction* = "selection-end";
                            selectWordAction* = "select-word";
                            selectLineAction* = "select-line";
                            selectParagraphAction* = "select-paragraph";
                            selectAllAction* = "select-all";
                            defaultKeyTypedAction* = "default-typed";
                            PROCEDURE Init*() : DefaultEditorKit,CONSTRUCTOR;
                          END;

      DefaultHighlighter$DefaultHighlightPainter* = POINTER TO EXTENSIBLE RECORD (LayeredHighlighter$LayerPainter)
                                                    STATIC
                                                      PROCEDURE Init*(p0 : java_awt.Color) : DefaultHighlighter$DefaultHighlightPainter,CONSTRUCTOR;
                                                    END;

      DefaultHighlighter* = POINTER TO EXTENSIBLE RECORD (LayeredHighlighter)
                            STATIC
                              DefaultPainter* : LayeredHighlighter$LayerPainter;
                              PROCEDURE Init*() : DefaultHighlighter,CONSTRUCTOR;
                            END;

      DefaultStyledDocument$AttributeUndoableEdit* = POINTER TO EXTENSIBLE RECORD (javax_swing_undo.AbstractUndoableEdit)
                                                       newAttributes! : AttributeSet;
                                                       copy! : AttributeSet;
                                                       isReplacing! : BOOLEAN;
                                                       element! : Element;
                                                     STATIC
                                                       PROCEDURE Init*(p0 : Element;
                                                                       p1 : AttributeSet;
                                                                       p2 : BOOLEAN) : DefaultStyledDocument$AttributeUndoableEdit,CONSTRUCTOR;
                                                     END;

      DefaultStyledDocument$ElementBuffer* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable)
                                             STATIC
                                               PROCEDURE Init*(p0 : DefaultStyledDocument;
                                                               p1 : Element) : DefaultStyledDocument$ElementBuffer,CONSTRUCTOR;
                                             END;

      DefaultStyledDocument$ElementSpec* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
                                           STATIC
                                             StartTagType* = 1;
                                             EndTagType* = 2;
                                             ContentType* = 3;
                                             JoinPreviousDirection* = 4;
                                             JoinNextDirection* = 5;
                                             OriginateDirection* = 6;
                                             JoinFractureDirection* = 7;
                                             PROCEDURE Init*(p0 : AttributeSet;
                                                             p1 : SHORTINT) : DefaultStyledDocument$ElementSpec,CONSTRUCTOR;
                                             PROCEDURE Init*(p0 : AttributeSet;
                                                             p1 : SHORTINT;
                                                             p2 : INTEGER) : DefaultStyledDocument$ElementSpec,CONSTRUCTOR;
                                             PROCEDURE Init*(    p0 : AttributeSet;
                                                                 p1 : SHORTINT;
                                                             IN  p2 : ARRAY OF CHAR;
                                                                 p3 : INTEGER;
                                                                 p4 : INTEGER) : DefaultStyledDocument$ElementSpec,CONSTRUCTOR;
                                           END;

      DefaultStyledDocument$SectionElement* = POINTER TO EXTENSIBLE RECORD (AbstractDocument$BranchElement)
                                              STATIC
                                                PROCEDURE Init*(p0 : DefaultStyledDocument) : DefaultStyledDocument$SectionElement,CONSTRUCTOR;
                                              END;

      DefaultStyledDocument* = POINTER TO EXTENSIBLE RECORD (AbstractDocument + StyledDocument)
                                 buffer! : DefaultStyledDocument$ElementBuffer;
                               STATIC
                                 BUFFER_SIZE_DEFAULT* = 4096;
                                 PROCEDURE Init*() : DefaultStyledDocument,CONSTRUCTOR;
                                 PROCEDURE Init*(p0 : AbstractDocument$Content;
                                                 p1 : StyleContext) : DefaultStyledDocument,CONSTRUCTOR;
                                 PROCEDURE Init*(p0 : StyleContext) : DefaultStyledDocument,CONSTRUCTOR;
                               END;

      DefaultTextUI* = POINTER TO ABSTRACT RECORD (javax_swing_plaf_basic.BasicTextUI)
                       STATIC
                         PROCEDURE Init*() : DefaultTextUI,CONSTRUCTOR;
                       END;

      Document* = POINTER TO INTERFACE RECORD (java_lang.Object)
                  STATIC
                    StreamDescriptionProperty* = "stream";
                    TitleProperty* = "title";
                  END;

      EditorKit* = POINTER TO ABSTRACT RECORD (java_lang.Object + java_lang.Cloneable + java_io.Serializable)
                   STATIC
                     PROCEDURE Init*() : EditorKit,CONSTRUCTOR;
                   END;

      Element* = POINTER TO INTERFACE RECORD (java_lang.Object)
                 END;

      ElementIterator* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_lang.Cloneable)
                         STATIC
                           PROCEDURE Init*(p0 : Document) : ElementIterator,CONSTRUCTOR;
                           PROCEDURE Init*(p0 : Element) : ElementIterator,CONSTRUCTOR;
                         END;

      FieldView* = POINTER TO EXTENSIBLE RECORD (PlainView)
                   STATIC
                     PROCEDURE Init*(p0 : Element) : FieldView,CONSTRUCTOR;
                   END;

      GapContent* = POINTER TO EXTENSIBLE RECORD (GapVector + PRError + java_io.Serializable)
                    STATIC
                      PROCEDURE Init*() : GapContent,CONSTRUCTOR;
                      PROCEDURE Init*(p0 : INTEGER) : GapContent,CONSTRUCTOR;
                    END;

      Highlighter$Highlight* = POINTER TO INTERFACE RECORD (java_lang.Object)
                               END;

      Highlighter$HighlightPainter* = POINTER TO INTERFACE RECORD (java_lang.Object)
                                      END;

      Highlighter* = POINTER TO INTERFACE RECORD (java_lang.Object)
                     END;

      IconView* = POINTER TO EXTENSIBLE RECORD (View)
                  STATIC
                    PROCEDURE Init*(p0 : Element) : IconView,CONSTRUCTOR;
                  END;

      JTextComponent$AccessibleJTextComponent* = POINTER TO EXTENSIBLE RECORD (javax_swing.JComponent$AccessibleJComponent + javax_accessibility.AccessibleText + javax_swing_event.CaretListener + javax_swing_event.DocumentListener)
                                                 STATIC
                                                   PROCEDURE Init*(p0 : JTextComponent) : JTextComponent$AccessibleJTextComponent,CONSTRUCTOR;
                                                 END;

      JTextComponent$KeyBinding* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
                                     key* : javax_swing.KeyStroke;
                                     actionName* : java_lang.String;
                                   STATIC
                                     PROCEDURE Init*(p0 : javax_swing.KeyStroke;
                                                     p1 : java_lang.String) : JTextComponent$KeyBinding,CONSTRUCTOR;
                                   END;

      JTextComponent* = POINTER TO ABSTRACT RECORD (javax_swing.JComponent + javax_swing.Scrollable + javax_accessibility.Accessible)
                        STATIC
                          FOCUS_ACCELERATOR_KEY* = "focusAcceleratorKey";
                          DEFAULT_KEYMAP* = "default";
                          PROCEDURE Init*() : JTextComponent,CONSTRUCTOR;
                          PROCEDURE addKeymap*(p0 : java_lang.String;
                                               p1 : Keymap) : Keymap;
                          PROCEDURE getKeymap*(p0 : java_lang.String) : Keymap;
                          PROCEDURE loadKeymap*(    p0 : Keymap;
                                                IN  p1 : ARRAY OF JTextComponent$KeyBinding;
                                                IN  p2 : ARRAY OF javax_swing.Action);
                          PROCEDURE removeKeymap*(p0 : java_lang.String) : Keymap;
                        END;

      Keymap* = POINTER TO INTERFACE RECORD (java_lang.Object)
                END;

      LabelView* = POINTER TO EXTENSIBLE RECORD (View)
                   STATIC
                     PROCEDURE Init*(p0 : Element) : LabelView,CONSTRUCTOR;
                   END;

      LayeredHighlighter$LayerPainter* = POINTER TO ABSTRACT RECORD (java_lang.Object + Highlighter$HighlightPainter)
                                         STATIC
                                           PROCEDURE Init*() : LayeredHighlighter$LayerPainter,CONSTRUCTOR;
                                         END;

      LayeredHighlighter* = POINTER TO ABSTRACT RECORD (java_lang.Object + Highlighter)
                            STATIC
                              PROCEDURE Init*() : LayeredHighlighter,CONSTRUCTOR;
                            END;

      MutableAttributeSet* = POINTER TO INTERFACE RECORD (java_lang.Object + AttributeSet)
                             END;

      ParagraphView* = POINTER TO EXTENSIBLE RECORD (BoxView + TabExpander)
                         firstLineIndent! : INTEGER;
                       STATIC
                         PROCEDURE Init*(p0 : Element) : ParagraphView,CONSTRUCTOR;
                       END;

      PasswordView* = POINTER TO EXTENSIBLE RECORD (FieldView)
                      STATIC
                        PROCEDURE Init*(p0 : Element) : PasswordView,CONSTRUCTOR;
                      END;

      PlainDocument* = POINTER TO EXTENSIBLE RECORD (AbstractDocument)
                       STATIC
                         tabSizeAttribute* = "tabSize";
                         lineLimitAttribute* = "lineLimit";
                         PROCEDURE Init*() : PlainDocument,CONSTRUCTOR;
                         PROCEDURE Init!(p0 : AbstractDocument$Content) : PlainDocument,CONSTRUCTOR;
                       END;

      PlainView* = POINTER TO EXTENSIBLE RECORD (View + TabExpander)
                     metrics! : java_awt.FontMetrics;
                   STATIC
                     PROCEDURE Init*(p0 : Element) : PlainView,CONSTRUCTOR;
                   END;

      Position$Bias* = POINTER TO RECORD (java_lang.Object)
                       STATIC
                         Forward* : Position$Bias;
                         Backward* : Position$Bias;
                       END;

      Position* = POINTER TO INTERFACE RECORD (java_lang.Object)
                  END;

      Segment* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
                   array* : POINTER TO ARRAY OF CHAR;
                   offset* : INTEGER;
                   count* : INTEGER;
                 STATIC
                   PROCEDURE Init*() : Segment,CONSTRUCTOR;
                   PROCEDURE Init*(IN  p0 : ARRAY OF CHAR;
                                       p1 : INTEGER;
                                       p2 : INTEGER) : Segment,CONSTRUCTOR;
                 END;

      SimpleAttributeSet* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + MutableAttributeSet + java_io.Serializable + java_lang.Cloneable)
                            STATIC
                              EMPTY* : AttributeSet;
                              PROCEDURE Init*() : SimpleAttributeSet,CONSTRUCTOR;
                              PROCEDURE Init*(p0 : AttributeSet) : SimpleAttributeSet,CONSTRUCTOR;
                            END;

      StringContent* = POINTER TO RECORD (java_lang.Object + PRError + java_io.Serializable)
                       STATIC
                         PROCEDURE Init*() : StringContent,CONSTRUCTOR;
                         PROCEDURE Init*(p0 : INTEGER) : StringContent,CONSTRUCTOR;
                       END;

      Style* = POINTER TO INTERFACE RECORD (java_lang.Object + MutableAttributeSet)
               END;

      StyleConstants$CharacterConstants* = POINTER TO EXTENSIBLE RECORD (StyleConstants + java_lang.String)
                                           STATIC
                                             Underline* : java_lang.Object;
                                             StrikeThrough* : java_lang.Object;
                                             Superscript* : java_lang.Object;
                                             Subscript* : java_lang.Object;
                                             ComponentAttribute* : java_lang.Object;
                                             IconAttribute* : java_lang.Object;
                                             BidiLevel* : java_lang.Object;
                                             Family* : java_lang.Object;
                                             Size* : java_lang.Object;
                                             Bold* : java_lang.Object;
                                             Italic* : java_lang.Object;
                                             Foreground* : java_lang.Object;
                                             Background* : java_lang.Object;
                                           END;

      StyleConstants$ColorConstants* = POINTER TO EXTENSIBLE RECORD (StyleConstants + ARRAY OF BYTE + java_lang.String)
                                       STATIC
                                         Foreground* : java_lang.Object;
                                         Background* : java_lang.Object;
                                       END;

      StyleConstants$FontConstants* = POINTER TO EXTENSIBLE RECORD (StyleConstants + java_io.Serializable + java_lang.String)
                                      STATIC
                                        Family* : java_lang.Object;
                                        Size* : java_lang.Object;
                                        Bold* : java_lang.Object;
                                        Italic* : java_lang.Object;
                                      END;

      StyleConstants$ParagraphConstants* = POINTER TO EXTENSIBLE RECORD (StyleConstants + java_io.PrintWriter)
                                           STATIC
                                             FirstLineIndent* : java_lang.Object;
                                             LeftIndent* : java_lang.Object;
                                             RightIndent* : java_lang.Object;
                                             LineSpacing* : java_lang.Object;
                                             SpaceAbove* : java_lang.Object;
                                             SpaceBelow* : java_lang.Object;
                                             Alignment* : java_lang.Object;
                                             TabSet* : java_lang.Object;
                                             Orientation* : java_lang.Object;
                                           END;

      StyleConstants* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
                        STATIC
                          ComponentElementName* = "component";
                          IconElementName* = "icon";
                          NameAttribute* : java_lang.Object;
                          ResolveAttribute* : java_lang.Object;
                          ModelAttribute* : java_lang.Object;
                          BidiLevel* : java_lang.Object;
                          FontFamily* : java_lang.Object;
                          FontSize* : java_lang.Object;
                          Bold* : java_lang.Object;
                          Italic* : java_lang.Object;
                          Underline* : java_lang.Object;
                          StrikeThrough* : java_lang.Object;
                          Superscript* : java_lang.Object;
                          Subscript* : java_lang.Object;
                          Foreground* : java_lang.Object;
                          Background* : java_lang.Object;
                          ComponentAttribute* : java_lang.Object;
                          IconAttribute* : java_lang.Object;
                          ComposedTextAttribute* : java_lang.Object;
                          FirstLineIndent* : java_lang.Object;
                          LeftIndent* : java_lang.Object;
                          RightIndent* : java_lang.Object;
                          LineSpacing* : java_lang.Object;
                          SpaceAbove* : java_lang.Object;
                          SpaceBelow* : java_lang.Object;
                          Alignment* : java_lang.Object;
                          TabSet* : java_lang.Object;
                          Orientation* : java_lang.Object;
                          ALIGN_LEFT* = 0;
                          ALIGN_CENTER* = 1;
                          ALIGN_RIGHT* = 2;
                          ALIGN_JUSTIFIED* = 3;
                          PROCEDURE getAlignment*(p0 : AttributeSet) : INTEGER;
                          PROCEDURE getBackground*(p0 : AttributeSet) : java_awt.Color;
                          PROCEDURE getBidiLevel*(p0 : AttributeSet) : INTEGER;
                          PROCEDURE getComponent*(p0 : AttributeSet) : java_awt.Component;
                          PROCEDURE getFirstLineIndent*(p0 : AttributeSet) : SHORTREAL;
                          PROCEDURE getFontFamily*(p0 : AttributeSet) : java_lang.String;
                          PROCEDURE getFontSize*(p0 : AttributeSet) : INTEGER;
                          PROCEDURE getForeground*(p0 : AttributeSet) : java_awt.Color;
                          PROCEDURE getIcon*(p0 : AttributeSet) : javax_swing.Icon;
                          PROCEDURE getLeftIndent*(p0 : AttributeSet) : SHORTREAL;
                          PROCEDURE getLineSpacing*(p0 : AttributeSet) : SHORTREAL;
                          PROCEDURE getRightIndent*(p0 : AttributeSet) : SHORTREAL;
                          PROCEDURE getSpaceAbove*(p0 : AttributeSet) : SHORTREAL;
                          PROCEDURE getSpaceBelow*(p0 : AttributeSet) : SHORTREAL;
                          PROCEDURE getTabSet*(p0 : AttributeSet) : TabSet;
                          PROCEDURE isBold*(p0 : AttributeSet) : BOOLEAN;
                          PROCEDURE isItalic*(p0 : AttributeSet) : BOOLEAN;
                          PROCEDURE isStrikeThrough*(p0 : AttributeSet) : BOOLEAN;
                          PROCEDURE isSubscript*(p0 : AttributeSet) : BOOLEAN;
                          PROCEDURE isSuperscript*(p0 : AttributeSet) : BOOLEAN;
                          PROCEDURE isUnderline*(p0 : AttributeSet) : BOOLEAN;
                          PROCEDURE setAlignment*(p0 : MutableAttributeSet;
                                                  p1 : INTEGER);
                          PROCEDURE setBackground*(p0 : MutableAttributeSet;
                                                   p1 : java_awt.Color);
                          PROCEDURE setBidiLevel*(p0 : MutableAttributeSet;
                                                  p1 : INTEGER);
                          PROCEDURE setBold*(p0 : MutableAttributeSet;
                                             p1 : BOOLEAN);
                          PROCEDURE setComponent*(p0 : MutableAttributeSet;
                                                  p1 : java_awt.Component);
                          PROCEDURE setFirstLineIndent*(p0 : MutableAttributeSet;
                                                        p1 : SHORTREAL);
                          PROCEDURE setFontFamily*(p0 : MutableAttributeSet;
                                                   p1 : java_lang.String);
                          PROCEDURE setFontSize*(p0 : MutableAttributeSet;
                                                 p1 : INTEGER);
                          PROCEDURE setForeground*(p0 : MutableAttributeSet;
                                                   p1 : java_awt.Color);
                          PROCEDURE setIcon*(p0 : MutableAttributeSet;
                                             p1 : javax_swing.Icon);
                          PROCEDURE setItalic*(p0 : MutableAttributeSet;
                                               p1 : BOOLEAN);
                          PROCEDURE setLeftIndent*(p0 : MutableAttributeSet;
                                                   p1 : SHORTREAL);
                          PROCEDURE setLineSpacing*(p0 : MutableAttributeSet;
                                                    p1 : SHORTREAL);
                          PROCEDURE setRightIndent*(p0 : MutableAttributeSet;
                                                    p1 : SHORTREAL);
                          PROCEDURE setSpaceAbove*(p0 : MutableAttributeSet;
                                                   p1 : SHORTREAL);
                          PROCEDURE setSpaceBelow*(p0 : MutableAttributeSet;
                                                   p1 : SHORTREAL);
                          PROCEDURE setStrikeThrough*(p0 : MutableAttributeSet;
                                                      p1 : BOOLEAN);
                          PROCEDURE setSubscript*(p0 : MutableAttributeSet;
                                                  p1 : BOOLEAN);
                          PROCEDURE setSuperscript*(p0 : MutableAttributeSet;
                                                    p1 : BOOLEAN);
                          PROCEDURE setTabSet*(p0 : MutableAttributeSet;
                                               p1 : TabSet);
                          PROCEDURE setUnderline*(p0 : MutableAttributeSet;
                                                  p1 : BOOLEAN);
                        END;

      StyleContext$NamedStyle* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + Style + java_io.Serializable)
                                   listenerList! : javax_swing_event.EventListenerList;
                                   changeEvent! : javax_swing_event.ChangeEvent;
                                 STATIC
                                   PROCEDURE Init*(p0 : StyleContext) : StyleContext$NamedStyle,CONSTRUCTOR;
                                   PROCEDURE Init*(p0 : StyleContext;
                                                   p1 : java_lang.String;
                                                   p2 : Style) : StyleContext$NamedStyle,CONSTRUCTOR;
                                   PROCEDURE Init*(p0 : StyleContext;
                                                   p1 : Style) : StyleContext$NamedStyle,CONSTRUCTOR;
                                 END;

      StyleContext$SmallAttributeSet* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + AttributeSet)
                                        STATIC
                                          PROCEDURE Init*(p0 : StyleContext;
                                                          p1 : AttributeSet) : StyleContext$SmallAttributeSet,CONSTRUCTOR;
                                          PROCEDURE Init*(    p0 : StyleContext;
                                                          IN  p1 : ARRAY OF java_lang.Object) : StyleContext$SmallAttributeSet,CONSTRUCTOR;
                                        END;

      StyleContext* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable + PathFiller)
                      STATIC
                        DEFAULT_STYLE* = "default";
                        PROCEDURE Init*() : StyleContext,CONSTRUCTOR;
                        PROCEDURE getDefaultStyleContext*() : StyleContext;
                        PROCEDURE getStaticAttribute*(p0 : java_lang.Object) : java_lang.Object;
                        PROCEDURE getStaticAttributeKey*(p0 : java_lang.Object) : java_lang.Object;
                        PROCEDURE readAttributeSet*(p0 : java_io.ObjectInputStream;
                                                    p1 : MutableAttributeSet);
                        PROCEDURE registerStaticAttributeKey*(p0 : java_lang.Object);
                        PROCEDURE writeAttributeSet*(p0 : java_io.ObjectOutputStream;
                                                     p1 : AttributeSet);
                      END;

      StyledDocument* = POINTER TO INTERFACE RECORD (java_lang.Object + Document)
                        END;

      StyledEditorKit$AlignmentAction* = POINTER TO EXTENSIBLE RECORD (StyledEditorKit$StyledTextAction)
                                         STATIC
                                           PROCEDURE Init*(p0 : java_lang.String;
                                                           p1 : INTEGER) : StyledEditorKit$AlignmentAction,CONSTRUCTOR;
                                         END;

      StyledEditorKit$BoldAction* = POINTER TO EXTENSIBLE RECORD (StyledEditorKit$StyledTextAction)
                                    STATIC
                                      PROCEDURE Init*() : StyledEditorKit$BoldAction,CONSTRUCTOR;
                                    END;

      StyledEditorKit$FontFamilyAction* = POINTER TO EXTENSIBLE RECORD (StyledEditorKit$StyledTextAction)
                                          STATIC
                                            PROCEDURE Init*(p0 : java_lang.String;
                                                            p1 : java_lang.String) : StyledEditorKit$FontFamilyAction,CONSTRUCTOR;
                                          END;

      StyledEditorKit$FontSizeAction* = POINTER TO EXTENSIBLE RECORD (StyledEditorKit$StyledTextAction)
                                        STATIC
                                          PROCEDURE Init*(p0 : java_lang.String;
                                                          p1 : INTEGER) : StyledEditorKit$FontSizeAction,CONSTRUCTOR;
                                        END;

      StyledEditorKit$ForegroundAction* = POINTER TO EXTENSIBLE RECORD (StyledEditorKit$StyledTextAction)
                                          STATIC
                                            PROCEDURE Init*(p0 : java_lang.String;
                                                            p1 : java_awt.Color) : StyledEditorKit$ForegroundAction,CONSTRUCTOR;
                                          END;

      StyledEditorKit$ItalicAction* = POINTER TO EXTENSIBLE RECORD (StyledEditorKit$StyledTextAction)
                                      STATIC
                                        PROCEDURE Init*() : StyledEditorKit$ItalicAction,CONSTRUCTOR;
                                      END;

      StyledEditorKit$StyledTextAction* = POINTER TO ABSTRACT RECORD (TextAction)
                                          STATIC
                                            PROCEDURE Init*(p0 : java_lang.String) : StyledEditorKit$StyledTextAction,CONSTRUCTOR;
                                          END;

      StyledEditorKit$UnderlineAction* = POINTER TO EXTENSIBLE RECORD (StyledEditorKit$StyledTextAction)
                                         STATIC
                                           PROCEDURE Init*() : StyledEditorKit$UnderlineAction,CONSTRUCTOR;
                                         END;

      StyledEditorKit* = POINTER TO EXTENSIBLE RECORD (DefaultEditorKit)
                         STATIC
                           PROCEDURE Init*() : StyledEditorKit,CONSTRUCTOR;
                         END;

      TabableView* = POINTER TO INTERFACE RECORD (java_lang.Object)
                     END;

      TabExpander* = POINTER TO INTERFACE RECORD (java_lang.Object)
                     END;

      TableView$TableCell* = POINTER TO EXTENSIBLE RECORD (BoxView + TableView$GridCell)
                             STATIC
                               PROCEDURE Init*(p0 : TableView;
                                               p1 : Element) : TableView$TableCell,CONSTRUCTOR;
                             END;

      TableView$TableRow* = POINTER TO EXTENSIBLE RECORD (BoxView)
                            STATIC
                              PROCEDURE Init*(p0 : TableView;
                                              p1 : Element) : TableView$TableRow,CONSTRUCTOR;
                            END;

      TableView* = POINTER TO ABSTRACT RECORD (BoxView)
                   STATIC
                     PROCEDURE Init*(p0 : Element) : TableView,CONSTRUCTOR;
                   END;

      TabSet* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable)
                STATIC
                  PROCEDURE Init*(IN  p0 : ARRAY OF TabStop) : TabSet,CONSTRUCTOR;
                END;

      TabStop* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable)
                 STATIC
                   ALIGN_LEFT* = 0;
                   ALIGN_RIGHT* = 1;
                   ALIGN_CENTER* = 2;
                   ALIGN_DECIMAL* = 4;
                   ALIGN_BAR* = 5;
                   LEAD_NONE* = 0;
                   LEAD_DOTS* = 1;
                   LEAD_HYPHENS* = 2;
                   LEAD_UNDERLINE* = 3;
                   LEAD_THICKLINE* = 4;
                   LEAD_EQUALS* = 5;
                   PROCEDURE Init*(p0 : SHORTREAL) : TabStop,CONSTRUCTOR;
                   PROCEDURE Init*(p0 : SHORTREAL;
                                   p1 : INTEGER;
                                   p2 : INTEGER) : TabStop,CONSTRUCTOR;
                 END;

      TextAction* = POINTER TO ABSTRACT RECORD (javax_swing.AbstractAction)
                    STATIC
                      PROCEDURE Init*(p0 : java_lang.String) : TextAction,CONSTRUCTOR;
                      PROCEDURE augmentList*(IN  p0 : ARRAY OF javax_swing.Action;
                                             IN  p1 : ARRAY OF javax_swing.Action) : POINTER TO ARRAY OF javax_swing.Action;
                    END;

      Utilities* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
                   STATIC
                     PROCEDURE Init*() : Utilities,CONSTRUCTOR;
                     PROCEDURE drawTabbedText*(p0 : Segment;
                                               p1 : INTEGER;
                                               p2 : INTEGER;
                                               p3 : java_awt.Graphics;
                                               p4 : TabExpander;
                                               p5 : INTEGER) : INTEGER;
                     PROCEDURE getBreakLocation*(p0 : Segment;
                                                 p1 : java_awt.FontMetrics;
                                                 p2 : INTEGER;
                                                 p3 : INTEGER;
                                                 p4 : TabExpander;
                                                 p5 : INTEGER) : INTEGER;
                     PROCEDURE getNextWord*(p0 : JTextComponent;
                                            p1 : INTEGER) : INTEGER;
                     PROCEDURE getParagraphElement*(p0 : JTextComponent;
                                                    p1 : INTEGER) : Element;
                     PROCEDURE getPositionAbove*(p0 : JTextComponent;
                                                 p1 : INTEGER;
                                                 p2 : INTEGER) : INTEGER;
                     PROCEDURE getPositionBelow*(p0 : JTextComponent;
                                                 p1 : INTEGER;
                                                 p2 : INTEGER) : INTEGER;
                     PROCEDURE getPreviousWord*(p0 : JTextComponent;
                                                p1 : INTEGER) : INTEGER;
                     PROCEDURE getRowEnd*(p0 : JTextComponent;
                                          p1 : INTEGER) : INTEGER;
                     PROCEDURE getRowStart*(p0 : JTextComponent;
                                            p1 : INTEGER) : INTEGER;
                     PROCEDURE getTabbedTextOffset*(p0 : Segment;
                                                    p1 : java_awt.FontMetrics;
                                                    p2 : INTEGER;
                                                    p3 : INTEGER;
                                                    p4 : TabExpander;
                                                    p5 : INTEGER) : INTEGER;
                     PROCEDURE getTabbedTextOffset*(p0 : Segment;
                                                    p1 : java_awt.FontMetrics;
                                                    p2 : INTEGER;
                                                    p3 : INTEGER;
                                                    p4 : TabExpander;
                                                    p5 : INTEGER;
                                                    p6 : BOOLEAN) : INTEGER;
                     PROCEDURE getTabbedTextWidth*(p0 : Segment;
                                                   p1 : java_awt.FontMetrics;
                                                   p2 : INTEGER;
                                                   p3 : TabExpander;
                                                   p4 : INTEGER) : INTEGER;
                     PROCEDURE getWordEnd*(p0 : JTextComponent;
                                           p1 : INTEGER) : INTEGER;
                     PROCEDURE getWordStart*(p0 : JTextComponent;
                                             p1 : INTEGER) : INTEGER;
                   END;

      View* = POINTER TO ABSTRACT RECORD (java_lang.Object + javax_swing.SwingConstants)
              STATIC
                BadBreakWeight* = 0;
                GoodBreakWeight* = 1000;
                ExcellentBreakWeight* = 2000;
                ForcedBreakWeight* = 3000;
                X_AXIS* = 0;
                Y_AXIS* = 1;
                PROCEDURE Init*(p0 : Element) : View,CONSTRUCTOR;
              END;

      ViewFactory* = POINTER TO INTERFACE RECORD (java_lang.Object)
                     END;

      WrappedPlainView* = POINTER TO EXTENSIBLE RECORD (BoxView + TabExpander)
                          STATIC
                            PROCEDURE Init*(p0 : Element) : WrappedPlainView,CONSTRUCTOR;
                            PROCEDURE Init*(p0 : Element;
                                            p1 : BOOLEAN) : WrappedPlainView,CONSTRUCTOR;
                          END;

    PROCEDURE (self:AbstractDocument$AbstractElement) addAttribute*(p0 : java_lang.Object;
                                                                    p1 : java_lang.Object),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) addAttributes*(p0 : AttributeSet),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) children*() : java_util.Enumeration,NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument$AbstractElement) containsAttribute*(p0 : java_lang.Object;
                                                                         p1 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) containsAttributes*(p0 : AttributeSet) : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) copyAttributes*() : AttributeSet,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) dump*(p0 : java_io.PrintStream;
                                                            p1 : INTEGER),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) finalize!(),EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) getAllowsChildren*() : BOOLEAN,NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument$AbstractElement) getAttribute*(p0 : java_lang.Object) : java_lang.Object,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) getAttributeCount*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) getAttributeNames*() : java_util.Enumeration,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) getAttributes*() : AttributeSet,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) getChildAt*(p0 : INTEGER) : javax_swing_tree.TreeNode,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) getChildCount*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) getDocument*() : Document,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) getElement*(p0 : INTEGER) : Element,NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument$AbstractElement) getElementCount*() : INTEGER,NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument$AbstractElement) getElementIndex*(p0 : INTEGER) : INTEGER,NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument$AbstractElement) getEndOffset*() : INTEGER,NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument$AbstractElement) getIndex*(p0 : javax_swing_tree.TreeNode) : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) getName*() : java_lang.String,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) getParent*() : javax_swing_tree.TreeNode,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) getParentElement*() : Element,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) getResolveParent*() : AttributeSet,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) getStartOffset*() : INTEGER,NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument$AbstractElement) isDefined*(p0 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) isEqual*(p0 : AttributeSet) : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) isLeaf*() : BOOLEAN,NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument$AbstractElement) removeAttribute*(p0 : java_lang.Object),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) removeAttributes*(p0 : java_util.Enumeration),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) removeAttributes*(p0 : AttributeSet),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AbstractElement) setResolveParent*(p0 : AttributeSet),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$AttributeContext) addAttribute*(p0 : AttributeSet;
                                                                     p1 : java_lang.Object;
                                                                     p2 : java_lang.Object) : AttributeSet,NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument$AttributeContext) addAttributes*(p0 : AttributeSet;
                                                                      p1 : AttributeSet) : AttributeSet,NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument$AttributeContext) getEmptySet*() : AttributeSet,NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument$AttributeContext) reclaim*(p0 : AttributeSet),NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument$AttributeContext) removeAttribute*(p0 : AttributeSet;
                                                                        p1 : java_lang.Object) : AttributeSet,NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument$AttributeContext) removeAttributes*(p0 : AttributeSet;
                                                                         p1 : java_util.Enumeration) : AttributeSet,NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument$AttributeContext) removeAttributes*(p0 : AttributeSet;
                                                                         p1 : AttributeSet) : AttributeSet,NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument$BranchElement) children*() : java_util.Enumeration,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$BranchElement) getAllowsChildren*() : BOOLEAN,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$BranchElement) getElement*(p0 : INTEGER) : Element,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$BranchElement) getElementCount*() : INTEGER,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$BranchElement) getElementIndex*(p0 : INTEGER) : INTEGER,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$BranchElement) getEndOffset*() : INTEGER,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$BranchElement) getName*() : java_lang.String,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$BranchElement) getStartOffset*() : INTEGER,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$BranchElement) isLeaf*() : BOOLEAN,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$BranchElement) positionToElement*(p0 : INTEGER) : Element,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$BranchElement) replace*(    p0 : INTEGER;
                                                                 p1 : INTEGER;
                                                             IN  p2 : ARRAY OF Element),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$BranchElement) toString*() : java_lang.String,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$Content) createPosition*(p0 : INTEGER) : Position,NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument$Content) getChars*(p0 : INTEGER;
                                                        p1 : INTEGER;
                                                        p2 : Segment),NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument$Content) getString*(p0 : INTEGER;
                                                         p1 : INTEGER) : java_lang.String,NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument$Content) insertString*(p0 : INTEGER;
                                                            p1 : java_lang.String) : javax_swing_undo.UndoableEdit,NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument$Content) length*() : INTEGER,NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument$Content) remove*(p0 : INTEGER;
                                                      p1 : INTEGER) : javax_swing_undo.UndoableEdit,NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) addEdit*(p0 : javax_swing_undo.UndoableEdit) : BOOLEAN,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) getChange*(p0 : Element) : javax_swing_event.DocumentEvent$ElementChange,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) getDocument*() : Document,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) getLength*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) getOffset*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) getPresentationName*() : java_lang.String,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) getRedoPresentationName*() : java_lang.String,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) getType*() : javax_swing_event.DocumentEvent$EventType,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) getUndoPresentationName*() : java_lang.String,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) isSignificant*() : BOOLEAN,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) redo*(),EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) toString*() : java_lang.String,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) undo*(),EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$ElementEdit) getChildrenAdded*() : POINTER TO ARRAY OF Element,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$ElementEdit) getChildrenRemoved*() : POINTER TO ARRAY OF Element,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$ElementEdit) getElement*() : Element,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$ElementEdit) getIndex*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$ElementEdit) redo*(),EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$ElementEdit) undo*(),EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$LeafElement) children*() : java_util.Enumeration,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$LeafElement) getAllowsChildren*() : BOOLEAN,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$LeafElement) getElement*(p0 : INTEGER) : Element,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$LeafElement) getElementCount*() : INTEGER,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$LeafElement) getElementIndex*(p0 : INTEGER) : INTEGER,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$LeafElement) getEndOffset*() : INTEGER,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$LeafElement) getName*() : java_lang.String,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$LeafElement) getStartOffset*() : INTEGER,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$LeafElement) isLeaf*() : BOOLEAN,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument$LeafElement) toString*() : java_lang.String,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) addDocumentListener*(p0 : javax_swing_event.DocumentListener),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) addUndoableEditListener*(p0 : javax_swing_event.UndoableEditListener),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) createBranchElement!(p0 : Element;
                                                           p1 : AttributeSet) : Element,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) createLeafElement!(p0 : Element;
                                                         p1 : AttributeSet;
                                                         p2 : INTEGER;
                                                         p3 : INTEGER) : Element,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) createPosition*(p0 : INTEGER) : Position,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) dump*(p0 : java_io.PrintStream),NEW,EXTENSIBLE;

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

    PROCEDURE (self:AbstractDocument) fireInsertUpdate!(p0 : javax_swing_event.DocumentEvent),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) fireRemoveUpdate!(p0 : javax_swing_event.DocumentEvent),NEW,EXTENSIBLE;

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

    PROCEDURE (self:AbstractDocument) getAsynchronousLoadPriority*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) getAttributeContext!() : AbstractDocument$AttributeContext,NEW;

    PROCEDURE (self:AbstractDocument) getBidiRootElement*() : Element,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) getContent!() : AbstractDocument$Content,NEW;

    PROCEDURE (self:AbstractDocument) getCurrentWriter!() : java_lang.Thread,NEW;

    PROCEDURE (self:AbstractDocument) getDefaultRootElement*() : Element,NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument) getDocumentProperties*() : java_util.Dictionary,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) getEndPosition*() : Position,NEW;

    PROCEDURE (self:AbstractDocument) getLength*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) getParagraphElement*(p0 : INTEGER) : Element,NEW,ABSTRACT;

    PROCEDURE (self:AbstractDocument) getProperty*(p0 : java_lang.Object) : java_lang.Object,NEW;

    PROCEDURE (self:AbstractDocument) getRootElements*() : POINTER TO ARRAY OF Element,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) getStartPosition*() : Position,NEW;

    PROCEDURE (self:AbstractDocument) getText*(p0 : INTEGER;
                                               p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) getText*(p0 : INTEGER;
                                               p1 : INTEGER;
                                               p2 : Segment),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) insertString*(p0 : INTEGER;
                                                    p1 : java_lang.String;
                                                    p2 : AttributeSet),NEW,EXTENSIBLE;

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

    PROCEDURE (self:AbstractDocument) postRemoveUpdate!(p0 : AbstractDocument$DefaultDocumentEvent),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) putProperty*(p0 : java_lang.Object;
                                                   p1 : java_lang.Object),NEW;

    PROCEDURE (self:AbstractDocument) readLock*(),NEW;

    PROCEDURE (self:AbstractDocument) readUnlock*(),NEW;

    PROCEDURE (self:AbstractDocument) remove*(p0 : INTEGER;
                                              p1 : INTEGER),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) removeDocumentListener*(p0 : javax_swing_event.DocumentListener),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) removeUndoableEditListener*(p0 : javax_swing_event.UndoableEditListener),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) removeUpdate!(p0 : AbstractDocument$DefaultDocumentEvent),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) render*(p0 : java_lang.Runnable),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) setAsynchronousLoadPriority*(p0 : INTEGER),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) setDocumentProperties*(p0 : java_util.Dictionary),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractDocument) writeLock!(),NEW;

    PROCEDURE (self:AbstractDocument) writeUnlock!(),NEW;

    PROCEDURE (self:AbstractWriter) decrIndent!(),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractWriter) getDocument!() : Document,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractWriter) getElementIterator!() : ElementIterator,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractWriter) getText!(p0 : Element) : java_lang.String,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractWriter) inRange!(p0 : Element) : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractWriter) incrIndent!(),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractWriter) indent!(),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractWriter) setIndentSpace!(p0 : INTEGER),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractWriter) setLineLength!(p0 : INTEGER),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractWriter) text!(p0 : Element),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractWriter) write!(),NEW,ABSTRACT;

    PROCEDURE (self:AbstractWriter) write!(p0 : CHAR),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractWriter) write!(p0 : java_lang.String),NEW,EXTENSIBLE;

    PROCEDURE (self:AbstractWriter) writeAttributes!(p0 : AttributeSet),NEW,EXTENSIBLE;

    PROCEDURE (self:AttributeSet) containsAttribute*(p0 : java_lang.Object;
                                                     p1 : java_lang.Object) : BOOLEAN,NEW,ABSTRACT;

    PROCEDURE (self:AttributeSet) containsAttributes*(p0 : AttributeSet) : BOOLEAN,NEW,ABSTRACT;

    PROCEDURE (self:AttributeSet) copyAttributes*() : AttributeSet,NEW,ABSTRACT;

    PROCEDURE (self:AttributeSet) getAttribute*(p0 : java_lang.Object) : java_lang.Object,NEW,ABSTRACT;

    PROCEDURE (self:AttributeSet) getAttributeCount*() : INTEGER,NEW,ABSTRACT;

    PROCEDURE (self:AttributeSet) getAttributeNames*() : java_util.Enumeration,NEW,ABSTRACT;

    PROCEDURE (self:AttributeSet) getResolveParent*() : AttributeSet,NEW,ABSTRACT;

    PROCEDURE (self:AttributeSet) isDefined*(p0 : java_lang.Object) : BOOLEAN,NEW,ABSTRACT;

    PROCEDURE (self:AttributeSet) isEqual*(p0 : AttributeSet) : BOOLEAN,NEW,ABSTRACT;

    PROCEDURE (self:BadLocationException) offsetRequested*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:BoxView) baselineLayout!(    p0 : INTEGER;
                                                 p1 : INTEGER;
                                             IN  p2 : ARRAY OF INTEGER;
                                             IN  p3 : ARRAY OF INTEGER),NEW,EXTENSIBLE;

    PROCEDURE (self:BoxView) baselineRequirements!(p0 : INTEGER;
                                                   p1 : javax_swing.SizeRequirements) : javax_swing.SizeRequirements,NEW,EXTENSIBLE;

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

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

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

    PROCEDURE (self:BoxView) childAllocation!(p0 : INTEGER;
                                              p1 : java_awt.Rectangle),EXTENSIBLE;

    PROCEDURE (self:BoxView) flipEastAndWestAtEnds!(p0 : INTEGER;
                                                    p1 : Position$Bias) : BOOLEAN,EXTENSIBLE;

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

    PROCEDURE (self:BoxView) getHeight*() : INTEGER,NEW;

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

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

    PROCEDURE (self:BoxView) getOffset!(p0 : INTEGER;
                                        p1 : INTEGER) : INTEGER,NEW;

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

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

    PROCEDURE (self:BoxView) getSpan!(p0 : INTEGER;
                                      p1 : INTEGER) : INTEGER,NEW;

    PROCEDURE (self:BoxView) getViewAtPoint!(p0 : INTEGER;
                                             p1 : INTEGER;
                                             p2 : java_awt.Rectangle) : View,EXTENSIBLE;

    PROCEDURE (self:BoxView) getWidth*() : INTEGER,NEW;

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

    PROCEDURE (self:BoxView) isAfter!(p0 : INTEGER;
                                      p1 : INTEGER;
                                      p2 : java_awt.Rectangle) : BOOLEAN,EXTENSIBLE;

    PROCEDURE (self:BoxView) isAllocationValid!() : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:BoxView) isBefore!(p0 : INTEGER;
                                       p1 : INTEGER;
                                       p2 : java_awt.Rectangle) : BOOLEAN,EXTENSIBLE;

    PROCEDURE (self:BoxView) layout!(p0 : INTEGER;
                                     p1 : INTEGER),NEW,EXTENSIBLE;

    PROCEDURE (self:BoxView) layoutMajorAxis!(    p0 : INTEGER;
                                                  p1 : INTEGER;
                                              IN  p2 : ARRAY OF INTEGER;
                                              IN  p3 : ARRAY OF INTEGER),NEW,EXTENSIBLE;

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

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

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

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

    PROCEDURE (self:BoxView) preferenceChanged*(p0 : View;
                                                p1 : BOOLEAN;
                                                p2 : BOOLEAN),EXTENSIBLE;

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

    PROCEDURE (self:BoxView) replace*(    p0 : INTEGER;
                                          p1 : INTEGER;
                                      IN  p2 : ARRAY OF View),EXTENSIBLE;

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

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

    PROCEDURE (self:Caret) addChangeListener*(p0 : javax_swing_event.ChangeListener),NEW,ABSTRACT;

    PROCEDURE (self:Caret) deinstall*(p0 : JTextComponent),NEW,ABSTRACT;

    PROCEDURE (self:Caret) getBlinkRate*() : INTEGER,NEW,ABSTRACT;

    PROCEDURE (self:Caret) getDot*() : INTEGER,NEW,ABSTRACT;

    PROCEDURE (self:Caret) getMagicCaretPosition*() : java_awt.Point,NEW,ABSTRACT;

    PROCEDURE (self:Caret) getMark*() : INTEGER,NEW,ABSTRACT;

    PROCEDURE (self:Caret) install*(p0 : JTextComponent),NEW,ABSTRACT;

    PROCEDURE (self:Caret) isSelectionVisible*() : BOOLEAN,NEW,ABSTRACT;

    PROCEDURE (self:Caret) isVisible*() : BOOLEAN,NEW,ABSTRACT;

    PROCEDURE (self:Caret) moveDot*(p0 : INTEGER),NEW,ABSTRACT;

    PROCEDURE (self:Caret) paint*(p0 : java_awt.Graphics),NEW,ABSTRACT;

    PROCEDURE (self:Caret) removeChangeListener*(p0 : javax_swing_event.ChangeListener),NEW,ABSTRACT;

    PROCEDURE (self:Caret) setBlinkRate*(p0 : INTEGER),NEW,ABSTRACT;

    PROCEDURE (self:Caret) setDot*(p0 : INTEGER),NEW,ABSTRACT;

    PROCEDURE (self:Caret) setMagicCaretPosition*(p0 : java_awt.Point),NEW,ABSTRACT;

    PROCEDURE (self:Caret) setSelectionVisible*(p0 : BOOLEAN),NEW,ABSTRACT;

    PROCEDURE (self:Caret) setVisible*(p0 : BOOLEAN),NEW,ABSTRACT;

    PROCEDURE (self:ChangedCharSetException) getCharSetSpec*() : java_lang.String,NEW,EXTENSIBLE;

    PROCEDURE (self:ChangedCharSetException) keyEqualsCharSet*() : BOOLEAN,NEW,EXTENSIBLE;

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

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

    PROCEDURE (self:ComponentView) getComponent*() : java_awt.Component,NEW;

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

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

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

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

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

    PROCEDURE (self:ComponentView) setParent*(p0 : View),EXTENSIBLE;

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

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

    PROCEDURE (self:CompositeView) append*(p0 : View),NEW,EXTENSIBLE;

    PROCEDURE (self:CompositeView) childAllocation!(p0 : INTEGER;
                                                    p1 : java_awt.Rectangle),NEW,ABSTRACT;

    PROCEDURE (self:CompositeView) flipEastAndWestAtEnds!(p0 : INTEGER;
                                                          p1 : Position$Bias) : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:CompositeView) getBottomInset!() : SHORTINT,NEW;

    PROCEDURE (self:CompositeView) getChildAllocation*(p0 : INTEGER;
                                                       p1 : java_awt.Shape) : java_awt.Shape,EXTENSIBLE;

    PROCEDURE (self:CompositeView) getInsideAllocation!(p0 : java_awt.Shape) : java_awt.Rectangle,NEW,EXTENSIBLE;

    PROCEDURE (self:CompositeView) getLeftInset!() : SHORTINT,NEW;

    PROCEDURE (self:CompositeView) getNextEastWestVisualPositionFrom!(    p0 : INTEGER;
                                                                          p1 : Position$Bias;
                                                                          p2 : java_awt.Shape;
                                                                          p3 : INTEGER;
                                                                      IN  p4 : ARRAY OF Position$Bias) : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:CompositeView) getNextNorthSouthVisualPositionFrom!(    p0 : INTEGER;
                                                                            p1 : Position$Bias;
                                                                            p2 : java_awt.Shape;
                                                                            p3 : INTEGER;
                                                                        IN  p4 : ARRAY OF Position$Bias) : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:CompositeView) getNextVisualPositionFrom*(    p0 : INTEGER;
                                                                  p1 : Position$Bias;
                                                                  p2 : java_awt.Shape;
                                                                  p3 : INTEGER;
                                                              IN  p4 : ARRAY OF Position$Bias) : INTEGER,EXTENSIBLE;

    PROCEDURE (self:CompositeView) getRightInset!() : SHORTINT,NEW;

    PROCEDURE (self:CompositeView) getTopInset!() : SHORTINT,NEW;

    PROCEDURE (self:CompositeView) getView*(p0 : INTEGER) : View,EXTENSIBLE;

    PROCEDURE (self:CompositeView) getViewAtPoint!(p0 : INTEGER;
                                                   p1 : INTEGER;
                                                   p2 : java_awt.Rectangle) : View,NEW,ABSTRACT;

    PROCEDURE (self:CompositeView) getViewAtPosition!(p0 : INTEGER;
                                                      p1 : java_awt.Rectangle) : View,NEW,EXTENSIBLE;

    PROCEDURE (self:CompositeView) getViewCount*() : INTEGER,EXTENSIBLE;

    PROCEDURE (self:CompositeView) getViewIndexAtPosition!(p0 : INTEGER) : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:CompositeView) insert*(p0 : INTEGER;
                                           p1 : View),NEW,EXTENSIBLE;

    PROCEDURE (self:CompositeView) isAfter!(p0 : INTEGER;
                                            p1 : INTEGER;
                                            p2 : java_awt.Rectangle) : BOOLEAN,NEW,ABSTRACT;

    PROCEDURE (self:CompositeView) isBefore!(p0 : INTEGER;
                                             p1 : INTEGER;
                                             p2 : java_awt.Rectangle) : BOOLEAN,NEW,ABSTRACT;

    PROCEDURE (self:CompositeView) loadChildren!(p0 : ViewFactory),NEW,EXTENSIBLE;

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

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

    PROCEDURE (self:CompositeView) removeAll*(),NEW,EXTENSIBLE;

    PROCEDURE (self:CompositeView) replace*(    p0 : INTEGER;
                                                p1 : INTEGER;
                                            IN  p2 : ARRAY OF View),NEW,EXTENSIBLE;

    PROCEDURE (self:CompositeView) setInsets!(p0 : SHORTINT;
                                              p1 : SHORTINT;
                                              p2 : SHORTINT;
                                              p3 : SHORTINT),NEW;

    PROCEDURE (self:CompositeView) setParagraphInsets!(p0 : AttributeSet),NEW;

    PROCEDURE (self:CompositeView) setParent*(p0 : View),EXTENSIBLE;

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

    PROCEDURE (self:DefaultCaret) addChangeListener*(p0 : javax_swing_event.ChangeListener),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) adjustVisibility!(p0 : java_awt.Rectangle),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) damage!(p0 : java_awt.Rectangle),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) deinstall*(p0 : JTextComponent),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) fireStateChanged!(),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) focusGained*(p0 : java_awt_event.FocusEvent),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) focusLost*(p0 : java_awt_event.FocusEvent),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) getBlinkRate*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) getComponent!() : JTextComponent,NEW;

    PROCEDURE (self:DefaultCaret) getDot*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) getMagicCaretPosition*() : java_awt.Point,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) getMark*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) getSelectionPainter!() : Highlighter$HighlightPainter,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) install*(p0 : JTextComponent),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) isSelectionVisible*() : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) isVisible*() : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) mouseClicked*(p0 : java_awt_event.MouseEvent),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) mouseDragged*(p0 : java_awt_event.MouseEvent),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) mouseEntered*(p0 : java_awt_event.MouseEvent),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) mouseExited*(p0 : java_awt_event.MouseEvent),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) mouseMoved*(p0 : java_awt_event.MouseEvent),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) mousePressed*(p0 : java_awt_event.MouseEvent),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) mouseReleased*(p0 : java_awt_event.MouseEvent),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) moveCaret!(p0 : java_awt_event.MouseEvent),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) moveDot*(p0 : INTEGER),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) paint*(p0 : java_awt.Graphics),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) positionCaret!(p0 : java_awt_event.MouseEvent),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) removeChangeListener*(p0 : javax_swing_event.ChangeListener),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) repaint!(),NEW;

    PROCEDURE (self:DefaultCaret) setBlinkRate*(p0 : INTEGER),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) setDot*(p0 : INTEGER),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) setMagicCaretPosition*(p0 : java_awt.Point),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) setSelectionVisible*(p0 : BOOLEAN),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultCaret) setVisible*(p0 : BOOLEAN),NEW,EXTENSIBLE;

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

    PROCEDURE (self:DefaultEditorKit$BeepAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;

    PROCEDURE (self:DefaultEditorKit$CopyAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;

    PROCEDURE (self:DefaultEditorKit$CutAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;

    PROCEDURE (self:DefaultEditorKit$DefaultKeyTypedAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;

    PROCEDURE (self:DefaultEditorKit$InsertBreakAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;

    PROCEDURE (self:DefaultEditorKit$InsertContentAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;

    PROCEDURE (self:DefaultEditorKit$InsertTabAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;

    PROCEDURE (self:DefaultEditorKit$PasteAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;

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

    PROCEDURE (self:DefaultEditorKit) createCaret*() : Caret,EXTENSIBLE;

    PROCEDURE (self:DefaultEditorKit) createDefaultDocument*() : Document,EXTENSIBLE;

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

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

    PROCEDURE (self:DefaultEditorKit) getViewFactory*() : ViewFactory,EXTENSIBLE;

    PROCEDURE (self:DefaultEditorKit) read*(p0 : java_io.InputStream;
                                            p1 : Document;
                                            p2 : INTEGER),EXTENSIBLE;

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

    PROCEDURE (self:DefaultEditorKit) write*(p0 : java_io.OutputStream;
                                             p1 : Document;
                                             p2 : INTEGER;
                                             p3 : INTEGER),EXTENSIBLE;

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

    PROCEDURE (self:DefaultHighlighter$DefaultHighlightPainter) getColor*() : java_awt.Color,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultHighlighter$DefaultHighlightPainter) paint*(p0 : java_awt.Graphics;
                                                                       p1 : INTEGER;
                                                                       p2 : INTEGER;
                                                                       p3 : java_awt.Shape;
                                                                       p4 : JTextComponent),EXTENSIBLE;

    PROCEDURE (self:DefaultHighlighter$DefaultHighlightPainter) paintLayer*(p0 : java_awt.Graphics;
                                                                            p1 : INTEGER;
                                                                            p2 : INTEGER;
                                                                            p3 : java_awt.Shape;
                                                                            p4 : JTextComponent;
                                                                            p5 : View) : java_awt.Shape,EXTENSIBLE;

    PROCEDURE (self:DefaultHighlighter) addHighlight*(p0 : INTEGER;
                                                      p1 : INTEGER;
                                                      p2 : Highlighter$HighlightPainter) : java_lang.Object,EXTENSIBLE;

    PROCEDURE (self:DefaultHighlighter) changeHighlight*(p0 : java_lang.Object;
                                                         p1 : INTEGER;
                                                         p2 : INTEGER),EXTENSIBLE;

    PROCEDURE (self:DefaultHighlighter) deinstall*(p0 : JTextComponent),EXTENSIBLE;

    PROCEDURE (self:DefaultHighlighter) getDrawsLayeredHighlights*() : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultHighlighter) getHighlights*() : POINTER TO ARRAY OF Highlighter$Highlight,EXTENSIBLE;

    PROCEDURE (self:DefaultHighlighter) install*(p0 : JTextComponent),EXTENSIBLE;

    PROCEDURE (self:DefaultHighlighter) paint*(p0 : java_awt.Graphics),EXTENSIBLE;

    PROCEDURE (self:DefaultHighlighter) paintLayeredHighlights*(p0 : java_awt.Graphics;
                                                                p1 : INTEGER;
                                                                p2 : INTEGER;
                                                                p3 : java_awt.Shape;
                                                                p4 : JTextComponent;
                                                                p5 : View),EXTENSIBLE;

    PROCEDURE (self:DefaultHighlighter) removeAllHighlights*(),EXTENSIBLE;

    PROCEDURE (self:DefaultHighlighter) removeHighlight*(p0 : java_lang.Object),EXTENSIBLE;

    PROCEDURE (self:DefaultHighlighter) setDrawsLayeredHighlights*(p0 : BOOLEAN),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument$AttributeUndoableEdit) redo*(),EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument$AttributeUndoableEdit) undo*(),EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument$ElementBuffer) change*(p0 : INTEGER;
                                                                 p1 : INTEGER;
                                                                 p2 : AbstractDocument$DefaultDocumentEvent),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument$ElementBuffer) changeUpdate!(),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument$ElementBuffer) clone*(p0 : Element;
                                                                p1 : Element) : Element,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument$ElementBuffer) getRootElement*() : Element,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument$ElementBuffer) insert*(    p0 : INTEGER;
                                                                     p1 : INTEGER;
                                                                 IN  p2 : ARRAY OF DefaultStyledDocument$ElementSpec;
                                                                     p3 : AbstractDocument$DefaultDocumentEvent),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument$ElementBuffer) insertUpdate!(IN  p0 : ARRAY OF DefaultStyledDocument$ElementSpec),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument$ElementBuffer) remove*(p0 : INTEGER;
                                                                 p1 : INTEGER;
                                                                 p2 : AbstractDocument$DefaultDocumentEvent),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument$ElementBuffer) removeUpdate!(),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument$ElementSpec) getArray*() : POINTER TO ARRAY OF CHAR,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument$ElementSpec) getAttributes*() : AttributeSet,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument$ElementSpec) getDirection*() : SHORTINT,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument$ElementSpec) getLength*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument$ElementSpec) getOffset*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument$ElementSpec) getType*() : SHORTINT,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument$ElementSpec) setDirection*(p0 : SHORTINT),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument$ElementSpec) setType*(p0 : SHORTINT),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument$ElementSpec) toString*() : java_lang.String,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument$SectionElement) getName*() : java_lang.String,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument) addDocumentListener*(p0 : javax_swing_event.DocumentListener),EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument) addStyle*(p0 : java_lang.String;
                                                     p1 : Style) : Style,NEW,EXTENSIBLE;

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

    PROCEDURE (self:DefaultStyledDocument) createDefaultRoot!() : AbstractDocument$AbstractElement,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument) getBackground*(p0 : AttributeSet) : java_awt.Color,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument) getCharacterElement*(p0 : INTEGER) : Element,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument) getDefaultRootElement*() : Element,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument) getFont*(p0 : AttributeSet) : java_awt.Font,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument) getForeground*(p0 : AttributeSet) : java_awt.Color,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument) getLogicalStyle*(p0 : INTEGER) : Style,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument) getParagraphElement*(p0 : INTEGER) : Element,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument) getStyle*(p0 : java_lang.String) : Style,NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument) getStyleNames*() : java_util.Enumeration,NEW,EXTENSIBLE;

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

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

    PROCEDURE (self:DefaultStyledDocument) removeDocumentListener*(p0 : javax_swing_event.DocumentListener),EXTENSIBLE;

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

    PROCEDURE (self:DefaultStyledDocument) removeUpdate!(p0 : AbstractDocument$DefaultDocumentEvent),EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument) setCharacterAttributes*(p0 : INTEGER;
                                                                   p1 : INTEGER;
                                                                   p2 : AttributeSet;
                                                                   p3 : BOOLEAN),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument) setLogicalStyle*(p0 : INTEGER;
                                                            p1 : Style),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument) setParagraphAttributes*(p0 : INTEGER;
                                                                   p1 : INTEGER;
                                                                   p2 : AttributeSet;
                                                                   p3 : BOOLEAN),NEW,EXTENSIBLE;

    PROCEDURE (self:DefaultStyledDocument) styleChanged!(p0 : Style),NEW,EXTENSIBLE;

    PROCEDURE (self:Document) addDocumentListener*(p0 : javax_swing_event.DocumentListener),NEW,ABSTRACT;

    PROCEDURE (self:Document) addUndoableEditListener*(p0 : javax_swing_event.UndoableEditListener),NEW,ABSTRACT;

    PROCEDURE (self:Document) createPosition*(p0 : INTEGER) : Position,NEW,ABSTRACT;

    PROCEDURE (self:Document) getDefaultRootElement*() : Element,NEW,ABSTRACT;

    PROCEDURE (self:Document) getEndPosition*() : Position,NEW,ABSTRACT;

    PROCEDURE (self:Document) getLength*() : INTEGER,NEW,ABSTRACT;

    PROCEDURE (self:Document) getProperty*(p0 : java_lang.Object) : java_lang.Object,NEW,ABSTRACT;

    PROCEDURE (self:Document) getRootElements*() : POINTER TO ARRAY OF Element,NEW,ABSTRACT;

    PROCEDURE (self:Document) getStartPosition*() : Position,NEW,ABSTRACT;

    PROCEDURE (self:Document) getText*(p0 : INTEGER;
                                       p1 : INTEGER) : java_lang.String,NEW,ABSTRACT;

    PROCEDURE (self:Document) getText*(p0 : INTEGER;
                                       p1 : INTEGER;
                                       p2 : Segment),NEW,ABSTRACT;

    PROCEDURE (self:Document) insertString*(p0 : INTEGER;
                                            p1 : java_lang.String;
                                            p2 : AttributeSet),NEW,ABSTRACT;

    PROCEDURE (self:Document) putProperty*(p0 : java_lang.Object;
                                           p1 : java_lang.Object),NEW,ABSTRACT;

    PROCEDURE (self:Document) remove*(p0 : INTEGER;
                                      p1 : INTEGER),NEW,ABSTRACT;

    PROCEDURE (self:Document) removeDocumentListener*(p0 : javax_swing_event.DocumentListener),NEW,ABSTRACT;

    PROCEDURE (self:Document) removeUndoableEditListener*(p0 : javax_swing_event.UndoableEditListener),NEW,ABSTRACT;

    PROCEDURE (self:Document) render*(p0 : java_lang.Runnable),NEW,ABSTRACT;

    PROCEDURE (self:EditorKit) clone*() : java_lang.Object,ABSTRACT;

    PROCEDURE (self:EditorKit) createCaret*() : Caret,NEW,ABSTRACT;

    PROCEDURE (self:EditorKit) createDefaultDocument*() : Document,NEW,ABSTRACT;

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

    PROCEDURE (self:EditorKit) getActions*() : POINTER TO ARRAY OF javax_swing.Action,NEW,ABSTRACT;

    PROCEDURE (self:EditorKit) getContentType*() : java_lang.String,NEW,ABSTRACT;

    PROCEDURE (self:EditorKit) getViewFactory*() : ViewFactory,NEW,ABSTRACT;

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

    PROCEDURE (self:EditorKit) read*(p0 : java_io.InputStream;
                                     p1 : Document;
                                     p2 : INTEGER),NEW,ABSTRACT;

    PROCEDURE (self:EditorKit) read*(p0 : java_io.Reader;
                                     p1 : Document;
                                     p2 : INTEGER),NEW,ABSTRACT;

    PROCEDURE (self:EditorKit) write*(p0 : java_io.OutputStream;
                                      p1 : Document;
                                      p2 : INTEGER;
                                      p3 : INTEGER),NEW,ABSTRACT;

    PROCEDURE (self:EditorKit) write*(p0 : java_io.Writer;
                                      p1 : Document;
                                      p2 : INTEGER;
                                      p3 : INTEGER),NEW,ABSTRACT;

    PROCEDURE (self:Element) getAttributes*() : AttributeSet,NEW,ABSTRACT;

    PROCEDURE (self:Element) getDocument*() : Document,NEW,ABSTRACT;

    PROCEDURE (self:Element) getElement*(p0 : INTEGER) : Element,NEW,ABSTRACT;

    PROCEDURE (self:Element) getElementCount*() : INTEGER,NEW,ABSTRACT;

    PROCEDURE (self:Element) getElementIndex*(p0 : INTEGER) : INTEGER,NEW,ABSTRACT;

    PROCEDURE (self:Element) getEndOffset*() : INTEGER,NEW,ABSTRACT;

    PROCEDURE (self:Element) getName*() : java_lang.String,NEW,ABSTRACT;

    PROCEDURE (self:Element) getParentElement*() : Element,NEW,ABSTRACT;

    PROCEDURE (self:Element) getStartOffset*() : INTEGER,NEW,ABSTRACT;

    PROCEDURE (self:Element) isLeaf*() : BOOLEAN,NEW,ABSTRACT;

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

    PROCEDURE (self:ElementIterator) current*() : Element,NEW,EXTENSIBLE;

    PROCEDURE (self:ElementIterator) depth*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:ElementIterator) first*() : Element,NEW,EXTENSIBLE;

    PROCEDURE (self:ElementIterator) next*() : Element,NEW,EXTENSIBLE;

    PROCEDURE (self:ElementIterator) previous*() : Element,NEW,EXTENSIBLE;

    PROCEDURE (self:FieldView) adjustAllocation!(p0 : java_awt.Shape) : java_awt.Shape,NEW,EXTENSIBLE;

    PROCEDURE (self:FieldView) getFontMetrics!() : java_awt.FontMetrics,NEW,EXTENSIBLE;

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

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

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

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

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

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

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

    PROCEDURE (self:GapContent) allocateArray!(p0 : INTEGER) : java_lang.Object,EXTENSIBLE;

    PROCEDURE (self:GapContent) createPosition*(p0 : INTEGER) : Position,NEW,EXTENSIBLE;

    PROCEDURE (self:GapContent) getArrayLength!() : INTEGER,EXTENSIBLE;

    PROCEDURE (self:GapContent) getChars*(p0 : INTEGER;
                                          p1 : INTEGER;
                                          p2 : Segment),NEW,EXTENSIBLE;

    PROCEDURE (self:GapContent) getPositionsInRange!(p0 : java_util.Vector;
                                                     p1 : INTEGER;
                                                     p2 : INTEGER) : java_util.Vector,NEW,EXTENSIBLE;

    PROCEDURE (self:GapContent) getString*(p0 : INTEGER;
                                           p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;

    PROCEDURE (self:GapContent) insertString*(p0 : INTEGER;
                                              p1 : java_lang.String) : javax_swing_undo.UndoableEdit,NEW,EXTENSIBLE;

    PROCEDURE (self:GapContent) length*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:GapContent) remove*(p0 : INTEGER;
                                        p1 : INTEGER) : javax_swing_undo.UndoableEdit,NEW,EXTENSIBLE;

    PROCEDURE (self:GapContent) resetMarksAtZero!(),NEW,EXTENSIBLE;

    PROCEDURE (self:GapContent) shiftEnd!(p0 : INTEGER),EXTENSIBLE;

    PROCEDURE (self:GapContent) shiftGap!(p0 : INTEGER),EXTENSIBLE;

    PROCEDURE (self:GapContent) shiftGapEndUp!(p0 : INTEGER),EXTENSIBLE;

    PROCEDURE (self:GapContent) shiftGapStartDown!(p0 : INTEGER),EXTENSIBLE;

    PROCEDURE (self:GapContent) updateUndoPositions!(p0 : java_util.Vector;
                                                     p1 : INTEGER;
                                                     p2 : INTEGER),NEW,EXTENSIBLE;

    PROCEDURE (self:Highlighter$Highlight) getEndOffset*() : INTEGER,NEW,ABSTRACT;

    PROCEDURE (self:Highlighter$Highlight) getPainter*() : Highlighter$HighlightPainter,NEW,ABSTRACT;

    PROCEDURE (self:Highlighter$Highlight) getStartOffset*() : INTEGER,NEW,ABSTRACT;

    PROCEDURE (self:Highlighter$HighlightPainter) paint*(p0 : java_awt.Graphics;
                                                         p1 : INTEGER;
                                                         p2 : INTEGER;
                                                         p3 : java_awt.Shape;
                                                         p4 : JTextComponent),NEW,ABSTRACT;

    PROCEDURE (self:Highlighter) addHighlight*(p0 : INTEGER;
                                               p1 : INTEGER;
                                               p2 : Highlighter$HighlightPainter) : java_lang.Object,NEW,ABSTRACT;

    PROCEDURE (self:Highlighter) changeHighlight*(p0 : java_lang.Object;
                                                  p1 : INTEGER;
                                                  p2 : INTEGER),NEW,ABSTRACT;

    PROCEDURE (self:Highlighter) deinstall*(p0 : JTextComponent),NEW,ABSTRACT;

    PROCEDURE (self:Highlighter) getHighlights*() : POINTER TO ARRAY OF Highlighter$Highlight,NEW,ABSTRACT;

    PROCEDURE (self:Highlighter) install*(p0 : JTextComponent),NEW,ABSTRACT;

    PROCEDURE (self:Highlighter) paint*(p0 : java_awt.Graphics),NEW,ABSTRACT;

    PROCEDURE (self:Highlighter) removeAllHighlights*(),NEW,ABSTRACT;

    PROCEDURE (self:Highlighter) removeHighlight*(p0 : java_lang.Object),NEW,ABSTRACT;

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

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

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

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

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

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

    PROCEDURE (self:JTextComponent$AccessibleJTextComponent) caretUpdate*(p0 : javax_swing_event.CaretEvent),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent$AccessibleJTextComponent) changedUpdate*(p0 : javax_swing_event.DocumentEvent),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getAccessibleRole*() : javax_accessibility.AccessibleRole,EXTENSIBLE;

    PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getAccessibleStateSet*() : javax_accessibility.AccessibleStateSet,EXTENSIBLE;

    PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getAccessibleText*() : javax_accessibility.AccessibleText,EXTENSIBLE;

    PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getAfterIndex*(p0 : INTEGER;
                                                                            p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getAtIndex*(p0 : INTEGER;
                                                                         p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getBeforeIndex*(p0 : INTEGER;
                                                                             p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getCaretPosition*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getCharCount*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getCharacterAttribute*(p0 : INTEGER) : AttributeSet,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getCharacterBounds*(p0 : INTEGER) : java_awt.Rectangle,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getIndexAtPoint*(p0 : java_awt.Point) : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getSelectedText*() : java_lang.String,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getSelectionEnd*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getSelectionStart*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent$AccessibleJTextComponent) insertUpdate*(p0 : javax_swing_event.DocumentEvent),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent$AccessibleJTextComponent) removeUpdate*(p0 : javax_swing_event.DocumentEvent),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) addCaretListener*(p0 : javax_swing_event.CaretListener),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) copy*(),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) cut*(),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) fireCaretUpdate!(p0 : javax_swing_event.CaretEvent),NEW,EXTENSIBLE;

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

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

    PROCEDURE (self:JTextComponent) getCaret*() : Caret,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getCaretColor*() : java_awt.Color,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getCaretPosition*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getDisabledTextColor*() : java_awt.Color,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getDocument*() : Document,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getFocusAccelerator*() : CHAR,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getHighlighter*() : Highlighter,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getInputMethodRequests*() : java_awt_im.InputMethodRequests,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getKeymap*() : Keymap,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getMargin*() : java_awt.Insets,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getPreferredScrollableViewportSize*() : java_awt.Dimension,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getScrollableBlockIncrement*(p0 : java_awt.Rectangle;
                                                                 p1 : INTEGER;
                                                                 p2 : INTEGER) : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getScrollableTracksViewportHeight*() : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getScrollableTracksViewportWidth*() : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getScrollableUnitIncrement*(p0 : java_awt.Rectangle;
                                                                p1 : INTEGER;
                                                                p2 : INTEGER) : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getSelectedText*() : java_lang.String,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getSelectedTextColor*() : java_awt.Color,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getSelectionColor*() : java_awt.Color,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getSelectionEnd*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getSelectionStart*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getText*() : java_lang.String,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getText*(p0 : INTEGER;
                                             p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) getUI*() : javax_swing_plaf.TextUI,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) isEditable*() : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) isFocusTraversable*() : BOOLEAN,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) isOpaque*() : BOOLEAN,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) modelToView*(p0 : INTEGER) : java_awt.Rectangle,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) moveCaretPosition*(p0 : INTEGER),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) paramString!() : java_lang.String,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) paste*(),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) processComponentKeyEvent!(p0 : java_awt_event.KeyEvent),EXTENSIBLE;

    PROCEDURE (self:JTextComponent) processInputMethodEvent!(p0 : java_awt_event.InputMethodEvent),EXTENSIBLE;

    PROCEDURE (self:JTextComponent) read*(p0 : java_io.Reader;
                                          p1 : java_lang.Object),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) removeCaretListener*(p0 : javax_swing_event.CaretListener),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) removeNotify*(),EXTENSIBLE;

    PROCEDURE (self:JTextComponent) replaceSelection*(p0 : java_lang.String),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) select*(p0 : INTEGER;
                                            p1 : INTEGER),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) selectAll*(),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) setCaret*(p0 : Caret),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) setCaretColor*(p0 : java_awt.Color),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) setCaretPosition*(p0 : INTEGER),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) setDisabledTextColor*(p0 : java_awt.Color),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) setDocument*(p0 : Document),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) setEditable*(p0 : BOOLEAN),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) setEnabled*(p0 : BOOLEAN),EXTENSIBLE;

    PROCEDURE (self:JTextComponent) setFocusAccelerator*(p0 : CHAR),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) setHighlighter*(p0 : Highlighter),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) setKeymap*(p0 : Keymap),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) setMargin*(p0 : java_awt.Insets),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) setOpaque*(p0 : BOOLEAN),EXTENSIBLE;

    PROCEDURE (self:JTextComponent) setSelectedTextColor*(p0 : java_awt.Color),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) setSelectionColor*(p0 : java_awt.Color),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) setSelectionEnd*(p0 : INTEGER),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) setSelectionStart*(p0 : INTEGER),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) setText*(p0 : java_lang.String),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) setUI*(p0 : javax_swing_plaf.TextUI),NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) updateUI*(),EXTENSIBLE;

    PROCEDURE (self:JTextComponent) viewToModel*(p0 : java_awt.Point) : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:JTextComponent) write*(p0 : java_io.Writer),NEW,EXTENSIBLE;

    PROCEDURE (self:Keymap) addActionForKeyStroke*(p0 : javax_swing.KeyStroke;
                                                   p1 : javax_swing.Action),NEW,ABSTRACT;

    PROCEDURE (self:Keymap) getAction*(p0 : javax_swing.KeyStroke) : javax_swing.Action,NEW,ABSTRACT;

    PROCEDURE (self:Keymap) getBoundActions*() : POINTER TO ARRAY OF javax_swing.Action,NEW,ABSTRACT;

    PROCEDURE (self:Keymap) getBoundKeyStrokes*() : POINTER TO ARRAY OF javax_swing.KeyStroke,NEW,ABSTRACT;

    PROCEDURE (self:Keymap) getDefaultAction*() : javax_swing.Action,NEW,ABSTRACT;

    PROCEDURE (self:Keymap) getKeyStrokesForAction*(p0 : javax_swing.Action) : POINTER TO ARRAY OF javax_swing.KeyStroke,NEW,ABSTRACT;

    PROCEDURE (self:Keymap) getName*() : java_lang.String,NEW,ABSTRACT;

    PROCEDURE (self:Keymap) getResolveParent*() : Keymap,NEW,ABSTRACT;

    PROCEDURE (self:Keymap) isLocallyDefined*(p0 : javax_swing.KeyStroke) : BOOLEAN,NEW,ABSTRACT;

    PROCEDURE (self:Keymap) removeBindings*(),NEW,ABSTRACT;

    PROCEDURE (self:Keymap) removeKeyStrokeBinding*(p0 : javax_swing.KeyStroke),NEW,ABSTRACT;

    PROCEDURE (self:Keymap) setDefaultAction*(p0 : javax_swing.Action),NEW,ABSTRACT;

    PROCEDURE (self:Keymap) setResolveParent*(p0 : Keymap),NEW,ABSTRACT;

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

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

    PROCEDURE (self:LabelView) createFragment*(p0 : INTEGER;
                                               p1 : INTEGER) : View,EXTENSIBLE;

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

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

    PROCEDURE (self:LabelView) getFont!() : java_awt.Font,NEW,EXTENSIBLE;

    PROCEDURE (self:LabelView) getFontMetrics!() : java_awt.FontMetrics,NEW,EXTENSIBLE;

    PROCEDURE (self:LabelView) getNextVisualPositionFrom*(    p0 : INTEGER;
                                                              p1 : Position$Bias;
                                                              p2 : java_awt.Shape;
                                                              p3 : INTEGER;
                                                          IN  p4 : ARRAY OF Position$Bias) : INTEGER,EXTENSIBLE;

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

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

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

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

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

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

    PROCEDURE (self:LabelView) setStrikeThrough!(p0 : BOOLEAN),NEW,EXTENSIBLE;

    PROCEDURE (self:LabelView) setSubscript!(p0 : BOOLEAN),NEW,EXTENSIBLE;

    PROCEDURE (self:LabelView) setSuperscript!(p0 : BOOLEAN),NEW,EXTENSIBLE;

    PROCEDURE (self:LabelView) setUnderline!(p0 : BOOLEAN),NEW,EXTENSIBLE;

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

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

    PROCEDURE (self:LayeredHighlighter$LayerPainter) paint*(p0 : java_awt.Graphics;
                                                            p1 : INTEGER;
                                                            p2 : INTEGER;
                                                            p3 : java_awt.Shape;
                                                            p4 : JTextComponent),NEW,ABSTRACT;

    PROCEDURE (self:LayeredHighlighter$LayerPainter) paintLayer*(p0 : java_awt.Graphics;
                                                                 p1 : INTEGER;
                                                                 p2 : INTEGER;
                                                                 p3 : java_awt.Shape;
                                                                 p4 : JTextComponent;
                                                                 p5 : View) : java_awt.Shape,NEW,ABSTRACT;

    PROCEDURE (self:LayeredHighlighter) addHighlight*(p0 : INTEGER;
                                                      p1 : INTEGER;
                                                      p2 : Highlighter$HighlightPainter) : java_lang.Object,NEW,ABSTRACT;

    PROCEDURE (self:LayeredHighlighter) changeHighlight*(p0 : java_lang.Object;
                                                         p1 : INTEGER;
                                                         p2 : INTEGER),NEW,ABSTRACT;

    PROCEDURE (self:LayeredHighlighter) deinstall*(p0 : JTextComponent),NEW,ABSTRACT;

    PROCEDURE (self:LayeredHighlighter) getHighlights*() : POINTER TO ARRAY OF Highlighter$Highlight,NEW,ABSTRACT;

    PROCEDURE (self:LayeredHighlighter) install*(p0 : JTextComponent),NEW,ABSTRACT;

    PROCEDURE (self:LayeredHighlighter) paint*(p0 : java_awt.Graphics),NEW,ABSTRACT;

    PROCEDURE (self:LayeredHighlighter) paintLayeredHighlights*(p0 : java_awt.Graphics;
                                                                p1 : INTEGER;
                                                                p2 : INTEGER;
                                                                p3 : java_awt.Shape;
                                                                p4 : JTextComponent;
                                                                p5 : View),NEW,ABSTRACT;

    PROCEDURE (self:LayeredHighlighter) removeAllHighlights*(),NEW,ABSTRACT;

    PROCEDURE (self:LayeredHighlighter) removeHighlight*(p0 : java_lang.Object),NEW,ABSTRACT;

    PROCEDURE (self:MutableAttributeSet) addAttribute*(p0 : java_lang.Object;
                                                       p1 : java_lang.Object),NEW,ABSTRACT;

    PROCEDURE (self:MutableAttributeSet) addAttributes*(p0 : AttributeSet),NEW,ABSTRACT;

    PROCEDURE (self:MutableAttributeSet) removeAttribute*(p0 : java_lang.Object),NEW,ABSTRACT;

    PROCEDURE (self:MutableAttributeSet) removeAttributes*(p0 : java_util.Enumeration),NEW,ABSTRACT;

    PROCEDURE (self:MutableAttributeSet) removeAttributes*(p0 : AttributeSet),NEW,ABSTRACT;

    PROCEDURE (self:MutableAttributeSet) setResolveParent*(p0 : AttributeSet),NEW,ABSTRACT;

    PROCEDURE (self:ParagraphView) adjustRow!(p0 : ParagraphView$Row;
                                              p1 : INTEGER;
                                              p2 : INTEGER),NEW,EXTENSIBLE;

    PROCEDURE (self:ParagraphView) breakView*(p0 : INTEGER;
                                              p1 : SHORTREAL;
                                              p2 : java_awt.Shape) : View,NEW,EXTENSIBLE;

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

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

    PROCEDURE (self:ParagraphView) findOffsetToCharactersInString!(IN  p0 : ARRAY OF CHAR;
                                                                       p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:ParagraphView) flipEastAndWestAtEnds!(p0 : INTEGER;
                                                          p1 : Position$Bias) : BOOLEAN,EXTENSIBLE;

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

    PROCEDURE (self:ParagraphView) getBreakWeight*(p0 : INTEGER;
                                                   p1 : SHORTREAL) : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:ParagraphView) getClosestPositionTo!(    p0 : INTEGER;
                                                             p1 : Position$Bias;
                                                             p2 : java_awt.Shape;
                                                             p3 : INTEGER;
                                                         IN  p4 : ARRAY OF Position$Bias;
                                                             p5 : INTEGER;
                                                             p6 : INTEGER) : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:ParagraphView) getLayoutView!(p0 : INTEGER) : View,NEW,EXTENSIBLE;

    PROCEDURE (self:ParagraphView) getLayoutViewCount!() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:ParagraphView) getNextNorthSouthVisualPositionFrom!(    p0 : INTEGER;
                                                                            p1 : Position$Bias;
                                                                            p2 : java_awt.Shape;
                                                                            p3 : INTEGER;
                                                                        IN  p4 : ARRAY OF Position$Bias) : INTEGER,EXTENSIBLE;

    PROCEDURE (self:ParagraphView) getPartialSize!(p0 : INTEGER;
                                                   p1 : INTEGER) : SHORTREAL,NEW,EXTENSIBLE;

    PROCEDURE (self:ParagraphView) getTabBase!() : SHORTREAL,NEW,EXTENSIBLE;

    PROCEDURE (self:ParagraphView) getTabSet!() : TabSet,NEW,EXTENSIBLE;

    PROCEDURE (self:ParagraphView) getViewAtPosition!(p0 : INTEGER;
                                                      p1 : java_awt.Rectangle) : View,EXTENSIBLE;

    PROCEDURE (self:ParagraphView) getViewIndexAtPosition!(p0 : INTEGER) : INTEGER,EXTENSIBLE;

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

    PROCEDURE (self:ParagraphView) layout!(p0 : INTEGER;
                                           p1 : INTEGER),EXTENSIBLE;

    PROCEDURE (self:ParagraphView) loadChildren!(p0 : ViewFactory),EXTENSIBLE;

    PROCEDURE (self:ParagraphView) nextTabStop*(p0 : SHORTREAL;
                                                p1 : INTEGER) : SHORTREAL,NEW,EXTENSIBLE;

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

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

    PROCEDURE (self:ParagraphView) setFirstLineIndent!(p0 : SHORTREAL),NEW,EXTENSIBLE;

    PROCEDURE (self:ParagraphView) setJustification!(p0 : INTEGER),NEW,EXTENSIBLE;

    PROCEDURE (self:ParagraphView) setLineSpacing!(p0 : SHORTREAL),NEW,EXTENSIBLE;

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

    PROCEDURE (self:PasswordView) drawEchoCharacter!(p0 : java_awt.Graphics;
                                                     p1 : INTEGER;
                                                     p2 : INTEGER;
                                                     p3 : CHAR) : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:PasswordView) drawSelectedText!(p0 : java_awt.Graphics;
                                                    p1 : INTEGER;
                                                    p2 : INTEGER;
                                                    p3 : INTEGER;
                                                    p4 : INTEGER) : INTEGER,EXTENSIBLE;

    PROCEDURE (self:PasswordView) drawUnselectedText!(p0 : java_awt.Graphics;
                                                      p1 : INTEGER;
                                                      p2 : INTEGER;
                                                      p3 : INTEGER;
                                                      p4 : INTEGER) : INTEGER,EXTENSIBLE;

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

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

    PROCEDURE (self:PlainDocument) createDefaultRoot!() : AbstractDocument$AbstractElement,NEW,EXTENSIBLE;

    PROCEDURE (self:PlainDocument) getDefaultRootElement*() : Element,EXTENSIBLE;

    PROCEDURE (self:PlainDocument) getParagraphElement*(p0 : INTEGER) : Element,EXTENSIBLE;

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

    PROCEDURE (self:PlainDocument) removeUpdate!(p0 : AbstractDocument$DefaultDocumentEvent),EXTENSIBLE;

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

    PROCEDURE (self:PlainView) drawLine!(p0 : INTEGER;
                                         p1 : java_awt.Graphics;
                                         p2 : INTEGER;
                                         p3 : INTEGER),NEW,EXTENSIBLE;

    PROCEDURE (self:PlainView) drawSelectedText!(p0 : java_awt.Graphics;
                                                 p1 : INTEGER;
                                                 p2 : INTEGER;
                                                 p3 : INTEGER;
                                                 p4 : INTEGER) : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:PlainView) drawUnselectedText!(p0 : java_awt.Graphics;
                                                   p1 : INTEGER;
                                                   p2 : INTEGER;
                                                   p3 : INTEGER;
                                                   p4 : INTEGER) : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:PlainView) getLineBuffer!() : Segment,NEW;

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

    PROCEDURE (self:PlainView) getTabSize!() : INTEGER,NEW,EXTENSIBLE;

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

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

    PROCEDURE (self:PlainView) nextTabStop*(p0 : SHORTREAL;
                                            p1 : INTEGER) : SHORTREAL,NEW,EXTENSIBLE;

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

    PROCEDURE (self:PlainView) preferenceChanged*(p0 : View;
                                                  p1 : BOOLEAN;
                                                  p2 : BOOLEAN),EXTENSIBLE;

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

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

    PROCEDURE (self:Position$Bias) toString*() : java_lang.String,EXTENSIBLE;

    PROCEDURE (self:Position) getOffset*() : INTEGER,NEW,ABSTRACT;

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

    PROCEDURE (self:SimpleAttributeSet) addAttribute*(p0 : java_lang.Object;
                                                      p1 : java_lang.Object),NEW,EXTENSIBLE;

    PROCEDURE (self:SimpleAttributeSet) addAttributes*(p0 : AttributeSet),NEW,EXTENSIBLE;

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

    PROCEDURE (self:SimpleAttributeSet) containsAttribute*(p0 : java_lang.Object;
                                                           p1 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:SimpleAttributeSet) containsAttributes*(p0 : AttributeSet) : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:SimpleAttributeSet) copyAttributes*() : AttributeSet,NEW,EXTENSIBLE;

    PROCEDURE (self:SimpleAttributeSet) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;

    PROCEDURE (self:SimpleAttributeSet) getAttribute*(p0 : java_lang.Object) : java_lang.Object,NEW,EXTENSIBLE;

    PROCEDURE (self:SimpleAttributeSet) getAttributeCount*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:SimpleAttributeSet) getAttributeNames*() : java_util.Enumeration,NEW,EXTENSIBLE;

    PROCEDURE (self:SimpleAttributeSet) getResolveParent*() : AttributeSet,NEW,EXTENSIBLE;

    PROCEDURE (self:SimpleAttributeSet) hashCode*() : INTEGER,EXTENSIBLE;

    PROCEDURE (self:SimpleAttributeSet) isDefined*(p0 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:SimpleAttributeSet) isEmpty*() : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:SimpleAttributeSet) isEqual*(p0 : AttributeSet) : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:SimpleAttributeSet) removeAttribute*(p0 : java_lang.Object),NEW,EXTENSIBLE;

    PROCEDURE (self:SimpleAttributeSet) removeAttributes*(p0 : java_util.Enumeration),NEW,EXTENSIBLE;

    PROCEDURE (self:SimpleAttributeSet) removeAttributes*(p0 : AttributeSet),NEW,EXTENSIBLE;

    PROCEDURE (self:SimpleAttributeSet) setResolveParent*(p0 : AttributeSet),NEW,EXTENSIBLE;

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

    PROCEDURE (self:StringContent) createPosition*(p0 : INTEGER) : Position,NEW,EXTENSIBLE;

    PROCEDURE (self:StringContent) getChars*(p0 : INTEGER;
                                             p1 : INTEGER;
                                             p2 : Segment),NEW,EXTENSIBLE;

    PROCEDURE (self:StringContent) getPositionsInRange!(p0 : java_util.Vector;
                                                        p1 : INTEGER;
                                                        p2 : INTEGER) : java_util.Vector,NEW,EXTENSIBLE;

    PROCEDURE (self:StringContent) getString*(p0 : INTEGER;
                                              p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;

    PROCEDURE (self:StringContent) insertString*(p0 : INTEGER;
                                                 p1 : java_lang.String) : javax_swing_undo.UndoableEdit,NEW,EXTENSIBLE;

    PROCEDURE (self:StringContent) length*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:StringContent) remove*(p0 : INTEGER;
                                           p1 : INTEGER) : javax_swing_undo.UndoableEdit,NEW,EXTENSIBLE;

    PROCEDURE (self:StringContent) updateUndoPositions!(p0 : java_util.Vector),NEW,EXTENSIBLE;

    PROCEDURE (self:Style) addChangeListener*(p0 : javax_swing_event.ChangeListener),NEW,ABSTRACT;

    PROCEDURE (self:Style) getName*() : java_lang.String,NEW,ABSTRACT;

    PROCEDURE (self:Style) removeChangeListener*(p0 : javax_swing_event.ChangeListener),NEW,ABSTRACT;

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

    PROCEDURE (self:StyleContext$NamedStyle) addAttribute*(p0 : java_lang.Object;
                                                           p1 : java_lang.Object),NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$NamedStyle) addAttributes*(p0 : AttributeSet),NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$NamedStyle) addChangeListener*(p0 : javax_swing_event.ChangeListener),NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$NamedStyle) containsAttribute*(p0 : java_lang.Object;
                                                                p1 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$NamedStyle) containsAttributes*(p0 : AttributeSet) : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$NamedStyle) copyAttributes*() : AttributeSet,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$NamedStyle) fireStateChanged!(),NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$NamedStyle) getAttribute*(p0 : java_lang.Object) : java_lang.Object,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$NamedStyle) getAttributeCount*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$NamedStyle) getAttributeNames*() : java_util.Enumeration,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$NamedStyle) getName*() : java_lang.String,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$NamedStyle) getResolveParent*() : AttributeSet,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$NamedStyle) isDefined*(p0 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$NamedStyle) isEqual*(p0 : AttributeSet) : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$NamedStyle) removeAttribute*(p0 : java_lang.Object),NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$NamedStyle) removeAttributes*(p0 : java_util.Enumeration),NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$NamedStyle) removeAttributes*(p0 : AttributeSet),NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$NamedStyle) removeChangeListener*(p0 : javax_swing_event.ChangeListener),NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$NamedStyle) setName*(p0 : java_lang.String),NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$NamedStyle) setResolveParent*(p0 : AttributeSet),NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$NamedStyle) toString*() : java_lang.String,EXTENSIBLE;

    PROCEDURE (self:StyleContext$SmallAttributeSet) clone*() : java_lang.Object,EXTENSIBLE;

    PROCEDURE (self:StyleContext$SmallAttributeSet) containsAttribute*(p0 : java_lang.Object;
                                                                       p1 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$SmallAttributeSet) containsAttributes*(p0 : AttributeSet) : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$SmallAttributeSet) copyAttributes*() : AttributeSet,NEW,EXTENSIBLE;

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

    PROCEDURE (self:StyleContext$SmallAttributeSet) getAttribute*(p0 : java_lang.Object) : java_lang.Object,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$SmallAttributeSet) getAttributeCount*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$SmallAttributeSet) getAttributeNames*() : java_util.Enumeration,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$SmallAttributeSet) getResolveParent*() : AttributeSet,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$SmallAttributeSet) hashCode*() : INTEGER,EXTENSIBLE;

    PROCEDURE (self:StyleContext$SmallAttributeSet) isDefined*(p0 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$SmallAttributeSet) isEqual*(p0 : AttributeSet) : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext$SmallAttributeSet) toString*() : java_lang.String,EXTENSIBLE;

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

    PROCEDURE (self:StyleContext) addAttributes*(p0 : AttributeSet;
                                                 p1 : AttributeSet) : AttributeSet,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext) addChangeListener*(p0 : javax_swing_event.ChangeListener),NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext) addStyle*(p0 : java_lang.String;
                                            p1 : Style) : Style,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext) createLargeAttributeSet!(p0 : AttributeSet) : MutableAttributeSet,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext) createSmallAttributeSet!(p0 : AttributeSet) : StyleContext$SmallAttributeSet,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext) getBackground*(p0 : AttributeSet) : java_awt.Color,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext) getCompressionThreshold!() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext) getEmptySet*() : AttributeSet,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext) getFont*(p0 : java_lang.String;
                                           p1 : INTEGER;
                                           p2 : INTEGER) : java_awt.Font,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext) getFont*(p0 : AttributeSet) : java_awt.Font,NEW,EXTENSIBLE;

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

    PROCEDURE (self:StyleContext) getForeground*(p0 : AttributeSet) : java_awt.Color,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext) getStyle*(p0 : java_lang.String) : Style,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext) getStyleNames*() : java_util.Enumeration,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext) readAttributes*(p0 : java_io.ObjectInputStream;
                                                  p1 : MutableAttributeSet),NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext) reclaim*(p0 : AttributeSet),NEW,EXTENSIBLE;

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

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

    PROCEDURE (self:StyleContext) removeAttributes*(p0 : AttributeSet;
                                                    p1 : AttributeSet) : AttributeSet,NEW,EXTENSIBLE;

    PROCEDURE (self:StyleContext) removeChangeListener*(p0 : javax_swing_event.ChangeListener),NEW,EXTENSIBLE;

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

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

    PROCEDURE (self:StyleContext) writeAttributes*(p0 : java_io.ObjectOutputStream;
                                                   p1 : AttributeSet),NEW,EXTENSIBLE;

    PROCEDURE (self:StyledDocument) addStyle*(p0 : java_lang.String;
                                              p1 : Style) : Style,NEW,ABSTRACT;

    PROCEDURE (self:StyledDocument) getBackground*(p0 : AttributeSet) : java_awt.Color,NEW,ABSTRACT;

    PROCEDURE (self:StyledDocument) getCharacterElement*(p0 : INTEGER) : Element,NEW,ABSTRACT;

    PROCEDURE (self:StyledDocument) getFont*(p0 : AttributeSet) : java_awt.Font,NEW,ABSTRACT;

    PROCEDURE (self:StyledDocument) getForeground*(p0 : AttributeSet) : java_awt.Color,NEW,ABSTRACT;

    PROCEDURE (self:StyledDocument) getLogicalStyle*(p0 : INTEGER) : Style,NEW,ABSTRACT;

    PROCEDURE (self:StyledDocument) getParagraphElement*(p0 : INTEGER) : Element,NEW,ABSTRACT;

    PROCEDURE (self:StyledDocument) getStyle*(p0 : java_lang.String) : Style,NEW,ABSTRACT;

    PROCEDURE (self:StyledDocument) removeStyle*(p0 : java_lang.String),NEW,ABSTRACT;

    PROCEDURE (self:StyledDocument) setCharacterAttributes*(p0 : INTEGER;
                                                            p1 : INTEGER;
                                                            p2 : AttributeSet;
                                                            p3 : BOOLEAN),NEW,ABSTRACT;

    PROCEDURE (self:StyledDocument) setLogicalStyle*(p0 : INTEGER;
                                                     p1 : Style),NEW,ABSTRACT;

    PROCEDURE (self:StyledDocument) setParagraphAttributes*(p0 : INTEGER;
                                                            p1 : INTEGER;
                                                            p2 : AttributeSet;
                                                            p3 : BOOLEAN),NEW,ABSTRACT;

    PROCEDURE (self:StyledEditorKit$AlignmentAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;

    PROCEDURE (self:StyledEditorKit$BoldAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;

    PROCEDURE (self:StyledEditorKit$FontFamilyAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;

    PROCEDURE (self:StyledEditorKit$FontSizeAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;

    PROCEDURE (self:StyledEditorKit$ForegroundAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;

    PROCEDURE (self:StyledEditorKit$ItalicAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;

    PROCEDURE (self:StyledEditorKit$StyledTextAction) getEditor!(p0 : java_awt_event.ActionEvent) : javax_swing.JEditorPane,NEW;

    PROCEDURE (self:StyledEditorKit$StyledTextAction) getStyledDocument!(p0 : javax_swing.JEditorPane) : StyledDocument,NEW;

    PROCEDURE (self:StyledEditorKit$StyledTextAction) getStyledEditorKit!(p0 : javax_swing.JEditorPane) : StyledEditorKit,NEW;

    PROCEDURE (self:StyledEditorKit$StyledTextAction) setCharacterAttributes!(p0 : javax_swing.JEditorPane;
                                                                              p1 : AttributeSet;
                                                                              p2 : BOOLEAN),NEW;

    PROCEDURE (self:StyledEditorKit$StyledTextAction) setParagraphAttributes!(p0 : javax_swing.JEditorPane;
                                                                              p1 : AttributeSet;
                                                                              p2 : BOOLEAN),NEW;

    PROCEDURE (self:StyledEditorKit$UnderlineAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;

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

    PROCEDURE (self:StyledEditorKit) createDefaultDocument*() : Document,EXTENSIBLE;

    PROCEDURE (self:StyledEditorKit) createInputAttributes!(p0 : Element;
                                                            p1 : MutableAttributeSet),NEW,EXTENSIBLE;

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

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

    PROCEDURE (self:StyledEditorKit) getCharacterAttributeRun*() : Element,NEW,EXTENSIBLE;

    PROCEDURE (self:StyledEditorKit) getInputAttributes*() : MutableAttributeSet,NEW,EXTENSIBLE;

    PROCEDURE (self:StyledEditorKit) getViewFactory*() : ViewFactory,EXTENSIBLE;

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

    PROCEDURE (self:TabableView) getPartialSpan*(p0 : INTEGER;
                                                 p1 : INTEGER) : SHORTREAL,NEW,ABSTRACT;

    PROCEDURE (self:TabableView) getTabbedSpan*(p0 : SHORTREAL;
                                                p1 : TabExpander) : SHORTREAL,NEW,ABSTRACT;

    PROCEDURE (self:TabExpander) nextTabStop*(p0 : SHORTREAL;
                                              p1 : INTEGER) : SHORTREAL,NEW,ABSTRACT;

    PROCEDURE (self:TableView$TableCell) getColumnCount*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:TableView$TableCell) getGridColumn*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:TableView$TableCell) getGridRow*() : INTEGER,NEW,EXTENSIBLE;

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

    PROCEDURE (self:TableView$TableCell) getRowCount*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:TableView$TableCell) setGridLocation*(p0 : INTEGER;
                                                          p1 : INTEGER),NEW,EXTENSIBLE;

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

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

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

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

    PROCEDURE (self:TableView$TableRow) loadChildren!(p0 : ViewFactory),EXTENSIBLE;

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

    PROCEDURE (self:TableView) createTableCell!(p0 : Element) : TableView$TableCell,NEW,EXTENSIBLE;

    PROCEDURE (self:TableView) createTableRow!(p0 : Element) : TableView$TableRow,NEW,EXTENSIBLE;

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

    PROCEDURE (self:TableView) layoutColumns!(    p0 : INTEGER;
                                              IN  p1 : ARRAY OF INTEGER;
                                              IN  p2 : ARRAY OF INTEGER;
                                              IN  p3 : ARRAY OF javax_swing.SizeRequirements),NEW,EXTENSIBLE;

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

    PROCEDURE (self:TableView) loadChildren!(p0 : ViewFactory),EXTENSIBLE;

    PROCEDURE (self:TabSet) getTab*(p0 : INTEGER) : TabStop,NEW,EXTENSIBLE;

    PROCEDURE (self:TabSet) getTabAfter*(p0 : SHORTREAL) : TabStop,NEW,EXTENSIBLE;

    PROCEDURE (self:TabSet) getTabCount*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:TabSet) getTabIndex*(p0 : TabStop) : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:TabSet) getTabIndexAfter*(p0 : SHORTREAL) : INTEGER,NEW,EXTENSIBLE;

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

    PROCEDURE (self:TabStop) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;

    PROCEDURE (self:TabStop) getAlignment*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:TabStop) getLeader*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:TabStop) getPosition*() : SHORTREAL,NEW,EXTENSIBLE;

    PROCEDURE (self:TabStop) hashCode*() : INTEGER,EXTENSIBLE;

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

    PROCEDURE (self:TextAction) getFocusedComponent!() : JTextComponent,NEW;

    PROCEDURE (self:TextAction) getTextComponent!(p0 : java_awt_event.ActionEvent) : JTextComponent,NEW;

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

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

    PROCEDURE (self:View) createFragment*(p0 : INTEGER;
                                          p1 : INTEGER) : View,NEW,EXTENSIBLE;

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

    PROCEDURE (self:View) getAttributes*() : AttributeSet,NEW,EXTENSIBLE;

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

    PROCEDURE (self:View) getChildAllocation*(p0 : INTEGER;
                                              p1 : java_awt.Shape) : java_awt.Shape,NEW,EXTENSIBLE;

    PROCEDURE (self:View) getContainer*() : java_awt.Container,NEW,EXTENSIBLE;

    PROCEDURE (self:View) getDocument*() : Document,NEW,EXTENSIBLE;

    PROCEDURE (self:View) getElement*() : Element,NEW,EXTENSIBLE;

    PROCEDURE (self:View) getEndOffset*() : INTEGER,NEW,EXTENSIBLE;

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

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

    PROCEDURE (self:View) getNextVisualPositionFrom*(    p0 : INTEGER;
                                                         p1 : Position$Bias;
                                                         p2 : java_awt.Shape;
                                                         p3 : INTEGER;
                                                     IN  p4 : ARRAY OF Position$Bias) : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:View) getParent*() : View,NEW,EXTENSIBLE;

    PROCEDURE (self:View) getPreferredSpan*(p0 : INTEGER) : SHORTREAL,NEW,ABSTRACT;

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

    PROCEDURE (self:View) getStartOffset*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:View) getView*(p0 : INTEGER) : View,NEW,EXTENSIBLE;

    PROCEDURE (self:View) getViewCount*() : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:View) getViewFactory*() : ViewFactory,NEW,EXTENSIBLE;

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

    PROCEDURE (self:View) isVisible*() : BOOLEAN,NEW,EXTENSIBLE;

    PROCEDURE (self:View) modelToView*(p0 : INTEGER;
                                       p1 : java_awt.Shape) : java_awt.Shape,NEW,EXTENSIBLE;

    PROCEDURE (self:View) modelToView*(p0 : INTEGER;
                                       p1 : java_awt.Shape;
                                       p2 : Position$Bias) : java_awt.Shape,NEW,ABSTRACT;

    PROCEDURE (self:View) modelToView*(p0 : INTEGER;
                                       p1 : Position$Bias;
                                       p2 : INTEGER;
                                       p3 : Position$Bias;
                                       p4 : java_awt.Shape) : java_awt.Shape,NEW,EXTENSIBLE;

    PROCEDURE (self:View) paint*(p0 : java_awt.Graphics;
                                 p1 : java_awt.Shape),NEW,ABSTRACT;

    PROCEDURE (self:View) preferenceChanged*(p0 : View;
                                             p1 : BOOLEAN;
                                             p2 : BOOLEAN),NEW,EXTENSIBLE;

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

    PROCEDURE (self:View) setParent*(p0 : View),NEW,EXTENSIBLE;

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

    PROCEDURE (self:View) viewToModel*(p0 : SHORTREAL;
                                       p1 : SHORTREAL;
                                       p2 : java_awt.Shape) : INTEGER,NEW,EXTENSIBLE;

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

    PROCEDURE (self:ViewFactory) create*(p0 : Element) : View,NEW,ABSTRACT;

    PROCEDURE (self:WrappedPlainView) calculateBreakPosition!(p0 : INTEGER;
                                                              p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE;

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

    PROCEDURE (self:WrappedPlainView) drawLine!(p0 : INTEGER;
                                                p1 : INTEGER;
                                                p2 : java_awt.Graphics;
                                                p3 : INTEGER;
                                                p4 : INTEGER),NEW,EXTENSIBLE;

    PROCEDURE (self:WrappedPlainView) drawSelectedText!(p0 : java_awt.Graphics;
                                                        p1 : INTEGER;
                                                        p2 : INTEGER;
                                                        p3 : INTEGER;
                                                        p4 : INTEGER) : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:WrappedPlainView) drawUnselectedText!(p0 : java_awt.Graphics;
                                                          p1 : INTEGER;
                                                          p2 : INTEGER;
                                                          p3 : INTEGER;
                                                          p4 : INTEGER) : INTEGER,NEW,EXTENSIBLE;

    PROCEDURE (self:WrappedPlainView) getLineBuffer!() : Segment,NEW;

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

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

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

    PROCEDURE (self:WrappedPlainView) getTabSize!() : INTEGER,NEW,EXTENSIBLE;

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

    PROCEDURE (self:WrappedPlainView) loadChildren!(p0 : ViewFactory),EXTENSIBLE;

    PROCEDURE (self:WrappedPlainView) nextTabStop*(p0 : SHORTREAL;
                                                   p1 : INTEGER) : SHORTREAL,NEW,EXTENSIBLE;

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

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

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

    END javax_swing_text.