/* 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;
}
