15、咖啡有限状态机：事件发送、状态定义与终止机制解析

咖啡有限状态机：事件发送、状态定义与终止机制解析

1. 引言

在启动咖啡有限状态机（FSM）后，我们需要定义状态并能够发送同步和异步事件。这些事件在被处理时会触发状态转换，通常在回调模块的客户端函数中发送。下面我们将详细探讨异步事件、状态定义、超时处理、选择性接收、同步事件以及终止机制。

2. 异步事件

异步事件使用 gen_fsm:send_event(Name, Event) 库函数发送。此函数将事件发送到 FSM，FSM 在回调模块的 State(Event, LoopData) 回调函数中处理该事件。处理请求后， State/2 函数返回包含下一个状态或停止原因的新循环数据。

FSM 事件函数分为两类：
- 客户饮品选择 ：发送格式为 {selection, Type, Price} 的事件，其中 Type 可以是 tea 、 espresso 、 americano 或 cappuccino ， Price 为 100 或 150 单位。示例代码如下：

tea()       -> gen_fsm:send_event(?MODULE,{selection,tea,100}).
espresso()  -> ge