FOREIGN MODULE javax_swing_border; IMPORT java_io := "java.io", java_awt := "java.awt", java_lang := "java.lang", javax_swing := "javax.swing"; TYPE AbstractBorder* = POINTER TO ABSTRACT RECORD (java_lang.Object + Border + java_io.Serializable) (* Typebound Procedures *) STATIC PROCEDURE getInteriorRectangle*(p0 : java_awt.Component; p1 : Border; p2 : INTEGER; p3 : INTEGER; p4 : INTEGER; p5 : INTEGER) : java_awt.Rectangle; PROCEDURE Init*() : AbstractBorder,CONSTRUCTOR; END; BevelBorder* = POINTER TO EXTENSIBLE RECORD (AbstractBorder) (* Typebound Procedures *) bevelType! : INTEGER; highlightOuter! : java_awt.Color; highlightInner! : java_awt.Color; shadowInner! : java_awt.Color; shadowOuter! : java_awt.Color; STATIC LOWERED* = 1; RAISED* = 0; PROCEDURE Init*(p0 : INTEGER; p1 : java_awt.Color; p2 : java_awt.Color; p3 : java_awt.Color; p4 : java_awt.Color) : BevelBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : java_awt.Color; p2 : java_awt.Color) : BevelBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER) : BevelBorder,CONSTRUCTOR; END; Border* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) END; CompoundBorder* = POINTER TO EXTENSIBLE RECORD (AbstractBorder) (* Typebound Procedures *) outsideBorder! : Border; insideBorder! : Border; STATIC PROCEDURE Init*(p0 : Border; p1 : Border) : CompoundBorder,CONSTRUCTOR; PROCEDURE Init*() : CompoundBorder,CONSTRUCTOR; END; EmptyBorder* = POINTER TO EXTENSIBLE RECORD (AbstractBorder + java_io.Serializable) (* Typebound Procedures *) left! : INTEGER; right! : INTEGER; top! : INTEGER; bottom! : INTEGER; STATIC PROCEDURE Init*(p0 : java_awt.Insets) : EmptyBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER) : EmptyBorder,CONSTRUCTOR; END; EtchedBorder* = POINTER TO EXTENSIBLE RECORD (AbstractBorder) (* Typebound Procedures *) etchType! : INTEGER; highlight! : java_awt.Color; shadow! : java_awt.Color; STATIC LOWERED* = 1; RAISED* = 0; PROCEDURE Init*(p0 : java_awt.Color; p1 : java_awt.Color) : EtchedBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : java_awt.Color; p2 : java_awt.Color) : EtchedBorder,CONSTRUCTOR; PROCEDURE Init*() : EtchedBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER) : EtchedBorder,CONSTRUCTOR; END; LineBorder* = POINTER TO EXTENSIBLE RECORD (AbstractBorder) (* Typebound Procedures *) thickness! : INTEGER; lineColor! : java_awt.Color; roundedCorners! : BOOLEAN; STATIC PROCEDURE createBlackLineBorder*() : Border; PROCEDURE createGrayLineBorder*() : Border; PROCEDURE Init*(p0 : java_awt.Color; p1 : INTEGER; p2 : BOOLEAN) : LineBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : java_awt.Color; p1 : INTEGER) : LineBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : java_awt.Color) : LineBorder,CONSTRUCTOR; END; MatteBorder* = POINTER TO EXTENSIBLE RECORD (EmptyBorder) (* Typebound Procedures *) color! : java_awt.Color; tileIcon! : javax_swing.Icon; STATIC PROCEDURE Init*(p0 : java_awt.Insets; p1 : javax_swing.Icon) : MatteBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : javax_swing.Icon) : MatteBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER; p4 : javax_swing.Icon) : MatteBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER; p3 : INTEGER; p4 : java_awt.Color) : MatteBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : java_awt.Insets; p1 : java_awt.Color) : MatteBorder,CONSTRUCTOR; END; SoftBevelBorder* = POINTER TO EXTENSIBLE RECORD (BevelBorder) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : INTEGER; p1 : java_awt.Color; p2 : java_awt.Color; p3 : java_awt.Color; p4 : java_awt.Color) : SoftBevelBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : java_awt.Color; p2 : java_awt.Color) : SoftBevelBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER) : SoftBevelBorder,CONSTRUCTOR; END; TitledBorder* = POINTER TO EXTENSIBLE RECORD (AbstractBorder) (* Typebound Procedures *) title! : java_lang.String; border! : Border; titlePosition! : INTEGER; titleJustification! : INTEGER; titleFont! : java_awt.Font; titleColor! : java_awt.Color; STATIC ABOVE_BOTTOM* = 4; ABOVE_TOP* = 1; BELOW_BOTTOM* = 6; BELOW_TOP* = 3; BOTTOM* = 5; CENTER* = 2; DEFAULT_JUSTIFICATION* = 0; DEFAULT_POSITION* = 0; EDGE_SPACING! = 2; LEADING* = 4; LEFT* = 1; RIGHT* = 3; TEXT_INSET_H! = 5; TEXT_SPACING! = 2; TOP* = 2; TRAILING* = 5; 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; PROCEDURE Init*(p0 : java_lang.String) : TitledBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : Border) : TitledBorder,CONSTRUCTOR; PROCEDURE Init*(p0 : Border; p1 : java_lang.String) : TitledBorder,CONSTRUCTOR; END; PROCEDURE (self:AbstractBorder) getBaseline*(p0 : java_awt.Component; p1 : INTEGER; p2 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:AbstractBorder) getBaselineResizeBehavior*(p0 : java_awt.Component) : java_awt.Component$BaselineResizeBehavior,NEW,EXTENSIBLE; PROCEDURE (self:AbstractBorder) getBorderInsets*(p0 : java_awt.Component; p1 : java_awt.Insets) : java_awt.Insets,NEW,EXTENSIBLE; PROCEDURE (self:AbstractBorder) getBorderInsets*(p0 : java_awt.Component) : 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; p1 : java_awt.Insets) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:BevelBorder) getBorderInsets*(p0 : java_awt.Component) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:BevelBorder) getHighlightInnerColor*(p0 : java_awt.Component) : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:BevelBorder) getHighlightInnerColor*() : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:BevelBorder) getHighlightOuterColor*() : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:BevelBorder) getHighlightOuterColor*(p0 : java_awt.Component) : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:BevelBorder) getShadowInnerColor*() : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:BevelBorder) getShadowInnerColor*(p0 : java_awt.Component) : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:BevelBorder) getShadowOuterColor*() : 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; p1 : java_awt.Insets) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:CompoundBorder) getBorderInsets*(p0 : java_awt.Component) : 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; p1 : java_awt.Insets) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:EmptyBorder) getBorderInsets*() : java_awt.Insets,NEW,EXTENSIBLE; PROCEDURE (self:EmptyBorder) getBorderInsets*(p0 : java_awt.Component) : 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; p1 : java_awt.Insets) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:EtchedBorder) getBorderInsets*(p0 : java_awt.Component) : 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) getHighlightColor*() : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:EtchedBorder) getShadowColor*(p0 : java_awt.Component) : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:EtchedBorder) getShadowColor*() : 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; p1 : java_awt.Insets) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:LineBorder) getBorderInsets*(p0 : java_awt.Component) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:LineBorder) getLineColor*() : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:LineBorder) getRoundedCorners*() : BOOLEAN,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; p1 : java_awt.Insets) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:MatteBorder) getBorderInsets*() : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:MatteBorder) getBorderInsets*(p0 : java_awt.Component) : java_awt.Insets,EXTENSIBLE; PROCEDURE (self:MatteBorder) getMatteColor*() : java_awt.Color,NEW,EXTENSIBLE; PROCEDURE (self:MatteBorder) getTileIcon*() : javax_swing.Icon,NEW,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; p1 : java_awt.Insets) : java_awt.Insets,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) getBaseline*(p0 : java_awt.Component; p1 : INTEGER; p2 : INTEGER) : INTEGER,EXTENSIBLE; PROCEDURE (self:TitledBorder) getBaselineResizeBehavior*(p0 : java_awt.Component) : java_awt.Component$BaselineResizeBehavior,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.