2
import java.awt.event.*;
3
import org.jcsp.lang.*;
4
import org.jcsp.util.*;
7
public class ActiveCheckboxExample {
9
public static void main (String argv[]) {
11
final Frame root = new Frame ("ActiveCheckbox Example");
13
final String[] box = {"Hello World", "Rocket Science", "CSP",
14
"Monitors", "Ignore Me", "Goodbye World"};
16
final Any2OneChannel event = Channel.any2one (new OverWriteOldestBuffer (10));
18
final ActiveCheckbox[] check = new ActiveCheckbox[box.length];
19
for (int i = 0; i < box.length; i++) {
20
check[i] = new ActiveCheckbox (null, event.out (), box[i]);
23
root.setSize (300, 200);
24
root.setLayout (new GridLayout (box.length, 1));
25
for (int i = 0; i < box.length; i++) {
28
root.setVisible (true);
35
boolean running = true;
37
final ItemEvent e = (ItemEvent) event.in ().read ();
38
final String item = (String) e.getItem ();
39
if (e.getStateChange () == ItemEvent.SELECTED) {
40
System.out.println ("Checked ==> `" + item + "'");
41
running = (item != box[box.length - 1]);
43
System.out.println ("Unchecked ==> `" + item + "'");
46
root.setVisible (false);