FOREIGN MODULE javax_swing_text; IMPORT java_security := "java.security", java_lang := "java.lang", java_io := "java.io", javax_swing_tree := "javax.swing.tree", java_util := "java.util", javax_swing_undo := "javax.swing.undo", javax_swing_event := "javax.swing.event", java_awt := "java.awt", javax_swing := "javax.swing", java_awt_event := "java.awt.event", sun_awt := "sun.awt", java_util_logging := "java.util.logging", java_awt_peer := "java.awt.peer", java_beans := "java.beans", javax_accessibility := "javax.accessibility", sun_java2d_pipe := "sun.java2d.pipe", java_awt_image := "java.awt.image", java_awt_dnd := "java.awt.dnd", java_awt_im := "java.awt.im", java_text := "java.text", java_awt_datatransfer := "java.awt.datatransfer", java_awt_geom := "java.awt.geom", java_lang_ref := "java.lang.ref", javax_swing_plaf_basic := "javax.swing.plaf.basic", javax_swing_plaf := "javax.swing.plaf", java_awt_font := "java.awt.font", java_util_concurrent := "java.util.concurrent", java_awt_print := "java.awt.print", javax_print_attribute := "javax.print.attribute", sun_swing := "sun.swing", javax_swing_border := "javax.swing.border", javax_print := "javax.print", sun_nio_ch := "sun.nio.ch", sun_misc := "sun.misc"; TYPE AbstractDocument* = POINTER TO ABSTRACT RECORD (java_lang.Object + Document + java_io.Serializable) (* Typebound Procedures *) listenerList! : javax_swing_event.EventListenerList; STATIC BAD_LOCATION! = "document location failure"; BidiElementName* = "bidi level"; ContentElementName* = "content"; ElementNameAttribute* = "$ename"; ParagraphElementName* = "paragraph"; SectionElementName* = "section"; PROCEDURE Init!(p0 : AbstractDocument$Content; p1 : AbstractDocument$AttributeContext) : AbstractDocument,CONSTRUCTOR; PROCEDURE Init!(p0 : AbstractDocument$Content) : AbstractDocument,CONSTRUCTOR; END; AbstractDocument$AbstractElement* = POINTER TO ABSTRACT RECORD (java_lang.Object + Element + MutableAttributeSet + java_io.Serializable + javax_swing_tree.TreeNode) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : AbstractDocument; p1 : Element; p2 : AttributeSet) : AbstractDocument$AbstractElement,CONSTRUCTOR; END; AbstractDocument$AttributeContext* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) END; AbstractDocument$BranchElement* = POINTER TO EXTENSIBLE RECORD (AbstractDocument$AbstractElement) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : AbstractDocument; p1 : Element; p2 : AttributeSet) : AbstractDocument$BranchElement,CONSTRUCTOR; END; AbstractDocument$Content* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) END; AbstractDocument$DefaultDocumentEvent* = POINTER TO EXTENSIBLE RECORD (javax_swing_undo.CompoundEdit + javax_swing_event.DocumentEvent) (* Typebound Procedures *) 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) (* Typebound Procedures *) 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) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : AbstractDocument; p1 : Element; p2 : AttributeSet; p3 : INTEGER; p4 : INTEGER) : AbstractDocument$LeafElement,CONSTRUCTOR; END; AbstractWriter* = POINTER TO ABSTRACT RECORD (java_lang.Object) (* Typebound Procedures *) STATIC NEWLINE! = 10; PROCEDURE Init!(p0 : java_io.Writer; p1 : Element) : AbstractWriter,CONSTRUCTOR; PROCEDURE Init!(p0 : java_io.Writer; p1 : Element; p2 : INTEGER; p3 : INTEGER) : AbstractWriter,CONSTRUCTOR; PROCEDURE Init!(p0 : java_io.Writer; p1 : Document) : AbstractWriter,CONSTRUCTOR; PROCEDURE Init!(p0 : java_io.Writer; p1 : Document; p2 : INTEGER; p3 : INTEGER) : AbstractWriter,CONSTRUCTOR; END; AsyncBoxView* = POINTER TO EXTENSIBLE RECORD (View) (* Typebound Procedures *) locator! : AsyncBoxView$ChildLocator; STATIC PROCEDURE Init*(p0 : Element; p1 : INTEGER) : AsyncBoxView,CONSTRUCTOR; END; AsyncBoxView$ChildLocator* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) (* Typebound Procedures *) lastValidOffset! : AsyncBoxView$ChildState; lastAlloc! : java_awt.Rectangle; childAlloc! : java_awt.Rectangle; STATIC PROCEDURE Init*(p0 : AsyncBoxView) : AsyncBoxView$ChildLocator,CONSTRUCTOR; END; AsyncBoxView$ChildState* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_lang.Runnable) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : AsyncBoxView; p1 : View) : AsyncBoxView$ChildState,CONSTRUCTOR; END; AttributeSet* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) STATIC NameAttribute* : java_lang.Object; ResolveAttribute* : java_lang.Object; 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; BadLocationException* = POINTER TO EXTENSIBLE RECORD (java_lang.Exception) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : java_lang.String; p1 : INTEGER) : BadLocationException,CONSTRUCTOR; END; BoxView* = POINTER TO EXTENSIBLE RECORD (CompositeView) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : Element; p1 : INTEGER) : BoxView,CONSTRUCTOR; END; Caret* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) END; ChangedCharSetException* = POINTER TO EXTENSIBLE RECORD (java_io.IOException) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : java_lang.String; p1 : BOOLEAN) : ChangedCharSetException,CONSTRUCTOR; END; ComponentView* = POINTER TO EXTENSIBLE RECORD (View) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : Element) : ComponentView,CONSTRUCTOR; END; CompositeView* = POINTER TO ABSTRACT RECORD (View) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : Element) : CompositeView,CONSTRUCTOR; END; DateFormatter* = POINTER TO EXTENSIBLE RECORD (InternationalFormatter) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : java_text.DateFormat) : DateFormatter,CONSTRUCTOR; PROCEDURE Init*() : DateFormatter,CONSTRUCTOR; END; DefaultCaret* = POINTER TO EXTENSIBLE RECORD (java_awt.Rectangle + Caret + java_awt_event.FocusListener + java_awt_event.MouseListener + java_awt_event.MouseMotionListener) (* Typebound Procedures *) listenerList! : javax_swing_event.EventListenerList; changeEvent! : javax_swing_event.ChangeEvent; STATIC ALWAYS_UPDATE* = 2; NEVER_UPDATE* = 1; UPDATE_WHEN_ON_EDT* = 0; PROCEDURE Init*() : DefaultCaret,CONSTRUCTOR; END; DefaultEditorKit* = POINTER TO EXTENSIBLE RECORD (EditorKit) (* Typebound Procedures *) STATIC backwardAction* = "caret-backward"; beepAction* = "beep"; beginAction* = "caret-begin"; beginLineAction* = "caret-begin-line"; beginParagraphAction* = "caret-begin-paragraph"; beginWordAction* = "caret-begin-word"; copyAction* = "copy-to-clipboard"; cutAction* = "cut-to-clipboard"; defaultKeyTypedAction* = "default-typed"; deleteNextCharAction* = "delete-next"; deleteNextWordAction* = "delete-next-word"; deletePrevCharAction* = "delete-previous"; deletePrevWordAction* = "delete-previous-word"; downAction* = "caret-down"; endAction* = "caret-end"; endLineAction* = "caret-end-line"; EndOfLineStringProperty* = "__EndOfLine__"; endParagraphAction* = "caret-end-paragraph"; endWordAction* = "caret-end-word"; forwardAction* = "caret-forward"; insertBreakAction* = "insert-break"; insertContentAction* = "insert-content"; insertTabAction* = "insert-tab"; nextWordAction* = "caret-next-word"; pageDownAction* = "page-down"; pageUpAction* = "page-up"; pasteAction* = "paste-from-clipboard"; previousWordAction* = "caret-previous-word"; readOnlyAction* = "set-read-only"; selectAllAction* = "select-all"; selectionBackwardAction* = "selection-backward"; selectionBeginAction* = "selection-begin"; selectionBeginLineAction* = "selection-begin-line"; selectionBeginParagraphAction* = "selection-begin-paragraph"; selectionBeginWordAction* = "selection-begin-word"; selectionDownAction* = "selection-down"; selectionEndAction* = "selection-end"; selectionEndLineAction* = "selection-end-line"; selectionEndParagraphAction* = "selection-end-paragraph"; selectionEndWordAction* = "selection-end-word"; selectionForwardAction* = "selection-forward"; selectionNextWordAction* = "selection-next-word"; selectionPreviousWordAction* = "selection-previous-word"; selectionUpAction* = "selection-up"; selectLineAction* = "select-line"; selectParagraphAction* = "select-paragraph"; selectWordAction* = "select-word"; upAction* = "caret-up"; writableAction* = "set-writable"; PROCEDURE Init*() : DefaultEditorKit,CONSTRUCTOR; END; DefaultEditorKit$BeepAction* = POINTER TO EXTENSIBLE RECORD (TextAction) (* Typebound Procedures *) STATIC PROCEDURE Init*() : DefaultEditorKit$BeepAction,CONSTRUCTOR; END; DefaultEditorKit$CopyAction* = POINTER TO EXTENSIBLE RECORD (TextAction) (* Typebound Procedures *) STATIC PROCEDURE Init*() : DefaultEditorKit$CopyAction,CONSTRUCTOR; END; DefaultEditorKit$CutAction* = POINTER TO EXTENSIBLE RECORD (TextAction) (* Typebound Procedures *) STATIC PROCEDURE Init*() : DefaultEditorKit$CutAction,CONSTRUCTOR; END; DefaultEditorKit$DefaultKeyTypedAction* = POINTER TO EXTENSIBLE RECORD (TextAction) (* Typebound Procedures *) STATIC PROCEDURE Init*() : DefaultEditorKit$DefaultKeyTypedAction,CONSTRUCTOR; END; DefaultEditorKit$InsertBreakAction* = POINTER TO EXTENSIBLE RECORD (TextAction) (* Typebound Procedures *) STATIC PROCEDURE Init*() : DefaultEditorKit$InsertBreakAction,CONSTRUCTOR; END; DefaultEditorKit$InsertContentAction* = POINTER TO EXTENSIBLE RECORD (TextAction) (* Typebound Procedures *) STATIC PROCEDURE Init*() : DefaultEditorKit$InsertContentAction,CONSTRUCTOR; END; DefaultEditorKit$InsertTabAction* = POINTER TO EXTENSIBLE RECORD (TextAction) (* Typebound Procedures *) STATIC PROCEDURE Init*() : DefaultEditorKit$InsertTabAction,CONSTRUCTOR; END; DefaultEditorKit$PasteAction* = POINTER TO EXTENSIBLE RECORD (TextAction) (* Typebound Procedures *) STATIC PROCEDURE Init*() : DefaultEditorKit$PasteAction,CONSTRUCTOR; END; DefaultFormatter* = POINTER TO EXTENSIBLE RECORD (javax_swing.JFormattedTextField$AbstractFormatter + java_lang.Cloneable + java_io.Serializable) (* Typebound Procedures *) STATIC PROCEDURE Init*() : DefaultFormatter,CONSTRUCTOR; END; DefaultFormatterFactory* = POINTER TO EXTENSIBLE RECORD (javax_swing.JFormattedTextField$AbstractFormatterFactory + java_io.Serializable) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : javax_swing.JFormattedTextField$AbstractFormatter; p1 : javax_swing.JFormattedTextField$AbstractFormatter; p2 : javax_swing.JFormattedTextField$AbstractFormatter) : DefaultFormatterFactory,CONSTRUCTOR; PROCEDURE Init*(p0 : javax_swing.JFormattedTextField$AbstractFormatter; p1 : javax_swing.JFormattedTextField$AbstractFormatter; p2 : javax_swing.JFormattedTextField$AbstractFormatter; p3 : javax_swing.JFormattedTextField$AbstractFormatter) : DefaultFormatterFactory,CONSTRUCTOR; PROCEDURE Init*(p0 : javax_swing.JFormattedTextField$AbstractFormatter; p1 : javax_swing.JFormattedTextField$AbstractFormatter) : DefaultFormatterFactory,CONSTRUCTOR; PROCEDURE Init*() : DefaultFormatterFactory,CONSTRUCTOR; PROCEDURE Init*(p0 : javax_swing.JFormattedTextField$AbstractFormatter) : DefaultFormatterFactory,CONSTRUCTOR; END; DefaultHighlighter* = POINTER TO EXTENSIBLE RECORD (LayeredHighlighter) (* Typebound Procedures *) STATIC DefaultPainter* : LayeredHighlighter$LayerPainter; PROCEDURE Init*() : DefaultHighlighter,CONSTRUCTOR; END; DefaultHighlighter$DefaultHighlightPainter* = POINTER TO EXTENSIBLE RECORD (LayeredHighlighter$LayerPainter) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : java_awt.Color) : DefaultHighlighter$DefaultHighlightPainter,CONSTRUCTOR; END; DefaultStyledDocument* = POINTER TO EXTENSIBLE RECORD (AbstractDocument + StyledDocument) (* Typebound Procedures *) buffer! : DefaultStyledDocument$ElementBuffer; STATIC BUFFER_SIZE_DEFAULT* = 4096; PROCEDURE Init*() : DefaultStyledDocument,CONSTRUCTOR; PROCEDURE Init*(p0 : StyleContext) : DefaultStyledDocument,CONSTRUCTOR; PROCEDURE Init*(p0 : AbstractDocument$Content; p1 : StyleContext) : DefaultStyledDocument,CONSTRUCTOR; END; DefaultStyledDocument$AttributeUndoableEdit* = POINTER TO EXTENSIBLE RECORD (javax_swing_undo.AbstractUndoableEdit) (* Typebound Procedures *) 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) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : DefaultStyledDocument; p1 : Element) : DefaultStyledDocument$ElementBuffer,CONSTRUCTOR; END; DefaultStyledDocument$ElementSpec* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) (* Typebound Procedures *) STATIC ContentType* = 3; EndTagType* = 2; JoinFractureDirection* = 7; JoinNextDirection* = 5; JoinPreviousDirection* = 4; OriginateDirection* = 6; StartTagType* = 1; PROCEDURE Init*( p0 : AttributeSet; p1 : SHORTINT; IN p2 : ARRAY OF CHAR; p3 : INTEGER; p4 : INTEGER) : DefaultStyledDocument$ElementSpec,CONSTRUCTOR; PROCEDURE Init*(p0 : AttributeSet; p1 : SHORTINT; p2 : INTEGER) : DefaultStyledDocument$ElementSpec,CONSTRUCTOR; PROCEDURE Init*(p0 : AttributeSet; p1 : SHORTINT) : DefaultStyledDocument$ElementSpec,CONSTRUCTOR; END; DefaultStyledDocument$SectionElement* = POINTER TO EXTENSIBLE RECORD (AbstractDocument$BranchElement) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : DefaultStyledDocument) : DefaultStyledDocument$SectionElement,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) (* Typebound Procedures *) STATIC StreamDescriptionProperty* = "stream"; TitleProperty* = "title"; END; DocumentFilter* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE Init*() : DocumentFilter,CONSTRUCTOR; END; DocumentFilter$FilterBypass* = POINTER TO ABSTRACT RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE Init*() : DocumentFilter$FilterBypass,CONSTRUCTOR; END; EditorKit* = POINTER TO ABSTRACT RECORD (java_lang.Object + java_lang.Cloneable + java_io.Serializable) (* Typebound Procedures *) STATIC PROCEDURE Init*() : EditorKit,CONSTRUCTOR; END; Element* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) END; ElementIterator* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_lang.Cloneable) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : Element) : ElementIterator,CONSTRUCTOR; PROCEDURE Init*(p0 : Document) : ElementIterator,CONSTRUCTOR; END; FieldView* = POINTER TO EXTENSIBLE RECORD (PlainView) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : Element) : FieldView,CONSTRUCTOR; END; FlowView* = POINTER TO ABSTRACT RECORD (BoxView) (* Typebound Procedures *) layoutSpan! : INTEGER; layoutPool! : View; strategy! : FlowView$FlowStrategy; STATIC PROCEDURE Init*(p0 : Element; p1 : INTEGER) : FlowView,CONSTRUCTOR; END; FlowView$FlowStrategy* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE Init*() : FlowView$FlowStrategy,CONSTRUCTOR; END; GapContent* = POINTER TO EXTENSIBLE RECORD (GapVector + AbstractDocument$Content + java_io.Serializable) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : INTEGER) : GapContent,CONSTRUCTOR; PROCEDURE Init*() : GapContent,CONSTRUCTOR; END; GlyphView* = POINTER TO EXTENSIBLE RECORD (View + TabableView + java_lang.Cloneable) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : Element) : GlyphView,CONSTRUCTOR; END; GlyphView$GlyphPainter* = POINTER TO ABSTRACT RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE Init*() : GlyphView$GlyphPainter,CONSTRUCTOR; END; Highlighter* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) END; Highlighter$Highlight* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) END; Highlighter$HighlightPainter* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) END; IconView* = POINTER TO EXTENSIBLE RECORD (View) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : Element) : IconView,CONSTRUCTOR; END; InternationalFormatter* = POINTER TO EXTENSIBLE RECORD (DefaultFormatter) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : java_text.Format) : InternationalFormatter,CONSTRUCTOR; PROCEDURE Init*() : InternationalFormatter,CONSTRUCTOR; END; JTextComponent* = POINTER TO ABSTRACT RECORD (javax_swing.JComponent + javax_swing.Scrollable + javax_accessibility.Accessible) (* Typebound Procedures *) STATIC DEFAULT_KEYMAP* = "default"; FOCUS_ACCELERATOR_KEY* = "focusAcceleratorKey"; PROCEDURE addKeymap*(p0 : java_lang.String; p1 : Keymap) : Keymap; PROCEDURE getKeymap*(p0 : java_lang.String) : Keymap; PROCEDURE Init*() : JTextComponent,CONSTRUCTOR; 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; JTextComponent$AccessibleJTextComponent* = POINTER TO EXTENSIBLE RECORD (javax_swing.JComponent$AccessibleJComponent + javax_accessibility.AccessibleText + javax_swing_event.CaretListener + javax_swing_event.DocumentListener + javax_accessibility.AccessibleAction + javax_accessibility.AccessibleEditableText + javax_accessibility.AccessibleExtendedText) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : JTextComponent) : JTextComponent$AccessibleJTextComponent,CONSTRUCTOR; END; JTextComponent$DropLocation* = POINTER TO RECORD (javax_swing.TransferHandler$DropLocation) (* Typebound Procedures *) 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; Keymap* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) END; LabelView* = POINTER TO EXTENSIBLE RECORD (GlyphView + TabableView) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : Element) : LabelView,CONSTRUCTOR; END; LayeredHighlighter* = POINTER TO ABSTRACT RECORD (java_lang.Object + Highlighter) (* Typebound Procedures *) STATIC PROCEDURE Init*() : LayeredHighlighter,CONSTRUCTOR; END; LayeredHighlighter$LayerPainter* = POINTER TO ABSTRACT RECORD (java_lang.Object + Highlighter$HighlightPainter) (* Typebound Procedures *) STATIC PROCEDURE Init*() : LayeredHighlighter$LayerPainter,CONSTRUCTOR; END; LayoutQueue* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE getDefaultQueue*() : LayoutQueue; PROCEDURE Init*() : LayoutQueue,CONSTRUCTOR; PROCEDURE setDefaultQueue*(p0 : LayoutQueue); END; MaskFormatter* = POINTER TO EXTENSIBLE RECORD (DefaultFormatter) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : java_lang.String) : MaskFormatter,CONSTRUCTOR; PROCEDURE Init*() : MaskFormatter,CONSTRUCTOR; END; MutableAttributeSet* = POINTER TO INTERFACE RECORD (java_lang.Object + AttributeSet) (* Typebound Procedures *) END; NavigationFilter* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE Init*() : NavigationFilter,CONSTRUCTOR; END; NavigationFilter$FilterBypass* = POINTER TO ABSTRACT RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE Init*() : NavigationFilter$FilterBypass,CONSTRUCTOR; END; NumberFormatter* = POINTER TO EXTENSIBLE RECORD (InternationalFormatter) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : java_text.NumberFormat) : NumberFormatter,CONSTRUCTOR; PROCEDURE Init*() : NumberFormatter,CONSTRUCTOR; END; ParagraphView* = POINTER TO EXTENSIBLE RECORD (FlowView + TabExpander) (* Typebound Procedures *) firstLineIndent! : INTEGER; STATIC PROCEDURE Init*(p0 : Element) : ParagraphView,CONSTRUCTOR; END; PasswordView* = POINTER TO EXTENSIBLE RECORD (FieldView) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : Element) : PasswordView,CONSTRUCTOR; END; PlainDocument* = POINTER TO EXTENSIBLE RECORD (AbstractDocument) (* Typebound Procedures *) STATIC lineLimitAttribute* = "lineLimit"; tabSizeAttribute* = "tabSize"; PROCEDURE Init*(p0 : AbstractDocument$Content) : PlainDocument,CONSTRUCTOR; PROCEDURE Init*() : PlainDocument,CONSTRUCTOR; END; PlainView* = POINTER TO EXTENSIBLE RECORD (View + TabExpander) (* Typebound Procedures *) metrics! : java_awt.FontMetrics; STATIC PROCEDURE Init*(p0 : Element) : PlainView,CONSTRUCTOR; END; Position* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) END; Position$Bias* = POINTER TO RECORD (java_lang.Object) (* Typebound Procedures *) STATIC Backward* : Position$Bias; Forward* : Position$Bias; END; Segment* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_lang.Cloneable + java_text.CharacterIterator + java_lang.CharSequence) (* Typebound Procedures *) array* : POINTER TO ARRAY OF CHAR; offset* : INTEGER; count* : INTEGER; STATIC PROCEDURE Init*(IN p0 : ARRAY OF CHAR; p1 : INTEGER; p2 : INTEGER) : Segment,CONSTRUCTOR; PROCEDURE Init*() : Segment,CONSTRUCTOR; END; SimpleAttributeSet* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + MutableAttributeSet + java_io.Serializable + java_lang.Cloneable) (* Typebound Procedures *) STATIC EMPTY* : AttributeSet; PROCEDURE Init*(p0 : AttributeSet) : SimpleAttributeSet,CONSTRUCTOR; PROCEDURE Init*() : SimpleAttributeSet,CONSTRUCTOR; END; StringContent* = POINTER TO RECORD (java_lang.Object + AbstractDocument$Content + java_io.Serializable) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : INTEGER) : StringContent,CONSTRUCTOR; PROCEDURE Init*() : StringContent,CONSTRUCTOR; END; Style* = POINTER TO INTERFACE RECORD (java_lang.Object + MutableAttributeSet) (* Typebound Procedures *) END; StyleConstants* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) (* Typebound Procedures *) STATIC Alignment* : java_lang.Object; ALIGN_CENTER* = 1; ALIGN_JUSTIFIED* = 3; ALIGN_LEFT* = 0; ALIGN_RIGHT* = 2; Background* : java_lang.Object; BidiLevel* : java_lang.Object; Bold* : java_lang.Object; ComponentAttribute* : java_lang.Object; ComponentElementName* = "component"; ComposedTextAttribute* : java_lang.Object; Family* : java_lang.Object; FirstLineIndent* : java_lang.Object; FontFamily* : java_lang.Object; FontSize* : java_lang.Object; Foreground* : java_lang.Object; IconAttribute* : java_lang.Object; IconElementName* = "icon"; Italic* : java_lang.Object; LeftIndent* : java_lang.Object; LineSpacing* : java_lang.Object; ModelAttribute* : java_lang.Object; NameAttribute* : java_lang.Object; Orientation* : java_lang.Object; ResolveAttribute* : java_lang.Object; RightIndent* : java_lang.Object; Size* : java_lang.Object; SpaceAbove* : java_lang.Object; SpaceBelow* : java_lang.Object; StrikeThrough* : java_lang.Object; Subscript* : java_lang.Object; Superscript* : java_lang.Object; TabSet* : java_lang.Object; Underline* : java_lang.Object; 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; StyleConstants$CharacterConstants* = POINTER TO EXTENSIBLE RECORD (StyleConstants + AttributeSet$CharacterAttribute) END; StyleConstants$ColorConstants* = POINTER TO EXTENSIBLE RECORD (StyleConstants + AttributeSet$ColorAttribute + AttributeSet$CharacterAttribute) END; StyleConstants$FontConstants* = POINTER TO EXTENSIBLE RECORD (StyleConstants + AttributeSet$FontAttribute + AttributeSet$CharacterAttribute) END; StyleConstants$ParagraphConstants* = POINTER TO EXTENSIBLE RECORD (StyleConstants + AttributeSet$ParagraphAttribute) END; StyleContext* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable + AbstractDocument$AttributeContext) (* Typebound Procedures *) STATIC DEFAULT_STYLE* = "default"; PROCEDURE getDefaultStyleContext*() : StyleContext; PROCEDURE getStaticAttribute*(p0 : java_lang.Object) : java_lang.Object; PROCEDURE getStaticAttributeKey*(p0 : java_lang.Object) : java_lang.Object; PROCEDURE Init*() : StyleContext,CONSTRUCTOR; PROCEDURE readAttributeSet*(p0 : java_io.ObjectInputStream; p1 : MutableAttributeSet); PROCEDURE registerStaticAttributeKey*(p0 : java_lang.Object); PROCEDURE writeAttributeSet*(p0 : java_io.ObjectOutputStream; p1 : AttributeSet); END; StyleContext$NamedStyle* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + Style + java_io.Serializable) (* Typebound Procedures *) listenerList! : javax_swing_event.EventListenerList; changeEvent! : javax_swing_event.ChangeEvent; STATIC PROCEDURE Init*(p0 : StyleContext) : StyleContext$NamedStyle,CONSTRUCTOR; PROCEDURE Init*(p0 : StyleContext; p1 : Style) : StyleContext$NamedStyle,CONSTRUCTOR; PROCEDURE Init*(p0 : StyleContext; p1 : java_lang.String; p2 : Style) : StyleContext$NamedStyle,CONSTRUCTOR; END; StyleContext$SmallAttributeSet* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + AttributeSet) (* Typebound Procedures *) 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; StyledDocument* = POINTER TO INTERFACE RECORD (java_lang.Object + Document) (* Typebound Procedures *) END; StyledEditorKit* = POINTER TO EXTENSIBLE RECORD (DefaultEditorKit) (* Typebound Procedures *) STATIC PROCEDURE Init*() : StyledEditorKit,CONSTRUCTOR; END; StyledEditorKit$AlignmentAction* = POINTER TO EXTENSIBLE RECORD (StyledEditorKit$StyledTextAction) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : java_lang.String; p1 : INTEGER) : StyledEditorKit$AlignmentAction,CONSTRUCTOR; END; StyledEditorKit$BoldAction* = POINTER TO EXTENSIBLE RECORD (StyledEditorKit$StyledTextAction) (* Typebound Procedures *) STATIC PROCEDURE Init*() : StyledEditorKit$BoldAction,CONSTRUCTOR; END; StyledEditorKit$FontFamilyAction* = POINTER TO EXTENSIBLE RECORD (StyledEditorKit$StyledTextAction) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String) : StyledEditorKit$FontFamilyAction,CONSTRUCTOR; END; StyledEditorKit$FontSizeAction* = POINTER TO EXTENSIBLE RECORD (StyledEditorKit$StyledTextAction) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : java_lang.String; p1 : INTEGER) : StyledEditorKit$FontSizeAction,CONSTRUCTOR; END; StyledEditorKit$ForegroundAction* = POINTER TO EXTENSIBLE RECORD (StyledEditorKit$StyledTextAction) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : java_lang.String; p1 : java_awt.Color) : StyledEditorKit$ForegroundAction,CONSTRUCTOR; END; StyledEditorKit$ItalicAction* = POINTER TO EXTENSIBLE RECORD (StyledEditorKit$StyledTextAction) (* Typebound Procedures *) STATIC PROCEDURE Init*() : StyledEditorKit$ItalicAction,CONSTRUCTOR; END; StyledEditorKit$StyledTextAction* = POINTER TO ABSTRACT RECORD (TextAction) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : java_lang.String) : StyledEditorKit$StyledTextAction,CONSTRUCTOR; END; StyledEditorKit$UnderlineAction* = POINTER TO EXTENSIBLE RECORD (StyledEditorKit$StyledTextAction) (* Typebound Procedures *) STATIC PROCEDURE Init*() : StyledEditorKit$UnderlineAction,CONSTRUCTOR; END; TabableView* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) END; TabExpander* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) END; TableView* = POINTER TO ABSTRACT RECORD (BoxView) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : Element) : TableView,CONSTRUCTOR; END; TableView$TableCell* = POINTER TO EXTENSIBLE RECORD (BoxView + TableView$GridCell) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : TableView; p1 : Element) : TableView$TableCell,CONSTRUCTOR; END; TableView$TableRow* = POINTER TO EXTENSIBLE RECORD (BoxView) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : TableView; p1 : Element) : TableView$TableRow,CONSTRUCTOR; END; TabSet* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable) (* Typebound Procedures *) STATIC PROCEDURE Init*(IN p0 : ARRAY OF TabStop) : TabSet,CONSTRUCTOR; END; TabStop* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable) (* Typebound Procedures *) STATIC ALIGN_BAR* = 5; ALIGN_CENTER* = 2; ALIGN_DECIMAL* = 4; ALIGN_LEFT* = 0; ALIGN_RIGHT* = 1; LEAD_DOTS* = 1; LEAD_EQUALS* = 5; LEAD_HYPHENS* = 2; LEAD_NONE* = 0; LEAD_THICKLINE* = 4; LEAD_UNDERLINE* = 3; PROCEDURE Init*(p0 : SHORTREAL; p1 : INTEGER; p2 : INTEGER) : TabStop,CONSTRUCTOR; PROCEDURE Init*(p0 : SHORTREAL) : TabStop,CONSTRUCTOR; END; TextAction* = POINTER TO ABSTRACT RECORD (javax_swing.AbstractAction) (* Typebound Procedures *) STATIC PROCEDURE augmentList*(IN p0 : ARRAY OF javax_swing.Action; IN p1 : ARRAY OF javax_swing.Action) : POINTER TO ARRAY OF javax_swing.Action; PROCEDURE Init*(p0 : java_lang.String) : TextAction,CONSTRUCTOR; END; Utilities* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) STATIC 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; PROCEDURE Init*() : Utilities,CONSTRUCTOR; END; View* = POINTER TO ABSTRACT RECORD (java_lang.Object + javax_swing.SwingConstants) (* Typebound Procedures *) STATIC BadBreakWeight* = 0; ExcellentBreakWeight* = 2000; ForcedBreakWeight* = 3000; GoodBreakWeight* = 1000; X_AXIS* = 0; Y_AXIS* = 1; PROCEDURE Init*(p0 : Element) : View,CONSTRUCTOR; END; ViewFactory* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) END; WrappedPlainView* = POINTER TO EXTENSIBLE RECORD (BoxView + TabExpander) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : Element; p1 : BOOLEAN) : WrappedPlainView,CONSTRUCTOR; PROCEDURE Init*(p0 : Element) : WrappedPlainView,CONSTRUCTOR; END; ZoneView* = POINTER TO EXTENSIBLE RECORD (BoxView) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : Element; p1 : INTEGER) : ZoneView,CONSTRUCTOR; END; 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) getDocumentFilter*() : DocumentFilter,NEW,EXTENSIBLE; PROCEDURE (self:AbstractDocument) getDocumentListeners*() : POINTER TO ARRAY OF javax_swing_event.DocumentListener,NEW,EXTENSIBLE; 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) getListeners*(p0 : java_lang.Class) : POINTER TO ARRAY OF java_util.EventListener,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) getUndoableEditListeners*() : POINTER TO ARRAY OF javax_swing_event.UndoableEditListener,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) replace*(p0 : INTEGER; p1 : INTEGER; p2 : java_lang.String; p3 : AttributeSet),NEW,EXTENSIBLE; PROCEDURE (self:AbstractDocument) setAsynchronousLoadPriority*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:AbstractDocument) setDocumentFilter*(p0 : DocumentFilter),NEW,EXTENSIBLE; PROCEDURE (self:AbstractDocument) setDocumentProperties*(p0 : java_util.Dictionary),NEW,EXTENSIBLE; PROCEDURE (self:AbstractDocument) writeLock!(),NEW; PROCEDURE (self:AbstractDocument) writeUnlock!(),NEW; 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) 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 : AttributeSet),NEW,EXTENSIBLE; PROCEDURE (self:AbstractDocument$AbstractElement) removeAttributes*(p0 : java_util.Enumeration),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:AbstractWriter) decrIndent!(),NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) getCanWrapLines!() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) getCurrentLineLength!() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) getDocument!() : Document,NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) getElementIterator!() : ElementIterator,NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) getEndOffset*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) getIndentLevel!() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) getIndentSpace!() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) getLineLength!() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) getLineSeparator*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) getStartOffset*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) getText!(p0 : Element) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) getWriter!() : java_io.Writer,NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) incrIndent!(),NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) indent!(),NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) inRange!(p0 : Element) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) isLineEmpty!() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) output!(IN p0 : ARRAY OF CHAR; p1 : INTEGER; p2 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) setCanWrapLines!(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) setCurrentLineLength!(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) setIndentSpace!(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) setLineLength!(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) setLineSeparator*(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) text!(p0 : Element),NEW,EXTENSIBLE; PROCEDURE (self:AbstractWriter) write!(),NEW,ABSTRACT; PROCEDURE (self:AbstractWriter) write!(IN p0 : ARRAY OF CHAR; p1 : INTEGER; p2 : INTEGER),NEW,EXTENSIBLE; 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:AbstractWriter) writeLineSeparator!(),NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) createChildState!(p0 : View) : AsyncBoxView$ChildState,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) flushRequirementChanges!(),NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) getBottomInset*() : SHORTREAL,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) getChildAllocation*(p0 : INTEGER; p1 : java_awt.Shape) : java_awt.Shape,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) getChildState!(p0 : INTEGER) : AsyncBoxView$ChildState,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) getEstimatedMajorSpan!() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) getInsetSpan!(p0 : INTEGER) : SHORTREAL,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) getLayoutQueue!() : LayoutQueue,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) getLeftInset*() : SHORTREAL,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) getMajorAxis*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) getMaximumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) getMinimumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) getMinorAxis*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) getNextVisualPositionFrom*( p0 : INTEGER; p1 : Position$Bias; p2 : java_awt.Shape; p3 : INTEGER; IN p4 : ARRAY OF Position$Bias) : INTEGER,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) getPreferredSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) getRightInset*() : SHORTREAL,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) getTopInset*() : SHORTREAL,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) getView*(p0 : INTEGER) : View,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) getViewCount*() : INTEGER,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) getViewIndex*(p0 : INTEGER; p1 : Position$Bias) : INTEGER,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) getViewIndexAtPosition!(p0 : INTEGER; p1 : Position$Bias) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) loadChildren!(p0 : ViewFactory),NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) majorRequirementChange!(p0 : AsyncBoxView$ChildState; p1 : SHORTREAL),NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) minorRequirementChange!(p0 : AsyncBoxView$ChildState),NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) modelToView*(p0 : INTEGER; p1 : java_awt.Shape; p2 : Position$Bias) : java_awt.Shape,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) paint*(p0 : java_awt.Graphics; p1 : java_awt.Shape),EXTENSIBLE; PROCEDURE (self:AsyncBoxView) preferenceChanged*(p0 : View; p1 : BOOLEAN; p2 : BOOLEAN),EXTENSIBLE; PROCEDURE (self:AsyncBoxView) replace*( p0 : INTEGER; p1 : INTEGER; IN p2 : ARRAY OF View),EXTENSIBLE; PROCEDURE (self:AsyncBoxView) setBottomInset*(p0 : SHORTREAL),NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) setEstimatedMajorSpan!(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) setLeftInset*(p0 : SHORTREAL),NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) setParent*(p0 : View),EXTENSIBLE; PROCEDURE (self:AsyncBoxView) setRightInset*(p0 : SHORTREAL),NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) setSize*(p0 : SHORTREAL; p1 : SHORTREAL),EXTENSIBLE; PROCEDURE (self:AsyncBoxView) setTopInset*(p0 : SHORTREAL),NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView) updateLayout!(p0 : javax_swing_event.DocumentEvent$ElementChange; p1 : javax_swing_event.DocumentEvent; p2 : java_awt.Shape),EXTENSIBLE; PROCEDURE (self:AsyncBoxView) viewToModel*( p0 : SHORTREAL; p1 : SHORTREAL; p2 : java_awt.Shape; IN p3 : ARRAY OF Position$Bias) : INTEGER,EXTENSIBLE; PROCEDURE (self:AsyncBoxView$ChildLocator) childChanged*(p0 : AsyncBoxView$ChildState),NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView$ChildLocator) getChildAllocation*(p0 : INTEGER; p1 : java_awt.Shape) : java_awt.Shape,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView$ChildLocator) getChildAllocation!(p0 : INTEGER) : java_awt.Shape,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView$ChildLocator) getViewIndexAtPoint*(p0 : SHORTREAL; p1 : SHORTREAL; p2 : java_awt.Shape) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView$ChildLocator) getViewIndexAtVisualOffset!(p0 : SHORTREAL) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView$ChildLocator) paintChildren*(p0 : java_awt.Graphics),NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView$ChildLocator) setAllocation!(p0 : java_awt.Shape),NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView$ChildState) getChildView*() : View,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView$ChildState) getMajorOffset*() : SHORTREAL,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView$ChildState) getMajorSpan*() : SHORTREAL,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView$ChildState) getMinorOffset*() : SHORTREAL,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView$ChildState) getMinorSpan*() : SHORTREAL,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView$ChildState) isLayoutValid*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView$ChildState) preferenceChanged*(p0 : BOOLEAN; p1 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView$ChildState) run*(),NEW,EXTENSIBLE; PROCEDURE (self:AsyncBoxView$ChildState) setMajorOffset*(p0 : SHORTREAL),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) childAllocation!(p0 : INTEGER; p1 : java_awt.Rectangle),EXTENSIBLE; PROCEDURE (self:BoxView) flipEastAndWestAtEnds!(p0 : INTEGER; p1 : Position$Bias) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:BoxView) forwardUpdate!(p0 : javax_swing_event.DocumentEvent$ElementChange; p1 : javax_swing_event.DocumentEvent; p2 : java_awt.Shape; p3 : ViewFactory),EXTENSIBLE; PROCEDURE (self:BoxView) getAlignment*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE; PROCEDURE (self:BoxView) getAxis*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:BoxView) getChildAllocation*(p0 : INTEGER; p1 : java_awt.Shape) : java_awt.Shape,EXTENSIBLE; PROCEDURE (self:BoxView) getHeight*() : INTEGER,NEW,EXTENSIBLE; 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,EXTENSIBLE; 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,EXTENSIBLE; PROCEDURE (self:BoxView) getViewAtPoint!(p0 : INTEGER; p1 : INTEGER; p2 : java_awt.Rectangle) : View,EXTENSIBLE; PROCEDURE (self:BoxView) getWidth*() : INTEGER,NEW,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) isLayoutValid!(p0 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:BoxView) layout!(p0 : INTEGER; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:BoxView) layoutChanged*(p0 : 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) replace*( p0 : INTEGER; p1 : INTEGER; IN p2 : ARRAY OF View),EXTENSIBLE; PROCEDURE (self:BoxView) setAxis*(p0 : INTEGER),NEW,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) viewToModel*( p0 : SHORTREAL; p1 : SHORTREAL; p2 : java_awt.Shape; IN p3 : ARRAY OF Position$Bias) : INTEGER,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,EXTENSIBLE; 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,EXTENSIBLE; 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,EXTENSIBLE; PROCEDURE (self:CompositeView) getTopInset!() : SHORTINT,NEW,EXTENSIBLE; 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) getViewIndex*(p0 : INTEGER; p1 : Position$Bias) : INTEGER,EXTENSIBLE; PROCEDURE (self:CompositeView) getViewIndexAtPosition!(p0 : INTEGER) : INTEGER,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 : Position$Bias; p2 : INTEGER; p3 : Position$Bias; p4 : java_awt.Shape) : java_awt.Shape,EXTENSIBLE; PROCEDURE (self:CompositeView) modelToView*(p0 : INTEGER; p1 : java_awt.Shape; p2 : Position$Bias) : java_awt.Shape,EXTENSIBLE; PROCEDURE (self:CompositeView) replace*( p0 : INTEGER; p1 : INTEGER; IN p2 : ARRAY OF View),EXTENSIBLE; PROCEDURE (self:CompositeView) setInsets!(p0 : SHORTINT; p1 : SHORTINT; p2 : SHORTINT; p3 : SHORTINT),NEW,EXTENSIBLE; PROCEDURE (self:CompositeView) setParagraphInsets!(p0 : AttributeSet),NEW,EXTENSIBLE; 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:DateFormatter) setFormat*(p0 : java_text.DateFormat),NEW,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) equals*(p0 : java_lang.Object) : BOOLEAN,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) getChangeListeners*() : POINTER TO ARRAY OF javax_swing_event.ChangeListener,NEW,EXTENSIBLE; PROCEDURE (self:DefaultCaret) getComponent!() : JTextComponent,NEW; PROCEDURE (self:DefaultCaret) getDot*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:DefaultCaret) getDotBias*() : Position$Bias,NEW,EXTENSIBLE; PROCEDURE (self:DefaultCaret) getListeners*(p0 : java_lang.Class) : POINTER TO ARRAY OF java_util.EventListener,NEW,EXTENSIBLE; PROCEDURE (self:DefaultCaret) getMagicCaretPosition*() : java_awt.Point,NEW,EXTENSIBLE; PROCEDURE (self:DefaultCaret) getMark*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:DefaultCaret) getMarkBias*() : Position$Bias,NEW,EXTENSIBLE; PROCEDURE (self:DefaultCaret) getSelectionPainter!() : Highlighter$HighlightPainter,NEW,EXTENSIBLE; PROCEDURE (self:DefaultCaret) getUpdatePolicy*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:DefaultCaret) install*(p0 : JTextComponent),NEW,EXTENSIBLE; PROCEDURE (self:DefaultCaret) isActive*() : BOOLEAN,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) moveDot*(p0 : INTEGER; p1 : Position$Bias),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) setDot*(p0 : INTEGER; p1 : Position$Bias),NEW,EXTENSIBLE; PROCEDURE (self:DefaultCaret) setMagicCaretPosition*(p0 : java_awt.Point),NEW,EXTENSIBLE; PROCEDURE (self:DefaultCaret) setSelectionVisible*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:DefaultCaret) setUpdatePolicy*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:DefaultCaret) setVisible*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:DefaultCaret) toString*() : java_lang.String,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.Reader; p1 : Document; p2 : INTEGER),EXTENSIBLE; PROCEDURE (self:DefaultEditorKit) read*(p0 : java_io.InputStream; p1 : Document; p2 : INTEGER),EXTENSIBLE; PROCEDURE (self:DefaultEditorKit) write*(p0 : java_io.Writer; p1 : Document; p2 : INTEGER; p3 : INTEGER),EXTENSIBLE; PROCEDURE (self:DefaultEditorKit) write*(p0 : java_io.OutputStream; p1 : Document; p2 : INTEGER; p3 : INTEGER),EXTENSIBLE; PROCEDURE (self:DefaultEditorKit$BeepAction) actionPerformed*(p0 : java_awt_event.ActionEvent),NEW,EXTENSIBLE; PROCEDURE (self:DefaultEditorKit$CopyAction) actionPerformed*(p0 : java_awt_event.ActionEvent),NEW,EXTENSIBLE; PROCEDURE (self:DefaultEditorKit$CutAction) actionPerformed*(p0 : java_awt_event.ActionEvent),NEW,EXTENSIBLE; PROCEDURE (self:DefaultEditorKit$DefaultKeyTypedAction) actionPerformed*(p0 : java_awt_event.ActionEvent),NEW,EXTENSIBLE; PROCEDURE (self:DefaultEditorKit$InsertBreakAction) actionPerformed*(p0 : java_awt_event.ActionEvent),NEW,EXTENSIBLE; PROCEDURE (self:DefaultEditorKit$InsertContentAction) actionPerformed*(p0 : java_awt_event.ActionEvent),NEW,EXTENSIBLE; PROCEDURE (self:DefaultEditorKit$InsertTabAction) actionPerformed*(p0 : java_awt_event.ActionEvent),NEW,EXTENSIBLE; PROCEDURE (self:DefaultEditorKit$PasteAction) actionPerformed*(p0 : java_awt_event.ActionEvent),NEW,EXTENSIBLE; PROCEDURE (self:DefaultFormatter) clone*() : java_lang.Object,EXTENSIBLE; PROCEDURE (self:DefaultFormatter) getAllowsInvalid*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:DefaultFormatter) getCommitsOnValidEdit*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:DefaultFormatter) getDocumentFilter!() : DocumentFilter,EXTENSIBLE; PROCEDURE (self:DefaultFormatter) getNavigationFilter!() : NavigationFilter,EXTENSIBLE; PROCEDURE (self:DefaultFormatter) getOverwriteMode*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:DefaultFormatter) getValueClass*() : java_lang.Class,NEW,EXTENSIBLE; PROCEDURE (self:DefaultFormatter) install*(p0 : javax_swing.JFormattedTextField),EXTENSIBLE; PROCEDURE (self:DefaultFormatter) setAllowsInvalid*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:DefaultFormatter) setCommitsOnValidEdit*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:DefaultFormatter) setOverwriteMode*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:DefaultFormatter) setValueClass*(p0 : java_lang.Class),NEW,EXTENSIBLE; PROCEDURE (self:DefaultFormatter) stringToValue*(p0 : java_lang.String) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:DefaultFormatter) valueToString*(p0 : java_lang.Object) : java_lang.String,EXTENSIBLE; PROCEDURE (self:DefaultFormatterFactory) getDefaultFormatter*() : javax_swing.JFormattedTextField$AbstractFormatter,NEW,EXTENSIBLE; PROCEDURE (self:DefaultFormatterFactory) getDisplayFormatter*() : javax_swing.JFormattedTextField$AbstractFormatter,NEW,EXTENSIBLE; PROCEDURE (self:DefaultFormatterFactory) getEditFormatter*() : javax_swing.JFormattedTextField$AbstractFormatter,NEW,EXTENSIBLE; PROCEDURE (self:DefaultFormatterFactory) getFormatter*(p0 : javax_swing.JFormattedTextField) : javax_swing.JFormattedTextField$AbstractFormatter,EXTENSIBLE; PROCEDURE (self:DefaultFormatterFactory) getNullFormatter*() : javax_swing.JFormattedTextField$AbstractFormatter,NEW,EXTENSIBLE; PROCEDURE (self:DefaultFormatterFactory) setDefaultFormatter*(p0 : javax_swing.JFormattedTextField$AbstractFormatter),NEW,EXTENSIBLE; PROCEDURE (self:DefaultFormatterFactory) setDisplayFormatter*(p0 : javax_swing.JFormattedTextField$AbstractFormatter),NEW,EXTENSIBLE; PROCEDURE (self:DefaultFormatterFactory) setEditFormatter*(p0 : javax_swing.JFormattedTextField$AbstractFormatter),NEW,EXTENSIBLE; PROCEDURE (self:DefaultFormatterFactory) setNullFormatter*(p0 : javax_swing.JFormattedTextField$AbstractFormatter),NEW,EXTENSIBLE; PROCEDURE (self:DefaultHighlighter) addHighlight*(p0 : INTEGER; p1 : INTEGER; p2 : Highlighter$HighlightPainter) : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:DefaultHighlighter) changeHighlight*(p0 : java_lang.Object; p1 : INTEGER; p2 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:DefaultHighlighter) deinstall*(p0 : JTextComponent),NEW,EXTENSIBLE; PROCEDURE (self:DefaultHighlighter) getDrawsLayeredHighlights*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:DefaultHighlighter) getHighlights*() : POINTER TO ARRAY OF Highlighter$Highlight,NEW,EXTENSIBLE; PROCEDURE (self:DefaultHighlighter) install*(p0 : JTextComponent),NEW,EXTENSIBLE; PROCEDURE (self:DefaultHighlighter) paint*(p0 : java_awt.Graphics),NEW,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*(),NEW,EXTENSIBLE; PROCEDURE (self:DefaultHighlighter) removeHighlight*(p0 : java_lang.Object),NEW,EXTENSIBLE; PROCEDURE (self:DefaultHighlighter) setDrawsLayeredHighlights*(p0 : BOOLEAN),NEW,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),NEW,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: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: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: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; p2 : Segment),NEW,ABSTRACT; PROCEDURE (self:Document) getText*(p0 : INTEGER; p1 : INTEGER) : java_lang.String,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:DocumentFilter) insertString*(p0 : DocumentFilter$FilterBypass; p1 : INTEGER; p2 : java_lang.String; p3 : AttributeSet),NEW,EXTENSIBLE; PROCEDURE (self:DocumentFilter) remove*(p0 : DocumentFilter$FilterBypass; p1 : INTEGER; p2 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:DocumentFilter) replace*(p0 : DocumentFilter$FilterBypass; p1 : INTEGER; p2 : INTEGER; p3 : java_lang.String; p4 : AttributeSet),NEW,EXTENSIBLE; PROCEDURE (self:DocumentFilter$FilterBypass) getDocument*() : Document,NEW,ABSTRACT; PROCEDURE (self:DocumentFilter$FilterBypass) insertString*(p0 : INTEGER; p1 : java_lang.String; p2 : AttributeSet),NEW,ABSTRACT; PROCEDURE (self:DocumentFilter$FilterBypass) remove*(p0 : INTEGER; p1 : INTEGER),NEW,ABSTRACT; PROCEDURE (self:DocumentFilter$FilterBypass) replace*(p0 : INTEGER; p1 : INTEGER; p2 : java_lang.String; p3 : AttributeSet),NEW,ABSTRACT; PROCEDURE (self:EditorKit) clone*() : java_lang.Object,EXTENSIBLE; 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.Reader; p1 : Document; p2 : INTEGER),NEW,ABSTRACT; PROCEDURE (self:EditorKit) read*(p0 : java_io.InputStream; p1 : Document; p2 : INTEGER),NEW,ABSTRACT; PROCEDURE (self:EditorKit) write*(p0 : java_io.Writer; p1 : Document; p2 : INTEGER; p3 : INTEGER),NEW,ABSTRACT; PROCEDURE (self:EditorKit) write*(p0 : java_io.OutputStream; 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:FlowView) calculateMinorAxisRequirements!(p0 : INTEGER; p1 : javax_swing.SizeRequirements) : javax_swing.SizeRequirements,EXTENSIBLE; PROCEDURE (self:FlowView) changedUpdate*(p0 : javax_swing_event.DocumentEvent; p1 : java_awt.Shape; p2 : ViewFactory),EXTENSIBLE; PROCEDURE (self:FlowView) createRow!() : View,NEW,ABSTRACT; PROCEDURE (self:FlowView) getFlowAxis*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:FlowView) getFlowSpan*(p0 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:FlowView) getFlowStart*(p0 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:FlowView) getViewIndexAtPosition!(p0 : INTEGER) : INTEGER,EXTENSIBLE; PROCEDURE (self:FlowView) insertUpdate*(p0 : javax_swing_event.DocumentEvent; p1 : java_awt.Shape; p2 : ViewFactory),EXTENSIBLE; PROCEDURE (self:FlowView) layout!(p0 : INTEGER; p1 : INTEGER),EXTENSIBLE; PROCEDURE (self:FlowView) loadChildren!(p0 : ViewFactory),EXTENSIBLE; PROCEDURE (self:FlowView) removeUpdate*(p0 : javax_swing_event.DocumentEvent; p1 : java_awt.Shape; p2 : ViewFactory),EXTENSIBLE; PROCEDURE (self:FlowView) setParent*(p0 : View),EXTENSIBLE; PROCEDURE (self:FlowView$FlowStrategy) adjustRow!(p0 : FlowView; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:FlowView$FlowStrategy) changedUpdate*(p0 : FlowView; p1 : javax_swing_event.DocumentEvent; p2 : java_awt.Rectangle),NEW,EXTENSIBLE; PROCEDURE (self:FlowView$FlowStrategy) createView!(p0 : FlowView; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER) : View,NEW,EXTENSIBLE; PROCEDURE (self:FlowView$FlowStrategy) getLogicalView!(p0 : FlowView) : View,NEW,EXTENSIBLE; PROCEDURE (self:FlowView$FlowStrategy) insertUpdate*(p0 : FlowView; p1 : javax_swing_event.DocumentEvent; p2 : java_awt.Rectangle),NEW,EXTENSIBLE; PROCEDURE (self:FlowView$FlowStrategy) layout*(p0 : FlowView),NEW,EXTENSIBLE; PROCEDURE (self:FlowView$FlowStrategy) layoutRow!(p0 : FlowView; p1 : INTEGER; p2 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:FlowView$FlowStrategy) removeUpdate*(p0 : FlowView; p1 : javax_swing_event.DocumentEvent; p2 : java_awt.Rectangle),NEW,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:GlyphView) breakView*(p0 : INTEGER; p1 : INTEGER; p2 : SHORTREAL; p3 : SHORTREAL) : View,EXTENSIBLE; PROCEDURE (self:GlyphView) changedUpdate*(p0 : javax_swing_event.DocumentEvent; p1 : java_awt.Shape; p2 : ViewFactory),EXTENSIBLE; PROCEDURE (self:GlyphView) checkPainter!(),NEW,EXTENSIBLE; PROCEDURE (self:GlyphView) clone!() : java_lang.Object; PROCEDURE (self:GlyphView) createFragment*(p0 : INTEGER; p1 : INTEGER) : View,EXTENSIBLE; PROCEDURE (self:GlyphView) getAlignment*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE; PROCEDURE (self:GlyphView) getBackground*() : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:GlyphView) getBreakWeight*(p0 : INTEGER; p1 : SHORTREAL; p2 : SHORTREAL) : INTEGER,EXTENSIBLE; PROCEDURE (self:GlyphView) getEndOffset*() : INTEGER,EXTENSIBLE; PROCEDURE (self:GlyphView) getFont*() : java_awt.Font,NEW,EXTENSIBLE; PROCEDURE (self:GlyphView) getForeground*() : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:GlyphView) getGlyphPainter*() : GlyphView$GlyphPainter,NEW,EXTENSIBLE; PROCEDURE (self:GlyphView) getNextVisualPositionFrom*( p0 : INTEGER; p1 : Position$Bias; p2 : java_awt.Shape; p3 : INTEGER; IN p4 : ARRAY OF Position$Bias) : INTEGER,EXTENSIBLE; PROCEDURE (self:GlyphView) getPartialSpan*(p0 : INTEGER; p1 : INTEGER) : SHORTREAL,NEW,EXTENSIBLE; PROCEDURE (self:GlyphView) getPreferredSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE; PROCEDURE (self:GlyphView) getStartOffset*() : INTEGER,EXTENSIBLE; PROCEDURE (self:GlyphView) getTabbedSpan*(p0 : SHORTREAL; p1 : TabExpander) : SHORTREAL,NEW,EXTENSIBLE; PROCEDURE (self:GlyphView) getTabExpander*() : TabExpander,NEW,EXTENSIBLE; PROCEDURE (self:GlyphView) getText*(p0 : INTEGER; p1 : INTEGER) : Segment,NEW,EXTENSIBLE; PROCEDURE (self:GlyphView) insertUpdate*(p0 : javax_swing_event.DocumentEvent; p1 : java_awt.Shape; p2 : ViewFactory),EXTENSIBLE; PROCEDURE (self:GlyphView) isStrikeThrough*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:GlyphView) isSubscript*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:GlyphView) isSuperscript*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:GlyphView) isUnderline*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:GlyphView) modelToView*(p0 : INTEGER; p1 : java_awt.Shape; p2 : Position$Bias) : java_awt.Shape,EXTENSIBLE; PROCEDURE (self:GlyphView) paint*(p0 : java_awt.Graphics; p1 : java_awt.Shape),EXTENSIBLE; PROCEDURE (self:GlyphView) removeUpdate*(p0 : javax_swing_event.DocumentEvent; p1 : java_awt.Shape; p2 : ViewFactory),EXTENSIBLE; PROCEDURE (self:GlyphView) setGlyphPainter*(p0 : GlyphView$GlyphPainter),NEW,EXTENSIBLE; PROCEDURE (self:GlyphView) viewToModel*( p0 : SHORTREAL; p1 : SHORTREAL; p2 : java_awt.Shape; IN p3 : ARRAY OF Position$Bias) : INTEGER,EXTENSIBLE; PROCEDURE (self:GlyphView$GlyphPainter) getAscent*(p0 : GlyphView) : SHORTREAL,NEW,ABSTRACT; PROCEDURE (self:GlyphView$GlyphPainter) getBoundedPosition*(p0 : GlyphView; p1 : INTEGER; p2 : SHORTREAL; p3 : SHORTREAL) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:GlyphView$GlyphPainter) getDescent*(p0 : GlyphView) : SHORTREAL,NEW,ABSTRACT; PROCEDURE (self:GlyphView$GlyphPainter) getHeight*(p0 : GlyphView) : SHORTREAL,NEW,ABSTRACT; PROCEDURE (self:GlyphView$GlyphPainter) getNextVisualPositionFrom*( p0 : GlyphView; p1 : INTEGER; p2 : Position$Bias; p3 : java_awt.Shape; p4 : INTEGER; IN p5 : ARRAY OF Position$Bias) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:GlyphView$GlyphPainter) getPainter*(p0 : GlyphView; p1 : INTEGER; p2 : INTEGER) : GlyphView$GlyphPainter,NEW,EXTENSIBLE; PROCEDURE (self:GlyphView$GlyphPainter) getSpan*(p0 : GlyphView; p1 : INTEGER; p2 : INTEGER; p3 : TabExpander; p4 : SHORTREAL) : SHORTREAL,NEW,ABSTRACT; PROCEDURE (self:GlyphView$GlyphPainter) modelToView*(p0 : GlyphView; p1 : INTEGER; p2 : Position$Bias; p3 : java_awt.Shape) : java_awt.Shape,NEW,ABSTRACT; PROCEDURE (self:GlyphView$GlyphPainter) paint*(p0 : GlyphView; p1 : java_awt.Graphics; p2 : java_awt.Shape; p3 : INTEGER; p4 : INTEGER),NEW,ABSTRACT; PROCEDURE (self:GlyphView$GlyphPainter) viewToModel*( p0 : GlyphView; p1 : SHORTREAL; p2 : SHORTREAL; p3 : java_awt.Shape; IN p4 : ARRAY OF Position$Bias) : INTEGER,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: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: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) viewToModel*( p0 : SHORTREAL; p1 : SHORTREAL; p2 : java_awt.Shape; IN p3 : ARRAY OF Position$Bias) : INTEGER,EXTENSIBLE; PROCEDURE (self:InternationalFormatter) clone*() : java_lang.Object,EXTENSIBLE; PROCEDURE (self:InternationalFormatter) getActions!() : POINTER TO ARRAY OF javax_swing.Action,EXTENSIBLE; PROCEDURE (self:InternationalFormatter) getFields*(p0 : INTEGER) : POINTER TO ARRAY OF java_text.Format$Field,NEW,EXTENSIBLE; PROCEDURE (self:InternationalFormatter) getFormat*() : java_text.Format,NEW,EXTENSIBLE; PROCEDURE (self:InternationalFormatter) getMaximum*() : java_lang.Comparable,NEW,EXTENSIBLE; PROCEDURE (self:InternationalFormatter) getMinimum*() : java_lang.Comparable,NEW,EXTENSIBLE; PROCEDURE (self:InternationalFormatter) install*(p0 : javax_swing.JFormattedTextField),EXTENSIBLE; PROCEDURE (self:InternationalFormatter) setFormat*(p0 : java_text.Format),NEW,EXTENSIBLE; PROCEDURE (self:InternationalFormatter) setMaximum*(p0 : java_lang.Comparable),NEW,EXTENSIBLE; PROCEDURE (self:InternationalFormatter) setMinimum*(p0 : java_lang.Comparable),NEW,EXTENSIBLE; PROCEDURE (self:InternationalFormatter) stringToValue*(p0 : java_lang.String) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:InternationalFormatter) valueToString*(p0 : java_lang.Object) : java_lang.String,EXTENSIBLE; PROCEDURE (self:JTextComponent) addCaretListener*(p0 : javax_swing_event.CaretListener),NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent) addInputMethodListener*(p0 : java_awt_event.InputMethodListener),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) getCaretListeners*() : POINTER TO ARRAY OF javax_swing_event.CaretListener,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) getDragEnabled*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent) getDropLocation*() : JTextComponent$DropLocation,NEW; PROCEDURE (self:JTextComponent) getDropMode*() : javax_swing.DropMode,NEW; 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) getNavigationFilter*() : NavigationFilter,NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent) getPreferredScrollableViewportSize*() : java_awt.Dimension,NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent) getPrintable*(p0 : java_text.MessageFormat; p1 : java_text.MessageFormat) : java_awt_print.Printable,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*(p0 : INTEGER; p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent) getText*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent) getToolTipText*(p0 : java_awt_event.MouseEvent) : java_lang.String,EXTENSIBLE; PROCEDURE (self:JTextComponent) getUI*() : javax_swing_plaf.TextUI,NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent) isEditable*() : BOOLEAN,NEW,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) print*(p0 : java_text.MessageFormat; p1 : java_text.MessageFormat) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent) print*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent) print*(p0 : java_text.MessageFormat; p1 : java_text.MessageFormat; p2 : BOOLEAN; p3 : javax_print.PrintService; p4 : javax_print_attribute.PrintRequestAttributeSet; p5 : BOOLEAN) : BOOLEAN,NEW,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) setComponentOrientation*(p0 : java_awt.ComponentOrientation),EXTENSIBLE; PROCEDURE (self:JTextComponent) setDisabledTextColor*(p0 : java_awt.Color),NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent) setDocument*(p0 : Document),NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent) setDragEnabled*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent) setDropMode*(p0 : javax_swing.DropMode),NEW; PROCEDURE (self:JTextComponent) setEditable*(p0 : BOOLEAN),NEW,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) setNavigationFilter*(p0 : NavigationFilter),NEW,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: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) cut*(p0 : INTEGER; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$AccessibleJTextComponent) delete*(p0 : INTEGER; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$AccessibleJTextComponent) doAccessibleAction*(p0 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getAccessibleAction*() : javax_accessibility.AccessibleAction,EXTENSIBLE; PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getAccessibleActionCount*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getAccessibleActionDescription*(p0 : INTEGER) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getAccessibleEditableText*() : javax_accessibility.AccessibleEditableText,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) getCharacterAttribute*(p0 : INTEGER) : AttributeSet,NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getCharacterBounds*(p0 : INTEGER) : java_awt.Rectangle,NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getCharCount*() : INTEGER,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) getTextBounds*(p0 : INTEGER; p1 : INTEGER) : java_awt.Rectangle,NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getTextRange*(p0 : INTEGER; p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getTextSequenceAfter*(p0 : INTEGER; p1 : INTEGER) : javax_accessibility.AccessibleTextSequence,NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getTextSequenceAt*(p0 : INTEGER; p1 : INTEGER) : javax_accessibility.AccessibleTextSequence,NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getTextSequenceBefore*(p0 : INTEGER; p1 : INTEGER) : javax_accessibility.AccessibleTextSequence,NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$AccessibleJTextComponent) insertTextAtIndex*(p0 : INTEGER; p1 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$AccessibleJTextComponent) insertUpdate*(p0 : javax_swing_event.DocumentEvent),NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$AccessibleJTextComponent) paste*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$AccessibleJTextComponent) removeUpdate*(p0 : javax_swing_event.DocumentEvent),NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$AccessibleJTextComponent) replaceText*(p0 : INTEGER; p1 : INTEGER; p2 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$AccessibleJTextComponent) selectText*(p0 : INTEGER; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$AccessibleJTextComponent) setAttributes*(p0 : INTEGER; p1 : INTEGER; p2 : AttributeSet),NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$AccessibleJTextComponent) setTextContents*(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$DropLocation) getBias*() : Position$Bias,NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$DropLocation) getIndex*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:JTextComponent$DropLocation) toString*() : java_lang.String,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) changedUpdate*(p0 : javax_swing_event.DocumentEvent; p1 : java_awt.Shape; p2 : ViewFactory),EXTENSIBLE; PROCEDURE (self:LabelView) getBackground*() : java_awt.Color,EXTENSIBLE; PROCEDURE (self:LabelView) getFont*() : java_awt.Font,EXTENSIBLE; PROCEDURE (self:LabelView) getFontMetrics!() : java_awt.FontMetrics,NEW,EXTENSIBLE; PROCEDURE (self:LabelView) getForeground*() : java_awt.Color,EXTENSIBLE; PROCEDURE (self:LabelView) isStrikeThrough*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:LabelView) isSubscript*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:LabelView) isSuperscript*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:LabelView) isUnderline*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:LabelView) setBackground!(p0 : java_awt.Color),NEW,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:LayeredHighlighter) paintLayeredHighlights*(p0 : java_awt.Graphics; p1 : INTEGER; p2 : INTEGER; p3 : java_awt.Shape; p4 : JTextComponent; p5 : View),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:LayoutQueue) addTask*(p0 : java_lang.Runnable),NEW,EXTENSIBLE; PROCEDURE (self:LayoutQueue) waitForWork!() : java_lang.Runnable,NEW,EXTENSIBLE; PROCEDURE (self:MaskFormatter) getInvalidCharacters*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:MaskFormatter) getMask*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:MaskFormatter) getPlaceholder*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:MaskFormatter) getPlaceholderCharacter*() : CHAR,NEW,EXTENSIBLE; PROCEDURE (self:MaskFormatter) getValidCharacters*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:MaskFormatter) getValueContainsLiteralCharacters*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:MaskFormatter) install*(p0 : javax_swing.JFormattedTextField),EXTENSIBLE; PROCEDURE (self:MaskFormatter) setInvalidCharacters*(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:MaskFormatter) setMask*(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:MaskFormatter) setPlaceholder*(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:MaskFormatter) setPlaceholderCharacter*(p0 : CHAR),NEW,EXTENSIBLE; PROCEDURE (self:MaskFormatter) setValidCharacters*(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:MaskFormatter) setValueContainsLiteralCharacters*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:MaskFormatter) stringToValue*(p0 : java_lang.String) : java_lang.Object,EXTENSIBLE; PROCEDURE (self:MaskFormatter) valueToString*(p0 : java_lang.Object) : java_lang.String,EXTENSIBLE; 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 : AttributeSet),NEW,ABSTRACT; PROCEDURE (self:MutableAttributeSet) removeAttributes*(p0 : java_util.Enumeration),NEW,ABSTRACT; PROCEDURE (self:MutableAttributeSet) setResolveParent*(p0 : AttributeSet),NEW,ABSTRACT; PROCEDURE (self:NavigationFilter) getNextVisualPositionFrom*( p0 : JTextComponent; p1 : INTEGER; p2 : Position$Bias; p3 : INTEGER; IN p4 : ARRAY OF Position$Bias) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:NavigationFilter) moveDot*(p0 : NavigationFilter$FilterBypass; p1 : INTEGER; p2 : Position$Bias),NEW,EXTENSIBLE; PROCEDURE (self:NavigationFilter) setDot*(p0 : NavigationFilter$FilterBypass; p1 : INTEGER; p2 : Position$Bias),NEW,EXTENSIBLE; PROCEDURE (self:NavigationFilter$FilterBypass) getCaret*() : Caret,NEW,ABSTRACT; PROCEDURE (self:NavigationFilter$FilterBypass) moveDot*(p0 : INTEGER; p1 : Position$Bias),NEW,ABSTRACT; PROCEDURE (self:NavigationFilter$FilterBypass) setDot*(p0 : INTEGER; p1 : Position$Bias),NEW,ABSTRACT; PROCEDURE (self:NumberFormatter) setFormat*(p0 : java_text.Format),EXTENSIBLE; 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) changedUpdate*(p0 : javax_swing_event.DocumentEvent; p1 : java_awt.Shape; p2 : ViewFactory),EXTENSIBLE; PROCEDURE (self:ParagraphView) createRow!() : View,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) getFlowSpan*(p0 : INTEGER) : INTEGER,EXTENSIBLE; PROCEDURE (self:ParagraphView) getFlowStart*(p0 : INTEGER) : INTEGER,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) nextTabStop*(p0 : SHORTREAL; p1 : INTEGER) : SHORTREAL,NEW,EXTENSIBLE; PROCEDURE (self:ParagraphView) paint*(p0 : java_awt.Graphics; p1 : java_awt.Shape),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) getPreferredSpan*(p0 : INTEGER) : SHORTREAL,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) insertString*(p0 : INTEGER; p1 : java_lang.String; p2 : AttributeSet),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) damageLineRange!(p0 : INTEGER; p1 : INTEGER; p2 : java_awt.Shape; p3 : java_awt.Component),NEW,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) lineToRect!(p0 : java_awt.Shape; p1 : INTEGER) : java_awt.Rectangle,NEW,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) removeUpdate*(p0 : javax_swing_event.DocumentEvent; p1 : java_awt.Shape; p2 : ViewFactory),EXTENSIBLE; PROCEDURE (self:PlainView) setSize*(p0 : SHORTREAL; p1 : SHORTREAL),EXTENSIBLE; PROCEDURE (self:PlainView) updateDamage!(p0 : javax_swing_event.DocumentEvent; p1 : java_awt.Shape; p2 : ViewFactory),NEW,EXTENSIBLE; PROCEDURE (self:PlainView) updateMetrics!(),NEW,EXTENSIBLE; PROCEDURE (self:PlainView) viewToModel*( p0 : SHORTREAL; p1 : SHORTREAL; p2 : java_awt.Shape; IN p3 : ARRAY OF Position$Bias) : INTEGER,EXTENSIBLE; PROCEDURE (self:Position) getOffset*() : INTEGER,NEW,ABSTRACT; PROCEDURE (self:Position$Bias) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:Segment) charAt*(p0 : INTEGER) : CHAR,NEW,EXTENSIBLE; PROCEDURE (self:Segment) clone*() : java_lang.Object,EXTENSIBLE; PROCEDURE (self:Segment) current*() : CHAR,NEW,EXTENSIBLE; PROCEDURE (self:Segment) first*() : CHAR,NEW,EXTENSIBLE; PROCEDURE (self:Segment) getBeginIndex*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Segment) getEndIndex*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Segment) getIndex*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Segment) isPartialReturn*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Segment) last*() : CHAR,NEW,EXTENSIBLE; PROCEDURE (self:Segment) length*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Segment) next*() : CHAR,NEW,EXTENSIBLE; PROCEDURE (self:Segment) previous*() : CHAR,NEW,EXTENSIBLE; PROCEDURE (self:Segment) setIndex*(p0 : INTEGER) : CHAR,NEW,EXTENSIBLE; PROCEDURE (self:Segment) setPartialReturn*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:Segment) subSequence*(p0 : INTEGER; p1 : INTEGER) : java_lang.CharSequence,NEW,EXTENSIBLE; 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 : AttributeSet),NEW,EXTENSIBLE; PROCEDURE (self:SimpleAttributeSet) removeAttributes*(p0 : java_util.Enumeration),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) 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) getChangeListeners*() : POINTER TO ARRAY OF javax_swing_event.ChangeListener,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: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) getChangeListeners*() : POINTER TO ARRAY OF javax_swing_event.ChangeListener,NEW,EXTENSIBLE; PROCEDURE (self:StyleContext$NamedStyle) getListeners*(p0 : java_lang.Class) : POINTER TO ARRAY OF java_util.EventListener,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 : AttributeSet),NEW,EXTENSIBLE; PROCEDURE (self:StyleContext$NamedStyle) removeAttributes*(p0 : java_util.Enumeration),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: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) 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,EXTENSIBLE; PROCEDURE (self:StyledEditorKit) getViewFactory*() : ViewFactory,EXTENSIBLE; PROCEDURE (self:StyledEditorKit) install*(p0 : javax_swing.JEditorPane),EXTENSIBLE; PROCEDURE (self:StyledEditorKit$AlignmentAction) actionPerformed*(p0 : java_awt_event.ActionEvent),NEW,EXTENSIBLE; PROCEDURE (self:StyledEditorKit$BoldAction) actionPerformed*(p0 : java_awt_event.ActionEvent),NEW,EXTENSIBLE; PROCEDURE (self:StyledEditorKit$FontFamilyAction) actionPerformed*(p0 : java_awt_event.ActionEvent),NEW,EXTENSIBLE; PROCEDURE (self:StyledEditorKit$FontSizeAction) actionPerformed*(p0 : java_awt_event.ActionEvent),NEW,EXTENSIBLE; PROCEDURE (self:StyledEditorKit$ForegroundAction) actionPerformed*(p0 : java_awt_event.ActionEvent),NEW,EXTENSIBLE; PROCEDURE (self:StyledEditorKit$ItalicAction) actionPerformed*(p0 : java_awt_event.ActionEvent),NEW,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),NEW,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) 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) forwardUpdate!(p0 : javax_swing_event.DocumentEvent$ElementChange; p1 : javax_swing_event.DocumentEvent; p2 : java_awt.Shape; p3 : ViewFactory),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) replace*( p0 : INTEGER; p1 : INTEGER; IN p2 : ARRAY OF View),EXTENSIBLE; 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) 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) replace*( p0 : INTEGER; p1 : INTEGER; IN p2 : ARRAY OF View),EXTENSIBLE; PROCEDURE (self:TabSet) equals*(p0 : java_lang.Object) : BOOLEAN,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) hashCode*() : INTEGER,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) append*(p0 : View),NEW,EXTENSIBLE; 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) forwardUpdate!(p0 : javax_swing_event.DocumentEvent$ElementChange; p1 : javax_swing_event.DocumentEvent; p2 : java_awt.Shape; p3 : ViewFactory),NEW,EXTENSIBLE; PROCEDURE (self:View) forwardUpdateToView!(p0 : View; p1 : javax_swing_event.DocumentEvent; p2 : java_awt.Shape; p3 : ViewFactory),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) getGraphics*() : java_awt.Graphics,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) getToolTipText*(p0 : SHORTREAL; p1 : SHORTREAL; p2 : java_awt.Shape) : java_lang.String,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) getViewIndex*(p0 : SHORTREAL; p1 : SHORTREAL; p2 : java_awt.Shape) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:View) getViewIndex*(p0 : INTEGER; p1 : Position$Bias) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:View) insert*(p0 : INTEGER; p1 : View),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; 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) modelToView*(p0 : INTEGER; p1 : 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) remove*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:View) removeAll*(),NEW,EXTENSIBLE; PROCEDURE (self:View) removeUpdate*(p0 : javax_swing_event.DocumentEvent; p1 : java_awt.Shape; p2 : ViewFactory),NEW,EXTENSIBLE; PROCEDURE (self:View) replace*( p0 : INTEGER; p1 : INTEGER; IN p2 : ARRAY OF View),NEW,EXTENSIBLE; PROCEDURE (self:View) setParent*(p0 : View),NEW,EXTENSIBLE; PROCEDURE (self:View) setSize*(p0 : SHORTREAL; p1 : SHORTREAL),NEW,EXTENSIBLE; PROCEDURE (self:View) updateChildren!(p0 : javax_swing_event.DocumentEvent$ElementChange; p1 : javax_swing_event.DocumentEvent; p2 : ViewFactory) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:View) updateLayout!(p0 : javax_swing_event.DocumentEvent$ElementChange; p1 : javax_swing_event.DocumentEvent; p2 : java_awt.Shape),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; PROCEDURE (self:ZoneView) createZone!(p0 : INTEGER; p1 : INTEGER) : View,NEW,EXTENSIBLE; PROCEDURE (self:ZoneView) getMaximumZoneSize*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:ZoneView) getMaxZonesLoaded*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:ZoneView) getViewIndexAtPosition!(p0 : INTEGER) : INTEGER,EXTENSIBLE; PROCEDURE (self:ZoneView) insertUpdate*(p0 : javax_swing_event.DocumentEvent; p1 : java_awt.Shape; p2 : ViewFactory),EXTENSIBLE; PROCEDURE (self:ZoneView) isZoneLoaded!(p0 : View) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:ZoneView) loadChildren!(p0 : ViewFactory),EXTENSIBLE; PROCEDURE (self:ZoneView) removeUpdate*(p0 : javax_swing_event.DocumentEvent; p1 : java_awt.Shape; p2 : ViewFactory),EXTENSIBLE; PROCEDURE (self:ZoneView) setMaximumZoneSize*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:ZoneView) setMaxZonesLoaded*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:ZoneView) unloadZone!(p0 : View),NEW,EXTENSIBLE; PROCEDURE (self:ZoneView) updateChildren!(p0 : javax_swing_event.DocumentEvent$ElementChange; p1 : javax_swing_event.DocumentEvent; p2 : ViewFactory) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:ZoneView) zoneWasLoaded!(p0 : View),NEW,EXTENSIBLE; END javax_swing_text.