home *** CD-ROM | disk | FTP | other *** search
/ S283 Planetary Science &… the Search for Life CD 3 / 0_CD-ROM.iso / install / jre1_3 / lib / rt.jar / javax / swing / text / DefaultHighlighter$LayeredHighlightInfo.class (.txt) < prev    next >
Encoding:
Java Class File  |  1979-12-31  |  1.6 KB  |  56 lines
  1. package javax.swing.text;
  2.  
  3. import java.awt.Graphics;
  4. import java.awt.Rectangle;
  5. import java.awt.Shape;
  6.  
  7. class DefaultHighlighter$LayeredHighlightInfo extends DefaultHighlighter.HighlightInfo {
  8.    // $FF: renamed from: x int
  9.    int field_0;
  10.    // $FF: renamed from: y int
  11.    int field_1;
  12.    int width;
  13.    int height;
  14.    // $FF: synthetic field
  15.    private final DefaultHighlighter this$0;
  16.  
  17.    DefaultHighlighter$LayeredHighlightInfo(DefaultHighlighter var1) {
  18.       super(var1);
  19.       this.this$0 = var1;
  20.    }
  21.  
  22.    void union(Shape var1) {
  23.       if (var1 != null) {
  24.          Rectangle var2;
  25.          if (var1 instanceof Rectangle) {
  26.             var2 = (Rectangle)var1;
  27.          } else {
  28.             var2 = var1.getBounds();
  29.          }
  30.  
  31.          if (this.width != 0 && this.height != 0) {
  32.             this.width = Math.max(this.field_0 + this.width, var2.x + var2.width);
  33.             this.height = Math.max(this.field_1 + this.height, var2.y + var2.height);
  34.             this.field_0 = Math.min(this.field_0, var2.x);
  35.             this.width -= this.field_0;
  36.             this.field_1 = Math.min(this.field_1, var2.y);
  37.             this.height -= this.field_1;
  38.          } else {
  39.             this.field_0 = var2.x;
  40.             this.field_1 = var2.y;
  41.             this.width = var2.width;
  42.             this.height = var2.height;
  43.          }
  44.  
  45.       }
  46.    }
  47.  
  48.    void paintLayeredHighlights(Graphics var1, int var2, int var3, Shape var4, JTextComponent var5, View var6) {
  49.       int var7 = ((DefaultHighlighter.HighlightInfo)this).getStartOffset();
  50.       int var8 = ((DefaultHighlighter.HighlightInfo)this).getEndOffset();
  51.       var2 = Math.max(var7, var2);
  52.       var3 = Math.min(var8, var3);
  53.       this.union(((LayeredHighlighter.LayerPainter)super.painter).paintLayer(var1, var2, var3, var4, var5, var6));
  54.    }
  55. }
  56.