home *** CD-ROM | disk | FTP | other *** search
/ Dynamic HTML Construction Kit / Dynamic HTML Construction Kit.iso / earthlink / nscomm / java40.jar / sun / awt / windows / PaintEvent.class (.txt) next >
Encoding:
Java Class File  |  1997-11-03  |  1.4 KB  |  78 lines
  1. package sun.awt.windows;
  2.  
  3. import netscape.applet.NEvent;
  4. import sun.awt.ObjectPeer;
  5.  
  6. class PaintEvent extends StandardGUIEvent {
  7.    // $FF: renamed from: x int
  8.    int field_0;
  9.    // $FF: renamed from: y int
  10.    int field_1;
  11.    int width;
  12.    int height;
  13.    int javaEventId;
  14.  
  15.    PaintEvent(ObjectPeer var1, int var2, int var3, int var4, int var5, int var6) {
  16.       super(0, var1);
  17.       this.javaEventId = var2;
  18.       this.field_0 = var3;
  19.       this.field_1 = var4;
  20.       this.width = var5;
  21.       this.height = var6;
  22.    }
  23.  
  24.    public void processEvent() {
  25.       if (this.javaEventId == 0) {
  26.          ((WComponentPeer)super.peer).handleRepaint(0L, 0, this.field_0, this.field_1, this.width, this.height);
  27.       } else {
  28.          ((WComponentPeer)super.peer).handleExpose(0L, 0, this.field_0, this.field_1, this.width, this.height);
  29.       }
  30.    }
  31.  
  32.    public boolean isCoalescable() {
  33.       return true;
  34.    }
  35.  
  36.    public boolean coalesce(NEvent var1) {
  37.       if (var1 instanceof PaintEvent && var1.getTarget() == super.peer) {
  38.          PaintEvent var2 = (PaintEvent)var1;
  39.          if (var2.javaEventId == this.javaEventId) {
  40.             if (var2.field_0 < this.field_0) {
  41.                this.field_0 = var2.field_0;
  42.             }
  43.  
  44.             if (var2.field_1 < this.field_1) {
  45.                this.field_1 = var2.field_1;
  46.             }
  47.  
  48.             int var3 = this.field_0 + this.width;
  49.             int var4 = var2.field_0 + var2.width;
  50.             if (var3 >= var4) {
  51.                this.width = this.field_0 + var3;
  52.             } else {
  53.                this.width = this.field_0 + var4;
  54.             }
  55.  
  56.             var3 = this.field_1 + this.height;
  57.             var4 = var2.field_1 + var2.height;
  58.             if (var3 >= var4) {
  59.                this.height = this.field_1 + var3;
  60.             } else {
  61.                this.height = this.field_1 + var4;
  62.             }
  63.  
  64.             return true;
  65.          }
  66.       }
  67.  
  68.       return false;
  69.    }
  70.  
  71.    void dispose() {
  72.    }
  73.  
  74.    protected String printElement() {
  75.       return new String("[" + this.field_0 + ", " + this.field_1 + ", " + this.width + ", " + this.height + "]");
  76.    }
  77. }
  78.