annotate tk/elevator.pl @ 10:f2aa38ce0787

add state display.
author kono
date Fri, 19 Jan 2001 23:14:00 +0900
parents 1c57a78f1d98
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
1
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
2
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
3 elevator((
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
4
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
5 []((upButton1 -> <>location1)),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
6 []((upButton2 -> <>location2)),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
7 []((downButton2 -> <>location2)),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
8 []((downButton3 -> <>location3)),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
9 []((destButton1 -> <>location1)),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
10 []((destButton2 -> <>location2)),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
11 []((destButton3 -> <>location3)),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
12 [](((location1,<>location3) -> ( [](location2) & @ location3))),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
13 [](((location3,<>location1) -> ( [](location2) & @ location1))),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
14 []((
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
15 (location1,~ location2,~ location3);
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
16 (~ location1,location2,~ location3);
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
17 (~ location1,~ location2,location3))),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
18 [](((upButton1,location1) -> (~ move , open))),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
19 [](((upButton2,location2) -> (~ move , open))),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
20 [](((downButton1,location1) -> (~ move , open))),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
21 [](((downButton2,location2) -> (~ move , open))),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
22 [](((destButton1,location1) -> (~ move , open))),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
23 [](((destButton2,location2) -> (~ move , open))),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
24 [](((destButton3,location3) -> (~ move , open))),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
25 []((move -> ~ open)),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
26 [](((openButton, ~ move) -> open)),
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
27 [](((closeButton, ~ openButton) -> ~ open))
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
28
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
29 )).
1c57a78f1d98 Initial revision
kono
parents:
diff changeset
30