| 主题 | 消息 |
|---|---|
| 特性 | XXX[1] 特性值: J = 1 k = 3.4 b = 0x55f00b myFoo = testA[12] XXX[1]
特性值已更改 - 新值 每当代码块更改特性的值时,都可能出现以下消息: State 所有特性值都将显示。 XXX[1] 的事件发送和接收由状态或操作的兴趣列表确定。 |
| 构造函数 | XXX[1] invoked YYY() main()
invoked YYY() |
| 析构函数 | XXX[1] invoked ~YYY() main()
invoked ~YYY() |
| 存在性 | class XXX new instance XXX[1] created instance XXX[1] deleted 实例从它们的类获取名称(X[1] 和 X[2] 等等)。名称是唯一的。一个名称被使用后,它不会被新实例使用,即使原始实例不再存在也是如此。 对于存在性为 No 的实例,跟踪器不会为任何其他主题跟踪这些实例,这些实例以未被跟踪状态出现在跟踪器消息中。 Instance Kuku[4] renamed testA[2].myKuku 仅当 Kuku[4] 通过组合关系 myKuku 连接到 testA[2] 时,才会显示此消息。 |
| 方法 | XXX[1] invoked YYY[2]->doIt(j=3, k = 4.3) XXX[1] invoked YYY[2]->doIt(int, float) main() invoked Kuku[1]->testA() YYY[2]->doIt(int,
float) returned XXX[2] sent YYY[8] event start(Kuku *, int) Kuku[8]
sent to itself Event Kuku[8] sent to itself event tm(200) YY[8] sent XXX[2] event start(Kuku *, int) Kuku[8] itself Event wakeup(time=10.5) Kuku[8]
received from itself event tm(200) |
| 参数 | 这些消息指示方法和事件是通过它们的参数还是特征符显示:
例如: (doIt(j=3,
k = 4.3),
例如: (doIt(int, float), start(Kuku *, int)) 当 A 将某些内容发送到 B 时,发送消息中的参数取决于 A,接收消息中的参数取决于 B。 |
| 关系 | 所有关系的状态报告将与创建新实例时发出的通知消息一起显示:
Relation itsFoo - Empty XXX[1] relation itsFoo set to testA[2] |
| 超时 | XXX[1] set tm(tttt) at ROOT.sss XXX[1] cancelled tm(tttt) at ROOT.sss |