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.