mirror of
git://gcc.gnu.org/git/gcc.git
synced 2024-12-19 22:39:45 +08:00
64 lines
1.2 KiB
Java
64 lines
1.2 KiB
Java
/* 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 ()
|
|
{
|
|
String r;
|
|
switch (id)
|
|
{
|
|
case UPDATE:
|
|
r = "UPDATE";
|
|
break;
|
|
case PAINT:
|
|
r = "PAINT";
|
|
break;
|
|
default:
|
|
r = "unknown id";
|
|
break;
|
|
}
|
|
|
|
r += ",updateRect=" + updateRect;
|
|
return r;
|
|
}
|
|
|
|
public void setUpdateRect (Rectangle updateRect)
|
|
{
|
|
this.updateRect = updateRect;
|
|
}
|
|
|
|
private Rectangle updateRect;
|
|
}
|