libjava/java/awt/event/PaintEvent.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49

/* Copyright (C) 2000  Free Software Foundation

   This file is part of libjava.

This software is copyrighted work licensed under the terms of the
Libjava License.  Please consult the file "LIBJAVA_LICENSE" for
details.  */

package java.awt.event;
import java.awt.*;

/**
 * @author Tom Tromey <tromey@cygnus.com>
 * @date April 8, 2000
 */

/* Status: Believed complete and correct to JDK 1.2.  */

public class PaintEvent extends ComponentEvent
{
  public static final int PAINT = 800;
  public static final int PAINT_FIRST = 800;
  public static final int PAINT_LAST = 801;
  public static final int UPDATE = 801;

  public PaintEvent (Component source, int id, Rectangle updateRect)
  {
    super (source, id);
    this.updateRect = updateRect;
  }

  public Rectangle getUpdateRect ()
  {
    return updateRect;
  }

  public String paramString ()
  {
    return ("PaintEvent[" + updateRect
	    + ";" + super.paramString () + "]");
  }

  public void setUpdateRect (Rectangle updateRect)
  {
    this.updateRect = updateRect;
  }

  private Rectangle updateRect;
}