活动过渡

在下列情况下,过渡处于活动状态:

注: 在调用任何与过渡相关的动作之前,将对警戒进行求值。

警戒求值策略特意未在警戒求值时间和求值顺序方面进行定义。由于未对警戒进行解释,因此,对其进行的求值可能包括对将会引起副作用的表达式进行求值。


反馈