每个过渡都映射到用于实现状态图的对象的私有操作,并针对“short”函数进行优化(请参阅直接插入过渡代码)。这些操作用于设置当前活动状态的必需值以及执行操作等等。源于同一状态的多个出站过渡映射到同一操作,并使用 switch() 语句进行区分。