summaryrefslogtreecommitdiff
path: root/digital/io/src/elevator.fsm
diff options
context:
space:
mode:
authorNicolas Haller2009-05-21 08:19:43 +0200
committerNicolas Haller2009-05-21 08:19:43 +0200
commit18b32888e823fef06f9e9e35895d796611fa3e8c (patch)
tree347f52d93badbeddaaeac6e16c5e689f3f2920b5 /digital/io/src/elevator.fsm
parent4135f8419b41723b0c2346f8465fb60762962efe (diff)
* digital/io/src:
- change fb_idle to fb_empty
Diffstat (limited to 'digital/io/src/elevator.fsm')
-rw-r--r--digital/io/src/elevator.fsm14
1 files changed, 7 insertions, 7 deletions
diff --git a/digital/io/src/elevator.fsm b/digital/io/src/elevator.fsm
index 8befad77..fd06c55a 100644
--- a/digital/io/src/elevator.fsm
+++ b/digital/io/src/elevator.fsm
@@ -13,8 +13,8 @@ States:
go to a position to be ready to get a new puck
WAIT_A_PUCK
waiting for a new puck (hurry up filter bridge!)
- WAIT_FB_IDLE
- waiting for the fb is idle
+ WAIT_FB_EMPTY
+ waiting for the fb is empty
WAIT_POS_ORDER
waiting for position order (depending where we want to drop our column)
GO_TO_POS_Y
@@ -42,8 +42,8 @@ Events:
elevator is in position
new_puck
we received a new puck from FB (filter bridge, not facebook)
- fb_idle
- filterbridge idle
+ fb_empty
+ filterbridge empty
order_received
we received a new order
doors_opened
@@ -76,11 +76,11 @@ WAIT_A_PUCK:
new_puck: not_ok_for_other_pucks -> WAIT_POS_ORDER
incrementing nb_puck var
no more time to wait a new puck
- order_received -> WAIT_FB_IDLE
+ order_received -> WAIT_FB_EMPTY
elevator filling has been shut, get ready to drop pucks
-WAIT_FB_IDLE:
- fb_idle -> GO_TO_POS_Y
+WAIT_FB_EMPTY:
+ fb_empty -> GO_TO_POS_Y
execute order
WAIT_POS_ORDER: