blob: 9da9993a7942aecf09cf0e0a1b93f83b4da5ed92 (
plain)
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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
|
/* 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 AdjustmentEvent extends AWTEvent
{
public static final int ADJUSTMENT_FIRST = 601;
public static final int ADJUSTMENT_LAST = 601;
public static final int ADJUSTMENT_VALUE_CHANGED = 601;
public static final int BLOCK_DECREMENT = 3;
public static final int BLOCK_INCREMENT = 4;
public static final int TRACK = 5;
public static final int UNIT_DECREMENT = 2;
public static final int UNIT_INCREMENT = 1;
public AdjustmentEvent (Adjustable source, int id, int type, int value)
{
super (source, id);
this.adjType = type;
this.value = value;
}
public Adjustable getAdjustable ()
{
return (Adjustable) source;
}
public int getAdjustmentType ()
{
return adjType;
}
public int getValue ()
{
return value;
}
public String paramString ()
{
String r;
switch (id)
{
case ADJUSTMENT_VALUE_CHANGED:
r = "ADJUSTMENT_VALUE_CHANGED";
break;
default:
r = "unknown id";
break;
}
r += ",adjType=";
switch (adjType)
{
case BLOCK_DECREMENT:
r += "BLOCK_DECREMENT";
break;
case BLOCK_INCREMENT:
r += "BLOCK_INCREMENT";
break;
case TRACK:
r += "TRACK";
break;
case UNIT_DECREMENT:
r += "UNIT_DECREMENT";
break;
case UNIT_INCREMENT:
r += "UNIT_INCREMENT";
break;
default:
r += "unknown type";
break;
}
r += ",value=" + value;
return r;
}
private int adjType;
private int value;
}
|
