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