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.