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
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
|
package org.eclipse.swt.widgets;
/*
* Copyright (c) 2000, 2002 IBM Corp. All rights reserved.
* This file is made available under the terms of the Common Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/cpl-v10.html
*/
import org.eclipse.swt.SWT;
import org.eclipse.swt.events.SelectionListener;
import org.eclipse.swt.graphics.Point;
public /*final*/ class ScrollBar extends Widget {
Scrollable parent;
private int increment, pageIncrement;
ScrollBar () {
/* Do Nothing */
}
ScrollBar (Scrollable parent, int style) {
super (parent, checkStyle (style));
this.parent = parent;
createWidget (0);
}
public void addSelectionListener(SelectionListener listener) {
checkWidget();
if (listener == null) error (SWT.ERROR_NULL_ARGUMENT);
TypedListener typedListener = new TypedListener(listener);
addListener(SWT.Selection,typedListener);
addListener(SWT.DefaultSelection,typedListener);
}
static int checkStyle (int style) {
return checkBits (style, SWT.HORIZONTAL, SWT.VERTICAL, 0, 0, 0, 0);
}
void createHandle (int index) {
}
public Display getDisplay () {
Scrollable parent = this.parent;
if (parent == null) error (SWT.ERROR_WIDGET_DISPOSED);
return parent.getDisplay ();
}
public boolean getEnabled () {
checkWidget();
return false;
}
public int getIncrement () {
checkWidget();
return increment;
}
public int getMaximum () {
checkWidget();
return 0;
}
public int getMinimum () {
checkWidget();
return 0;
}
public int getPageIncrement () {
checkWidget();
return pageIncrement;
}
public Scrollable getParent () {
checkWidget();
return parent;
}
public int getSelection () {
checkWidget();
return 0;
}
public Point getSize () {
checkWidget();
return new Point(0, 0);
}
public int getThumb () {
checkWidget();
return 0;
}
public boolean getVisible () {
checkWidget();
return false;
}
public boolean isEnabled () {
checkWidget();
return false;
}
public boolean isVisible () {
checkWidget();
return false;
}
void releaseChild () {
super.releaseChild ();
if (parent.horizontalBar == this) parent.horizontalBar = null;
if (parent.verticalBar == this) parent.verticalBar = null;
}
void releaseWidget () {
super.releaseWidget ();
parent = null;
}
public void removeSelectionListener(SelectionListener listener) {
checkWidget();
if (listener == null) error (SWT.ERROR_NULL_ARGUMENT);
if (eventTable == null) return;
eventTable.unhook(SWT.Selection, listener);
eventTable.unhook(SWT.DefaultSelection,listener);
}
public void setEnabled (boolean enabled) {
checkWidget();
}
public void setIncrement (int value) {
checkWidget();
if (value < 1) return;
}
public void setMaximum (int value) {
checkWidget();
}
public void setMinimum (int value) {
checkWidget();
}
public void setPageIncrement (int value) {
checkWidget();
}
public void setSelection (int selection) {
checkWidget();
}
public void setThumb (int value) {
checkWidget();
}
public void setValues (int selection, int minimum, int maximum, int thumb, int increment, int pageIncrement) {
checkWidget();
}
public void setVisible (boolean visible) {
checkWidget();
}
}
|
