FOREIGN MODULE javax_swing_plaf; IMPORT java_awt, javax_swing_border, java_io, java_lang, javax_swing, javax_accessibility, java_awt_color, java_awt_image, java_awt_geom, javax_swing_filechooser, java_util, java_awt_peer, java_text, java_awt_font, javax_swing_text, javax_swing_tree; TYPE BorderUIResource$BevelBorderUIResource* = POINTER TO EXTENSIBLE RECORD (javax_swing_border.BevelBorder + UIResource) STATIC PROCEDURE Init*(p0 : INTEGER) : BorderUIResource$BevelBorderUIResource,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : java_awt.Color; p2 : java_awt.Color) : BorderUIResource$BevelBorderUIResource,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : java_awt.Color; p2 : java_awt.Color; p3 : java_awt.Color; p4 : java_awt.Color) : BorderUIResource$BevelBorderUIResource,CONSTRUCTOR; END; BorderUIResource$CompoundBorderUIResource* = POINTER TO EXTENSIBLE RECORD (javax_swing_border.CompoundBorder + UIResource) STATIC PROCEDURE Init*(p0 : javax_swing_border.Border; p1 : javax_swing_border.Border) : BorderUIResource$CompoundBorderUIResource,CONSTRUCTOR; END; BorderUIResource$EmptyBorderUIResource* = POINTER TO EXTENSIBLE RECORD (javax_swing_border.EmptyBorder + UIResource) STATIC PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER) : BorderUIResource$EmptyBorderUIResource,CONSTRUCTOR; PROCEDURE Init*(p0 : java_awt.Insets) : BorderUIResource$EmptyBorderUIResource,CONSTRUCTOR; END; BorderUIResource$EtchedBorderUIResource* = POINTER TO EXTENSIBLE RECORD (javax_swing_border.EtchedBorder + UIResource) STATIC PROCEDURE Init*() : BorderUIResource$EtchedBorderUIResource,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER) : BorderUIResource$EtchedBorderUIResource,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : java_awt.Color; p2 : java_awt.Color) : BorderUIResource$EtchedBorderUIResource,CONSTRUCTOR; PROCEDURE Init*(p0 : java_awt.Color; p1 : java_awt.Color) : BorderUIResource$EtchedBorderUIResource,CONSTRUCTOR; END; BorderUIResource$LineBorderUIResource* = POINTER TO EXTENSIBLE RECORD (javax_swing_border.LineBorder + UIResource) STATIC PROCEDURE Init*(p0 : java_awt.Color) : BorderUIResource$LineBorderUIResource,CONSTRUCTOR; PROCEDURE Init*(p0 : java_awt.Color; p1 : INTEGER) : BorderUIResource$LineBorderUIResource,CONSTRUCTOR; END; BorderUIResource$MatteBorderUIResource* = POINTER TO EXTENSIBLE RECORD (javax_swing_border.MatteBorder + UIResource) STATIC PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER; p4 : java_awt.Color) : BorderUIResource$MatteBorderUIResource,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER; p4 : javax_swing.Icon) : BorderUIResource$MatteBorderUIResource,CONSTRUCTOR; PROCEDURE Init*(p0 : javax_swing.Icon) : BorderUIResource$MatteBorderUIResource,CONSTRUCTOR; END; BorderUIResource$TitledBorderUIResource* = POINTER TO EXTENSIBLE RECORD (javax_swing_border.TitledBorder + UIResource) STATIC PROCEDURE Init*(p0 : java_lang.String) : BorderUIResource$TitledBorderUIResource,CONSTRUCTOR; PROCEDURE Init*(p0 : javax_swing_border.Border) : BorderUIResource$TitledBorderUIResource,CONSTRUCTOR; PROCEDURE Init*(p0 : javax_swing_border.Border; p1 : java_lang.String) : BorderUIResource$TitledBorderUIResource,CONSTRUCTOR; PROCEDURE Init*(p0 : javax_swing_border.Border; p1 : java_lang.String; p2 : INTEGER; p3 : INTEGER) : BorderUIResource$TitledBorderUIResource,CONSTRUCTOR; PROCEDURE Init*(p0 : javax_swing_border.Border; p1 : java_lang.String; p2 : INTEGER; p3 : INTEGER; p4 : java_awt.Font) : BorderUIResource$TitledBorderUIResource,CONSTRUCTOR; PROCEDURE Init*(p0 : javax_swing_border.Border; p1 : java_lang.String; p2 : INTEGER; p3 : INTEGER; p4 : java_awt.Font; p5 : java_awt.Color) : BorderUIResource$TitledBorderUIResource,CONSTRUCTOR; END; BorderUIResource* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + javax_swing_border.Border + UIResource + java_io.Serializable) STATIC PROCEDURE Init*(p0 : javax_swing_border.Border) : BorderUIResource,CONSTRUCTOR; PROCEDURE getBlackLineBorderUIResource*() : javax_swing_border.Border; PROCEDURE getEtchedBorderUIResource*() : javax_swing_border.Border; PROCEDURE getLoweredBevelBorderUIResource*() : javax_swing_border.Border; PROCEDURE getRaisedBevelBorderUIResource*() : javax_swing_border.Border; END; ButtonUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : ButtonUI,CONSTRUCTOR; END; ColorChooserUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : ColorChooserUI,CONSTRUCTOR; END; ColorUIResource* = POINTER TO EXTENSIBLE RECORD (java_awt.Color + UIResource) STATIC PROCEDURE Init*(p0 : SHORTREAL; p1 : SHORTREAL; p2 : SHORTREAL) : ColorUIResource,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER) : ColorUIResource,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER) : ColorUIResource,CONSTRUCTOR; PROCEDURE Init*(p0 : java_awt.Color) : ColorUIResource,CONSTRUCTOR; END; ComboBoxUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : ComboBoxUI,CONSTRUCTOR; END; ComponentUI* = POINTER TO ABSTRACT RECORD (java_lang.Object) STATIC PROCEDURE Init*() : ComponentUI,CONSTRUCTOR; PROCEDURE createUI*(p0 : javax_swing.JComponent) : ComponentUI; END; DesktopIconUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : DesktopIconUI,CONSTRUCTOR; END; DesktopPaneUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : DesktopPaneUI,CONSTRUCTOR; END; DimensionUIResource* = POINTER TO EXTENSIBLE RECORD (java_awt.Dimension + UIResource) STATIC PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER) : DimensionUIResource,CONSTRUCTOR; END; FileChooserUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : FileChooserUI,CONSTRUCTOR; END; FontUIResource* = POINTER TO EXTENSIBLE RECORD (java_awt.Font + UIResource) STATIC PROCEDURE Init*(p0 : java_awt.Font) : FontUIResource,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String; p1 : INTEGER; p2 : INTEGER) : FontUIResource,CONSTRUCTOR; END; IconUIResource* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + javax_swing.Icon + UIResource + java_io.Serializable) STATIC PROCEDURE Init*(p0 : javax_swing.Icon) : IconUIResource,CONSTRUCTOR; END; InsetsUIResource* = POINTER TO EXTENSIBLE RECORD (java_awt.Insets + UIResource) STATIC PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER) : InsetsUIResource,CONSTRUCTOR; END; InternalFrameUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : InternalFrameUI,CONSTRUCTOR; END; LabelUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : LabelUI,CONSTRUCTOR; END; ListUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : ListUI,CONSTRUCTOR; END; MenuBarUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : MenuBarUI,CONSTRUCTOR; END; MenuItemUI* = POINTER TO ABSTRACT RECORD (ButtonUI) STATIC PROCEDURE Init*() : MenuItemUI,CONSTRUCTOR; END; OptionPaneUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : OptionPaneUI,CONSTRUCTOR; END; PanelUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : PanelUI,CONSTRUCTOR; END; PopupMenuUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : PopupMenuUI,CONSTRUCTOR; END; ProgressBarUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : ProgressBarUI,CONSTRUCTOR; END; ScrollBarUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : ScrollBarUI,CONSTRUCTOR; END; ScrollPaneUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : ScrollPaneUI,CONSTRUCTOR; END; SeparatorUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : SeparatorUI,CONSTRUCTOR; END; SliderUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : SliderUI,CONSTRUCTOR; END; SplitPaneUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : SplitPaneUI,CONSTRUCTOR; END; TabbedPaneUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : TabbedPaneUI,CONSTRUCTOR; END; TableHeaderUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : TableHeaderUI,CONSTRUCTOR; END; TableUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : TableUI,CONSTRUCTOR; END; TextUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : TextUI,CONSTRUCTOR; END; ToolBarUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : ToolBarUI,CONSTRUCTOR; END; ToolTipUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : ToolTipUI,CONSTRUCTOR; END; TreeUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : TreeUI,CONSTRUCTOR; END; UIResource* = POINTER TO INTERFACE RECORD (java_lang.Object) END; ViewportUI* = POINTER TO ABSTRACT RECORD (ComponentUI) STATIC PROCEDURE Init*() : ViewportUI,CONSTRUCTOR; END; PROCEDURE (self:BorderUIResource) getBorderInsets*(p0 : java_awt.Component) : java_awt.Insets,NEW,EXTENSIBLE; PROCEDURE (self:BorderUIResource) isBorderOpaque*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:BorderUIResource) paintBorder*(p0 : java_awt.Component; p1 : java_awt.Graphics; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:ComboBoxUI) isFocusTraversable*(p0 : javax_swing.JComboBox) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:ComboBoxUI) isPopupVisible*(p0 : javax_swing.JComboBox) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:ComboBoxUI) setPopupVisible*(p0 : javax_swing.JComboBox; p1 : BOOLEAN),NEW,ABSTRACT; PROCEDURE (self:ComponentUI) contains*(p0 : javax_swing.JComponent; p1 : INTEGER; p2 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:ComponentUI) getAccessibleChild*(p0 : javax_swing.JComponent; p1 : INTEGER) : javax_accessibility.Accessible,NEW,EXTENSIBLE; PROCEDURE (self:ComponentUI) getAccessibleChildrenCount*(p0 : javax_swing.JComponent) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:ComponentUI) getMaximumSize*(p0 : javax_swing.JComponent) : java_awt.Dimension,NEW,EXTENSIBLE; PROCEDURE (self:ComponentUI) getMinimumSize*(p0 : javax_swing.JComponent) : java_awt.Dimension,NEW,EXTENSIBLE; PROCEDURE (self:ComponentUI) getPreferredSize*(p0 : javax_swing.JComponent) : java_awt.Dimension,NEW,EXTENSIBLE; PROCEDURE (self:ComponentUI) installUI*(p0 : javax_swing.JComponent),NEW,EXTENSIBLE; PROCEDURE (self:ComponentUI) paint*(p0 : java_awt.Graphics; p1 : javax_swing.JComponent),NEW,EXTENSIBLE; PROCEDURE (self:ComponentUI) uninstallUI*(p0 : javax_swing.JComponent),NEW,EXTENSIBLE; PROCEDURE (self:ComponentUI) update*(p0 : java_awt.Graphics; p1 : javax_swing.JComponent),NEW,EXTENSIBLE; PROCEDURE (self:FileChooserUI) ensureFileIsVisible*(p0 : javax_swing.JFileChooser; p1 : java_io.File),NEW,ABSTRACT; PROCEDURE (self:FileChooserUI) getAcceptAllFileFilter*(p0 : javax_swing.JFileChooser) : javax_swing_filechooser.FileFilter,NEW,ABSTRACT; PROCEDURE (self:FileChooserUI) getApproveButtonText*(p0 : javax_swing.JFileChooser) : java_lang.String,NEW,ABSTRACT; PROCEDURE (self:FileChooserUI) getDialogTitle*(p0 : javax_swing.JFileChooser) : java_lang.String,NEW,ABSTRACT; PROCEDURE (self:FileChooserUI) getFileView*(p0 : javax_swing.JFileChooser) : javax_swing_filechooser.FileView,NEW,ABSTRACT; PROCEDURE (self:FileChooserUI) rescanCurrentDirectory*(p0 : javax_swing.JFileChooser),NEW,ABSTRACT; PROCEDURE (self:IconUIResource) getIconHeight*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:IconUIResource) getIconWidth*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:IconUIResource) paintIcon*(p0 : java_awt.Component; p1 : java_awt.Graphics; p2 : INTEGER; p3 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:ListUI) getCellBounds*(p0 : javax_swing.JList; p1 : INTEGER; p2 : INTEGER) : java_awt.Rectangle,NEW,ABSTRACT; PROCEDURE (self:ListUI) indexToLocation*(p0 : javax_swing.JList; p1 : INTEGER) : java_awt.Point,NEW,ABSTRACT; PROCEDURE (self:ListUI) locationToIndex*(p0 : javax_swing.JList; p1 : java_awt.Point) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:OptionPaneUI) containsCustomComponents*(p0 : javax_swing.JOptionPane) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:OptionPaneUI) selectInitialValue*(p0 : javax_swing.JOptionPane),NEW,ABSTRACT; PROCEDURE (self:SplitPaneUI) finishedPaintingChildren*(p0 : javax_swing.JSplitPane; p1 : java_awt.Graphics),NEW,ABSTRACT; PROCEDURE (self:SplitPaneUI) getDividerLocation*(p0 : javax_swing.JSplitPane) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:SplitPaneUI) getMaximumDividerLocation*(p0 : javax_swing.JSplitPane) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:SplitPaneUI) getMinimumDividerLocation*(p0 : javax_swing.JSplitPane) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:SplitPaneUI) resetToPreferredSizes*(p0 : javax_swing.JSplitPane),NEW,ABSTRACT; PROCEDURE (self:SplitPaneUI) setDividerLocation*(p0 : javax_swing.JSplitPane; p1 : INTEGER),NEW,ABSTRACT; PROCEDURE (self:TabbedPaneUI) getTabBounds*(p0 : javax_swing.JTabbedPane; p1 : INTEGER) : java_awt.Rectangle,NEW,ABSTRACT; PROCEDURE (self:TabbedPaneUI) getTabRunCount*(p0 : javax_swing.JTabbedPane) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:TabbedPaneUI) tabForCoordinate*(p0 : javax_swing.JTabbedPane; p1 : INTEGER; p2 : INTEGER) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:TextUI) damageRange*(p0 : javax_swing_text.JTextComponent; p1 : INTEGER; p2 : INTEGER),NEW,ABSTRACT; PROCEDURE (self:TextUI) damageRange*(p0 : javax_swing_text.JTextComponent; p1 : INTEGER; p2 : INTEGER; p3 : javax_swing_text.Position$Bias; p4 : javax_swing_text.Position$Bias),NEW,ABSTRACT; PROCEDURE (self:TextUI) getEditorKit*(p0 : javax_swing_text.JTextComponent) : javax_swing_text.EditorKit,NEW,ABSTRACT; PROCEDURE (self:TextUI) getNextVisualPositionFrom*( p0 : javax_swing_text.JTextComponent; p1 : INTEGER; p2 : javax_swing_text.Position$Bias; p3 : INTEGER; IN p4 : ARRAY OF javax_swing_text.Position$Bias) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:TextUI) getRootView*(p0 : javax_swing_text.JTextComponent) : javax_swing_text.View,NEW,ABSTRACT; PROCEDURE (self:TextUI) modelToView*(p0 : javax_swing_text.JTextComponent; p1 : INTEGER) : java_awt.Rectangle,NEW,ABSTRACT; PROCEDURE (self:TextUI) modelToView*(p0 : javax_swing_text.JTextComponent; p1 : INTEGER; p2 : javax_swing_text.Position$Bias) : java_awt.Rectangle,NEW,ABSTRACT; PROCEDURE (self:TextUI) viewToModel*(p0 : javax_swing_text.JTextComponent; p1 : java_awt.Point) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:TextUI) viewToModel*( p0 : javax_swing_text.JTextComponent; p1 : java_awt.Point; IN p2 : ARRAY OF javax_swing_text.Position$Bias) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:TreeUI) cancelEditing*(p0 : javax_swing.JTree),NEW,ABSTRACT; PROCEDURE (self:TreeUI) getClosestPathForLocation*(p0 : javax_swing.JTree; p1 : INTEGER; p2 : INTEGER) : javax_swing_tree.TreePath,NEW,ABSTRACT; PROCEDURE (self:TreeUI) getEditingPath*(p0 : javax_swing.JTree) : javax_swing_tree.TreePath,NEW,ABSTRACT; PROCEDURE (self:TreeUI) getPathBounds*(p0 : javax_swing.JTree; p1 : javax_swing_tree.TreePath) : java_awt.Rectangle,NEW,ABSTRACT; PROCEDURE (self:TreeUI) getPathForRow*(p0 : javax_swing.JTree; p1 : INTEGER) : javax_swing_tree.TreePath,NEW,ABSTRACT; PROCEDURE (self:TreeUI) getRowCount*(p0 : javax_swing.JTree) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:TreeUI) getRowForPath*(p0 : javax_swing.JTree; p1 : javax_swing_tree.TreePath) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:TreeUI) isEditing*(p0 : javax_swing.JTree) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:TreeUI) startEditingAtPath*(p0 : javax_swing.JTree; p1 : javax_swing_tree.TreePath),NEW,ABSTRACT; PROCEDURE (self:TreeUI) stopEditing*(p0 : javax_swing.JTree) : BOOLEAN,NEW,ABSTRACT; END javax_swing_plaf.