FOREIGN MODULE javax_swing_border; IMPORT java_io, java_awt, java_lang, javax_swing; TYPE AbstractBorder* = POINTER TO ABSTRACT RECORD (java_lang.Object + Border + java_io.Serializable) STATIC PROCEDURE Init*() : AbstractBorder,CONSTRUCTOR; PROCEDURE getInteriorRectangle*(p0 : java_awt.Component; p1 : Border; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER) : java_awt.Rectangle; END; BevelBorder* = POINTER TO EXTENSIBLE RECORD (AbstractBorder) bevelType! : INTEGER; highlightOuter! : java_awt.Color; highlightInner! : java_awt.Color; shadowInner! : java_awt.Color; shadowOuter! : java_awt.Color; STATIC RAISED* = 0; LOWERED* = 1; PROCEDURE Init*(p0 : INTEGER) : BevelBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : java_awt.Color; p2 : java_awt.Color) : BevelBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : java_awt.Color; p2 : java_awt.Color; p3 : java_awt.Color; p4 : java_awt.Color) : BevelBorder,CONSTRUCTOR; END; Border* = POINTER TO INTERFACE RECORD (java_lang.Object) END; CompoundBorder* = POINTER TO EXTENSIBLE RECORD (AbstractBorder) outsideBorder! : Border; insideBorder! : Border; STATIC PROCEDURE Init*() : CompoundBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : Border; p1 : Border) : CompoundBorder,CONSTRUCTOR; END; EmptyBorder* = POINTER TO EXTENSIBLE RECORD (AbstractBorder + java_io.Serializable) left! : INTEGER; right! : INTEGER; top! : INTEGER; bottom! : INTEGER; STATIC PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER) : EmptyBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : java_awt.Insets) : EmptyBorder,CONSTRUCTOR; END; EtchedBorder* = POINTER TO EXTENSIBLE RECORD (AbstractBorder) etchType! : INTEGER; highlight! : java_awt.Color; shadow! : java_awt.Color; STATIC RAISED* = 0; LOWERED* = 1; PROCEDURE Init*() : EtchedBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER) : EtchedBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : java_awt.Color; p2 : java_awt.Color) : EtchedBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : java_awt.Color; p1 : java_awt.Color) : EtchedBorder,CONSTRUCTOR; END; LineBorder* = POINTER TO EXTENSIBLE RECORD (AbstractBorder) thickness! : INTEGER; lineColor! : java_awt.Color; roundedCorners! : BOOLEAN; STATIC PROCEDURE Init*(p0 : java_awt.Color) : LineBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : java_awt.Color; p1 : INTEGER) : LineBorder,CONSTRUCTOR; PROCEDURE createBlackLineBorder*() : Border; PROCEDURE createGrayLineBorder*() : Border; END; MatteBorder* = POINTER TO EXTENSIBLE RECORD (EmptyBorder) color! : java_awt.Color; tileIcon! : javax_swing.Icon; STATIC PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER; p4 : java_awt.Color) : MatteBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER; p4 : javax_swing.Icon) : MatteBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : javax_swing.Icon) : MatteBorder,CONSTRUCTOR; END; SoftBevelBorder* = POINTER TO EXTENSIBLE RECORD (BevelBorder) STATIC PROCEDURE Init*(p0 : INTEGER) : SoftBevelBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : java_awt.Color; p2 : java_awt.Color) : SoftBevelBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : java_awt.Color; p2 : java_awt.Color; p3 : java_awt.Color; p4 : java_awt.Color) : SoftBevelBorder,CONSTRUCTOR; END; TitledBorder* = POINTER TO EXTENSIBLE RECORD (AbstractBorder) title! : java_lang.String; border! : Border; titlePosition! : INTEGER; titleJustification! : INTEGER; titleFont! : java_awt.Font; titleColor! : java_awt.Color; STATIC DEFAULT_POSITION* = 0; ABOVE_TOP* = 1; TOP* = 2; BELOW_TOP* = 3; ABOVE_BOTTOM* = 4; BOTTOM* = 5; BELOW_BOTTOM* = 6; DEFAULT_JUSTIFICATION* = 0; LEFT* = 1; CENTER* = 2; RIGHT* = 3; EDGE_SPACING! = 2; TEXT_SPACING! = 2; TEXT_INSET_H! = 5; PROCEDURE Init*(p0 : java_lang.String) : TitledBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : Border) : TitledBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : Border; p1 : java_lang.String) : TitledBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : Border; p1 : java_lang.String; p2 : INTEGER; p3 : INTEGER) : TitledBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : Border; p1 : java_lang.String; p2 : INTEGER; p3 : INTEGER; p4 : java_awt.Font) : TitledBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : Border; p1 : java_lang.String; p2 : INTEGER; p3 : INTEGER; p4 : java_awt.Font; p5 : java_awt.Color) : TitledBorder,CONSTRUCTOR; END; PROCEDURE (self:AbstractBorder) getBorderInsets*(p0 : java_awt.Component) : java_awt.Insets,NEW,EXTENSIBLE; PROCEDURE (self:AbstractBorder) getBorderInsets*(p0 : java_awt.Component; p1 : java_awt.Insets) : java_awt.Insets,NEW,EXTENSIBLE; PROCEDURE (self:AbstractBorder) getInteriorRectangle*(p0 : java_awt.Component; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER) : java_awt.Rectangle,NEW,EXTENSIBLE; PROCEDURE (self:AbstractBorder) isBorderOpaque*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AbstractBorder) paintBorder*(p0 : java_awt.Component; p1 : java_awt.Graphics; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:BevelBorder) getBevelType*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:BevelBorder) getBorderInsets*(p0 : java_awt.Component) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:BevelBorder) getBorderInsets*(p0 : java_awt.Component; p1 : java_awt.Insets) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:BevelBorder) getHighlightInnerColor*(p0 : java_awt.Component) : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:BevelBorder) getHighlightOuterColor*(p0 : java_awt.Component) : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:BevelBorder) getShadowInnerColor*(p0 : java_awt.Component) : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:BevelBorder) getShadowOuterColor*(p0 : java_awt.Component) : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:BevelBorder) isBorderOpaque*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:BevelBorder) paintBorder*(p0 : java_awt.Component; p1 : java_awt.Graphics; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER),EXTENSIBLE; PROCEDURE (self:BevelBorder) paintLoweredBevel!(p0 : java_awt.Component; p1 : java_awt.Graphics; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:BevelBorder) paintRaisedBevel!(p0 : java_awt.Component; p1 : java_awt.Graphics; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Border) getBorderInsets*(p0 : java_awt.Component) : java_awt.Insets,NEW,ABSTRACT; PROCEDURE (self:Border) isBorderOpaque*() : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Border) paintBorder*(p0 : java_awt.Component; p1 : java_awt.Graphics; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER),NEW,ABSTRACT; PROCEDURE (self:CompoundBorder) getBorderInsets*(p0 : java_awt.Component) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:CompoundBorder) getBorderInsets*(p0 : java_awt.Component; p1 : java_awt.Insets) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:CompoundBorder) getInsideBorder*() : Border,NEW,EXTENSIBLE; PROCEDURE (self:CompoundBorder) getOutsideBorder*() : Border,NEW,EXTENSIBLE; PROCEDURE (self:CompoundBorder) isBorderOpaque*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:CompoundBorder) paintBorder*(p0 : java_awt.Component; p1 : java_awt.Graphics; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER),EXTENSIBLE; PROCEDURE (self:EmptyBorder) getBorderInsets*(p0 : java_awt.Component) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:EmptyBorder) getBorderInsets*(p0 : java_awt.Component; p1 : java_awt.Insets) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:EmptyBorder) isBorderOpaque*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:EmptyBorder) paintBorder*(p0 : java_awt.Component; p1 : java_awt.Graphics; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER),EXTENSIBLE; PROCEDURE (self:EtchedBorder) getBorderInsets*(p0 : java_awt.Component) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:EtchedBorder) getBorderInsets*(p0 : java_awt.Component; p1 : java_awt.Insets) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:EtchedBorder) getEtchType*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:EtchedBorder) getHighlightColor*(p0 : java_awt.Component) : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:EtchedBorder) getShadowColor*(p0 : java_awt.Component) : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:EtchedBorder) isBorderOpaque*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:EtchedBorder) paintBorder*(p0 : java_awt.Component; p1 : java_awt.Graphics; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER),EXTENSIBLE; PROCEDURE (self:LineBorder) getBorderInsets*(p0 : java_awt.Component) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:LineBorder) getBorderInsets*(p0 : java_awt.Component; p1 : java_awt.Insets) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:LineBorder) getLineColor*() : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:LineBorder) getThickness*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:LineBorder) isBorderOpaque*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:LineBorder) paintBorder*(p0 : java_awt.Component; p1 : java_awt.Graphics; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER),EXTENSIBLE; PROCEDURE (self:MatteBorder) getBorderInsets*(p0 : java_awt.Component) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:MatteBorder) isBorderOpaque*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:MatteBorder) paintBorder*(p0 : java_awt.Component; p1 : java_awt.Graphics; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER),EXTENSIBLE; PROCEDURE (self:SoftBevelBorder) getBorderInsets*(p0 : java_awt.Component) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:SoftBevelBorder) isBorderOpaque*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:SoftBevelBorder) paintBorder*(p0 : java_awt.Component; p1 : java_awt.Graphics; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER),EXTENSIBLE; PROCEDURE (self:TitledBorder) getBorder*() : Border,NEW,EXTENSIBLE; PROCEDURE (self:TitledBorder) getBorderInsets*(p0 : java_awt.Component) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:TitledBorder) getBorderInsets*(p0 : java_awt.Component; p1 : java_awt.Insets) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:TitledBorder) getFont!(p0 : java_awt.Component) : java_awt.Font,NEW,EXTENSIBLE; PROCEDURE (self:TitledBorder) getMinimumSize*(p0 : java_awt.Component) : java_awt.Dimension,NEW,EXTENSIBLE; PROCEDURE (self:TitledBorder) getTitle*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:TitledBorder) getTitleColor*() : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:TitledBorder) getTitleFont*() : java_awt.Font,NEW,EXTENSIBLE; PROCEDURE (self:TitledBorder) getTitleJustification*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:TitledBorder) getTitlePosition*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:TitledBorder) isBorderOpaque*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:TitledBorder) paintBorder*(p0 : java_awt.Component; p1 : java_awt.Graphics; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER),EXTENSIBLE; PROCEDURE (self:TitledBorder) setBorder*(p0 : Border),NEW,EXTENSIBLE; PROCEDURE (self:TitledBorder) setTitle*(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:TitledBorder) setTitleColor*(p0 : java_awt.Color),NEW,EXTENSIBLE; PROCEDURE (self:TitledBorder) setTitleFont*(p0 : java_awt.Font),NEW,EXTENSIBLE; PROCEDURE (self:TitledBorder) setTitleJustification*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:TitledBorder) setTitlePosition*(p0 : INTEGER),NEW,EXTENSIBLE; END javax_swing_border.