FOREIGN MODULE javax_swing_text_html; IMPORT java_lang := "java.lang", javax_swing_event := "javax.swing.event", java_util := "java.util", javax_swing_text := "javax.swing.text", java_awt := "java.awt", javax_accessibility := "javax.accessibility", java_awt_event := "java.awt.event", java_beans := "java.beans", java_text := "java.text", javax_swing := "javax.swing", javax_swing_border := "javax.swing.border", java_io := "java.io", java_net := "java.net", sun_swing_text_html := "sun.swing.text.html", java_lang_reflect := "java.lang.reflect", java_awt_im := "java.awt.im", javax_swing_plaf := "javax.swing.plaf", javax_print := "javax.print", javax_print_attribute := "javax.print.attribute", java_awt_print := "java.awt.print", sun_awt := "sun.awt", java_util_logging := "java.util.logging", java_awt_peer := "java.awt.peer", sun_java2d_pipe := "sun.java2d.pipe", java_awt_image := "java.awt.image", java_awt_dnd := "java.awt.dnd", java_security := "java.security", javax_swing_tree := "javax.swing.tree", java_lang_ref := "java.lang.ref", java_awt_geom := "java.awt.geom", sun_awt_geom := "sun.awt.geom"; TYPE AccessibleHTML$HTMLAccessibleContext* = POINTER TO ABSTRACT RECORD (javax_accessibility.AccessibleContext + javax_accessibility.Accessible + javax_accessibility.AccessibleComponent) (* Typebound Procedures *) elementInfo! : AccessibleHTML$ElementInfo; STATIC PROCEDURE Init*(p0 : AccessibleHTML; p1 : AccessibleHTML$ElementInfo) : AccessibleHTML$HTMLAccessibleContext,CONSTRUCTOR; END; AccessibleHTML$IconElementInfo$IconAccessibleContext* = POINTER TO EXTENSIBLE RECORD (AccessibleHTML$HTMLAccessibleContext + javax_accessibility.AccessibleIcon) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : AccessibleHTML$IconElementInfo; p1 : AccessibleHTML$ElementInfo) : AccessibleHTML$IconElementInfo$IconAccessibleContext,CONSTRUCTOR; END; AccessibleHTML$TableElementInfo$TableAccessibleContext* = POINTER TO EXTENSIBLE RECORD (AccessibleHTML$HTMLAccessibleContext + javax_accessibility.AccessibleTable) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : AccessibleHTML$TableElementInfo; p1 : AccessibleHTML$ElementInfo) : AccessibleHTML$TableElementInfo$TableAccessibleContext,CONSTRUCTOR; END; AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + javax_accessibility.AccessibleTable) (* Typebound Procedures *) STATIC PROCEDURE Init!(p0 : AccessibleHTML$TableElementInfo$TableAccessibleContext) : AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable,CONSTRUCTOR; END; AccessibleHTML$TextElementInfo$TextAccessibleContext* = POINTER TO EXTENSIBLE RECORD (AccessibleHTML$HTMLAccessibleContext + javax_accessibility.AccessibleText) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : AccessibleHTML$TextElementInfo; p1 : AccessibleHTML$ElementInfo) : AccessibleHTML$TextElementInfo$TextAccessibleContext,CONSTRUCTOR; END; BlockView* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.BoxView) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : javax_swing_text.Element; p1 : INTEGER) : BlockView,CONSTRUCTOR; END; CSS* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable) STATIC PROCEDURE getAllAttributeKeys*() : POINTER TO ARRAY OF CSS$Attribute; PROCEDURE getAttribute*(p0 : java_lang.String) : CSS$Attribute; PROCEDURE Init*() : CSS,CONSTRUCTOR; END; CSS$Attribute* = POINTER TO RECORD (java_lang.Object) (* Typebound Procedures *) STATIC BACKGROUND* : CSS$Attribute; BACKGROUND_ATTACHMENT* : CSS$Attribute; BACKGROUND_COLOR* : CSS$Attribute; BACKGROUND_IMAGE* : CSS$Attribute; BACKGROUND_POSITION* : CSS$Attribute; BACKGROUND_REPEAT* : CSS$Attribute; BORDER* : CSS$Attribute; BORDER_BOTTOM* : CSS$Attribute; BORDER_BOTTOM_WIDTH* : CSS$Attribute; BORDER_COLOR* : CSS$Attribute; BORDER_LEFT* : CSS$Attribute; BORDER_LEFT_WIDTH* : CSS$Attribute; BORDER_RIGHT* : CSS$Attribute; BORDER_RIGHT_WIDTH* : CSS$Attribute; BORDER_STYLE* : CSS$Attribute; BORDER_TOP* : CSS$Attribute; BORDER_TOP_WIDTH* : CSS$Attribute; BORDER_WIDTH* : CSS$Attribute; CLEAR* : CSS$Attribute; COLOR* : CSS$Attribute; DISPLAY* : CSS$Attribute; FLOAT* : CSS$Attribute; FONT* : CSS$Attribute; FONT_FAMILY* : CSS$Attribute; FONT_SIZE* : CSS$Attribute; FONT_STYLE* : CSS$Attribute; FONT_VARIANT* : CSS$Attribute; FONT_WEIGHT* : CSS$Attribute; HEIGHT* : CSS$Attribute; LETTER_SPACING* : CSS$Attribute; LINE_HEIGHT* : CSS$Attribute; LIST_STYLE* : CSS$Attribute; LIST_STYLE_IMAGE* : CSS$Attribute; LIST_STYLE_POSITION* : CSS$Attribute; LIST_STYLE_TYPE* : CSS$Attribute; MARGIN* : CSS$Attribute; MARGIN_BOTTOM* : CSS$Attribute; MARGIN_LEFT* : CSS$Attribute; MARGIN_RIGHT* : CSS$Attribute; MARGIN_TOP* : CSS$Attribute; PADDING* : CSS$Attribute; PADDING_BOTTOM* : CSS$Attribute; PADDING_LEFT* : CSS$Attribute; PADDING_RIGHT* : CSS$Attribute; PADDING_TOP* : CSS$Attribute; TEXT_ALIGN* : CSS$Attribute; TEXT_DECORATION* : CSS$Attribute; TEXT_INDENT* : CSS$Attribute; TEXT_TRANSFORM* : CSS$Attribute; VERTICAL_ALIGN* : CSS$Attribute; WHITE_SPACE* : CSS$Attribute; WIDTH* : CSS$Attribute; WORD_SPACING* : CSS$Attribute; END; FormSubmitEvent* = POINTER TO EXTENSIBLE RECORD (HTMLFrameHyperlinkEvent) (* Typebound Procedures *) END; FormSubmitEvent$MethodType* = POINTER TO RECORD (java_lang.Enum) STATIC GET* : FormSubmitEvent$MethodType; POST* : FormSubmitEvent$MethodType; PROCEDURE valueOf*(p0 : java_lang.String) : FormSubmitEvent$MethodType; PROCEDURE values*() : POINTER TO ARRAY OF FormSubmitEvent$MethodType; END; FormView* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.ComponentView + java_awt_event.ActionListener) (* Typebound Procedures *) STATIC RESET* : java_lang.String; SUBMIT* : java_lang.String; PROCEDURE Init*(p0 : javax_swing_text.Element) : FormView,CONSTRUCTOR; END; FormView$MouseEventListener* = POINTER TO EXTENSIBLE RECORD (java_awt_event.MouseAdapter) (* Typebound Procedures *) STATIC PROCEDURE Init!(p0 : FormView) : FormView$MouseEventListener,CONSTRUCTOR; END; HTML* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) STATIC NULL_ATTRIBUTE_VALUE* = "#DEFAULT"; PROCEDURE getAllAttributeKeys*() : POINTER TO ARRAY OF HTML$Attribute; PROCEDURE getAllTags*() : POINTER TO ARRAY OF HTML$Tag; PROCEDURE getAttributeKey*(p0 : java_lang.String) : HTML$Attribute; PROCEDURE getIntegerAttributeValue*(p0 : javax_swing_text.AttributeSet; p1 : HTML$Attribute; p2 : INTEGER) : INTEGER; PROCEDURE getTag*(p0 : java_lang.String) : HTML$Tag; PROCEDURE Init*() : HTML,CONSTRUCTOR; END; HTML$Attribute* = POINTER TO RECORD (java_lang.Object) (* Typebound Procedures *) STATIC ACTION* : HTML$Attribute; ALIGN* : HTML$Attribute; ALINK* : HTML$Attribute; ALT* : HTML$Attribute; ARCHIVE* : HTML$Attribute; BACKGROUND* : HTML$Attribute; BGCOLOR* : HTML$Attribute; BORDER* : HTML$Attribute; CELLPADDING* : HTML$Attribute; CELLSPACING* : HTML$Attribute; CHECKED* : HTML$Attribute; CLASS* : HTML$Attribute; CLASSID* : HTML$Attribute; CLEAR* : HTML$Attribute; CODE* : HTML$Attribute; CODEBASE* : HTML$Attribute; CODETYPE* : HTML$Attribute; COLOR* : HTML$Attribute; COLS* : HTML$Attribute; COLSPAN* : HTML$Attribute; COMMENT* : HTML$Attribute; COMPACT* : HTML$Attribute; CONTENT* : HTML$Attribute; COORDS* : HTML$Attribute; DATA* : HTML$Attribute; DECLARE* : HTML$Attribute; DIR* : HTML$Attribute; DUMMY* : HTML$Attribute; ENCTYPE* : HTML$Attribute; ENDTAG* : HTML$Attribute; FACE* : HTML$Attribute; FRAMEBORDER* : HTML$Attribute; HALIGN* : HTML$Attribute; HEIGHT* : HTML$Attribute; HREF* : HTML$Attribute; HSPACE* : HTML$Attribute; HTTPEQUIV* : HTML$Attribute; ID* : HTML$Attribute; ISMAP* : HTML$Attribute; LANG* : HTML$Attribute; LANGUAGE* : HTML$Attribute; LINK* : HTML$Attribute; LOWSRC* : HTML$Attribute; MARGINHEIGHT* : HTML$Attribute; MARGINWIDTH* : HTML$Attribute; MAXLENGTH* : HTML$Attribute; METHOD* : HTML$Attribute; MULTIPLE* : HTML$Attribute; N* : HTML$Attribute; NAME* : HTML$Attribute; NOHREF* : HTML$Attribute; NORESIZE* : HTML$Attribute; NOSHADE* : HTML$Attribute; NOWRAP* : HTML$Attribute; PROMPT* : HTML$Attribute; REL* : HTML$Attribute; REV* : HTML$Attribute; ROWS* : HTML$Attribute; ROWSPAN* : HTML$Attribute; SCROLLING* : HTML$Attribute; SELECTED* : HTML$Attribute; SHAPE* : HTML$Attribute; SHAPES* : HTML$Attribute; SIZE* : HTML$Attribute; SRC* : HTML$Attribute; STANDBY* : HTML$Attribute; START* : HTML$Attribute; STYLE* : HTML$Attribute; TARGET* : HTML$Attribute; TEXT* : HTML$Attribute; TITLE* : HTML$Attribute; TYPE* : HTML$Attribute; USEMAP* : HTML$Attribute; VALIGN* : HTML$Attribute; VALUE* : HTML$Attribute; VALUETYPE* : HTML$Attribute; VERSION* : HTML$Attribute; VLINK* : HTML$Attribute; VSPACE* : HTML$Attribute; WIDTH* : HTML$Attribute; END; HTML$Tag* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) (* Typebound Procedures *) STATIC A* : HTML$Tag; ADDRESS* : HTML$Tag; APPLET* : HTML$Tag; AREA* : HTML$Tag; B* : HTML$Tag; BASE* : HTML$Tag; BASEFONT* : HTML$Tag; BIG* : HTML$Tag; BLOCKQUOTE* : HTML$Tag; BODY* : HTML$Tag; BR* : HTML$Tag; CAPTION* : HTML$Tag; CENTER* : HTML$Tag; CITE* : HTML$Tag; CODE* : HTML$Tag; COMMENT* : HTML$Tag; CONTENT* : HTML$Tag; DD* : HTML$Tag; DFN* : HTML$Tag; DIR* : HTML$Tag; DIV* : HTML$Tag; DL* : HTML$Tag; DT* : HTML$Tag; EM* : HTML$Tag; FONT* : HTML$Tag; FORM* : HTML$Tag; FRAME* : HTML$Tag; FRAMESET* : HTML$Tag; H1* : HTML$Tag; H2* : HTML$Tag; H3* : HTML$Tag; H4* : HTML$Tag; H5* : HTML$Tag; H6* : HTML$Tag; HEAD* : HTML$Tag; HR* : HTML$Tag; HTML* : HTML$Tag; I* : HTML$Tag; IMG* : HTML$Tag; IMPLIED* : HTML$Tag; INPUT* : HTML$Tag; ISINDEX* : HTML$Tag; KBD* : HTML$Tag; LI* : HTML$Tag; LINK* : HTML$Tag; MAP* : HTML$Tag; MENU* : HTML$Tag; META* : HTML$Tag; NOFRAMES* : HTML$Tag; OBJECT* : HTML$Tag; OL* : HTML$Tag; OPTION* : HTML$Tag; P* : HTML$Tag; PARAM* : HTML$Tag; PRE* : HTML$Tag; S* : HTML$Tag; SAMP* : HTML$Tag; SCRIPT* : HTML$Tag; SELECT* : HTML$Tag; SMALL* : HTML$Tag; SPAN* : HTML$Tag; STRIKE* : HTML$Tag; STRONG* : HTML$Tag; STYLE* : HTML$Tag; SUB* : HTML$Tag; SUP* : HTML$Tag; TABLE* : HTML$Tag; TD* : HTML$Tag; TEXTAREA* : HTML$Tag; TH* : HTML$Tag; TITLE* : HTML$Tag; TR* : HTML$Tag; TT* : HTML$Tag; U* : HTML$Tag; UL* : HTML$Tag; VAR* : HTML$Tag; PROCEDURE Init!(p0 : java_lang.String; p1 : BOOLEAN; p2 : BOOLEAN) : HTML$Tag,CONSTRUCTOR; PROCEDURE Init!(p0 : java_lang.String) : HTML$Tag,CONSTRUCTOR; PROCEDURE Init*() : HTML$Tag,CONSTRUCTOR; END; HTML$UnknownTag* = POINTER TO EXTENSIBLE RECORD (HTML$Tag + java_io.Serializable) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : java_lang.String) : HTML$UnknownTag,CONSTRUCTOR; END; HTMLDocument* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.DefaultStyledDocument) (* Typebound Procedures *) STATIC AdditionalComments* = "AdditionalComments"; PROCEDURE Init*(p0 : javax_swing_text.AbstractDocument$Content; p1 : StyleSheet) : HTMLDocument,CONSTRUCTOR; PROCEDURE Init*(p0 : StyleSheet) : HTMLDocument,CONSTRUCTOR; PROCEDURE Init*() : HTMLDocument,CONSTRUCTOR; END; HTMLDocument$BlockElement* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.AbstractDocument$BranchElement) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : HTMLDocument; p1 : javax_swing_text.Element; p2 : javax_swing_text.AttributeSet) : HTMLDocument$BlockElement,CONSTRUCTOR; END; HTMLDocument$HTMLReader* = POINTER TO EXTENSIBLE RECORD (HTMLEditorKit$ParserCallback) (* Typebound Procedures *) parseBuffer! : java_util.Vector; charAttr! : javax_swing_text.MutableAttributeSet; STATIC PROCEDURE Init*(p0 : HTMLDocument; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER; p4 : HTML$Tag) : HTMLDocument$HTMLReader,CONSTRUCTOR; PROCEDURE Init*(p0 : HTMLDocument; p1 : INTEGER) : HTMLDocument$HTMLReader,CONSTRUCTOR; END; HTMLDocument$HTMLReader$BlockAction* = POINTER TO EXTENSIBLE RECORD (HTMLDocument$HTMLReader$TagAction) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : HTMLDocument$HTMLReader) : HTMLDocument$HTMLReader$BlockAction,CONSTRUCTOR; END; HTMLDocument$HTMLReader$CharacterAction* = POINTER TO EXTENSIBLE RECORD (HTMLDocument$HTMLReader$TagAction) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : HTMLDocument$HTMLReader) : HTMLDocument$HTMLReader$CharacterAction,CONSTRUCTOR; END; HTMLDocument$HTMLReader$FormAction* = POINTER TO EXTENSIBLE RECORD (HTMLDocument$HTMLReader$SpecialAction) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : HTMLDocument$HTMLReader) : HTMLDocument$HTMLReader$FormAction,CONSTRUCTOR; END; HTMLDocument$HTMLReader$HiddenAction* = POINTER TO EXTENSIBLE RECORD (HTMLDocument$HTMLReader$TagAction) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : HTMLDocument$HTMLReader) : HTMLDocument$HTMLReader$HiddenAction,CONSTRUCTOR; END; HTMLDocument$HTMLReader$IsindexAction* = POINTER TO EXTENSIBLE RECORD (HTMLDocument$HTMLReader$TagAction) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : HTMLDocument$HTMLReader) : HTMLDocument$HTMLReader$IsindexAction,CONSTRUCTOR; END; HTMLDocument$HTMLReader$ParagraphAction* = POINTER TO EXTENSIBLE RECORD (HTMLDocument$HTMLReader$BlockAction) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : HTMLDocument$HTMLReader) : HTMLDocument$HTMLReader$ParagraphAction,CONSTRUCTOR; END; HTMLDocument$HTMLReader$PreAction* = POINTER TO EXTENSIBLE RECORD (HTMLDocument$HTMLReader$BlockAction) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : HTMLDocument$HTMLReader) : HTMLDocument$HTMLReader$PreAction,CONSTRUCTOR; END; HTMLDocument$HTMLReader$SpecialAction* = POINTER TO EXTENSIBLE RECORD (HTMLDocument$HTMLReader$TagAction) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : HTMLDocument$HTMLReader) : HTMLDocument$HTMLReader$SpecialAction,CONSTRUCTOR; END; HTMLDocument$HTMLReader$TagAction* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : HTMLDocument$HTMLReader) : HTMLDocument$HTMLReader$TagAction,CONSTRUCTOR; END; HTMLDocument$Iterator* = POINTER TO ABSTRACT RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE Init*() : HTMLDocument$Iterator,CONSTRUCTOR; END; HTMLDocument$RunElement* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.AbstractDocument$LeafElement) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : HTMLDocument; p1 : javax_swing_text.Element; p2 : javax_swing_text.AttributeSet; p3 : INTEGER; p4 : INTEGER) : HTMLDocument$RunElement,CONSTRUCTOR; END; HTMLEditorKit* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.StyledEditorKit + javax_accessibility.Accessible) (* Typebound Procedures *) STATIC BOLD_ACTION* = "html-bold-action"; COLOR_ACTION* = "html-color-action"; DEFAULT_CSS* = "default.css"; FONT_CHANGE_BIGGER* = "html-font-bigger"; FONT_CHANGE_SMALLER* = "html-font-smaller"; IMG_ALIGN_BOTTOM* = "html-image-align-bottom"; IMG_ALIGN_MIDDLE* = "html-image-align-middle"; IMG_ALIGN_TOP* = "html-image-align-top"; IMG_BORDER* = "html-image-border"; ITALIC_ACTION* = "html-italic-action"; LOGICAL_STYLE_ACTION* = "html-logical-style-action"; PARA_INDENT_LEFT* = "html-para-indent-left"; PARA_INDENT_RIGHT* = "html-para-indent-right"; PROCEDURE Init*() : HTMLEditorKit,CONSTRUCTOR; END; HTMLEditorKit$HTMLFactory* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + javax_swing_text.ViewFactory) (* Typebound Procedures *) STATIC PROCEDURE Init*() : HTMLEditorKit$HTMLFactory,CONSTRUCTOR; END; HTMLEditorKit$HTMLTextAction* = POINTER TO ABSTRACT RECORD (javax_swing_text.StyledEditorKit$StyledTextAction) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : java_lang.String) : HTMLEditorKit$HTMLTextAction,CONSTRUCTOR; END; HTMLEditorKit$InsertHTMLTextAction* = POINTER TO EXTENSIBLE RECORD (HTMLEditorKit$HTMLTextAction) (* Typebound Procedures *) html! : java_lang.String; parentTag! : HTML$Tag; addTag! : HTML$Tag; alternateParentTag! : HTML$Tag; alternateAddTag! : HTML$Tag; STATIC PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String; p2 : HTML$Tag; p3 : HTML$Tag; p4 : HTML$Tag; p5 : HTML$Tag) : HTMLEditorKit$InsertHTMLTextAction,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String; p2 : HTML$Tag; p3 : HTML$Tag) : HTMLEditorKit$InsertHTMLTextAction,CONSTRUCTOR; END; HTMLEditorKit$LinkController* = POINTER TO EXTENSIBLE RECORD (java_awt_event.MouseAdapter + java_awt_event.MouseMotionListener + java_io.Serializable) (* Typebound Procedures *) STATIC PROCEDURE Init*() : HTMLEditorKit$LinkController,CONSTRUCTOR; END; HTMLEditorKit$Parser* = POINTER TO ABSTRACT RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE Init*() : HTMLEditorKit$Parser,CONSTRUCTOR; END; HTMLEditorKit$ParserCallback* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) (* Typebound Procedures *) STATIC IMPLIED* : java_lang.Object; PROCEDURE Init*() : HTMLEditorKit$ParserCallback,CONSTRUCTOR; END; HTMLFrameHyperlinkEvent* = POINTER TO EXTENSIBLE RECORD (javax_swing_event.HyperlinkEvent) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : java_lang.Object; p1 : javax_swing_event.HyperlinkEvent$EventType; p2 : java_net.URL; p3 : javax_swing_text.Element; p4 : java_lang.String) : HTMLFrameHyperlinkEvent,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.Object; p1 : javax_swing_event.HyperlinkEvent$EventType; p2 : java_net.URL; p3 : java_lang.String; p4 : javax_swing_text.Element; p5 : java_lang.String) : HTMLFrameHyperlinkEvent,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.Object; p1 : javax_swing_event.HyperlinkEvent$EventType; p2 : java_net.URL; p3 : java_lang.String) : HTMLFrameHyperlinkEvent,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.Object; p1 : javax_swing_event.HyperlinkEvent$EventType; p2 : java_net.URL; p3 : java_lang.String; p4 : java_lang.String) : HTMLFrameHyperlinkEvent,CONSTRUCTOR; END; HTMLWriter* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.AbstractWriter) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : java_io.Writer; p1 : HTMLDocument; p2 : INTEGER; p3 : INTEGER) : HTMLWriter,CONSTRUCTOR; PROCEDURE Init*(p0 : java_io.Writer; p1 : HTMLDocument) : HTMLWriter,CONSTRUCTOR; END; ImageView* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.View) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : javax_swing_text.Element) : ImageView,CONSTRUCTOR; END; InlineView* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.LabelView) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : javax_swing_text.Element) : InlineView,CONSTRUCTOR; END; ListView* = POINTER TO EXTENSIBLE RECORD (BlockView) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : javax_swing_text.Element) : ListView,CONSTRUCTOR; END; MinimalHTMLWriter* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.AbstractWriter) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : java_io.Writer; p1 : javax_swing_text.StyledDocument; p2 : INTEGER; p3 : INTEGER) : MinimalHTMLWriter,CONSTRUCTOR; PROCEDURE Init*(p0 : java_io.Writer; p1 : javax_swing_text.StyledDocument) : MinimalHTMLWriter,CONSTRUCTOR; END; ObjectView* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.ComponentView) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : javax_swing_text.Element) : ObjectView,CONSTRUCTOR; END; Option* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : javax_swing_text.AttributeSet) : Option,CONSTRUCTOR; END; ParagraphView* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.ParagraphView) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : javax_swing_text.Element) : ParagraphView,CONSTRUCTOR; END; StyleSheet* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.StyleContext) (* Typebound Procedures *) STATIC PROCEDURE getIndexOfSize*(p0 : SHORTREAL) : INTEGER; PROCEDURE Init*() : StyleSheet,CONSTRUCTOR; END; StyleSheet$BoxPainter* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable) (* Typebound Procedures *) END; StyleSheet$ListPainter* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable) (* Typebound Procedures *) END; TableView$RowView* = POINTER TO EXTENSIBLE RECORD (javax_swing_text.BoxView) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : TableView; p1 : javax_swing_text.Element) : TableView$RowView,CONSTRUCTOR; END; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) addFocusListener*(p0 : java_awt_event.FocusListener),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) contains*(p0 : java_awt.Point) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getAccessibleAt*(p0 : java_awt.Point) : javax_accessibility.Accessible,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getAccessibleChild*(p0 : INTEGER) : javax_accessibility.Accessible,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getAccessibleChildrenCount*() : INTEGER,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getAccessibleComponent*() : javax_accessibility.AccessibleComponent,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getAccessibleContext*() : javax_accessibility.AccessibleContext,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getAccessibleIndexInParent*() : INTEGER,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getAccessibleStateSet*() : javax_accessibility.AccessibleStateSet,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getBackground*() : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getBounds*() : java_awt.Rectangle,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getCursor*() : java_awt.Cursor,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getFont*() : java_awt.Font,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getFontMetrics*(p0 : java_awt.Font) : java_awt.FontMetrics,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getForeground*() : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getLocale*() : java_util.Locale,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getLocation*() : java_awt.Point,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getLocationOnScreen*() : java_awt.Point,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) getSize*() : java_awt.Dimension,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) isEnabled*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) isFocusTraversable*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) isShowing*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) isVisible*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) removeFocusListener*(p0 : java_awt_event.FocusListener),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) requestFocus*(),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) setBackground*(p0 : java_awt.Color),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) setBounds*(p0 : java_awt.Rectangle),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) setCursor*(p0 : java_awt.Cursor),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) setEnabled*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) setFont*(p0 : java_awt.Font),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) setForeground*(p0 : java_awt.Color),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) setLocation*(p0 : java_awt.Point),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) setSize*(p0 : java_awt.Dimension),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$HTMLAccessibleContext) setVisible*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$IconElementInfo$IconAccessibleContext) getAccessibleDescription*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$IconElementInfo$IconAccessibleContext) getAccessibleIcon*() : POINTER TO ARRAY OF javax_accessibility.AccessibleIcon,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$IconElementInfo$IconAccessibleContext) getAccessibleIconDescription*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$IconElementInfo$IconAccessibleContext) getAccessibleIconHeight*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$IconElementInfo$IconAccessibleContext) getAccessibleIconWidth*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$IconElementInfo$IconAccessibleContext) getAccessibleName*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$IconElementInfo$IconAccessibleContext) getAccessibleRole*() : javax_accessibility.AccessibleRole,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$IconElementInfo$IconAccessibleContext) setAccessibleIconDescription*(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) addFocusListener*(p0 : java_awt_event.FocusListener),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) addRowHeader*(p0 : AccessibleHTML$TableElementInfo$TableCellElementInfo; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) contains*(p0 : java_awt.Point) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleAt*(p0 : java_awt.Point) : javax_accessibility.Accessible,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleAt*(p0 : INTEGER; p1 : INTEGER) : javax_accessibility.Accessible,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleCaption*() : javax_accessibility.Accessible,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleChild*(p0 : INTEGER) : javax_accessibility.Accessible,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleChildrenCount*() : INTEGER,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleColumn*(p0 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleColumnCount*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleColumnDescription*(p0 : INTEGER) : javax_accessibility.Accessible,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleColumnExtentAt*(p0 : INTEGER; p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleColumnHeader*() : javax_accessibility.AccessibleTable,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleColumnHeader*(p0 : INTEGER) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleComponent*() : javax_accessibility.AccessibleComponent,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleContext*() : javax_accessibility.AccessibleContext,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleDescription*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleIndex*(p0 : INTEGER; p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleIndexInParent*() : INTEGER,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleName*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleRole*() : javax_accessibility.AccessibleRole,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleRow*(p0 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleRowCount*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleRowDescription*(p0 : INTEGER) : javax_accessibility.Accessible,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleRowExtentAt*(p0 : INTEGER; p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleRowHeader*(p0 : INTEGER) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleRowHeader*() : javax_accessibility.AccessibleTable,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleStateSet*() : javax_accessibility.AccessibleStateSet,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleSummary*() : javax_accessibility.Accessible,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getAccessibleTable*() : javax_accessibility.AccessibleTable,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getBackground*() : java_awt.Color,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getBounds*() : java_awt.Rectangle,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getCursor*() : java_awt.Cursor,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getFont*() : java_awt.Font,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getFontMetrics*(p0 : java_awt.Font) : java_awt.FontMetrics,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getForeground*() : java_awt.Color,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getLocale*() : java_util.Locale,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getLocation*() : java_awt.Point,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getLocationOnScreen*() : java_awt.Point,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getSelectedAccessibleColumns*() : POINTER TO ARRAY OF INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getSelectedAccessibleRows*() : POINTER TO ARRAY OF INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) getSize*() : java_awt.Dimension,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) isAccessibleColumnSelected*(p0 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) isAccessibleRowSelected*(p0 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) isAccessibleSelected*(p0 : INTEGER; p1 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) isEnabled*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) isFocusTraversable*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) isShowing*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) isVisible*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) removeFocusListener*(p0 : java_awt_event.FocusListener),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) requestFocus*(),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setAccessibleCaption*(p0 : javax_accessibility.Accessible),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setAccessibleColumnDescription*(p0 : INTEGER; p1 : javax_accessibility.Accessible),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setAccessibleColumnHeader*(p0 : javax_accessibility.AccessibleTable),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setAccessibleRowDescription*(p0 : INTEGER; p1 : javax_accessibility.Accessible),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setAccessibleRowHeader*(p0 : javax_accessibility.AccessibleTable),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setAccessibleSummary*(p0 : javax_accessibility.Accessible),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setBackground*(p0 : java_awt.Color),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setBounds*(p0 : java_awt.Rectangle),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setCursor*(p0 : java_awt.Cursor),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setEnabled*(p0 : BOOLEAN),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setFont*(p0 : java_awt.Font),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setForeground*(p0 : java_awt.Color),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setLocation*(p0 : java_awt.Point),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setSize*(p0 : java_awt.Dimension),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext) setVisible*(p0 : BOOLEAN),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) addHeader*(p0 : AccessibleHTML$TableElementInfo$TableCellElementInfo; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleAt*(p0 : INTEGER; p1 : INTEGER) : javax_accessibility.Accessible,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleCaption*() : javax_accessibility.Accessible,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleColumnCount*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleColumnDescription*(p0 : INTEGER) : javax_accessibility.Accessible,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleColumnExtentAt*(p0 : INTEGER; p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleColumnHeader*() : javax_accessibility.AccessibleTable,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleRowCount*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleRowDescription*(p0 : INTEGER) : javax_accessibility.Accessible,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleRowExtentAt*(p0 : INTEGER; p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleRowHeader*() : javax_accessibility.AccessibleTable,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getAccessibleSummary*() : javax_accessibility.Accessible,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getSelectedAccessibleColumns*() : POINTER TO ARRAY OF INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) getSelectedAccessibleRows*() : POINTER TO ARRAY OF INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) isAccessibleColumnSelected*(p0 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) isAccessibleRowSelected*(p0 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) isAccessibleSelected*(p0 : INTEGER; p1 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) setAccessibleCaption*(p0 : javax_accessibility.Accessible),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) setAccessibleColumnDescription*(p0 : INTEGER; p1 : javax_accessibility.Accessible),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) setAccessibleColumnHeader*(p0 : javax_accessibility.AccessibleTable),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) setAccessibleRowDescription*(p0 : INTEGER; p1 : javax_accessibility.Accessible),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) setAccessibleRowHeader*(p0 : javax_accessibility.AccessibleTable),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TableElementInfo$TableAccessibleContext$AccessibleHeadersTable) setAccessibleSummary*(p0 : javax_accessibility.Accessible),NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) addFocusListener*(p0 : java_awt_event.FocusListener),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) contains*(p0 : java_awt.Point) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleAt*(p0 : java_awt.Point) : javax_accessibility.Accessible,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleChild*(p0 : INTEGER) : javax_accessibility.Accessible,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleChildrenCount*() : INTEGER,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleComponent*() : javax_accessibility.AccessibleComponent,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleContext*() : javax_accessibility.AccessibleContext,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleDescription*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleIndexInParent*() : INTEGER,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleName*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleRole*() : javax_accessibility.AccessibleRole,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleStateSet*() : javax_accessibility.AccessibleStateSet,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAccessibleText*() : javax_accessibility.AccessibleText,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAfterIndex*(p0 : INTEGER; p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getAtIndex*(p0 : INTEGER; p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getBackground*() : java_awt.Color,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getBeforeIndex*(p0 : INTEGER; p1 : INTEGER) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getBounds*() : java_awt.Rectangle,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getCaretPosition*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getCharacterAttribute*(p0 : INTEGER) : javax_swing_text.AttributeSet,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getCharacterBounds*(p0 : INTEGER) : java_awt.Rectangle,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getCharCount*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getCursor*() : java_awt.Cursor,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getFont*() : java_awt.Font,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getFontMetrics*(p0 : java_awt.Font) : java_awt.FontMetrics,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getForeground*() : java_awt.Color,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getIndexAtPoint*(p0 : java_awt.Point) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getLocale*() : java_util.Locale,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getLocation*() : java_awt.Point,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getLocationOnScreen*() : java_awt.Point,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getSelectedText*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getSelectionEnd*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getSelectionStart*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) getSize*() : java_awt.Dimension,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) isEnabled*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) isFocusTraversable*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) isShowing*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) isVisible*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) removeFocusListener*(p0 : java_awt_event.FocusListener),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) requestFocus*(),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) setBackground*(p0 : java_awt.Color),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) setBounds*(p0 : java_awt.Rectangle),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) setCursor*(p0 : java_awt.Cursor),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) setEnabled*(p0 : BOOLEAN),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) setFont*(p0 : java_awt.Font),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) setForeground*(p0 : java_awt.Color),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) setLocation*(p0 : java_awt.Point),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) setSize*(p0 : java_awt.Dimension),EXTENSIBLE; PROCEDURE (self:AccessibleHTML$TextElementInfo$TextAccessibleContext) setVisible*(p0 : BOOLEAN),EXTENSIBLE; PROCEDURE (self:BlockView) calculateMajorAxisRequirements!(p0 : INTEGER; p1 : javax_swing.SizeRequirements) : javax_swing.SizeRequirements,EXTENSIBLE; PROCEDURE (self:BlockView) calculateMinorAxisRequirements!(p0 : INTEGER; p1 : javax_swing.SizeRequirements) : javax_swing.SizeRequirements,EXTENSIBLE; PROCEDURE (self:BlockView) changedUpdate*(p0 : javax_swing_event.DocumentEvent; p1 : java_awt.Shape; p2 : javax_swing_text.ViewFactory),EXTENSIBLE; PROCEDURE (self:BlockView) getAlignment*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE; PROCEDURE (self:BlockView) getAttributes*() : javax_swing_text.AttributeSet,EXTENSIBLE; PROCEDURE (self:BlockView) getMaximumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE; PROCEDURE (self:BlockView) getMinimumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE; PROCEDURE (self:BlockView) getPreferredSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE; PROCEDURE (self:BlockView) getResizeWeight*(p0 : INTEGER) : INTEGER,EXTENSIBLE; PROCEDURE (self:BlockView) getStyleSheet!() : StyleSheet,NEW,EXTENSIBLE; PROCEDURE (self:BlockView) layoutMinorAxis!( p0 : INTEGER; p1 : INTEGER; IN p2 : ARRAY OF INTEGER; IN p3 : ARRAY OF INTEGER),EXTENSIBLE; PROCEDURE (self:BlockView) paint*(p0 : java_awt.Graphics; p1 : java_awt.Shape),EXTENSIBLE; PROCEDURE (self:BlockView) setParent*(p0 : javax_swing_text.View),EXTENSIBLE; PROCEDURE (self:BlockView) setPropertiesFromAttributes!(),NEW,EXTENSIBLE; PROCEDURE (self:CSS$Attribute) getDefaultValue*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:CSS$Attribute) isInherited*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:CSS$Attribute) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:FormSubmitEvent) getData*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:FormSubmitEvent) getMethod*() : FormSubmitEvent$MethodType,NEW,EXTENSIBLE; PROCEDURE (self:FormView) actionPerformed*(p0 : java_awt_event.ActionEvent),NEW,EXTENSIBLE; PROCEDURE (self:FormView) createComponent!() : java_awt.Component,EXTENSIBLE; PROCEDURE (self:FormView) getMaximumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE; PROCEDURE (self:FormView) imageSubmit!(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:FormView) submitData!(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:FormView$MouseEventListener) mouseReleased*(p0 : java_awt_event.MouseEvent),EXTENSIBLE; PROCEDURE (self:HTML$Attribute) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:HTML$Tag) breaksFlow*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:HTML$Tag) isBlock*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:HTML$Tag) isPreformatted*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:HTML$Tag) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:HTML$UnknownTag) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:HTML$UnknownTag) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:HTMLDocument) create!(IN p0 : ARRAY OF javax_swing_text.DefaultStyledDocument$ElementSpec),EXTENSIBLE; PROCEDURE (self:HTMLDocument) createBranchElement!(p0 : javax_swing_text.Element; p1 : javax_swing_text.AttributeSet) : javax_swing_text.Element,EXTENSIBLE; PROCEDURE (self:HTMLDocument) createDefaultRoot!() : javax_swing_text.AbstractDocument$AbstractElement,EXTENSIBLE; PROCEDURE (self:HTMLDocument) createLeafElement!(p0 : javax_swing_text.Element; p1 : javax_swing_text.AttributeSet; p2 : INTEGER; p3 : INTEGER) : javax_swing_text.Element,EXTENSIBLE; PROCEDURE (self:HTMLDocument) fireChangedUpdate!(p0 : javax_swing_event.DocumentEvent),EXTENSIBLE; PROCEDURE (self:HTMLDocument) fireUndoableEditUpdate!(p0 : javax_swing_event.UndoableEditEvent),EXTENSIBLE; PROCEDURE (self:HTMLDocument) getBase*() : java_net.URL,NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument) getElement*(p0 : java_lang.String) : javax_swing_text.Element,NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument) getElement*(p0 : javax_swing_text.Element; p1 : java_lang.Object; p2 : java_lang.Object) : javax_swing_text.Element,NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument) getIterator*(p0 : HTML$Tag) : HTMLDocument$Iterator,NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument) getParser*() : HTMLEditorKit$Parser,NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument) getPreservesUnknownTags*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument) getReader*(p0 : INTEGER) : HTMLEditorKit$ParserCallback,NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument) getReader*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : HTML$Tag) : HTMLEditorKit$ParserCallback,NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument) getStyleSheet*() : StyleSheet,NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument) getTokenThreshold*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument) insert!( p0 : INTEGER; IN p1 : ARRAY OF javax_swing_text.DefaultStyledDocument$ElementSpec),EXTENSIBLE; PROCEDURE (self:HTMLDocument) insertAfterEnd*(p0 : javax_swing_text.Element; p1 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument) insertAfterStart*(p0 : javax_swing_text.Element; p1 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument) insertBeforeEnd*(p0 : javax_swing_text.Element; p1 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument) insertBeforeStart*(p0 : javax_swing_text.Element; p1 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument) insertUpdate!(p0 : javax_swing_text.AbstractDocument$DefaultDocumentEvent; p1 : javax_swing_text.AttributeSet),EXTENSIBLE; PROCEDURE (self:HTMLDocument) processHTMLFrameHyperlinkEvent*(p0 : HTMLFrameHyperlinkEvent),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument) setBase*(p0 : java_net.URL),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument) setInnerHTML*(p0 : javax_swing_text.Element; p1 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument) setOuterHTML*(p0 : javax_swing_text.Element; p1 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument) setParagraphAttributes*(p0 : INTEGER; p1 : INTEGER; p2 : javax_swing_text.AttributeSet; p3 : BOOLEAN),EXTENSIBLE; PROCEDURE (self:HTMLDocument) setParser*(p0 : HTMLEditorKit$Parser),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument) setPreservesUnknownTags*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument) setTokenThreshold*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument$BlockElement) getName*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:HTMLDocument$BlockElement) getResolveParent*() : javax_swing_text.AttributeSet,EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader) addContent!(IN p0 : ARRAY OF CHAR; p1 : INTEGER; p2 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader) addContent!(IN p0 : ARRAY OF CHAR; p1 : INTEGER; p2 : INTEGER; p3 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader) addSpecialElement!(p0 : HTML$Tag; p1 : javax_swing_text.MutableAttributeSet),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader) blockClose!(p0 : HTML$Tag),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader) blockOpen!(p0 : HTML$Tag; p1 : javax_swing_text.MutableAttributeSet),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader) flush*(),EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader) handleComment*(IN p0 : ARRAY OF CHAR; p1 : INTEGER),EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader) handleEndOfLineString*(p0 : java_lang.String),EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader) handleEndTag*(p0 : HTML$Tag; p1 : INTEGER),EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader) handleSimpleTag*(p0 : HTML$Tag; p1 : javax_swing_text.MutableAttributeSet; p2 : INTEGER),EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader) handleStartTag*(p0 : HTML$Tag; p1 : javax_swing_text.MutableAttributeSet; p2 : INTEGER),EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader) handleText*(IN p0 : ARRAY OF CHAR; p1 : INTEGER),EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader) popCharacterStyle!(),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader) preContent!(IN p0 : ARRAY OF CHAR),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader) pushCharacterStyle!(),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader) registerTag!(p0 : HTML$Tag; p1 : HTMLDocument$HTMLReader$TagAction),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader) textAreaContent!(IN p0 : ARRAY OF CHAR),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader$BlockAction) end*(p0 : HTML$Tag),EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader$BlockAction) start*(p0 : HTML$Tag; p1 : javax_swing_text.MutableAttributeSet),EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader$CharacterAction) end*(p0 : HTML$Tag),EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader$CharacterAction) start*(p0 : HTML$Tag; p1 : javax_swing_text.MutableAttributeSet),EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader$FormAction) end*(p0 : HTML$Tag),EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader$FormAction) start*(p0 : HTML$Tag; p1 : javax_swing_text.MutableAttributeSet),EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader$HiddenAction) end*(p0 : HTML$Tag),EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader$HiddenAction) start*(p0 : HTML$Tag; p1 : javax_swing_text.MutableAttributeSet),EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader$IsindexAction) start*(p0 : HTML$Tag; p1 : javax_swing_text.MutableAttributeSet),EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader$ParagraphAction) end*(p0 : HTML$Tag),EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader$ParagraphAction) start*(p0 : HTML$Tag; p1 : javax_swing_text.MutableAttributeSet),EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader$PreAction) end*(p0 : HTML$Tag),EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader$PreAction) start*(p0 : HTML$Tag; p1 : javax_swing_text.MutableAttributeSet),EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader$SpecialAction) start*(p0 : HTML$Tag; p1 : javax_swing_text.MutableAttributeSet),EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader$TagAction) end*(p0 : HTML$Tag),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument$HTMLReader$TagAction) start*(p0 : HTML$Tag; p1 : javax_swing_text.MutableAttributeSet),NEW,EXTENSIBLE; PROCEDURE (self:HTMLDocument$Iterator) getAttributes*() : javax_swing_text.AttributeSet,NEW,ABSTRACT; PROCEDURE (self:HTMLDocument$Iterator) getEndOffset*() : INTEGER,NEW,ABSTRACT; PROCEDURE (self:HTMLDocument$Iterator) getStartOffset*() : INTEGER,NEW,ABSTRACT; PROCEDURE (self:HTMLDocument$Iterator) getTag*() : HTML$Tag,NEW,ABSTRACT; PROCEDURE (self:HTMLDocument$Iterator) isValid*() : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:HTMLDocument$Iterator) next*(),NEW,ABSTRACT; PROCEDURE (self:HTMLDocument$RunElement) getName*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:HTMLDocument$RunElement) getResolveParent*() : javax_swing_text.AttributeSet,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) clone*() : java_lang.Object,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) createDefaultDocument*() : javax_swing_text.Document,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) createInputAttributes!(p0 : javax_swing_text.Element; p1 : javax_swing_text.MutableAttributeSet),EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) deinstall*(p0 : javax_swing.JEditorPane),EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) getAccessibleContext*() : javax_accessibility.AccessibleContext,NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) getActions*() : POINTER TO ARRAY OF javax_swing.Action,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) getContentType*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) getDefaultCursor*() : java_awt.Cursor,NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) getInputAttributes*() : javax_swing_text.MutableAttributeSet,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) getLinkCursor*() : java_awt.Cursor,NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) getParser!() : HTMLEditorKit$Parser,NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) getStyleSheet*() : StyleSheet,NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) getViewFactory*() : javax_swing_text.ViewFactory,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) insertHTML*(p0 : HTMLDocument; p1 : INTEGER; p2 : java_lang.String; p3 : INTEGER; p4 : INTEGER; p5 : HTML$Tag),NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) install*(p0 : javax_swing.JEditorPane),EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) isAutoFormSubmission*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) read*(p0 : java_io.Reader; p1 : javax_swing_text.Document; p2 : INTEGER),EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) setAutoFormSubmission*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) setDefaultCursor*(p0 : java_awt.Cursor),NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) setLinkCursor*(p0 : java_awt.Cursor),NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) setStyleSheet*(p0 : StyleSheet),NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit) write*(p0 : java_io.Writer; p1 : javax_swing_text.Document; p2 : INTEGER; p3 : INTEGER),EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$HTMLFactory) create*(p0 : javax_swing_text.Element) : javax_swing_text.View,NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$HTMLTextAction) elementCountToTag!(p0 : HTMLDocument; p1 : INTEGER; p2 : HTML$Tag) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$HTMLTextAction) findElementMatchingTag!(p0 : HTMLDocument; p1 : INTEGER; p2 : HTML$Tag) : javax_swing_text.Element,NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$HTMLTextAction) getElementsAt!(p0 : HTMLDocument; p1 : INTEGER) : POINTER TO ARRAY OF javax_swing_text.Element,NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$HTMLTextAction) getHTMLDocument!(p0 : javax_swing.JEditorPane) : HTMLDocument,NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$HTMLTextAction) getHTMLEditorKit!(p0 : javax_swing.JEditorPane) : HTMLEditorKit,NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$InsertHTMLTextAction) actionPerformed*(p0 : java_awt_event.ActionEvent),NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$InsertHTMLTextAction) insertAtBoundary!(p0 : javax_swing.JEditorPane; p1 : HTMLDocument; p2 : INTEGER; p3 : javax_swing_text.Element; p4 : java_lang.String; p5 : HTML$Tag; p6 : HTML$Tag),NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$InsertHTMLTextAction) insertAtBoundry!(p0 : javax_swing.JEditorPane; p1 : HTMLDocument; p2 : INTEGER; p3 : javax_swing_text.Element; p4 : java_lang.String; p5 : HTML$Tag; p6 : HTML$Tag),NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$InsertHTMLTextAction) insertHTML!(p0 : javax_swing.JEditorPane; p1 : HTMLDocument; p2 : INTEGER; p3 : java_lang.String; p4 : INTEGER; p5 : INTEGER; p6 : HTML$Tag),NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$LinkController) activateLink!(p0 : INTEGER; p1 : javax_swing.JEditorPane),NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$LinkController) mouseClicked*(p0 : java_awt_event.MouseEvent),EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$LinkController) mouseDragged*(p0 : java_awt_event.MouseEvent),EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$LinkController) mouseMoved*(p0 : java_awt_event.MouseEvent),EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$Parser) parse*(p0 : java_io.Reader; p1 : HTMLEditorKit$ParserCallback; p2 : BOOLEAN),NEW,ABSTRACT; PROCEDURE (self:HTMLEditorKit$ParserCallback) flush*(),NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$ParserCallback) handleComment*(IN p0 : ARRAY OF CHAR; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$ParserCallback) handleEndOfLineString*(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$ParserCallback) handleEndTag*(p0 : HTML$Tag; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$ParserCallback) handleError*(p0 : java_lang.String; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$ParserCallback) handleSimpleTag*(p0 : HTML$Tag; p1 : javax_swing_text.MutableAttributeSet; p2 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$ParserCallback) handleStartTag*(p0 : HTML$Tag; p1 : javax_swing_text.MutableAttributeSet; p2 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:HTMLEditorKit$ParserCallback) handleText*(IN p0 : ARRAY OF CHAR; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:HTMLFrameHyperlinkEvent) getTarget*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:HTMLWriter) closeOutUnwantedEmbeddedTags!(p0 : javax_swing_text.AttributeSet),NEW,EXTENSIBLE; PROCEDURE (self:HTMLWriter) comment!(p0 : javax_swing_text.Element),NEW,EXTENSIBLE; PROCEDURE (self:HTMLWriter) emptyTag!(p0 : javax_swing_text.Element),NEW,EXTENSIBLE; PROCEDURE (self:HTMLWriter) endTag!(p0 : javax_swing_text.Element),NEW,EXTENSIBLE; PROCEDURE (self:HTMLWriter) isBlockTag!(p0 : javax_swing_text.AttributeSet) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:HTMLWriter) matchNameAttribute!(p0 : javax_swing_text.AttributeSet; p1 : HTML$Tag) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:HTMLWriter) output!(IN p0 : ARRAY OF CHAR; p1 : INTEGER; p2 : INTEGER),EXTENSIBLE; PROCEDURE (self:HTMLWriter) selectContent!(p0 : javax_swing_text.AttributeSet),NEW,EXTENSIBLE; PROCEDURE (self:HTMLWriter) startTag!(p0 : javax_swing_text.Element),NEW,EXTENSIBLE; PROCEDURE (self:HTMLWriter) synthesizedElement!(p0 : javax_swing_text.Element) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:HTMLWriter) text!(p0 : javax_swing_text.Element),EXTENSIBLE; PROCEDURE (self:HTMLWriter) textAreaContent!(p0 : javax_swing_text.AttributeSet),NEW,EXTENSIBLE; PROCEDURE (self:HTMLWriter) write*(),EXTENSIBLE; PROCEDURE (self:HTMLWriter) writeAttributes!(p0 : javax_swing_text.AttributeSet),EXTENSIBLE; PROCEDURE (self:HTMLWriter) writeEmbeddedTags!(p0 : javax_swing_text.AttributeSet),NEW,EXTENSIBLE; PROCEDURE (self:HTMLWriter) writeLineSeparator!(),EXTENSIBLE; PROCEDURE (self:HTMLWriter) writeOption!(p0 : Option),NEW,EXTENSIBLE; PROCEDURE (self:ImageView) changedUpdate*(p0 : javax_swing_event.DocumentEvent; p1 : java_awt.Shape; p2 : javax_swing_text.ViewFactory),EXTENSIBLE; PROCEDURE (self:ImageView) getAlignment*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE; PROCEDURE (self:ImageView) getAltText*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:ImageView) getAttributes*() : javax_swing_text.AttributeSet,EXTENSIBLE; PROCEDURE (self:ImageView) getImage*() : java_awt.Image,NEW,EXTENSIBLE; PROCEDURE (self:ImageView) getImageURL*() : java_net.URL,NEW,EXTENSIBLE; PROCEDURE (self:ImageView) getLoadingImageIcon*() : javax_swing.Icon,NEW,EXTENSIBLE; PROCEDURE (self:ImageView) getLoadsSynchronously*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:ImageView) getNoImageIcon*() : javax_swing.Icon,NEW,EXTENSIBLE; PROCEDURE (self:ImageView) getPreferredSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE; PROCEDURE (self:ImageView) getStyleSheet!() : StyleSheet,NEW,EXTENSIBLE; PROCEDURE (self:ImageView) getToolTipText*(p0 : SHORTREAL; p1 : SHORTREAL; p2 : java_awt.Shape) : java_lang.String,EXTENSIBLE; PROCEDURE (self:ImageView) modelToView*(p0 : INTEGER; p1 : java_awt.Shape; p2 : javax_swing_text.Position$Bias) : java_awt.Shape,EXTENSIBLE; PROCEDURE (self:ImageView) paint*(p0 : java_awt.Graphics; p1 : java_awt.Shape),EXTENSIBLE; PROCEDURE (self:ImageView) setLoadsSynchronously*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:ImageView) setParent*(p0 : javax_swing_text.View),EXTENSIBLE; PROCEDURE (self:ImageView) setPropertiesFromAttributes!(),NEW,EXTENSIBLE; PROCEDURE (self:ImageView) setSize*(p0 : SHORTREAL; p1 : SHORTREAL),EXTENSIBLE; PROCEDURE (self:ImageView) viewToModel*( p0 : SHORTREAL; p1 : SHORTREAL; p2 : java_awt.Shape; IN p3 : ARRAY OF javax_swing_text.Position$Bias) : INTEGER,EXTENSIBLE; PROCEDURE (self:InlineView) breakView*(p0 : INTEGER; p1 : INTEGER; p2 : SHORTREAL; p3 : SHORTREAL) : javax_swing_text.View,EXTENSIBLE; PROCEDURE (self:InlineView) changedUpdate*(p0 : javax_swing_event.DocumentEvent; p1 : java_awt.Shape; p2 : javax_swing_text.ViewFactory),EXTENSIBLE; PROCEDURE (self:InlineView) getAttributes*() : javax_swing_text.AttributeSet,EXTENSIBLE; PROCEDURE (self:InlineView) getBreakWeight*(p0 : INTEGER; p1 : SHORTREAL; p2 : SHORTREAL) : INTEGER,EXTENSIBLE; PROCEDURE (self:InlineView) getStyleSheet!() : StyleSheet,NEW,EXTENSIBLE; PROCEDURE (self:InlineView) insertUpdate*(p0 : javax_swing_event.DocumentEvent; p1 : java_awt.Shape; p2 : javax_swing_text.ViewFactory),EXTENSIBLE; PROCEDURE (self:InlineView) removeUpdate*(p0 : javax_swing_event.DocumentEvent; p1 : java_awt.Shape; p2 : javax_swing_text.ViewFactory),EXTENSIBLE; PROCEDURE (self:InlineView) setPropertiesFromAttributes!(),EXTENSIBLE; PROCEDURE (self:ListView) getAlignment*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE; PROCEDURE (self:ListView) paint*(p0 : java_awt.Graphics; p1 : java_awt.Shape),EXTENSIBLE; PROCEDURE (self:ListView) paintChild!(p0 : java_awt.Graphics; p1 : java_awt.Rectangle; p2 : INTEGER),EXTENSIBLE; PROCEDURE (self:ListView) setPropertiesFromAttributes!(),EXTENSIBLE; PROCEDURE (self:MinimalHTMLWriter) endFontTag!(),NEW,EXTENSIBLE; PROCEDURE (self:MinimalHTMLWriter) inFontTag!() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:MinimalHTMLWriter) isText!(p0 : javax_swing_text.Element) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:MinimalHTMLWriter) startFontTag!(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:MinimalHTMLWriter) text!(p0 : javax_swing_text.Element),EXTENSIBLE; PROCEDURE (self:MinimalHTMLWriter) write*(),EXTENSIBLE; PROCEDURE (self:MinimalHTMLWriter) writeAttributes!(p0 : javax_swing_text.AttributeSet),EXTENSIBLE; PROCEDURE (self:MinimalHTMLWriter) writeBody!(),NEW,EXTENSIBLE; PROCEDURE (self:MinimalHTMLWriter) writeComponent!(p0 : javax_swing_text.Element),NEW,EXTENSIBLE; PROCEDURE (self:MinimalHTMLWriter) writeContent!(p0 : javax_swing_text.Element; p1 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:MinimalHTMLWriter) writeEndParagraph!(),NEW,EXTENSIBLE; PROCEDURE (self:MinimalHTMLWriter) writeEndTag!(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:MinimalHTMLWriter) writeHeader!(),NEW,EXTENSIBLE; PROCEDURE (self:MinimalHTMLWriter) writeHTMLTags!(p0 : javax_swing_text.AttributeSet),NEW,EXTENSIBLE; PROCEDURE (self:MinimalHTMLWriter) writeImage!(p0 : javax_swing_text.Element),NEW,EXTENSIBLE; PROCEDURE (self:MinimalHTMLWriter) writeLeaf!(p0 : javax_swing_text.Element),NEW,EXTENSIBLE; PROCEDURE (self:MinimalHTMLWriter) writeNonHTMLAttributes!(p0 : javax_swing_text.AttributeSet),NEW,EXTENSIBLE; PROCEDURE (self:MinimalHTMLWriter) writeStartParagraph!(p0 : javax_swing_text.Element),NEW,EXTENSIBLE; PROCEDURE (self:MinimalHTMLWriter) writeStartTag!(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:MinimalHTMLWriter) writeStyles!(),NEW,EXTENSIBLE; PROCEDURE (self:ObjectView) createComponent!() : java_awt.Component,EXTENSIBLE; PROCEDURE (self:Option) getAttributes*() : javax_swing_text.AttributeSet,NEW,EXTENSIBLE; PROCEDURE (self:Option) getLabel*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:Option) getValue*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:Option) isSelected*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Option) setLabel*(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:Option) setSelection!(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:Option) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:ParagraphView) calculateMinorAxisRequirements!(p0 : INTEGER; p1 : javax_swing.SizeRequirements) : javax_swing.SizeRequirements,EXTENSIBLE; PROCEDURE (self:ParagraphView) getAttributes*() : javax_swing_text.AttributeSet,EXTENSIBLE; PROCEDURE (self:ParagraphView) getMaximumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE; PROCEDURE (self:ParagraphView) getMinimumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE; PROCEDURE (self:ParagraphView) getPreferredSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE; PROCEDURE (self:ParagraphView) getStyleSheet!() : StyleSheet,NEW,EXTENSIBLE; PROCEDURE (self:ParagraphView) isVisible*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:ParagraphView) paint*(p0 : java_awt.Graphics; p1 : java_awt.Shape),EXTENSIBLE; PROCEDURE (self:ParagraphView) setParent*(p0 : javax_swing_text.View),EXTENSIBLE; PROCEDURE (self:ParagraphView) setPropertiesFromAttributes!(),EXTENSIBLE; PROCEDURE (self:StyleSheet) addAttribute*(p0 : javax_swing_text.AttributeSet; p1 : java_lang.Object; p2 : java_lang.Object) : javax_swing_text.AttributeSet,EXTENSIBLE; PROCEDURE (self:StyleSheet) addAttributes*(p0 : javax_swing_text.AttributeSet; p1 : javax_swing_text.AttributeSet) : javax_swing_text.AttributeSet,EXTENSIBLE; PROCEDURE (self:StyleSheet) addCSSAttribute*(p0 : javax_swing_text.MutableAttributeSet; p1 : CSS$Attribute; p2 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet) addCSSAttributeFromHTML*(p0 : javax_swing_text.MutableAttributeSet; p1 : CSS$Attribute; p2 : java_lang.String) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet) addRule*(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet) addStyleSheet*(p0 : StyleSheet),NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet) createLargeAttributeSet!(p0 : javax_swing_text.AttributeSet) : javax_swing_text.MutableAttributeSet,EXTENSIBLE; PROCEDURE (self:StyleSheet) createSmallAttributeSet!(p0 : javax_swing_text.AttributeSet) : javax_swing_text.StyleContext$SmallAttributeSet,EXTENSIBLE; PROCEDURE (self:StyleSheet) getBackground*(p0 : javax_swing_text.AttributeSet) : java_awt.Color,EXTENSIBLE; PROCEDURE (self:StyleSheet) getBase*() : java_net.URL,NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet) getBoxPainter*(p0 : javax_swing_text.AttributeSet) : StyleSheet$BoxPainter,NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet) getDeclaration*(p0 : java_lang.String) : javax_swing_text.AttributeSet,NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet) getFont*(p0 : javax_swing_text.AttributeSet) : java_awt.Font,EXTENSIBLE; PROCEDURE (self:StyleSheet) getForeground*(p0 : javax_swing_text.AttributeSet) : java_awt.Color,EXTENSIBLE; PROCEDURE (self:StyleSheet) getListPainter*(p0 : javax_swing_text.AttributeSet) : StyleSheet$ListPainter,NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet) getPointSize*(p0 : java_lang.String) : SHORTREAL,NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet) getPointSize*(p0 : INTEGER) : SHORTREAL,NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet) getRule*(p0 : java_lang.String) : javax_swing_text.Style,NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet) getRule*(p0 : HTML$Tag; p1 : javax_swing_text.Element) : javax_swing_text.Style,NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet) getStyleSheets*() : POINTER TO ARRAY OF StyleSheet,NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet) getViewAttributes*(p0 : javax_swing_text.View) : javax_swing_text.AttributeSet,NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet) importStyleSheet*(p0 : java_net.URL),NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet) loadRules*(p0 : java_io.Reader; p1 : java_net.URL),NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet) removeAttribute*(p0 : javax_swing_text.AttributeSet; p1 : java_lang.Object) : javax_swing_text.AttributeSet,EXTENSIBLE; PROCEDURE (self:StyleSheet) removeAttributes*(p0 : javax_swing_text.AttributeSet; p1 : javax_swing_text.AttributeSet) : javax_swing_text.AttributeSet,EXTENSIBLE; PROCEDURE (self:StyleSheet) removeAttributes*(p0 : javax_swing_text.AttributeSet; p1 : java_util.Enumeration) : javax_swing_text.AttributeSet,EXTENSIBLE; PROCEDURE (self:StyleSheet) removeStyle*(p0 : java_lang.String),EXTENSIBLE; PROCEDURE (self:StyleSheet) removeStyleSheet*(p0 : StyleSheet),NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet) setBase*(p0 : java_net.URL),NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet) setBaseFontSize*(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet) setBaseFontSize*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet) stringToColor*(p0 : java_lang.String) : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet) translateHTMLToCSS*(p0 : javax_swing_text.AttributeSet) : javax_swing_text.AttributeSet,NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet$BoxPainter) getInset*(p0 : INTEGER; p1 : javax_swing_text.View) : SHORTREAL,NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet$BoxPainter) paint*(p0 : java_awt.Graphics; p1 : SHORTREAL; p2 : SHORTREAL; p3 : SHORTREAL; p4 : SHORTREAL; p5 : javax_swing_text.View),NEW,EXTENSIBLE; PROCEDURE (self:StyleSheet$ListPainter) paint*(p0 : java_awt.Graphics; p1 : SHORTREAL; p2 : SHORTREAL; p3 : SHORTREAL; p4 : SHORTREAL; p5 : javax_swing_text.View; p6 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:TableView$RowView) calculateMajorAxisRequirements!(p0 : INTEGER; p1 : javax_swing.SizeRequirements) : javax_swing.SizeRequirements,EXTENSIBLE; PROCEDURE (self:TableView$RowView) calculateMinorAxisRequirements!(p0 : INTEGER; p1 : javax_swing.SizeRequirements) : javax_swing.SizeRequirements,EXTENSIBLE; PROCEDURE (self:TableView$RowView) changedUpdate*(p0 : javax_swing_event.DocumentEvent; p1 : java_awt.Shape; p2 : javax_swing_text.ViewFactory),EXTENSIBLE; PROCEDURE (self:TableView$RowView) getAttributes*() : javax_swing_text.AttributeSet,EXTENSIBLE; PROCEDURE (self:TableView$RowView) getMaximumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE; PROCEDURE (self:TableView$RowView) getMinimumSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE; PROCEDURE (self:TableView$RowView) getPreferredSpan*(p0 : INTEGER) : SHORTREAL,EXTENSIBLE; PROCEDURE (self:TableView$RowView) getResizeWeight*(p0 : INTEGER) : INTEGER,EXTENSIBLE; PROCEDURE (self:TableView$RowView) getStyleSheet!() : StyleSheet,NEW,EXTENSIBLE; PROCEDURE (self:TableView$RowView) getViewAtPosition!(p0 : INTEGER; p1 : java_awt.Rectangle) : javax_swing_text.View,EXTENSIBLE; PROCEDURE (self:TableView$RowView) layoutMajorAxis!( p0 : INTEGER; p1 : INTEGER; IN p2 : ARRAY OF INTEGER; IN p3 : ARRAY OF INTEGER),EXTENSIBLE; PROCEDURE (self:TableView$RowView) layoutMinorAxis!( p0 : INTEGER; p1 : INTEGER; IN p2 : ARRAY OF INTEGER; IN p3 : ARRAY OF INTEGER),EXTENSIBLE; PROCEDURE (self:TableView$RowView) paint*(p0 : java_awt.Graphics; p1 : java_awt.Shape),EXTENSIBLE; PROCEDURE (self:TableView$RowView) preferenceChanged*(p0 : javax_swing_text.View; p1 : BOOLEAN; p2 : BOOLEAN),EXTENSIBLE; PROCEDURE (self:TableView$RowView) replace*( p0 : INTEGER; p1 : INTEGER; IN p2 : ARRAY OF javax_swing_text.View),EXTENSIBLE; END javax_swing_text_html.