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.