| 主旨 | 訊息 |
|---|---|
| 屬性 | 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 僅當透過複合關係 myKuku 與 testA[2] 連接 Kuku[4] 時,會顯示此訊息。 |
| 方法 | 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 |