FOREIGN MODULE javax_swing_text;
IMPORT
java_io,
java_lang,
javax_swing_tree,
java_util,
javax_swing_undo,
javax_swing_event,
javax_swing,
java_awt,
java_awt_event,
java_awt_image,
java_awt_peer,
sun_awt,
java_awt_dnd,
java_beans,
java_awt_im,
java_awt_geom,
javax_swing_plaf_basic,
javax_swing_plaf,
javax_accessibility,
java_awt_font,
javax_swing_border,
java_awt_datatransfer,
java_text;
TYPE
AbstractDocument$AbstractElement* = POINTER TO ABSTRACT RECORD (java_lang.Object + Element + MutableAttributeSet + java_io.Serializable + javax_swing_tree.TreeNode)
STATIC
PROCEDURE Init*(p0 : AbstractDocument;
p1 : Element;
p2 : AttributeSet) : AbstractDocument$AbstractElement,CONSTRUCTOR;
END;
AbstractDocument$AttributeContext* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
AbstractDocument$BranchElement* = POINTER TO EXTENSIBLE RECORD (AbstractDocument$AbstractElement)
STATIC
PROCEDURE Init*(p0 : AbstractDocument;
p1 : Element;
p2 : AttributeSet) : AbstractDocument$BranchElement,CONSTRUCTOR;
END;
AbstractDocument$Content* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
AbstractDocument$DefaultDocumentEvent* = POINTER TO EXTENSIBLE RECORD (javax_swing_undo.CompoundEdit + javax_swing_event.DocumentEvent)
STATIC
PROCEDURE Init*(p0 : AbstractDocument;
p1 : INTEGER;
p2 : INTEGER;
p3 : javax_swing_event.DocumentEvent$EventType) : AbstractDocument$DefaultDocumentEvent,CONSTRUCTOR;
END;
AbstractDocument$ElementEdit* = POINTER TO EXTENSIBLE RECORD (javax_swing_undo.AbstractUndoableEdit + javax_swing_event.DocumentEvent$ElementChange)
STATIC
PROCEDURE Init*( p0 : Element;
p1 : INTEGER;
IN p2 : ARRAY OF Element;
IN p3 : ARRAY OF Element) : AbstractDocument$ElementEdit,CONSTRUCTOR;
END;
AbstractDocument$LeafElement* = POINTER TO EXTENSIBLE RECORD (AbstractDocument$AbstractElement)
STATIC
PROCEDURE Init*(p0 : AbstractDocument;
p1 : Element;
p2 : AttributeSet;
p3 : INTEGER;
p4 : INTEGER) : AbstractDocument$LeafElement,CONSTRUCTOR;
END;
AbstractDocument* = POINTER TO ABSTRACT RECORD (java_lang.Object + Document + java_io.Serializable)
listenerList! : javax_swing_event.EventListenerList;
STATIC
BAD_LOCATION! = "document location failure";
ParagraphElementName* = "paragraph";
ContentElementName* = "content";
SectionElementName* = "section";
BidiElementName* = "bidi level";
ElementNameAttribute* = "$ename";
PROCEDURE Init!(p0 : AbstractDocument$Content) : AbstractDocument,CONSTRUCTOR;
PROCEDURE Init!(p0 : AbstractDocument$Content;
p1 : AbstractDocument$AttributeContext) : AbstractDocument,CONSTRUCTOR;
END;
AbstractWriter* = POINTER TO ABSTRACT RECORD (java_lang.Object)
STATIC
NEWLINE! = 10;
PROCEDURE Init!(p0 : java_io.Writer;
p1 : Document) : AbstractWriter,CONSTRUCTOR;
PROCEDURE Init!(p0 : java_io.Writer;
p1 : Document;
p2 : INTEGER;
p3 : INTEGER) : AbstractWriter,CONSTRUCTOR;
PROCEDURE Init!(p0 : java_io.Writer;
p1 : Element) : AbstractWriter,CONSTRUCTOR;
PROCEDURE Init!(p0 : java_io.Writer;
p1 : Element;
p2 : INTEGER;
p3 : INTEGER) : AbstractWriter,CONSTRUCTOR;
END;
AttributeSet$CharacterAttribute* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
AttributeSet$ColorAttribute* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
AttributeSet$FontAttribute* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
AttributeSet$ParagraphAttribute* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
AttributeSet* = POINTER TO INTERFACE RECORD (java_lang.Object)
STATIC
NameAttribute* : java_lang.Object;
ResolveAttribute* : java_lang.Object;
END;
BadLocationException* = POINTER TO EXTENSIBLE RECORD (java_lang.Exception)
STATIC
PROCEDURE Init*(p0 : java_lang.String;
p1 : INTEGER) : BadLocationException,CONSTRUCTOR;
END;
BoxView* = POINTER TO EXTENSIBLE RECORD (CompositeView)
STATIC
PROCEDURE Init*(p0 : Element;
p1 : INTEGER) : BoxView,CONSTRUCTOR;
END;
Caret* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
ChangedCharSetException* = POINTER TO EXTENSIBLE RECORD (java_io.IOException)
STATIC
PROCEDURE Init*(p0 : java_lang.String;
p1 : BOOLEAN) : ChangedCharSetException,CONSTRUCTOR;
END;
ComponentView* = POINTER TO EXTENSIBLE RECORD (View)
STATIC
PROCEDURE Init*(p0 : Element) : ComponentView,CONSTRUCTOR;
END;
CompositeView* = POINTER TO ABSTRACT RECORD (View)
STATIC
PROCEDURE Init*(p0 : Element) : CompositeView,CONSTRUCTOR;
END;
DefaultCaret* = POINTER TO EXTENSIBLE RECORD (java_awt.Rectangle + Caret + java_awt_event.FocusListener + java_awt_event.MouseListener + java_awt_event.MouseMotionListener)
listenerList! : javax_swing_event.EventListenerList;
changeEvent! : javax_swing_event.ChangeEvent;
STATIC
PROCEDURE Init*() : DefaultCaret,CONSTRUCTOR;
END;
DefaultEditorKit$BeepAction* = POINTER TO EXTENSIBLE RECORD (TextAction)
STATIC
PROCEDURE Init*() : DefaultEditorKit$BeepAction,CONSTRUCTOR;
END;
DefaultEditorKit$CopyAction* = POINTER TO EXTENSIBLE RECORD (TextAction)
STATIC
PROCEDURE Init*() : DefaultEditorKit$CopyAction,CONSTRUCTOR;
END;
DefaultEditorKit$CutAction* = POINTER TO EXTENSIBLE RECORD (TextAction)
STATIC
PROCEDURE Init*() : DefaultEditorKit$CutAction,CONSTRUCTOR;
END;
DefaultEditorKit$DefaultKeyTypedAction* = POINTER TO EXTENSIBLE RECORD (TextAction)
STATIC
PROCEDURE Init*() : DefaultEditorKit$DefaultKeyTypedAction,CONSTRUCTOR;
END;
DefaultEditorKit$InsertBreakAction* = POINTER TO EXTENSIBLE RECORD (TextAction)
STATIC
PROCEDURE Init*() : DefaultEditorKit$InsertBreakAction,CONSTRUCTOR;
END;
DefaultEditorKit$InsertContentAction* = POINTER TO EXTENSIBLE RECORD (TextAction)
STATIC
PROCEDURE Init*() : DefaultEditorKit$InsertContentAction,CONSTRUCTOR;
END;
DefaultEditorKit$InsertTabAction* = POINTER TO EXTENSIBLE RECORD (TextAction)
STATIC
PROCEDURE Init*() : DefaultEditorKit$InsertTabAction,CONSTRUCTOR;
END;
DefaultEditorKit$PasteAction* = POINTER TO EXTENSIBLE RECORD (TextAction)
STATIC
PROCEDURE Init*() : DefaultEditorKit$PasteAction,CONSTRUCTOR;
END;
DefaultEditorKit* = POINTER TO EXTENSIBLE RECORD (EditorKit)
STATIC
EndOfLineStringProperty* = "__EndOfLine__";
insertContentAction* = "insert-content";
insertBreakAction* = "insert-break";
insertTabAction* = "insert-tab";
deletePrevCharAction* = "delete-previous";
deleteNextCharAction* = "delete-next";
readOnlyAction* = "set-read-only";
writableAction* = "set-writable";
cutAction* = "cut-to-clipboard";
copyAction* = "copy-to-clipboard";
pasteAction* = "paste-from-clipboard";
beepAction* = "beep";
pageUpAction* = "page-up";
pageDownAction* = "page-down";
forwardAction* = "caret-forward";
backwardAction* = "caret-backward";
selectionForwardAction* = "selection-forward";
selectionBackwardAction* = "selection-backward";
upAction* = "caret-up";
downAction* = "caret-down";
selectionUpAction* = "selection-up";
selectionDownAction* = "selection-down";
beginWordAction* = "caret-begin-word";
endWordAction* = "caret-end-word";
selectionBeginWordAction* = "selection-begin-word";
selectionEndWordAction* = "selection-end-word";
previousWordAction* = "caret-previous-word";
nextWordAction* = "caret-next-word";
selectionPreviousWordAction* = "selection-previous-word";
selectionNextWordAction* = "selection-next-word";
beginLineAction* = "caret-begin-line";
endLineAction* = "caret-end-line";
selectionBeginLineAction* = "selection-begin-line";
selectionEndLineAction* = "selection-end-line";
beginParagraphAction* = "caret-begin-paragraph";
endParagraphAction* = "caret-end-paragraph";
selectionBeginParagraphAction* = "selection-begin-paragraph";
selectionEndParagraphAction* = "selection-end-paragraph";
beginAction* = "caret-begin";
endAction* = "caret-end";
selectionBeginAction* = "selection-begin";
selectionEndAction* = "selection-end";
selectWordAction* = "select-word";
selectLineAction* = "select-line";
selectParagraphAction* = "select-paragraph";
selectAllAction* = "select-all";
defaultKeyTypedAction* = "default-typed";
PROCEDURE Init*() : DefaultEditorKit,CONSTRUCTOR;
END;
DefaultHighlighter$DefaultHighlightPainter* = POINTER TO EXTENSIBLE RECORD (LayeredHighlighter$LayerPainter)
STATIC
PROCEDURE Init*(p0 : java_awt.Color) : DefaultHighlighter$DefaultHighlightPainter,CONSTRUCTOR;
END;
DefaultHighlighter* = POINTER TO EXTENSIBLE RECORD (LayeredHighlighter)
STATIC
DefaultPainter* : LayeredHighlighter$LayerPainter;
PROCEDURE Init*() : DefaultHighlighter,CONSTRUCTOR;
END;
DefaultStyledDocument$AttributeUndoableEdit* = POINTER TO EXTENSIBLE RECORD (javax_swing_undo.AbstractUndoableEdit)
newAttributes! : AttributeSet;
copy! : AttributeSet;
isReplacing! : BOOLEAN;
element! : Element;
STATIC
PROCEDURE Init*(p0 : Element;
p1 : AttributeSet;
p2 : BOOLEAN) : DefaultStyledDocument$AttributeUndoableEdit,CONSTRUCTOR;
END;
DefaultStyledDocument$ElementBuffer* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable)
STATIC
PROCEDURE Init*(p0 : DefaultStyledDocument;
p1 : Element) : DefaultStyledDocument$ElementBuffer,CONSTRUCTOR;
END;
DefaultStyledDocument$ElementSpec* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
STATIC
StartTagType* = 1;
EndTagType* = 2;
ContentType* = 3;
JoinPreviousDirection* = 4;
JoinNextDirection* = 5;
OriginateDirection* = 6;
JoinFractureDirection* = 7;
PROCEDURE Init*(p0 : AttributeSet;
p1 : SHORTINT) : DefaultStyledDocument$ElementSpec,CONSTRUCTOR;
PROCEDURE Init*(p0 : AttributeSet;
p1 : SHORTINT;
p2 : INTEGER) : DefaultStyledDocument$ElementSpec,CONSTRUCTOR;
PROCEDURE Init*( p0 : AttributeSet;
p1 : SHORTINT;
IN p2 : ARRAY OF CHAR;
p3 : INTEGER;
p4 : INTEGER) : DefaultStyledDocument$ElementSpec,CONSTRUCTOR;
END;
DefaultStyledDocument$SectionElement* = POINTER TO EXTENSIBLE RECORD (AbstractDocument$BranchElement)
STATIC
PROCEDURE Init*(p0 : DefaultStyledDocument) : DefaultStyledDocument$SectionElement,CONSTRUCTOR;
END;
DefaultStyledDocument* = POINTER TO EXTENSIBLE RECORD (AbstractDocument + StyledDocument)
buffer! : DefaultStyledDocument$ElementBuffer;
STATIC
BUFFER_SIZE_DEFAULT* = 4096;
PROCEDURE Init*() : DefaultStyledDocument,CONSTRUCTOR;
PROCEDURE Init*(p0 : AbstractDocument$Content;
p1 : StyleContext) : DefaultStyledDocument,CONSTRUCTOR;
PROCEDURE Init*(p0 : StyleContext) : DefaultStyledDocument,CONSTRUCTOR;
END;
DefaultTextUI* = POINTER TO ABSTRACT RECORD (javax_swing_plaf_basic.BasicTextUI)
STATIC
PROCEDURE Init*() : DefaultTextUI,CONSTRUCTOR;
END;
Document* = POINTER TO INTERFACE RECORD (java_lang.Object)
STATIC
StreamDescriptionProperty* = "stream";
TitleProperty* = "title";
END;
EditorKit* = POINTER TO ABSTRACT RECORD (java_lang.Object + java_lang.Cloneable + java_io.Serializable)
STATIC
PROCEDURE Init*() : EditorKit,CONSTRUCTOR;
END;
Element* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
ElementIterator* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_lang.Cloneable)
STATIC
PROCEDURE Init*(p0 : Document) : ElementIterator,CONSTRUCTOR;
PROCEDURE Init*(p0 : Element) : ElementIterator,CONSTRUCTOR;
END;
FieldView* = POINTER TO EXTENSIBLE RECORD (PlainView)
STATIC
PROCEDURE Init*(p0 : Element) : FieldView,CONSTRUCTOR;
END;
GapContent* = POINTER TO EXTENSIBLE RECORD (GapVector + PRError + java_io.Serializable)
STATIC
PROCEDURE Init*() : GapContent,CONSTRUCTOR;
PROCEDURE Init*(p0 : INTEGER) : GapContent,CONSTRUCTOR;
END;
Highlighter$Highlight* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
Highlighter$HighlightPainter* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
Highlighter* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
IconView* = POINTER TO EXTENSIBLE RECORD (View)
STATIC
PROCEDURE Init*(p0 : Element) : IconView,CONSTRUCTOR;
END;
JTextComponent$AccessibleJTextComponent* = POINTER TO EXTENSIBLE RECORD (javax_swing.JComponent$AccessibleJComponent + javax_accessibility.AccessibleText + javax_swing_event.CaretListener + javax_swing_event.DocumentListener)
STATIC
PROCEDURE Init*(p0 : JTextComponent) : JTextComponent$AccessibleJTextComponent,CONSTRUCTOR;
END;
JTextComponent$KeyBinding* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
key* : javax_swing.KeyStroke;
actionName* : java_lang.String;
STATIC
PROCEDURE Init*(p0 : javax_swing.KeyStroke;
p1 : java_lang.String) : JTextComponent$KeyBinding,CONSTRUCTOR;
END;
JTextComponent* = POINTER TO ABSTRACT RECORD (javax_swing.JComponent + javax_swing.Scrollable + javax_accessibility.Accessible)
STATIC
FOCUS_ACCELERATOR_KEY* = "focusAcceleratorKey";
DEFAULT_KEYMAP* = "default";
PROCEDURE Init*() : JTextComponent,CONSTRUCTOR;
PROCEDURE addKeymap*(p0 : java_lang.String;
p1 : Keymap) : Keymap;
PROCEDURE getKeymap*(p0 : java_lang.String) : Keymap;
PROCEDURE loadKeymap*( p0 : Keymap;
IN p1 : ARRAY OF JTextComponent$KeyBinding;
IN p2 : ARRAY OF javax_swing.Action);
PROCEDURE removeKeymap*(p0 : java_lang.String) : Keymap;
END;
Keymap* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
LabelView* = POINTER TO EXTENSIBLE RECORD (View)
STATIC
PROCEDURE Init*(p0 : Element) : LabelView,CONSTRUCTOR;
END;
LayeredHighlighter$LayerPainter* = POINTER TO ABSTRACT RECORD (java_lang.Object + Highlighter$HighlightPainter)
STATIC
PROCEDURE Init*() : LayeredHighlighter$LayerPainter,CONSTRUCTOR;
END;
LayeredHighlighter* = POINTER TO ABSTRACT RECORD (java_lang.Object + Highlighter)
STATIC
PROCEDURE Init*() : LayeredHighlighter,CONSTRUCTOR;
END;
MutableAttributeSet* = POINTER TO INTERFACE RECORD (java_lang.Object + AttributeSet)
END;
ParagraphView* = POINTER TO EXTENSIBLE RECORD (BoxView + TabExpander)
firstLineIndent! : INTEGER;
STATIC
PROCEDURE Init*(p0 : Element) : ParagraphView,CONSTRUCTOR;
END;
PasswordView* = POINTER TO EXTENSIBLE RECORD (FieldView)
STATIC
PROCEDURE Init*(p0 : Element) : PasswordView,CONSTRUCTOR;
END;
PlainDocument* = POINTER TO EXTENSIBLE RECORD (AbstractDocument)
STATIC
tabSizeAttribute* = "tabSize";
lineLimitAttribute* = "lineLimit";
PROCEDURE Init*() : PlainDocument,CONSTRUCTOR;
PROCEDURE Init!(p0 : AbstractDocument$Content) : PlainDocument,CONSTRUCTOR;
END;
PlainView* = POINTER TO EXTENSIBLE RECORD (View + TabExpander)
metrics! : java_awt.FontMetrics;
STATIC
PROCEDURE Init*(p0 : Element) : PlainView,CONSTRUCTOR;
END;
Position$Bias* = POINTER TO RECORD (java_lang.Object)
STATIC
Forward* : Position$Bias;
Backward* : Position$Bias;
END;
Position* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
Segment* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
array* : POINTER TO ARRAY OF CHAR;
offset* : INTEGER;
count* : INTEGER;
STATIC
PROCEDURE Init*() : Segment,CONSTRUCTOR;
PROCEDURE Init*(IN p0 : ARRAY OF CHAR;
p1 : INTEGER;
p2 : INTEGER) : Segment,CONSTRUCTOR;
END;
SimpleAttributeSet* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + MutableAttributeSet + java_io.Serializable + java_lang.Cloneable)
STATIC
EMPTY* : AttributeSet;
PROCEDURE Init*() : SimpleAttributeSet,CONSTRUCTOR;
PROCEDURE Init*(p0 : AttributeSet) : SimpleAttributeSet,CONSTRUCTOR;
END;
StringContent* = POINTER TO RECORD (java_lang.Object + PRError + java_io.Serializable)
STATIC
PROCEDURE Init*() : StringContent,CONSTRUCTOR;
PROCEDURE Init*(p0 : INTEGER) : StringContent,CONSTRUCTOR;
END;
Style* = POINTER TO INTERFACE RECORD (java_lang.Object + MutableAttributeSet)
END;
StyleConstants$CharacterConstants* = POINTER TO EXTENSIBLE RECORD (StyleConstants + java_lang.String)
STATIC
Underline* : java_lang.Object;
StrikeThrough* : java_lang.Object;
Superscript* : java_lang.Object;
Subscript* : java_lang.Object;
ComponentAttribute* : java_lang.Object;
IconAttribute* : java_lang.Object;
BidiLevel* : java_lang.Object;
Family* : java_lang.Object;
Size* : java_lang.Object;
Bold* : java_lang.Object;
Italic* : java_lang.Object;
Foreground* : java_lang.Object;
Background* : java_lang.Object;
END;
StyleConstants$ColorConstants* = POINTER TO EXTENSIBLE RECORD (StyleConstants + ARRAY OF BYTE + java_lang.String)
STATIC
Foreground* : java_lang.Object;
Background* : java_lang.Object;
END;
StyleConstants$FontConstants* = POINTER TO EXTENSIBLE RECORD (StyleConstants + java_io.Serializable + java_lang.String)
STATIC
Family* : java_lang.Object;
Size* : java_lang.Object;
Bold* : java_lang.Object;
Italic* : java_lang.Object;
END;
StyleConstants$ParagraphConstants* = POINTER TO EXTENSIBLE RECORD (StyleConstants + java_io.PrintWriter)
STATIC
FirstLineIndent* : java_lang.Object;
LeftIndent* : java_lang.Object;
RightIndent* : java_lang.Object;
LineSpacing* : java_lang.Object;
SpaceAbove* : java_lang.Object;
SpaceBelow* : java_lang.Object;
Alignment* : java_lang.Object;
TabSet* : java_lang.Object;
Orientation* : java_lang.Object;
END;
StyleConstants* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
STATIC
ComponentElementName* = "component";
IconElementName* = "icon";
NameAttribute* : java_lang.Object;
ResolveAttribute* : java_lang.Object;
ModelAttribute* : java_lang.Object;
BidiLevel* : java_lang.Object;
FontFamily* : java_lang.Object;
FontSize* : java_lang.Object;
Bold* : java_lang.Object;
Italic* : java_lang.Object;
Underline* : java_lang.Object;
StrikeThrough* : java_lang.Object;
Superscript* : java_lang.Object;
Subscript* : java_lang.Object;
Foreground* : java_lang.Object;
Background* : java_lang.Object;
ComponentAttribute* : java_lang.Object;
IconAttribute* : java_lang.Object;
ComposedTextAttribute* : java_lang.Object;
FirstLineIndent* : java_lang.Object;
LeftIndent* : java_lang.Object;
RightIndent* : java_lang.Object;
LineSpacing* : java_lang.Object;
SpaceAbove* : java_lang.Object;
SpaceBelow* : java_lang.Object;
Alignment* : java_lang.Object;
TabSet* : java_lang.Object;
Orientation* : java_lang.Object;
ALIGN_LEFT* = 0;
ALIGN_CENTER* = 1;
ALIGN_RIGHT* = 2;
ALIGN_JUSTIFIED* = 3;
PROCEDURE getAlignment*(p0 : AttributeSet) : INTEGER;
PROCEDURE getBackground*(p0 : AttributeSet) : java_awt.Color;
PROCEDURE getBidiLevel*(p0 : AttributeSet) : INTEGER;
PROCEDURE getComponent*(p0 : AttributeSet) : java_awt.Component;
PROCEDURE getFirstLineIndent*(p0 : AttributeSet) : SHORTREAL;
PROCEDURE getFontFamily*(p0 : AttributeSet) : java_lang.String;
PROCEDURE getFontSize*(p0 : AttributeSet) : INTEGER;
PROCEDURE getForeground*(p0 : AttributeSet) : java_awt.Color;
PROCEDURE getIcon*(p0 : AttributeSet) : javax_swing.Icon;
PROCEDURE getLeftIndent*(p0 : AttributeSet) : SHORTREAL;
PROCEDURE getLineSpacing*(p0 : AttributeSet) : SHORTREAL;
PROCEDURE getRightIndent*(p0 : AttributeSet) : SHORTREAL;
PROCEDURE getSpaceAbove*(p0 : AttributeSet) : SHORTREAL;
PROCEDURE getSpaceBelow*(p0 : AttributeSet) : SHORTREAL;
PROCEDURE getTabSet*(p0 : AttributeSet) : TabSet;
PROCEDURE isBold*(p0 : AttributeSet) : BOOLEAN;
PROCEDURE isItalic*(p0 : AttributeSet) : BOOLEAN;
PROCEDURE isStrikeThrough*(p0 : AttributeSet) : BOOLEAN;
PROCEDURE isSubscript*(p0 : AttributeSet) : BOOLEAN;
PROCEDURE isSuperscript*(p0 : AttributeSet) : BOOLEAN;
PROCEDURE isUnderline*(p0 : AttributeSet) : BOOLEAN;
PROCEDURE setAlignment*(p0 : MutableAttributeSet;
p1 : INTEGER);
PROCEDURE setBackground*(p0 : MutableAttributeSet;
p1 : java_awt.Color);
PROCEDURE setBidiLevel*(p0 : MutableAttributeSet;
p1 : INTEGER);
PROCEDURE setBold*(p0 : MutableAttributeSet;
p1 : BOOLEAN);
PROCEDURE setComponent*(p0 : MutableAttributeSet;
p1 : java_awt.Component);
PROCEDURE setFirstLineIndent*(p0 : MutableAttributeSet;
p1 : SHORTREAL);
PROCEDURE setFontFamily*(p0 : MutableAttributeSet;
p1 : java_lang.String);
PROCEDURE setFontSize*(p0 : MutableAttributeSet;
p1 : INTEGER);
PROCEDURE setForeground*(p0 : MutableAttributeSet;
p1 : java_awt.Color);
PROCEDURE setIcon*(p0 : MutableAttributeSet;
p1 : javax_swing.Icon);
PROCEDURE setItalic*(p0 : MutableAttributeSet;
p1 : BOOLEAN);
PROCEDURE setLeftIndent*(p0 : MutableAttributeSet;
p1 : SHORTREAL);
PROCEDURE setLineSpacing*(p0 : MutableAttributeSet;
p1 : SHORTREAL);
PROCEDURE setRightIndent*(p0 : MutableAttributeSet;
p1 : SHORTREAL);
PROCEDURE setSpaceAbove*(p0 : MutableAttributeSet;
p1 : SHORTREAL);
PROCEDURE setSpaceBelow*(p0 : MutableAttributeSet;
p1 : SHORTREAL);
PROCEDURE setStrikeThrough*(p0 : MutableAttributeSet;
p1 : BOOLEAN);
PROCEDURE setSubscript*(p0 : MutableAttributeSet;
p1 : BOOLEAN);
PROCEDURE setSuperscript*(p0 : MutableAttributeSet;
p1 : BOOLEAN);
PROCEDURE setTabSet*(p0 : MutableAttributeSet;
p1 : TabSet);
PROCEDURE setUnderline*(p0 : MutableAttributeSet;
p1 : BOOLEAN);
END;
StyleContext$NamedStyle* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + Style + java_io.Serializable)
listenerList! : javax_swing_event.EventListenerList;
changeEvent! : javax_swing_event.ChangeEvent;
STATIC
PROCEDURE Init*(p0 : StyleContext) : StyleContext$NamedStyle,CONSTRUCTOR;
PROCEDURE Init*(p0 : StyleContext;
p1 : java_lang.String;
p2 : Style) : StyleContext$NamedStyle,CONSTRUCTOR;
PROCEDURE Init*(p0 : StyleContext;
p1 : Style) : StyleContext$NamedStyle,CONSTRUCTOR;
END;
StyleContext$SmallAttributeSet* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + AttributeSet)
STATIC
PROCEDURE Init*(p0 : StyleContext;
p1 : AttributeSet) : StyleContext$SmallAttributeSet,CONSTRUCTOR;
PROCEDURE Init*( p0 : StyleContext;
IN p1 : ARRAY OF java_lang.Object) : StyleContext$SmallAttributeSet,CONSTRUCTOR;
END;
StyleContext* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable + PathFiller)
STATIC
DEFAULT_STYLE* = "default";
PROCEDURE Init*() : StyleContext,CONSTRUCTOR;
PROCEDURE getDefaultStyleContext*() : StyleContext;
PROCEDURE getStaticAttribute*(p0 : java_lang.Object) : java_lang.Object;
PROCEDURE getStaticAttributeKey*(p0 : java_lang.Object) : java_lang.Object;
PROCEDURE readAttributeSet*(p0 : java_io.ObjectInputStream;
p1 : MutableAttributeSet);
PROCEDURE registerStaticAttributeKey*(p0 : java_lang.Object);
PROCEDURE writeAttributeSet*(p0 : java_io.ObjectOutputStream;
p1 : AttributeSet);
END;
StyledDocument* = POINTER TO INTERFACE RECORD (java_lang.Object + Document)
END;
StyledEditorKit$AlignmentAction* = POINTER TO EXTENSIBLE RECORD (StyledEditorKit$StyledTextAction)
STATIC
PROCEDURE Init*(p0 : java_lang.String;
p1 : INTEGER) : StyledEditorKit$AlignmentAction,CONSTRUCTOR;
END;
StyledEditorKit$BoldAction* = POINTER TO EXTENSIBLE RECORD (StyledEditorKit$StyledTextAction)
STATIC
PROCEDURE Init*() : StyledEditorKit$BoldAction,CONSTRUCTOR;
END;
StyledEditorKit$FontFamilyAction* = POINTER TO EXTENSIBLE RECORD (StyledEditorKit$StyledTextAction)
STATIC
PROCEDURE Init*(p0 : java_lang.String;
p1 : java_lang.String) : StyledEditorKit$FontFamilyAction,CONSTRUCTOR;
END;
StyledEditorKit$FontSizeAction* = POINTER TO EXTENSIBLE RECORD (StyledEditorKit$StyledTextAction)
STATIC
PROCEDURE Init*(p0 : java_lang.String;
p1 : INTEGER) : StyledEditorKit$FontSizeAction,CONSTRUCTOR;
END;
StyledEditorKit$ForegroundAction* = POINTER TO EXTENSIBLE RECORD (StyledEditorKit$StyledTextAction)
STATIC
PROCEDURE Init*(p0 : java_lang.String;
p1 : java_awt.Color) : StyledEditorKit$ForegroundAction,CONSTRUCTOR;
END;
StyledEditorKit$ItalicAction* = POINTER TO EXTENSIBLE RECORD (StyledEditorKit$StyledTextAction)
STATIC
PROCEDURE Init*() : StyledEditorKit$ItalicAction,CONSTRUCTOR;
END;
StyledEditorKit$StyledTextAction* = POINTER TO ABSTRACT RECORD (TextAction)
STATIC
PROCEDURE Init*(p0 : java_lang.String) : StyledEditorKit$StyledTextAction,CONSTRUCTOR;
END;
StyledEditorKit$UnderlineAction* = POINTER TO EXTENSIBLE RECORD (StyledEditorKit$StyledTextAction)
STATIC
PROCEDURE Init*() : StyledEditorKit$UnderlineAction,CONSTRUCTOR;
END;
StyledEditorKit* = POINTER TO EXTENSIBLE RECORD (DefaultEditorKit)
STATIC
PROCEDURE Init*() : StyledEditorKit,CONSTRUCTOR;
END;
TabableView* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
TabExpander* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
TableView$TableCell* = POINTER TO EXTENSIBLE RECORD (BoxView + TableView$GridCell)
STATIC
PROCEDURE Init*(p0 : TableView;
p1 : Element) : TableView$TableCell,CONSTRUCTOR;
END;
TableView$TableRow* = POINTER TO EXTENSIBLE RECORD (BoxView)
STATIC
PROCEDURE Init*(p0 : TableView;
p1 : Element) : TableView$TableRow,CONSTRUCTOR;
END;
TableView* = POINTER TO ABSTRACT RECORD (BoxView)
STATIC
PROCEDURE Init*(p0 : Element) : TableView,CONSTRUCTOR;
END;
TabSet* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable)
STATIC
PROCEDURE Init*(IN p0 : ARRAY OF TabStop) : TabSet,CONSTRUCTOR;
END;
TabStop* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable)
STATIC
ALIGN_LEFT* = 0;
ALIGN_RIGHT* = 1;
ALIGN_CENTER* = 2;
ALIGN_DECIMAL* = 4;
ALIGN_BAR* = 5;
LEAD_NONE* = 0;
LEAD_DOTS* = 1;
LEAD_HYPHENS* = 2;
LEAD_UNDERLINE* = 3;
LEAD_THICKLINE* = 4;
LEAD_EQUALS* = 5;
PROCEDURE Init*(p0 : SHORTREAL) : TabStop,CONSTRUCTOR;
PROCEDURE Init*(p0 : SHORTREAL;
p1 : INTEGER;
p2 : INTEGER) : TabStop,CONSTRUCTOR;
END;
TextAction* = POINTER TO ABSTRACT RECORD (javax_swing.AbstractAction)
STATIC
PROCEDURE Init*(p0 : java_lang.String) : TextAction,CONSTRUCTOR;
PROCEDURE augmentList*(IN p0 : ARRAY OF javax_swing.Action;
IN p1 : ARRAY OF javax_swing.Action) : POINTER TO ARRAY OF javax_swing.Action;
END;
Utilities* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
STATIC
PROCEDURE Init*() : Utilities,CONSTRUCTOR;
PROCEDURE drawTabbedText*(p0 : Segment;
p1 : INTEGER;
p2 : INTEGER;
p3 : java_awt.Graphics;
p4 : TabExpander;
p5 : INTEGER) : INTEGER;
PROCEDURE getBreakLocation*(p0 : Segment;
p1 : java_awt.FontMetrics;
p2 : INTEGER;
p3 : INTEGER;
p4 : TabExpander;
p5 : INTEGER) : INTEGER;
PROCEDURE getNextWord*(p0 : JTextComponent;
p1 : INTEGER) : INTEGER;
PROCEDURE getParagraphElement*(p0 : JTextComponent;
p1 : INTEGER) : Element;
PROCEDURE getPositionAbove*(p0 : JTextComponent;
p1 : INTEGER;
p2 : INTEGER) : INTEGER;
PROCEDURE getPositionBelow*(p0 : JTextComponent;
p1 : INTEGER;
p2 : INTEGER) : INTEGER;
PROCEDURE getPreviousWord*(p0 : JTextComponent;
p1 : INTEGER) : INTEGER;
PROCEDURE getRowEnd*(p0 : JTextComponent;
p1 : INTEGER) : INTEGER;
PROCEDURE getRowStart*(p0 : JTextComponent;
p1 : INTEGER) : INTEGER;
PROCEDURE getTabbedTextOffset*(p0 : Segment;
p1 : java_awt.FontMetrics;
p2 : INTEGER;
p3 : INTEGER;
p4 : TabExpander;
p5 : INTEGER) : INTEGER;
PROCEDURE getTabbedTextOffset*(p0 : Segment;
p1 : java_awt.FontMetrics;
p2 : INTEGER;
p3 : INTEGER;
p4 : TabExpander;
p5 : INTEGER;
p6 : BOOLEAN) : INTEGER;
PROCEDURE getTabbedTextWidth*(p0 : Segment;
p1 : java_awt.FontMetrics;
p2 : INTEGER;
p3 : TabExpander;
p4 : INTEGER) : INTEGER;
PROCEDURE getWordEnd*(p0 : JTextComponent;
p1 : INTEGER) : INTEGER;
PROCEDURE getWordStart*(p0 : JTextComponent;
p1 : INTEGER) : INTEGER;
END;
View* = POINTER TO ABSTRACT RECORD (java_lang.Object + javax_swing.SwingConstants)
STATIC
BadBreakWeight* = 0;
GoodBreakWeight* = 1000;
ExcellentBreakWeight* = 2000;
ForcedBreakWeight* = 3000;
X_AXIS* = 0;
Y_AXIS* = 1;
PROCEDURE Init*(p0 : Element) : View,CONSTRUCTOR;
END;
ViewFactory* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
WrappedPlainView* = POINTER TO EXTENSIBLE RECORD (BoxView + TabExpander)
STATIC
PROCEDURE Init*(p0 : Element) : WrappedPlainView,CONSTRUCTOR;
PROCEDURE Init*(p0 : Element;
p1 : BOOLEAN) : WrappedPlainView,CONSTRUCTOR;
END;
PROCEDURE (self:AbstractDocument$AbstractElement) addAttribute*(p0 : java_lang.Object;
p1 : java_lang.Object),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) addAttributes*(p0 : AttributeSet),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) children*() : java_util.Enumeration,NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument$AbstractElement) containsAttribute*(p0 : java_lang.Object;
p1 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) containsAttributes*(p0 : AttributeSet) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) copyAttributes*() : AttributeSet,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) dump*(p0 : java_io.PrintStream;
p1 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) finalize!(),EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) getAllowsChildren*() : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument$AbstractElement) getAttribute*(p0 : java_lang.Object) : java_lang.Object,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) getAttributeCount*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) getAttributeNames*() : java_util.Enumeration,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) getAttributes*() : AttributeSet,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) getChildAt*(p0 : INTEGER) : javax_swing_tree.TreeNode,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) getChildCount*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) getDocument*() : Document,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) getElement*(p0 : INTEGER) : Element,NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument$AbstractElement) getElementCount*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument$AbstractElement) getElementIndex*(p0 : INTEGER) : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument$AbstractElement) getEndOffset*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument$AbstractElement) getIndex*(p0 : javax_swing_tree.TreeNode) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) getName*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) getParent*() : javax_swing_tree.TreeNode,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) getParentElement*() : Element,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) getResolveParent*() : AttributeSet,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) getStartOffset*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument$AbstractElement) isDefined*(p0 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) isEqual*(p0 : AttributeSet) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) isLeaf*() : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument$AbstractElement) removeAttribute*(p0 : java_lang.Object),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) removeAttributes*(p0 : java_util.Enumeration),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) removeAttributes*(p0 : AttributeSet),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AbstractElement) setResolveParent*(p0 : AttributeSet),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$AttributeContext) addAttribute*(p0 : AttributeSet;
p1 : java_lang.Object;
p2 : java_lang.Object) : AttributeSet,NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument$AttributeContext) addAttributes*(p0 : AttributeSet;
p1 : AttributeSet) : AttributeSet,NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument$AttributeContext) getEmptySet*() : AttributeSet,NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument$AttributeContext) reclaim*(p0 : AttributeSet),NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument$AttributeContext) removeAttribute*(p0 : AttributeSet;
p1 : java_lang.Object) : AttributeSet,NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument$AttributeContext) removeAttributes*(p0 : AttributeSet;
p1 : java_util.Enumeration) : AttributeSet,NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument$AttributeContext) removeAttributes*(p0 : AttributeSet;
p1 : AttributeSet) : AttributeSet,NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument$BranchElement) children*() : java_util.Enumeration,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$BranchElement) getAllowsChildren*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$BranchElement) getElement*(p0 : INTEGER) : Element,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$BranchElement) getElementCount*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$BranchElement) getElementIndex*(p0 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$BranchElement) getEndOffset*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$BranchElement) getName*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$BranchElement) getStartOffset*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$BranchElement) isLeaf*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$BranchElement) positionToElement*(p0 : INTEGER) : Element,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$BranchElement) replace*( p0 : INTEGER;
p1 : INTEGER;
IN p2 : ARRAY OF Element),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$BranchElement) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$Content) createPosition*(p0 : INTEGER) : Position,NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument$Content) getChars*(p0 : INTEGER;
p1 : INTEGER;
p2 : Segment),NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument$Content) getString*(p0 : INTEGER;
p1 : INTEGER) : java_lang.String,NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument$Content) insertString*(p0 : INTEGER;
p1 : java_lang.String) : javax_swing_undo.UndoableEdit,NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument$Content) length*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument$Content) remove*(p0 : INTEGER;
p1 : INTEGER) : javax_swing_undo.UndoableEdit,NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) addEdit*(p0 : javax_swing_undo.UndoableEdit) : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) getChange*(p0 : Element) : javax_swing_event.DocumentEvent$ElementChange,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) getDocument*() : Document,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) getLength*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) getOffset*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) getPresentationName*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) getRedoPresentationName*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) getType*() : javax_swing_event.DocumentEvent$EventType,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) getUndoPresentationName*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) isSignificant*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) redo*(),EXTENSIBLE;
PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$DefaultDocumentEvent) undo*(),EXTENSIBLE;
PROCEDURE (self:AbstractDocument$ElementEdit) getChildrenAdded*() : POINTER TO ARRAY OF Element,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$ElementEdit) getChildrenRemoved*() : POINTER TO ARRAY OF Element,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$ElementEdit) getElement*() : Element,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$ElementEdit) getIndex*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$ElementEdit) redo*(),EXTENSIBLE;
PROCEDURE (self:AbstractDocument$ElementEdit) undo*(),EXTENSIBLE;
PROCEDURE (self:AbstractDocument$LeafElement) children*() : java_util.Enumeration,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$LeafElement) getAllowsChildren*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$LeafElement) getElement*(p0 : INTEGER) : Element,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$LeafElement) getElementCount*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$LeafElement) getElementIndex*(p0 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$LeafElement) getEndOffset*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$LeafElement) getName*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$LeafElement) getStartOffset*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$LeafElement) isLeaf*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:AbstractDocument$LeafElement) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) addDocumentListener*(p0 : javax_swing_event.DocumentListener),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) addUndoableEditListener*(p0 : javax_swing_event.UndoableEditListener),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) createBranchElement!(p0 : Element;
p1 : AttributeSet) : Element,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) createLeafElement!(p0 : Element;
p1 : AttributeSet;
p2 : INTEGER;
p3 : INTEGER) : Element,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) createPosition*(p0 : INTEGER) : Position,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) dump*(p0 : java_io.PrintStream),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) fireChangedUpdate!(p0 : javax_swing_event.DocumentEvent),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) fireInsertUpdate!(p0 : javax_swing_event.DocumentEvent),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) fireRemoveUpdate!(p0 : javax_swing_event.DocumentEvent),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) fireUndoableEditUpdate!(p0 : javax_swing_event.UndoableEditEvent),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) getAsynchronousLoadPriority*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) getAttributeContext!() : AbstractDocument$AttributeContext,NEW;
PROCEDURE (self:AbstractDocument) getBidiRootElement*() : Element,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) getContent!() : AbstractDocument$Content,NEW;
PROCEDURE (self:AbstractDocument) getCurrentWriter!() : java_lang.Thread,NEW;
PROCEDURE (self:AbstractDocument) getDefaultRootElement*() : Element,NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument) getDocumentProperties*() : java_util.Dictionary,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) getEndPosition*() : Position,NEW;
PROCEDURE (self:AbstractDocument) getLength*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) getParagraphElement*(p0 : INTEGER) : Element,NEW,ABSTRACT;
PROCEDURE (self:AbstractDocument) getProperty*(p0 : java_lang.Object) : java_lang.Object,NEW;
PROCEDURE (self:AbstractDocument) getRootElements*() : POINTER TO ARRAY OF Element,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) getStartPosition*() : Position,NEW;
PROCEDURE (self:AbstractDocument) getText*(p0 : INTEGER;
p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) getText*(p0 : INTEGER;
p1 : INTEGER;
p2 : Segment),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) insertString*(p0 : INTEGER;
p1 : java_lang.String;
p2 : AttributeSet),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) insertUpdate!(p0 : AbstractDocument$DefaultDocumentEvent;
p1 : AttributeSet),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) postRemoveUpdate!(p0 : AbstractDocument$DefaultDocumentEvent),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) putProperty*(p0 : java_lang.Object;
p1 : java_lang.Object),NEW;
PROCEDURE (self:AbstractDocument) readLock*(),NEW;
PROCEDURE (self:AbstractDocument) readUnlock*(),NEW;
PROCEDURE (self:AbstractDocument) remove*(p0 : INTEGER;
p1 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) removeDocumentListener*(p0 : javax_swing_event.DocumentListener),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) removeUndoableEditListener*(p0 : javax_swing_event.UndoableEditListener),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) removeUpdate!(p0 : AbstractDocument$DefaultDocumentEvent),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) render*(p0 : java_lang.Runnable),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) setAsynchronousLoadPriority*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) setDocumentProperties*(p0 : java_util.Dictionary),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractDocument) writeLock!(),NEW;
PROCEDURE (self:AbstractDocument) writeUnlock!(),NEW;
PROCEDURE (self:AbstractWriter) decrIndent!(),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractWriter) getDocument!() : Document,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractWriter) getElementIterator!() : ElementIterator,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractWriter) getText!(p0 : Element) : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractWriter) inRange!(p0 : Element) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:AbstractWriter) incrIndent!(),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractWriter) indent!(),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractWriter) setIndentSpace!(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractWriter) setLineLength!(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractWriter) text!(p0 : Element),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractWriter) write!(),NEW,ABSTRACT;
PROCEDURE (self:AbstractWriter) write!(p0 : CHAR),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractWriter) write!(p0 : java_lang.String),NEW,EXTENSIBLE;
PROCEDURE (self:AbstractWriter) writeAttributes!(p0 : AttributeSet),NEW,EXTENSIBLE;
PROCEDURE (self:AttributeSet) containsAttribute*(p0 : java_lang.Object;
p1 : java_lang.Object) : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:AttributeSet) containsAttributes*(p0 : AttributeSet) : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:AttributeSet) copyAttributes*() : AttributeSet,NEW,ABSTRACT;
PROCEDURE (self:AttributeSet) getAttribute*(p0 : java_lang.Object) : java_lang.Object,NEW,ABSTRACT;
PROCEDURE (self:AttributeSet) getAttributeCount*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:AttributeSet) getAttributeNames*() : java_util.Enumeration,NEW,ABSTRACT;
PROCEDURE (self:AttributeSet) getResolveParent*() : AttributeSet,NEW,ABSTRACT;
PROCEDURE (self:AttributeSet) isDefined*(p0 : java_lang.Object) : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:AttributeSet) isEqual*(p0 : AttributeSet) : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:BadLocationException) offsetRequested*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:BoxView) baselineLayout!( p0 : INTEGER;
p1 : INTEGER;
IN p2 : ARRAY OF INTEGER;
IN p3 : ARRAY OF INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:BoxView) baselineRequirements!(p0 : INTEGER;
p1 : javax_swing.SizeRequirements) : javax_swing.SizeRequirements,NEW,EXTENSIBLE;
PROCEDURE (self:BoxView) calculateMajorAxisRequirements!(p0 : INTEGER;
p1 : javax_swing.SizeRequirements) : javax_swing.SizeRequirements,NEW,EXTENSIBLE;
PROCEDURE (self:BoxView) calculateMinorAxisRequirements!(p0 : INTEGER;
p1 : javax_swing.SizeRequirements) : javax_swing.SizeRequirements,NEW,EXTENSIBLE;
PROCEDURE (self:BoxView) changedUpdate*(p0 : javax_swing_event.DocumentEvent;
p1 : java_awt.Shape;
p2 : ViewFactory),EXTENSIBLE;
PROCEDURE (self:BoxView) childAllocation!(p0 : INTEGER;
p1 : java_awt.Rectangle),EXTENSIBLE;
PROCEDURE (self:BoxView) flipEastAndWestAtEnds!(p0 : INTEGER;
p1 : Position$Bias) : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:BoxView) getAlignment*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;
PROCEDURE (self:BoxView) getHeight*() : INTEGER,NEW;
PROCEDURE (self:BoxView) getMaximumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;
PROCEDURE (self:BoxView) getMinimumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;
PROCEDURE (self:BoxView) getOffset!(p0 : INTEGER;
p1 : INTEGER) : INTEGER,NEW;
PROCEDURE (self:BoxView) getPreferredSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;
PROCEDURE (self:BoxView) getResizeWeight*(p0 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:BoxView) getSpan!(p0 : INTEGER;
p1 : INTEGER) : INTEGER,NEW;
PROCEDURE (self:BoxView) getViewAtPoint!(p0 : INTEGER;
p1 : INTEGER;
p2 : java_awt.Rectangle) : View,EXTENSIBLE;
PROCEDURE (self:BoxView) getWidth*() : INTEGER,NEW;
PROCEDURE (self:BoxView) insertUpdate*(p0 : javax_swing_event.DocumentEvent;
p1 : java_awt.Shape;
p2 : ViewFactory),EXTENSIBLE;
PROCEDURE (self:BoxView) isAfter!(p0 : INTEGER;
p1 : INTEGER;
p2 : java_awt.Rectangle) : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:BoxView) isAllocationValid!() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:BoxView) isBefore!(p0 : INTEGER;
p1 : INTEGER;
p2 : java_awt.Rectangle) : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:BoxView) layout!(p0 : INTEGER;
p1 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:BoxView) layoutMajorAxis!( p0 : INTEGER;
p1 : INTEGER;
IN p2 : ARRAY OF INTEGER;
IN p3 : ARRAY OF INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:BoxView) layoutMinorAxis!( p0 : INTEGER;
p1 : INTEGER;
IN p2 : ARRAY OF INTEGER;
IN p3 : ARRAY OF INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:BoxView) modelToView*(p0 : INTEGER;
p1 : java_awt.Shape;
p2 : Position$Bias) : java_awt.Shape,EXTENSIBLE;
PROCEDURE (self:BoxView) paint*(p0 : java_awt.Graphics;
p1 : java_awt.Shape),EXTENSIBLE;
PROCEDURE (self:BoxView) paintChild!(p0 : java_awt.Graphics;
p1 : java_awt.Rectangle;
p2 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:BoxView) preferenceChanged*(p0 : View;
p1 : BOOLEAN;
p2 : BOOLEAN),EXTENSIBLE;
PROCEDURE (self:BoxView) removeUpdate*(p0 : javax_swing_event.DocumentEvent;
p1 : java_awt.Shape;
p2 : ViewFactory),EXTENSIBLE;
PROCEDURE (self:BoxView) replace*( p0 : INTEGER;
p1 : INTEGER;
IN p2 : ARRAY OF View),EXTENSIBLE;
PROCEDURE (self:BoxView) setSize*(p0 : SHORTREAL;
p1 : SHORTREAL),EXTENSIBLE;
PROCEDURE (self:BoxView) viewToModel*( p0 : SHORTREAL;
p1 : SHORTREAL;
p2 : java_awt.Shape;
IN p3 : ARRAY OF Position$Bias) : INTEGER,EXTENSIBLE;
PROCEDURE (self:Caret) addChangeListener*(p0 : javax_swing_event.ChangeListener),NEW,ABSTRACT;
PROCEDURE (self:Caret) deinstall*(p0 : JTextComponent),NEW,ABSTRACT;
PROCEDURE (self:Caret) getBlinkRate*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:Caret) getDot*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:Caret) getMagicCaretPosition*() : java_awt.Point,NEW,ABSTRACT;
PROCEDURE (self:Caret) getMark*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:Caret) install*(p0 : JTextComponent),NEW,ABSTRACT;
PROCEDURE (self:Caret) isSelectionVisible*() : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:Caret) isVisible*() : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:Caret) moveDot*(p0 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:Caret) paint*(p0 : java_awt.Graphics),NEW,ABSTRACT;
PROCEDURE (self:Caret) removeChangeListener*(p0 : javax_swing_event.ChangeListener),NEW,ABSTRACT;
PROCEDURE (self:Caret) setBlinkRate*(p0 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:Caret) setDot*(p0 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:Caret) setMagicCaretPosition*(p0 : java_awt.Point),NEW,ABSTRACT;
PROCEDURE (self:Caret) setSelectionVisible*(p0 : BOOLEAN),NEW,ABSTRACT;
PROCEDURE (self:Caret) setVisible*(p0 : BOOLEAN),NEW,ABSTRACT;
PROCEDURE (self:ChangedCharSetException) getCharSetSpec*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:ChangedCharSetException) keyEqualsCharSet*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:ComponentView) createComponent!() : java_awt.Component,NEW,EXTENSIBLE;
PROCEDURE (self:ComponentView) getAlignment*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;
PROCEDURE (self:ComponentView) getComponent*() : java_awt.Component,NEW;
PROCEDURE (self:ComponentView) getMaximumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;
PROCEDURE (self:ComponentView) getMinimumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;
PROCEDURE (self:ComponentView) getPreferredSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;
PROCEDURE (self:ComponentView) modelToView*(p0 : INTEGER;
p1 : java_awt.Shape;
p2 : Position$Bias) : java_awt.Shape,EXTENSIBLE;
PROCEDURE (self:ComponentView) paint*(p0 : java_awt.Graphics;
p1 : java_awt.Shape),EXTENSIBLE;
PROCEDURE (self:ComponentView) setParent*(p0 : View),EXTENSIBLE;
PROCEDURE (self:ComponentView) setSize*(p0 : SHORTREAL;
p1 : SHORTREAL),EXTENSIBLE;
PROCEDURE (self:ComponentView) viewToModel*( p0 : SHORTREAL;
p1 : SHORTREAL;
p2 : java_awt.Shape;
IN p3 : ARRAY OF Position$Bias) : INTEGER,EXTENSIBLE;
PROCEDURE (self:CompositeView) append*(p0 : View),NEW,EXTENSIBLE;
PROCEDURE (self:CompositeView) childAllocation!(p0 : INTEGER;
p1 : java_awt.Rectangle),NEW,ABSTRACT;
PROCEDURE (self:CompositeView) flipEastAndWestAtEnds!(p0 : INTEGER;
p1 : Position$Bias) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:CompositeView) getBottomInset!() : SHORTINT,NEW;
PROCEDURE (self:CompositeView) getChildAllocation*(p0 : INTEGER;
p1 : java_awt.Shape) : java_awt.Shape,EXTENSIBLE;
PROCEDURE (self:CompositeView) getInsideAllocation!(p0 : java_awt.Shape) : java_awt.Rectangle,NEW,EXTENSIBLE;
PROCEDURE (self:CompositeView) getLeftInset!() : SHORTINT,NEW;
PROCEDURE (self:CompositeView) getNextEastWestVisualPositionFrom!( p0 : INTEGER;
p1 : Position$Bias;
p2 : java_awt.Shape;
p3 : INTEGER;
IN p4 : ARRAY OF Position$Bias) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:CompositeView) getNextNorthSouthVisualPositionFrom!( p0 : INTEGER;
p1 : Position$Bias;
p2 : java_awt.Shape;
p3 : INTEGER;
IN p4 : ARRAY OF Position$Bias) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:CompositeView) getNextVisualPositionFrom*( p0 : INTEGER;
p1 : Position$Bias;
p2 : java_awt.Shape;
p3 : INTEGER;
IN p4 : ARRAY OF Position$Bias) : INTEGER,EXTENSIBLE;
PROCEDURE (self:CompositeView) getRightInset!() : SHORTINT,NEW;
PROCEDURE (self:CompositeView) getTopInset!() : SHORTINT,NEW;
PROCEDURE (self:CompositeView) getView*(p0 : INTEGER) : View,EXTENSIBLE;
PROCEDURE (self:CompositeView) getViewAtPoint!(p0 : INTEGER;
p1 : INTEGER;
p2 : java_awt.Rectangle) : View,NEW,ABSTRACT;
PROCEDURE (self:CompositeView) getViewAtPosition!(p0 : INTEGER;
p1 : java_awt.Rectangle) : View,NEW,EXTENSIBLE;
PROCEDURE (self:CompositeView) getViewCount*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:CompositeView) getViewIndexAtPosition!(p0 : INTEGER) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:CompositeView) insert*(p0 : INTEGER;
p1 : View),NEW,EXTENSIBLE;
PROCEDURE (self:CompositeView) isAfter!(p0 : INTEGER;
p1 : INTEGER;
p2 : java_awt.Rectangle) : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:CompositeView) isBefore!(p0 : INTEGER;
p1 : INTEGER;
p2 : java_awt.Rectangle) : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:CompositeView) loadChildren!(p0 : ViewFactory),NEW,EXTENSIBLE;
PROCEDURE (self:CompositeView) modelToView*(p0 : INTEGER;
p1 : java_awt.Shape;
p2 : Position$Bias) : java_awt.Shape,EXTENSIBLE;
PROCEDURE (self:CompositeView) modelToView*(p0 : INTEGER;
p1 : Position$Bias;
p2 : INTEGER;
p3 : Position$Bias;
p4 : java_awt.Shape) : java_awt.Shape,EXTENSIBLE;
PROCEDURE (self:CompositeView) removeAll*(),NEW,EXTENSIBLE;
PROCEDURE (self:CompositeView) replace*( p0 : INTEGER;
p1 : INTEGER;
IN p2 : ARRAY OF View),NEW,EXTENSIBLE;
PROCEDURE (self:CompositeView) setInsets!(p0 : SHORTINT;
p1 : SHORTINT;
p2 : SHORTINT;
p3 : SHORTINT),NEW;
PROCEDURE (self:CompositeView) setParagraphInsets!(p0 : AttributeSet),NEW;
PROCEDURE (self:CompositeView) setParent*(p0 : View),EXTENSIBLE;
PROCEDURE (self:CompositeView) viewToModel*( p0 : SHORTREAL;
p1 : SHORTREAL;
p2 : java_awt.Shape;
IN p3 : ARRAY OF Position$Bias) : INTEGER,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) addChangeListener*(p0 : javax_swing_event.ChangeListener),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) adjustVisibility!(p0 : java_awt.Rectangle),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) damage!(p0 : java_awt.Rectangle),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) deinstall*(p0 : JTextComponent),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) fireStateChanged!(),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) focusGained*(p0 : java_awt_event.FocusEvent),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) focusLost*(p0 : java_awt_event.FocusEvent),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) getBlinkRate*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) getComponent!() : JTextComponent,NEW;
PROCEDURE (self:DefaultCaret) getDot*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) getMagicCaretPosition*() : java_awt.Point,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) getMark*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) getSelectionPainter!() : Highlighter$HighlightPainter,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) install*(p0 : JTextComponent),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) isSelectionVisible*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) isVisible*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) mouseClicked*(p0 : java_awt_event.MouseEvent),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) mouseDragged*(p0 : java_awt_event.MouseEvent),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) mouseEntered*(p0 : java_awt_event.MouseEvent),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) mouseExited*(p0 : java_awt_event.MouseEvent),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) mouseMoved*(p0 : java_awt_event.MouseEvent),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) mousePressed*(p0 : java_awt_event.MouseEvent),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) mouseReleased*(p0 : java_awt_event.MouseEvent),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) moveCaret!(p0 : java_awt_event.MouseEvent),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) moveDot*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) paint*(p0 : java_awt.Graphics),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) positionCaret!(p0 : java_awt_event.MouseEvent),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) removeChangeListener*(p0 : javax_swing_event.ChangeListener),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) repaint!(),NEW;
PROCEDURE (self:DefaultCaret) setBlinkRate*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) setDot*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) setMagicCaretPosition*(p0 : java_awt.Point),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) setSelectionVisible*(p0 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) setVisible*(p0 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultCaret) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:DefaultEditorKit$BeepAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;
PROCEDURE (self:DefaultEditorKit$CopyAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;
PROCEDURE (self:DefaultEditorKit$CutAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;
PROCEDURE (self:DefaultEditorKit$DefaultKeyTypedAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;
PROCEDURE (self:DefaultEditorKit$InsertBreakAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;
PROCEDURE (self:DefaultEditorKit$InsertContentAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;
PROCEDURE (self:DefaultEditorKit$InsertTabAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;
PROCEDURE (self:DefaultEditorKit$PasteAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;
PROCEDURE (self:DefaultEditorKit) clone*() : java_lang.Object,EXTENSIBLE;
PROCEDURE (self:DefaultEditorKit) createCaret*() : Caret,EXTENSIBLE;
PROCEDURE (self:DefaultEditorKit) createDefaultDocument*() : Document,EXTENSIBLE;
PROCEDURE (self:DefaultEditorKit) getActions*() : POINTER TO ARRAY OF javax_swing.Action,EXTENSIBLE;
PROCEDURE (self:DefaultEditorKit) getContentType*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:DefaultEditorKit) getViewFactory*() : ViewFactory,EXTENSIBLE;
PROCEDURE (self:DefaultEditorKit) read*(p0 : java_io.InputStream;
p1 : Document;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:DefaultEditorKit) read*(p0 : java_io.Reader;
p1 : Document;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:DefaultEditorKit) write*(p0 : java_io.OutputStream;
p1 : Document;
p2 : INTEGER;
p3 : INTEGER),EXTENSIBLE;
PROCEDURE (self:DefaultEditorKit) write*(p0 : java_io.Writer;
p1 : Document;
p2 : INTEGER;
p3 : INTEGER),EXTENSIBLE;
PROCEDURE (self:DefaultHighlighter$DefaultHighlightPainter) getColor*() : java_awt.Color,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultHighlighter$DefaultHighlightPainter) paint*(p0 : java_awt.Graphics;
p1 : INTEGER;
p2 : INTEGER;
p3 : java_awt.Shape;
p4 : JTextComponent),EXTENSIBLE;
PROCEDURE (self:DefaultHighlighter$DefaultHighlightPainter) paintLayer*(p0 : java_awt.Graphics;
p1 : INTEGER;
p2 : INTEGER;
p3 : java_awt.Shape;
p4 : JTextComponent;
p5 : View) : java_awt.Shape,EXTENSIBLE;
PROCEDURE (self:DefaultHighlighter) addHighlight*(p0 : INTEGER;
p1 : INTEGER;
p2 : Highlighter$HighlightPainter) : java_lang.Object,EXTENSIBLE;
PROCEDURE (self:DefaultHighlighter) changeHighlight*(p0 : java_lang.Object;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:DefaultHighlighter) deinstall*(p0 : JTextComponent),EXTENSIBLE;
PROCEDURE (self:DefaultHighlighter) getDrawsLayeredHighlights*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultHighlighter) getHighlights*() : POINTER TO ARRAY OF Highlighter$Highlight,EXTENSIBLE;
PROCEDURE (self:DefaultHighlighter) install*(p0 : JTextComponent),EXTENSIBLE;
PROCEDURE (self:DefaultHighlighter) paint*(p0 : java_awt.Graphics),EXTENSIBLE;
PROCEDURE (self:DefaultHighlighter) paintLayeredHighlights*(p0 : java_awt.Graphics;
p1 : INTEGER;
p2 : INTEGER;
p3 : java_awt.Shape;
p4 : JTextComponent;
p5 : View),EXTENSIBLE;
PROCEDURE (self:DefaultHighlighter) removeAllHighlights*(),EXTENSIBLE;
PROCEDURE (self:DefaultHighlighter) removeHighlight*(p0 : java_lang.Object),EXTENSIBLE;
PROCEDURE (self:DefaultHighlighter) setDrawsLayeredHighlights*(p0 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument$AttributeUndoableEdit) redo*(),EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument$AttributeUndoableEdit) undo*(),EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument$ElementBuffer) change*(p0 : INTEGER;
p1 : INTEGER;
p2 : AbstractDocument$DefaultDocumentEvent),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument$ElementBuffer) changeUpdate!(),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument$ElementBuffer) clone*(p0 : Element;
p1 : Element) : Element,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument$ElementBuffer) getRootElement*() : Element,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument$ElementBuffer) insert*( p0 : INTEGER;
p1 : INTEGER;
IN p2 : ARRAY OF DefaultStyledDocument$ElementSpec;
p3 : AbstractDocument$DefaultDocumentEvent),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument$ElementBuffer) insertUpdate!(IN p0 : ARRAY OF DefaultStyledDocument$ElementSpec),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument$ElementBuffer) remove*(p0 : INTEGER;
p1 : INTEGER;
p2 : AbstractDocument$DefaultDocumentEvent),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument$ElementBuffer) removeUpdate!(),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument$ElementSpec) getArray*() : POINTER TO ARRAY OF CHAR,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument$ElementSpec) getAttributes*() : AttributeSet,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument$ElementSpec) getDirection*() : SHORTINT,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument$ElementSpec) getLength*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument$ElementSpec) getOffset*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument$ElementSpec) getType*() : SHORTINT,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument$ElementSpec) setDirection*(p0 : SHORTINT),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument$ElementSpec) setType*(p0 : SHORTINT),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument$ElementSpec) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument$SectionElement) getName*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) addDocumentListener*(p0 : javax_swing_event.DocumentListener),EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) addStyle*(p0 : java_lang.String;
p1 : Style) : Style,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) create!(IN p0 : ARRAY OF DefaultStyledDocument$ElementSpec),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) createDefaultRoot!() : AbstractDocument$AbstractElement,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) getBackground*(p0 : AttributeSet) : java_awt.Color,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) getCharacterElement*(p0 : INTEGER) : Element,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) getDefaultRootElement*() : Element,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) getFont*(p0 : AttributeSet) : java_awt.Font,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) getForeground*(p0 : AttributeSet) : java_awt.Color,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) getLogicalStyle*(p0 : INTEGER) : Style,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) getParagraphElement*(p0 : INTEGER) : Element,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) getStyle*(p0 : java_lang.String) : Style,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) getStyleNames*() : java_util.Enumeration,NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) insert!( p0 : INTEGER;
IN p1 : ARRAY OF DefaultStyledDocument$ElementSpec),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) insertUpdate!(p0 : AbstractDocument$DefaultDocumentEvent;
p1 : AttributeSet),EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) removeDocumentListener*(p0 : javax_swing_event.DocumentListener),EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) removeStyle*(p0 : java_lang.String),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) removeUpdate!(p0 : AbstractDocument$DefaultDocumentEvent),EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) setCharacterAttributes*(p0 : INTEGER;
p1 : INTEGER;
p2 : AttributeSet;
p3 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) setLogicalStyle*(p0 : INTEGER;
p1 : Style),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) setParagraphAttributes*(p0 : INTEGER;
p1 : INTEGER;
p2 : AttributeSet;
p3 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:DefaultStyledDocument) styleChanged!(p0 : Style),NEW,EXTENSIBLE;
PROCEDURE (self:Document) addDocumentListener*(p0 : javax_swing_event.DocumentListener),NEW,ABSTRACT;
PROCEDURE (self:Document) addUndoableEditListener*(p0 : javax_swing_event.UndoableEditListener),NEW,ABSTRACT;
PROCEDURE (self:Document) createPosition*(p0 : INTEGER) : Position,NEW,ABSTRACT;
PROCEDURE (self:Document) getDefaultRootElement*() : Element,NEW,ABSTRACT;
PROCEDURE (self:Document) getEndPosition*() : Position,NEW,ABSTRACT;
PROCEDURE (self:Document) getLength*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:Document) getProperty*(p0 : java_lang.Object) : java_lang.Object,NEW,ABSTRACT;
PROCEDURE (self:Document) getRootElements*() : POINTER TO ARRAY OF Element,NEW,ABSTRACT;
PROCEDURE (self:Document) getStartPosition*() : Position,NEW,ABSTRACT;
PROCEDURE (self:Document) getText*(p0 : INTEGER;
p1 : INTEGER) : java_lang.String,NEW,ABSTRACT;
PROCEDURE (self:Document) getText*(p0 : INTEGER;
p1 : INTEGER;
p2 : Segment),NEW,ABSTRACT;
PROCEDURE (self:Document) insertString*(p0 : INTEGER;
p1 : java_lang.String;
p2 : AttributeSet),NEW,ABSTRACT;
PROCEDURE (self:Document) putProperty*(p0 : java_lang.Object;
p1 : java_lang.Object),NEW,ABSTRACT;
PROCEDURE (self:Document) remove*(p0 : INTEGER;
p1 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:Document) removeDocumentListener*(p0 : javax_swing_event.DocumentListener),NEW,ABSTRACT;
PROCEDURE (self:Document) removeUndoableEditListener*(p0 : javax_swing_event.UndoableEditListener),NEW,ABSTRACT;
PROCEDURE (self:Document) render*(p0 : java_lang.Runnable),NEW,ABSTRACT;
PROCEDURE (self:EditorKit) clone*() : java_lang.Object,ABSTRACT;
PROCEDURE (self:EditorKit) createCaret*() : Caret,NEW,ABSTRACT;
PROCEDURE (self:EditorKit) createDefaultDocument*() : Document,NEW,ABSTRACT;
PROCEDURE (self:EditorKit) deinstall*(p0 : javax_swing.JEditorPane),NEW,EXTENSIBLE;
PROCEDURE (self:EditorKit) getActions*() : POINTER TO ARRAY OF javax_swing.Action,NEW,ABSTRACT;
PROCEDURE (self:EditorKit) getContentType*() : java_lang.String,NEW,ABSTRACT;
PROCEDURE (self:EditorKit) getViewFactory*() : ViewFactory,NEW,ABSTRACT;
PROCEDURE (self:EditorKit) install*(p0 : javax_swing.JEditorPane),NEW,EXTENSIBLE;
PROCEDURE (self:EditorKit) read*(p0 : java_io.InputStream;
p1 : Document;
p2 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:EditorKit) read*(p0 : java_io.Reader;
p1 : Document;
p2 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:EditorKit) write*(p0 : java_io.OutputStream;
p1 : Document;
p2 : INTEGER;
p3 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:EditorKit) write*(p0 : java_io.Writer;
p1 : Document;
p2 : INTEGER;
p3 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:Element) getAttributes*() : AttributeSet,NEW,ABSTRACT;
PROCEDURE (self:Element) getDocument*() : Document,NEW,ABSTRACT;
PROCEDURE (self:Element) getElement*(p0 : INTEGER) : Element,NEW,ABSTRACT;
PROCEDURE (self:Element) getElementCount*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:Element) getElementIndex*(p0 : INTEGER) : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:Element) getEndOffset*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:Element) getName*() : java_lang.String,NEW,ABSTRACT;
PROCEDURE (self:Element) getParentElement*() : Element,NEW,ABSTRACT;
PROCEDURE (self:Element) getStartOffset*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:Element) isLeaf*() : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:ElementIterator) clone*() : java_lang.Object,EXTENSIBLE;
PROCEDURE (self:ElementIterator) current*() : Element,NEW,EXTENSIBLE;
PROCEDURE (self:ElementIterator) depth*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:ElementIterator) first*() : Element,NEW,EXTENSIBLE;
PROCEDURE (self:ElementIterator) next*() : Element,NEW,EXTENSIBLE;
PROCEDURE (self:ElementIterator) previous*() : Element,NEW,EXTENSIBLE;
PROCEDURE (self:FieldView) adjustAllocation!(p0 : java_awt.Shape) : java_awt.Shape,NEW,EXTENSIBLE;
PROCEDURE (self:FieldView) getFontMetrics!() : java_awt.FontMetrics,NEW,EXTENSIBLE;
PROCEDURE (self:FieldView) getPreferredSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;
PROCEDURE (self:FieldView) getResizeWeight*(p0 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:FieldView) insertUpdate*(p0 : javax_swing_event.DocumentEvent;
p1 : java_awt.Shape;
p2 : ViewFactory),EXTENSIBLE;
PROCEDURE (self:FieldView) modelToView*(p0 : INTEGER;
p1 : java_awt.Shape;
p2 : Position$Bias) : java_awt.Shape,EXTENSIBLE;
PROCEDURE (self:FieldView) paint*(p0 : java_awt.Graphics;
p1 : java_awt.Shape),EXTENSIBLE;
PROCEDURE (self:FieldView) removeUpdate*(p0 : javax_swing_event.DocumentEvent;
p1 : java_awt.Shape;
p2 : ViewFactory),EXTENSIBLE;
PROCEDURE (self:FieldView) viewToModel*( p0 : SHORTREAL;
p1 : SHORTREAL;
p2 : java_awt.Shape;
IN p3 : ARRAY OF Position$Bias) : INTEGER,EXTENSIBLE;
PROCEDURE (self:GapContent) allocateArray!(p0 : INTEGER) : java_lang.Object,EXTENSIBLE;
PROCEDURE (self:GapContent) createPosition*(p0 : INTEGER) : Position,NEW,EXTENSIBLE;
PROCEDURE (self:GapContent) getArrayLength!() : INTEGER,EXTENSIBLE;
PROCEDURE (self:GapContent) getChars*(p0 : INTEGER;
p1 : INTEGER;
p2 : Segment),NEW,EXTENSIBLE;
PROCEDURE (self:GapContent) getPositionsInRange!(p0 : java_util.Vector;
p1 : INTEGER;
p2 : INTEGER) : java_util.Vector,NEW,EXTENSIBLE;
PROCEDURE (self:GapContent) getString*(p0 : INTEGER;
p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:GapContent) insertString*(p0 : INTEGER;
p1 : java_lang.String) : javax_swing_undo.UndoableEdit,NEW,EXTENSIBLE;
PROCEDURE (self:GapContent) length*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:GapContent) remove*(p0 : INTEGER;
p1 : INTEGER) : javax_swing_undo.UndoableEdit,NEW,EXTENSIBLE;
PROCEDURE (self:GapContent) resetMarksAtZero!(),NEW,EXTENSIBLE;
PROCEDURE (self:GapContent) shiftEnd!(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:GapContent) shiftGap!(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:GapContent) shiftGapEndUp!(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:GapContent) shiftGapStartDown!(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:GapContent) updateUndoPositions!(p0 : java_util.Vector;
p1 : INTEGER;
p2 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:Highlighter$Highlight) getEndOffset*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:Highlighter$Highlight) getPainter*() : Highlighter$HighlightPainter,NEW,ABSTRACT;
PROCEDURE (self:Highlighter$Highlight) getStartOffset*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:Highlighter$HighlightPainter) paint*(p0 : java_awt.Graphics;
p1 : INTEGER;
p2 : INTEGER;
p3 : java_awt.Shape;
p4 : JTextComponent),NEW,ABSTRACT;
PROCEDURE (self:Highlighter) addHighlight*(p0 : INTEGER;
p1 : INTEGER;
p2 : Highlighter$HighlightPainter) : java_lang.Object,NEW,ABSTRACT;
PROCEDURE (self:Highlighter) changeHighlight*(p0 : java_lang.Object;
p1 : INTEGER;
p2 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:Highlighter) deinstall*(p0 : JTextComponent),NEW,ABSTRACT;
PROCEDURE (self:Highlighter) getHighlights*() : POINTER TO ARRAY OF Highlighter$Highlight,NEW,ABSTRACT;
PROCEDURE (self:Highlighter) install*(p0 : JTextComponent),NEW,ABSTRACT;
PROCEDURE (self:Highlighter) paint*(p0 : java_awt.Graphics),NEW,ABSTRACT;
PROCEDURE (self:Highlighter) removeAllHighlights*(),NEW,ABSTRACT;
PROCEDURE (self:Highlighter) removeHighlight*(p0 : java_lang.Object),NEW,ABSTRACT;
PROCEDURE (self:IconView) getAlignment*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;
PROCEDURE (self:IconView) getPreferredSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;
PROCEDURE (self:IconView) modelToView*(p0 : INTEGER;
p1 : java_awt.Shape;
p2 : Position$Bias) : java_awt.Shape,EXTENSIBLE;
PROCEDURE (self:IconView) paint*(p0 : java_awt.Graphics;
p1 : java_awt.Shape),EXTENSIBLE;
PROCEDURE (self:IconView) setSize*(p0 : SHORTREAL;
p1 : SHORTREAL),EXTENSIBLE;
PROCEDURE (self:IconView) viewToModel*( p0 : SHORTREAL;
p1 : SHORTREAL;
p2 : java_awt.Shape;
IN p3 : ARRAY OF Position$Bias) : INTEGER,EXTENSIBLE;
PROCEDURE (self:JTextComponent$AccessibleJTextComponent) caretUpdate*(p0 : javax_swing_event.CaretEvent),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent$AccessibleJTextComponent) changedUpdate*(p0 : javax_swing_event.DocumentEvent),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getAccessibleRole*() : javax_accessibility.AccessibleRole,EXTENSIBLE;
PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getAccessibleStateSet*() : javax_accessibility.AccessibleStateSet,EXTENSIBLE;
PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getAccessibleText*() : javax_accessibility.AccessibleText,EXTENSIBLE;
PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getAfterIndex*(p0 : INTEGER;
p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getAtIndex*(p0 : INTEGER;
p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getBeforeIndex*(p0 : INTEGER;
p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getCaretPosition*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getCharCount*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getCharacterAttribute*(p0 : INTEGER) : AttributeSet,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getCharacterBounds*(p0 : INTEGER) : java_awt.Rectangle,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getIndexAtPoint*(p0 : java_awt.Point) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getSelectedText*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getSelectionEnd*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent$AccessibleJTextComponent) getSelectionStart*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent$AccessibleJTextComponent) insertUpdate*(p0 : javax_swing_event.DocumentEvent),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent$AccessibleJTextComponent) removeUpdate*(p0 : javax_swing_event.DocumentEvent),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) addCaretListener*(p0 : javax_swing_event.CaretListener),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) copy*(),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) cut*(),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) fireCaretUpdate!(p0 : javax_swing_event.CaretEvent),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getAccessibleContext*() : javax_accessibility.AccessibleContext,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getActions*() : POINTER TO ARRAY OF javax_swing.Action,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getCaret*() : Caret,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getCaretColor*() : java_awt.Color,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getCaretPosition*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getDisabledTextColor*() : java_awt.Color,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getDocument*() : Document,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getFocusAccelerator*() : CHAR,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getHighlighter*() : Highlighter,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getInputMethodRequests*() : java_awt_im.InputMethodRequests,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getKeymap*() : Keymap,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getMargin*() : java_awt.Insets,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getPreferredScrollableViewportSize*() : java_awt.Dimension,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getScrollableBlockIncrement*(p0 : java_awt.Rectangle;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getScrollableTracksViewportHeight*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getScrollableTracksViewportWidth*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getScrollableUnitIncrement*(p0 : java_awt.Rectangle;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getSelectedText*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getSelectedTextColor*() : java_awt.Color,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getSelectionColor*() : java_awt.Color,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getSelectionEnd*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getSelectionStart*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getText*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getText*(p0 : INTEGER;
p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) getUI*() : javax_swing_plaf.TextUI,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) isEditable*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) isFocusTraversable*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:JTextComponent) isOpaque*() : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:JTextComponent) modelToView*(p0 : INTEGER) : java_awt.Rectangle,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) moveCaretPosition*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) paramString!() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:JTextComponent) paste*(),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) processComponentKeyEvent!(p0 : java_awt_event.KeyEvent),EXTENSIBLE;
PROCEDURE (self:JTextComponent) processInputMethodEvent!(p0 : java_awt_event.InputMethodEvent),EXTENSIBLE;
PROCEDURE (self:JTextComponent) read*(p0 : java_io.Reader;
p1 : java_lang.Object),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) removeCaretListener*(p0 : javax_swing_event.CaretListener),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) removeNotify*(),EXTENSIBLE;
PROCEDURE (self:JTextComponent) replaceSelection*(p0 : java_lang.String),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) select*(p0 : INTEGER;
p1 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) selectAll*(),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) setCaret*(p0 : Caret),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) setCaretColor*(p0 : java_awt.Color),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) setCaretPosition*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) setDisabledTextColor*(p0 : java_awt.Color),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) setDocument*(p0 : Document),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) setEditable*(p0 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) setEnabled*(p0 : BOOLEAN),EXTENSIBLE;
PROCEDURE (self:JTextComponent) setFocusAccelerator*(p0 : CHAR),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) setHighlighter*(p0 : Highlighter),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) setKeymap*(p0 : Keymap),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) setMargin*(p0 : java_awt.Insets),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) setOpaque*(p0 : BOOLEAN),EXTENSIBLE;
PROCEDURE (self:JTextComponent) setSelectedTextColor*(p0 : java_awt.Color),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) setSelectionColor*(p0 : java_awt.Color),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) setSelectionEnd*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) setSelectionStart*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) setText*(p0 : java_lang.String),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) setUI*(p0 : javax_swing_plaf.TextUI),NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) updateUI*(),EXTENSIBLE;
PROCEDURE (self:JTextComponent) viewToModel*(p0 : java_awt.Point) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:JTextComponent) write*(p0 : java_io.Writer),NEW,EXTENSIBLE;
PROCEDURE (self:Keymap) addActionForKeyStroke*(p0 : javax_swing.KeyStroke;
p1 : javax_swing.Action),NEW,ABSTRACT;
PROCEDURE (self:Keymap) getAction*(p0 : javax_swing.KeyStroke) : javax_swing.Action,NEW,ABSTRACT;
PROCEDURE (self:Keymap) getBoundActions*() : POINTER TO ARRAY OF javax_swing.Action,NEW,ABSTRACT;
PROCEDURE (self:Keymap) getBoundKeyStrokes*() : POINTER TO ARRAY OF javax_swing.KeyStroke,NEW,ABSTRACT;
PROCEDURE (self:Keymap) getDefaultAction*() : javax_swing.Action,NEW,ABSTRACT;
PROCEDURE (self:Keymap) getKeyStrokesForAction*(p0 : javax_swing.Action) : POINTER TO ARRAY OF javax_swing.KeyStroke,NEW,ABSTRACT;
PROCEDURE (self:Keymap) getName*() : java_lang.String,NEW,ABSTRACT;
PROCEDURE (self:Keymap) getResolveParent*() : Keymap,NEW,ABSTRACT;
PROCEDURE (self:Keymap) isLocallyDefined*(p0 : javax_swing.KeyStroke) : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:Keymap) removeBindings*(),NEW,ABSTRACT;
PROCEDURE (self:Keymap) removeKeyStrokeBinding*(p0 : javax_swing.KeyStroke),NEW,ABSTRACT;
PROCEDURE (self:Keymap) setDefaultAction*(p0 : javax_swing.Action),NEW,ABSTRACT;
PROCEDURE (self:Keymap) setResolveParent*(p0 : Keymap),NEW,ABSTRACT;
PROCEDURE (self:LabelView) breakView*(p0 : INTEGER;
p1 : INTEGER;
p2 : SHORTREAL;
p3 : SHORTREAL) : View,EXTENSIBLE;
PROCEDURE (self:LabelView) changedUpdate*(p0 : javax_swing_event.DocumentEvent;
p1 : java_awt.Shape;
p2 : ViewFactory),EXTENSIBLE;
PROCEDURE (self:LabelView) createFragment*(p0 : INTEGER;
p1 : INTEGER) : View,EXTENSIBLE;
PROCEDURE (self:LabelView) getAlignment*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;
PROCEDURE (self:LabelView) getBreakWeight*(p0 : INTEGER;
p1 : SHORTREAL;
p2 : SHORTREAL) : INTEGER,EXTENSIBLE;
PROCEDURE (self:LabelView) getFont!() : java_awt.Font,NEW,EXTENSIBLE;
PROCEDURE (self:LabelView) getFontMetrics!() : java_awt.FontMetrics,NEW,EXTENSIBLE;
PROCEDURE (self:LabelView) getNextVisualPositionFrom*( p0 : INTEGER;
p1 : Position$Bias;
p2 : java_awt.Shape;
p3 : INTEGER;
IN p4 : ARRAY OF Position$Bias) : INTEGER,EXTENSIBLE;
PROCEDURE (self:LabelView) getPreferredSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;
PROCEDURE (self:LabelView) insertUpdate*(p0 : javax_swing_event.DocumentEvent;
p1 : java_awt.Shape;
p2 : ViewFactory),EXTENSIBLE;
PROCEDURE (self:LabelView) modelToView*(p0 : INTEGER;
p1 : java_awt.Shape;
p2 : Position$Bias) : java_awt.Shape,EXTENSIBLE;
PROCEDURE (self:LabelView) paint*(p0 : java_awt.Graphics;
p1 : java_awt.Shape),EXTENSIBLE;
PROCEDURE (self:LabelView) removeUpdate*(p0 : javax_swing_event.DocumentEvent;
p1 : java_awt.Shape;
p2 : ViewFactory),EXTENSIBLE;
PROCEDURE (self:LabelView) setPropertiesFromAttributes!(),NEW,EXTENSIBLE;
PROCEDURE (self:LabelView) setStrikeThrough!(p0 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:LabelView) setSubscript!(p0 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:LabelView) setSuperscript!(p0 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:LabelView) setUnderline!(p0 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:LabelView) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:LabelView) viewToModel*( p0 : SHORTREAL;
p1 : SHORTREAL;
p2 : java_awt.Shape;
IN p3 : ARRAY OF Position$Bias) : INTEGER,EXTENSIBLE;
PROCEDURE (self:LayeredHighlighter$LayerPainter) paint*(p0 : java_awt.Graphics;
p1 : INTEGER;
p2 : INTEGER;
p3 : java_awt.Shape;
p4 : JTextComponent),NEW,ABSTRACT;
PROCEDURE (self:LayeredHighlighter$LayerPainter) paintLayer*(p0 : java_awt.Graphics;
p1 : INTEGER;
p2 : INTEGER;
p3 : java_awt.Shape;
p4 : JTextComponent;
p5 : View) : java_awt.Shape,NEW,ABSTRACT;
PROCEDURE (self:LayeredHighlighter) addHighlight*(p0 : INTEGER;
p1 : INTEGER;
p2 : Highlighter$HighlightPainter) : java_lang.Object,NEW,ABSTRACT;
PROCEDURE (self:LayeredHighlighter) changeHighlight*(p0 : java_lang.Object;
p1 : INTEGER;
p2 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:LayeredHighlighter) deinstall*(p0 : JTextComponent),NEW,ABSTRACT;
PROCEDURE (self:LayeredHighlighter) getHighlights*() : POINTER TO ARRAY OF Highlighter$Highlight,NEW,ABSTRACT;
PROCEDURE (self:LayeredHighlighter) install*(p0 : JTextComponent),NEW,ABSTRACT;
PROCEDURE (self:LayeredHighlighter) paint*(p0 : java_awt.Graphics),NEW,ABSTRACT;
PROCEDURE (self:LayeredHighlighter) paintLayeredHighlights*(p0 : java_awt.Graphics;
p1 : INTEGER;
p2 : INTEGER;
p3 : java_awt.Shape;
p4 : JTextComponent;
p5 : View),NEW,ABSTRACT;
PROCEDURE (self:LayeredHighlighter) removeAllHighlights*(),NEW,ABSTRACT;
PROCEDURE (self:LayeredHighlighter) removeHighlight*(p0 : java_lang.Object),NEW,ABSTRACT;
PROCEDURE (self:MutableAttributeSet) addAttribute*(p0 : java_lang.Object;
p1 : java_lang.Object),NEW,ABSTRACT;
PROCEDURE (self:MutableAttributeSet) addAttributes*(p0 : AttributeSet),NEW,ABSTRACT;
PROCEDURE (self:MutableAttributeSet) removeAttribute*(p0 : java_lang.Object),NEW,ABSTRACT;
PROCEDURE (self:MutableAttributeSet) removeAttributes*(p0 : java_util.Enumeration),NEW,ABSTRACT;
PROCEDURE (self:MutableAttributeSet) removeAttributes*(p0 : AttributeSet),NEW,ABSTRACT;
PROCEDURE (self:MutableAttributeSet) setResolveParent*(p0 : AttributeSet),NEW,ABSTRACT;
PROCEDURE (self:ParagraphView) adjustRow!(p0 : ParagraphView$Row;
p1 : INTEGER;
p2 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:ParagraphView) breakView*(p0 : INTEGER;
p1 : SHORTREAL;
p2 : java_awt.Shape) : View,NEW,EXTENSIBLE;
PROCEDURE (self:ParagraphView) calculateMinorAxisRequirements!(p0 : INTEGER;
p1 : javax_swing.SizeRequirements) : javax_swing.SizeRequirements,EXTENSIBLE;
PROCEDURE (self:ParagraphView) changedUpdate*(p0 : javax_swing_event.DocumentEvent;
p1 : java_awt.Shape;
p2 : ViewFactory),EXTENSIBLE;
PROCEDURE (self:ParagraphView) findOffsetToCharactersInString!(IN p0 : ARRAY OF CHAR;
p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:ParagraphView) flipEastAndWestAtEnds!(p0 : INTEGER;
p1 : Position$Bias) : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:ParagraphView) getAlignment*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;
PROCEDURE (self:ParagraphView) getBreakWeight*(p0 : INTEGER;
p1 : SHORTREAL) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:ParagraphView) getClosestPositionTo!( p0 : INTEGER;
p1 : Position$Bias;
p2 : java_awt.Shape;
p3 : INTEGER;
IN p4 : ARRAY OF Position$Bias;
p5 : INTEGER;
p6 : INTEGER) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:ParagraphView) getLayoutView!(p0 : INTEGER) : View,NEW,EXTENSIBLE;
PROCEDURE (self:ParagraphView) getLayoutViewCount!() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:ParagraphView) getNextNorthSouthVisualPositionFrom!( p0 : INTEGER;
p1 : Position$Bias;
p2 : java_awt.Shape;
p3 : INTEGER;
IN p4 : ARRAY OF Position$Bias) : INTEGER,EXTENSIBLE;
PROCEDURE (self:ParagraphView) getPartialSize!(p0 : INTEGER;
p1 : INTEGER) : SHORTREAL,NEW,EXTENSIBLE;
PROCEDURE (self:ParagraphView) getTabBase!() : SHORTREAL,NEW,EXTENSIBLE;
PROCEDURE (self:ParagraphView) getTabSet!() : TabSet,NEW,EXTENSIBLE;
PROCEDURE (self:ParagraphView) getViewAtPosition!(p0 : INTEGER;
p1 : java_awt.Rectangle) : View,EXTENSIBLE;
PROCEDURE (self:ParagraphView) getViewIndexAtPosition!(p0 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:ParagraphView) insertUpdate*(p0 : javax_swing_event.DocumentEvent;
p1 : java_awt.Shape;
p2 : ViewFactory),EXTENSIBLE;
PROCEDURE (self:ParagraphView) layout!(p0 : INTEGER;
p1 : INTEGER),EXTENSIBLE;
PROCEDURE (self:ParagraphView) loadChildren!(p0 : ViewFactory),EXTENSIBLE;
PROCEDURE (self:ParagraphView) nextTabStop*(p0 : SHORTREAL;
p1 : INTEGER) : SHORTREAL,NEW,EXTENSIBLE;
PROCEDURE (self:ParagraphView) paint*(p0 : java_awt.Graphics;
p1 : java_awt.Shape),EXTENSIBLE;
PROCEDURE (self:ParagraphView) removeUpdate*(p0 : javax_swing_event.DocumentEvent;
p1 : java_awt.Shape;
p2 : ViewFactory),EXTENSIBLE;
PROCEDURE (self:ParagraphView) setFirstLineIndent!(p0 : SHORTREAL),NEW,EXTENSIBLE;
PROCEDURE (self:ParagraphView) setJustification!(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:ParagraphView) setLineSpacing!(p0 : SHORTREAL),NEW,EXTENSIBLE;
PROCEDURE (self:ParagraphView) setPropertiesFromAttributes!(),NEW,EXTENSIBLE;
PROCEDURE (self:PasswordView) drawEchoCharacter!(p0 : java_awt.Graphics;
p1 : INTEGER;
p2 : INTEGER;
p3 : CHAR) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:PasswordView) drawSelectedText!(p0 : java_awt.Graphics;
p1 : INTEGER;
p2 : INTEGER;
p3 : INTEGER;
p4 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:PasswordView) drawUnselectedText!(p0 : java_awt.Graphics;
p1 : INTEGER;
p2 : INTEGER;
p3 : INTEGER;
p4 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:PasswordView) modelToView*(p0 : INTEGER;
p1 : java_awt.Shape;
p2 : Position$Bias) : java_awt.Shape,EXTENSIBLE;
PROCEDURE (self:PasswordView) viewToModel*( p0 : SHORTREAL;
p1 : SHORTREAL;
p2 : java_awt.Shape;
IN p3 : ARRAY OF Position$Bias) : INTEGER,EXTENSIBLE;
PROCEDURE (self:PlainDocument) createDefaultRoot!() : AbstractDocument$AbstractElement,NEW,EXTENSIBLE;
PROCEDURE (self:PlainDocument) getDefaultRootElement*() : Element,EXTENSIBLE;
PROCEDURE (self:PlainDocument) getParagraphElement*(p0 : INTEGER) : Element,EXTENSIBLE;
PROCEDURE (self:PlainDocument) insertUpdate!(p0 : AbstractDocument$DefaultDocumentEvent;
p1 : AttributeSet),EXTENSIBLE;
PROCEDURE (self:PlainDocument) removeUpdate!(p0 : AbstractDocument$DefaultDocumentEvent),EXTENSIBLE;
PROCEDURE (self:PlainView) changedUpdate*(p0 : javax_swing_event.DocumentEvent;
p1 : java_awt.Shape;
p2 : ViewFactory),EXTENSIBLE;
PROCEDURE (self:PlainView) drawLine!(p0 : INTEGER;
p1 : java_awt.Graphics;
p2 : INTEGER;
p3 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:PlainView) drawSelectedText!(p0 : java_awt.Graphics;
p1 : INTEGER;
p2 : INTEGER;
p3 : INTEGER;
p4 : INTEGER) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:PlainView) drawUnselectedText!(p0 : java_awt.Graphics;
p1 : INTEGER;
p2 : INTEGER;
p3 : INTEGER;
p4 : INTEGER) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:PlainView) getLineBuffer!() : Segment,NEW;
PROCEDURE (self:PlainView) getPreferredSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;
PROCEDURE (self:PlainView) getTabSize!() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:PlainView) insertUpdate*(p0 : javax_swing_event.DocumentEvent;
p1 : java_awt.Shape;
p2 : ViewFactory),EXTENSIBLE;
PROCEDURE (self:PlainView) modelToView*(p0 : INTEGER;
p1 : java_awt.Shape;
p2 : Position$Bias) : java_awt.Shape,EXTENSIBLE;
PROCEDURE (self:PlainView) nextTabStop*(p0 : SHORTREAL;
p1 : INTEGER) : SHORTREAL,NEW,EXTENSIBLE;
PROCEDURE (self:PlainView) paint*(p0 : java_awt.Graphics;
p1 : java_awt.Shape),EXTENSIBLE;
PROCEDURE (self:PlainView) preferenceChanged*(p0 : View;
p1 : BOOLEAN;
p2 : BOOLEAN),EXTENSIBLE;
PROCEDURE (self:PlainView) removeUpdate*(p0 : javax_swing_event.DocumentEvent;
p1 : java_awt.Shape;
p2 : ViewFactory),EXTENSIBLE;
PROCEDURE (self:PlainView) viewToModel*( p0 : SHORTREAL;
p1 : SHORTREAL;
p2 : java_awt.Shape;
IN p3 : ARRAY OF Position$Bias) : INTEGER,EXTENSIBLE;
PROCEDURE (self:Position$Bias) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:Position) getOffset*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:Segment) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:SimpleAttributeSet) addAttribute*(p0 : java_lang.Object;
p1 : java_lang.Object),NEW,EXTENSIBLE;
PROCEDURE (self:SimpleAttributeSet) addAttributes*(p0 : AttributeSet),NEW,EXTENSIBLE;
PROCEDURE (self:SimpleAttributeSet) clone*() : java_lang.Object,EXTENSIBLE;
PROCEDURE (self:SimpleAttributeSet) containsAttribute*(p0 : java_lang.Object;
p1 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:SimpleAttributeSet) containsAttributes*(p0 : AttributeSet) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:SimpleAttributeSet) copyAttributes*() : AttributeSet,NEW,EXTENSIBLE;
PROCEDURE (self:SimpleAttributeSet) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:SimpleAttributeSet) getAttribute*(p0 : java_lang.Object) : java_lang.Object,NEW,EXTENSIBLE;
PROCEDURE (self:SimpleAttributeSet) getAttributeCount*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:SimpleAttributeSet) getAttributeNames*() : java_util.Enumeration,NEW,EXTENSIBLE;
PROCEDURE (self:SimpleAttributeSet) getResolveParent*() : AttributeSet,NEW,EXTENSIBLE;
PROCEDURE (self:SimpleAttributeSet) hashCode*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:SimpleAttributeSet) isDefined*(p0 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:SimpleAttributeSet) isEmpty*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:SimpleAttributeSet) isEqual*(p0 : AttributeSet) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:SimpleAttributeSet) removeAttribute*(p0 : java_lang.Object),NEW,EXTENSIBLE;
PROCEDURE (self:SimpleAttributeSet) removeAttributes*(p0 : java_util.Enumeration),NEW,EXTENSIBLE;
PROCEDURE (self:SimpleAttributeSet) removeAttributes*(p0 : AttributeSet),NEW,EXTENSIBLE;
PROCEDURE (self:SimpleAttributeSet) setResolveParent*(p0 : AttributeSet),NEW,EXTENSIBLE;
PROCEDURE (self:SimpleAttributeSet) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:StringContent) createPosition*(p0 : INTEGER) : Position,NEW,EXTENSIBLE;
PROCEDURE (self:StringContent) getChars*(p0 : INTEGER;
p1 : INTEGER;
p2 : Segment),NEW,EXTENSIBLE;
PROCEDURE (self:StringContent) getPositionsInRange!(p0 : java_util.Vector;
p1 : INTEGER;
p2 : INTEGER) : java_util.Vector,NEW,EXTENSIBLE;
PROCEDURE (self:StringContent) getString*(p0 : INTEGER;
p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:StringContent) insertString*(p0 : INTEGER;
p1 : java_lang.String) : javax_swing_undo.UndoableEdit,NEW,EXTENSIBLE;
PROCEDURE (self:StringContent) length*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:StringContent) remove*(p0 : INTEGER;
p1 : INTEGER) : javax_swing_undo.UndoableEdit,NEW,EXTENSIBLE;
PROCEDURE (self:StringContent) updateUndoPositions!(p0 : java_util.Vector),NEW,EXTENSIBLE;
PROCEDURE (self:Style) addChangeListener*(p0 : javax_swing_event.ChangeListener),NEW,ABSTRACT;
PROCEDURE (self:Style) getName*() : java_lang.String,NEW,ABSTRACT;
PROCEDURE (self:Style) removeChangeListener*(p0 : javax_swing_event.ChangeListener),NEW,ABSTRACT;
PROCEDURE (self:StyleConstants) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:StyleContext$NamedStyle) addAttribute*(p0 : java_lang.Object;
p1 : java_lang.Object),NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$NamedStyle) addAttributes*(p0 : AttributeSet),NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$NamedStyle) addChangeListener*(p0 : javax_swing_event.ChangeListener),NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$NamedStyle) containsAttribute*(p0 : java_lang.Object;
p1 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$NamedStyle) containsAttributes*(p0 : AttributeSet) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$NamedStyle) copyAttributes*() : AttributeSet,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$NamedStyle) fireStateChanged!(),NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$NamedStyle) getAttribute*(p0 : java_lang.Object) : java_lang.Object,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$NamedStyle) getAttributeCount*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$NamedStyle) getAttributeNames*() : java_util.Enumeration,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$NamedStyle) getName*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$NamedStyle) getResolveParent*() : AttributeSet,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$NamedStyle) isDefined*(p0 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$NamedStyle) isEqual*(p0 : AttributeSet) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$NamedStyle) removeAttribute*(p0 : java_lang.Object),NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$NamedStyle) removeAttributes*(p0 : java_util.Enumeration),NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$NamedStyle) removeAttributes*(p0 : AttributeSet),NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$NamedStyle) removeChangeListener*(p0 : javax_swing_event.ChangeListener),NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$NamedStyle) setName*(p0 : java_lang.String),NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$NamedStyle) setResolveParent*(p0 : AttributeSet),NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$NamedStyle) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:StyleContext$SmallAttributeSet) clone*() : java_lang.Object,EXTENSIBLE;
PROCEDURE (self:StyleContext$SmallAttributeSet) containsAttribute*(p0 : java_lang.Object;
p1 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$SmallAttributeSet) containsAttributes*(p0 : AttributeSet) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$SmallAttributeSet) copyAttributes*() : AttributeSet,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$SmallAttributeSet) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:StyleContext$SmallAttributeSet) getAttribute*(p0 : java_lang.Object) : java_lang.Object,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$SmallAttributeSet) getAttributeCount*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$SmallAttributeSet) getAttributeNames*() : java_util.Enumeration,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$SmallAttributeSet) getResolveParent*() : AttributeSet,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$SmallAttributeSet) hashCode*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:StyleContext$SmallAttributeSet) isDefined*(p0 : java_lang.Object) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$SmallAttributeSet) isEqual*(p0 : AttributeSet) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext$SmallAttributeSet) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:StyleContext) addAttribute*(p0 : AttributeSet;
p1 : java_lang.Object;
p2 : java_lang.Object) : AttributeSet,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) addAttributes*(p0 : AttributeSet;
p1 : AttributeSet) : AttributeSet,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) addChangeListener*(p0 : javax_swing_event.ChangeListener),NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) addStyle*(p0 : java_lang.String;
p1 : Style) : Style,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) createLargeAttributeSet!(p0 : AttributeSet) : MutableAttributeSet,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) createSmallAttributeSet!(p0 : AttributeSet) : StyleContext$SmallAttributeSet,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) getBackground*(p0 : AttributeSet) : java_awt.Color,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) getCompressionThreshold!() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) getEmptySet*() : AttributeSet,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) getFont*(p0 : java_lang.String;
p1 : INTEGER;
p2 : INTEGER) : java_awt.Font,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) getFont*(p0 : AttributeSet) : java_awt.Font,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) getFontMetrics*(p0 : java_awt.Font) : java_awt.FontMetrics,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) getForeground*(p0 : AttributeSet) : java_awt.Color,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) getStyle*(p0 : java_lang.String) : Style,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) getStyleNames*() : java_util.Enumeration,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) readAttributes*(p0 : java_io.ObjectInputStream;
p1 : MutableAttributeSet),NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) reclaim*(p0 : AttributeSet),NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) removeAttribute*(p0 : AttributeSet;
p1 : java_lang.Object) : AttributeSet,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) removeAttributes*(p0 : AttributeSet;
p1 : java_util.Enumeration) : AttributeSet,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) removeAttributes*(p0 : AttributeSet;
p1 : AttributeSet) : AttributeSet,NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) removeChangeListener*(p0 : javax_swing_event.ChangeListener),NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) removeStyle*(p0 : java_lang.String),NEW,EXTENSIBLE;
PROCEDURE (self:StyleContext) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:StyleContext) writeAttributes*(p0 : java_io.ObjectOutputStream;
p1 : AttributeSet),NEW,EXTENSIBLE;
PROCEDURE (self:StyledDocument) addStyle*(p0 : java_lang.String;
p1 : Style) : Style,NEW,ABSTRACT;
PROCEDURE (self:StyledDocument) getBackground*(p0 : AttributeSet) : java_awt.Color,NEW,ABSTRACT;
PROCEDURE (self:StyledDocument) getCharacterElement*(p0 : INTEGER) : Element,NEW,ABSTRACT;
PROCEDURE (self:StyledDocument) getFont*(p0 : AttributeSet) : java_awt.Font,NEW,ABSTRACT;
PROCEDURE (self:StyledDocument) getForeground*(p0 : AttributeSet) : java_awt.Color,NEW,ABSTRACT;
PROCEDURE (self:StyledDocument) getLogicalStyle*(p0 : INTEGER) : Style,NEW,ABSTRACT;
PROCEDURE (self:StyledDocument) getParagraphElement*(p0 : INTEGER) : Element,NEW,ABSTRACT;
PROCEDURE (self:StyledDocument) getStyle*(p0 : java_lang.String) : Style,NEW,ABSTRACT;
PROCEDURE (self:StyledDocument) removeStyle*(p0 : java_lang.String),NEW,ABSTRACT;
PROCEDURE (self:StyledDocument) setCharacterAttributes*(p0 : INTEGER;
p1 : INTEGER;
p2 : AttributeSet;
p3 : BOOLEAN),NEW,ABSTRACT;
PROCEDURE (self:StyledDocument) setLogicalStyle*(p0 : INTEGER;
p1 : Style),NEW,ABSTRACT;
PROCEDURE (self:StyledDocument) setParagraphAttributes*(p0 : INTEGER;
p1 : INTEGER;
p2 : AttributeSet;
p3 : BOOLEAN),NEW,ABSTRACT;
PROCEDURE (self:StyledEditorKit$AlignmentAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;
PROCEDURE (self:StyledEditorKit$BoldAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;
PROCEDURE (self:StyledEditorKit$FontFamilyAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;
PROCEDURE (self:StyledEditorKit$FontSizeAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;
PROCEDURE (self:StyledEditorKit$ForegroundAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;
PROCEDURE (self:StyledEditorKit$ItalicAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;
PROCEDURE (self:StyledEditorKit$StyledTextAction) getEditor!(p0 : java_awt_event.ActionEvent) : javax_swing.JEditorPane,NEW;
PROCEDURE (self:StyledEditorKit$StyledTextAction) getStyledDocument!(p0 : javax_swing.JEditorPane) : StyledDocument,NEW;
PROCEDURE (self:StyledEditorKit$StyledTextAction) getStyledEditorKit!(p0 : javax_swing.JEditorPane) : StyledEditorKit,NEW;
PROCEDURE (self:StyledEditorKit$StyledTextAction) setCharacterAttributes!(p0 : javax_swing.JEditorPane;
p1 : AttributeSet;
p2 : BOOLEAN),NEW;
PROCEDURE (self:StyledEditorKit$StyledTextAction) setParagraphAttributes!(p0 : javax_swing.JEditorPane;
p1 : AttributeSet;
p2 : BOOLEAN),NEW;
PROCEDURE (self:StyledEditorKit$UnderlineAction) actionPerformed*(p0 : java_awt_event.ActionEvent),EXTENSIBLE;
PROCEDURE (self:StyledEditorKit) clone*() : java_lang.Object,EXTENSIBLE;
PROCEDURE (self:StyledEditorKit) createDefaultDocument*() : Document,EXTENSIBLE;
PROCEDURE (self:StyledEditorKit) createInputAttributes!(p0 : Element;
p1 : MutableAttributeSet),NEW,EXTENSIBLE;
PROCEDURE (self:StyledEditorKit) deinstall*(p0 : javax_swing.JEditorPane),EXTENSIBLE;
PROCEDURE (self:StyledEditorKit) getActions*() : POINTER TO ARRAY OF javax_swing.Action,EXTENSIBLE;
PROCEDURE (self:StyledEditorKit) getCharacterAttributeRun*() : Element,NEW,EXTENSIBLE;
PROCEDURE (self:StyledEditorKit) getInputAttributes*() : MutableAttributeSet,NEW,EXTENSIBLE;
PROCEDURE (self:StyledEditorKit) getViewFactory*() : ViewFactory,EXTENSIBLE;
PROCEDURE (self:StyledEditorKit) install*(p0 : javax_swing.JEditorPane),EXTENSIBLE;
PROCEDURE (self:TabableView) getPartialSpan*(p0 : INTEGER;
p1 : INTEGER) : SHORTREAL,NEW,ABSTRACT;
PROCEDURE (self:TabableView) getTabbedSpan*(p0 : SHORTREAL;
p1 : TabExpander) : SHORTREAL,NEW,ABSTRACT;
PROCEDURE (self:TabExpander) nextTabStop*(p0 : SHORTREAL;
p1 : INTEGER) : SHORTREAL,NEW,ABSTRACT;
PROCEDURE (self:TableView$TableCell) getColumnCount*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:TableView$TableCell) getGridColumn*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:TableView$TableCell) getGridRow*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:TableView$TableCell) getPreferredSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;
PROCEDURE (self:TableView$TableCell) getRowCount*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:TableView$TableCell) setGridLocation*(p0 : INTEGER;
p1 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:TableView$TableRow) getResizeWeight*(p0 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:TableView$TableRow) getViewAtPosition!(p0 : INTEGER;
p1 : java_awt.Rectangle) : View,EXTENSIBLE;
PROCEDURE (self:TableView$TableRow) layoutMajorAxis!( p0 : INTEGER;
p1 : INTEGER;
IN p2 : ARRAY OF INTEGER;
IN p3 : ARRAY OF INTEGER),EXTENSIBLE;
PROCEDURE (self:TableView$TableRow) layoutMinorAxis!( p0 : INTEGER;
p1 : INTEGER;
IN p2 : ARRAY OF INTEGER;
IN p3 : ARRAY OF INTEGER),EXTENSIBLE;
PROCEDURE (self:TableView$TableRow) loadChildren!(p0 : ViewFactory),EXTENSIBLE;
PROCEDURE (self:TableView) calculateMinorAxisRequirements!(p0 : INTEGER;
p1 : javax_swing.SizeRequirements) : javax_swing.SizeRequirements,EXTENSIBLE;
PROCEDURE (self:TableView) createTableCell!(p0 : Element) : TableView$TableCell,NEW,EXTENSIBLE;
PROCEDURE (self:TableView) createTableRow!(p0 : Element) : TableView$TableRow,NEW,EXTENSIBLE;
PROCEDURE (self:TableView) getViewAtPosition!(p0 : INTEGER;
p1 : java_awt.Rectangle) : View,EXTENSIBLE;
PROCEDURE (self:TableView) layoutColumns!( p0 : INTEGER;
IN p1 : ARRAY OF INTEGER;
IN p2 : ARRAY OF INTEGER;
IN p3 : ARRAY OF javax_swing.SizeRequirements),NEW,EXTENSIBLE;
PROCEDURE (self:TableView) layoutMinorAxis!( p0 : INTEGER;
p1 : INTEGER;
IN p2 : ARRAY OF INTEGER;
IN p3 : ARRAY OF INTEGER),EXTENSIBLE;
PROCEDURE (self:TableView) loadChildren!(p0 : ViewFactory),EXTENSIBLE;
PROCEDURE (self:TabSet) getTab*(p0 : INTEGER) : TabStop,NEW,EXTENSIBLE;
PROCEDURE (self:TabSet) getTabAfter*(p0 : SHORTREAL) : TabStop,NEW,EXTENSIBLE;
PROCEDURE (self:TabSet) getTabCount*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:TabSet) getTabIndex*(p0 : TabStop) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:TabSet) getTabIndexAfter*(p0 : SHORTREAL) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:TabSet) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:TabStop) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:TabStop) getAlignment*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:TabStop) getLeader*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:TabStop) getPosition*() : SHORTREAL,NEW,EXTENSIBLE;
PROCEDURE (self:TabStop) hashCode*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:TabStop) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:TextAction) getFocusedComponent!() : JTextComponent,NEW;
PROCEDURE (self:TextAction) getTextComponent!(p0 : java_awt_event.ActionEvent) : JTextComponent,NEW;
PROCEDURE (self:View) breakView*(p0 : INTEGER;
p1 : INTEGER;
p2 : SHORTREAL;
p3 : SHORTREAL) : View,NEW,EXTENSIBLE;
PROCEDURE (self:View) changedUpdate*(p0 : javax_swing_event.DocumentEvent;
p1 : java_awt.Shape;
p2 : ViewFactory),NEW,EXTENSIBLE;
PROCEDURE (self:View) createFragment*(p0 : INTEGER;
p1 : INTEGER) : View,NEW,EXTENSIBLE;
PROCEDURE (self:View) getAlignment*(p0 : INTEGER) : SHORTREAL,NEW,EXTENSIBLE;
PROCEDURE (self:View) getAttributes*() : AttributeSet,NEW,EXTENSIBLE;
PROCEDURE (self:View) getBreakWeight*(p0 : INTEGER;
p1 : SHORTREAL;
p2 : SHORTREAL) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:View) getChildAllocation*(p0 : INTEGER;
p1 : java_awt.Shape) : java_awt.Shape,NEW,EXTENSIBLE;
PROCEDURE (self:View) getContainer*() : java_awt.Container,NEW,EXTENSIBLE;
PROCEDURE (self:View) getDocument*() : Document,NEW,EXTENSIBLE;
PROCEDURE (self:View) getElement*() : Element,NEW,EXTENSIBLE;
PROCEDURE (self:View) getEndOffset*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:View) getMaximumSpan*(p0 : INTEGER) : SHORTREAL,NEW,EXTENSIBLE;
PROCEDURE (self:View) getMinimumSpan*(p0 : INTEGER) : SHORTREAL,NEW,EXTENSIBLE;
PROCEDURE (self:View) getNextVisualPositionFrom*( p0 : INTEGER;
p1 : Position$Bias;
p2 : java_awt.Shape;
p3 : INTEGER;
IN p4 : ARRAY OF Position$Bias) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:View) getParent*() : View,NEW,EXTENSIBLE;
PROCEDURE (self:View) getPreferredSpan*(p0 : INTEGER) : SHORTREAL,NEW,ABSTRACT;
PROCEDURE (self:View) getResizeWeight*(p0 : INTEGER) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:View) getStartOffset*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:View) getView*(p0 : INTEGER) : View,NEW,EXTENSIBLE;
PROCEDURE (self:View) getViewCount*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:View) getViewFactory*() : ViewFactory,NEW,EXTENSIBLE;
PROCEDURE (self:View) insertUpdate*(p0 : javax_swing_event.DocumentEvent;
p1 : java_awt.Shape;
p2 : ViewFactory),NEW,EXTENSIBLE;
PROCEDURE (self:View) isVisible*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:View) modelToView*(p0 : INTEGER;
p1 : java_awt.Shape) : java_awt.Shape,NEW,EXTENSIBLE;
PROCEDURE (self:View) modelToView*(p0 : INTEGER;
p1 : java_awt.Shape;
p2 : Position$Bias) : java_awt.Shape,NEW,ABSTRACT;
PROCEDURE (self:View) modelToView*(p0 : INTEGER;
p1 : Position$Bias;
p2 : INTEGER;
p3 : Position$Bias;
p4 : java_awt.Shape) : java_awt.Shape,NEW,EXTENSIBLE;
PROCEDURE (self:View) paint*(p0 : java_awt.Graphics;
p1 : java_awt.Shape),NEW,ABSTRACT;
PROCEDURE (self:View) preferenceChanged*(p0 : View;
p1 : BOOLEAN;
p2 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:View) removeUpdate*(p0 : javax_swing_event.DocumentEvent;
p1 : java_awt.Shape;
p2 : ViewFactory),NEW,EXTENSIBLE;
PROCEDURE (self:View) setParent*(p0 : View),NEW,EXTENSIBLE;
PROCEDURE (self:View) setSize*(p0 : SHORTREAL;
p1 : SHORTREAL),NEW,EXTENSIBLE;
PROCEDURE (self:View) viewToModel*(p0 : SHORTREAL;
p1 : SHORTREAL;
p2 : java_awt.Shape) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:View) viewToModel*( p0 : SHORTREAL;
p1 : SHORTREAL;
p2 : java_awt.Shape;
IN p3 : ARRAY OF Position$Bias) : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:ViewFactory) create*(p0 : Element) : View,NEW,ABSTRACT;
PROCEDURE (self:WrappedPlainView) calculateBreakPosition!(p0 : INTEGER;
p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:WrappedPlainView) changedUpdate*(p0 : javax_swing_event.DocumentEvent;
p1 : java_awt.Shape;
p2 : ViewFactory),EXTENSIBLE;
PROCEDURE (self:WrappedPlainView) drawLine!(p0 : INTEGER;
p1 : INTEGER;
p2 : java_awt.Graphics;
p3 : INTEGER;
p4 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:WrappedPlainView) drawSelectedText!(p0 : java_awt.Graphics;
p1 : INTEGER;
p2 : INTEGER;
p3 : INTEGER;
p4 : INTEGER) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:WrappedPlainView) drawUnselectedText!(p0 : java_awt.Graphics;
p1 : INTEGER;
p2 : INTEGER;
p3 : INTEGER;
p4 : INTEGER) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:WrappedPlainView) getLineBuffer!() : Segment,NEW;
PROCEDURE (self:WrappedPlainView) getMaximumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;
PROCEDURE (self:WrappedPlainView) getMinimumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;
PROCEDURE (self:WrappedPlainView) getPreferredSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE;
PROCEDURE (self:WrappedPlainView) getTabSize!() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:WrappedPlainView) insertUpdate*(p0 : javax_swing_event.DocumentEvent;
p1 : java_awt.Shape;
p2 : ViewFactory),EXTENSIBLE;
PROCEDURE (self:WrappedPlainView) loadChildren!(p0 : ViewFactory),EXTENSIBLE;
PROCEDURE (self:WrappedPlainView) nextTabStop*(p0 : SHORTREAL;
p1 : INTEGER) : SHORTREAL,NEW,EXTENSIBLE;
PROCEDURE (self:WrappedPlainView) paint*(p0 : java_awt.Graphics;
p1 : java_awt.Shape),EXTENSIBLE;
PROCEDURE (self:WrappedPlainView) removeUpdate*(p0 : javax_swing_event.DocumentEvent;
p1 : java_awt.Shape;
p2 : ViewFactory),EXTENSIBLE;
PROCEDURE (self:WrappedPlainView) setSize*(p0 : SHORTREAL;
p1 : SHORTREAL),EXTENSIBLE;
END javax_swing_text.