| 前页 | 后页 |
上报状态机
执行分析器可以记录一个序列图，我们知道的。您可能不知道的是，它可以同时使用状态机来检测沿途可能发生的状态转换。这些状态在object生命线上的时间点表示。生命线上的转变也很明显。任何无效或非法的过渡都将用红色边框突出显示。看一看。
进程
首先你为适当的类元素模型一个状态机。
然后，您可以使用每个状态的“约束”选项卡来编写定义每个状态的状态。
这些简单的表达式是使用来自类模型和实际代码库的属性名称形成的。它们不是 OCL 语句。每个表达式应出现在单独的行上。
m_strColor == "蓝色"
然后使用 Recorder 窗口启动调试器。
记录器窗口运行按钮与其他调试器工具栏上的按钮不同。
如果您不知道状态机名称，记录器窗口将允许您浏览状态机机。 '状态转移
' 对话框显示整个模型的状态机列表，您可以在其中找到并选择适当的图表（参见示例）。
当你生成序列图时，它不仅描绘了序列，而且描绘了序列中各个点的状态变化；参与检测过程的每个类实例都有自己的生命线显示。
示例
Stations状态机显示了墨尔本地铁环路系统内的不同状态。
运行在地铁网络上A列车可以停靠在状态机上表示的任何一个车站。
Stations状态机是CTrain类的子对象。
当您浏览“状态转移
”中的图表时转移
Recorder'对话框，层次结构只显示根包、父类和子SubMachine和图表；没有列出其他模型组件。
