這些指令的語法在追蹤程式指令中進行了詳細說明。
| 指令類型 | 指令 |
|---|---|
| 岔斷點 | break <object> <op> <breakPointType> <data> |
| 呼叫 | [Object name]->CALL([operation call] [signature]) |
| 註解 | // 這裡插入註解 |
| 顯示 | |
| 產生事件 | <instanceName>->GEN(<eventName>(<parameterName> [, <parameterName>]*)) |
| 執行 | |
| 說明(H) | |
| I/O | |
| 退出 | quit |
| 回復 | |
| 設定焦點 | |
| 顯示 | show <object> <interest-list> |
| 暫停 | |
| 時間戳記 | timestamp <option> |
| 追蹤 | trace <object> <interest-list> |
下列 Script 範例會在起搏器展示中測試腔室單元的行為:
//******************************************************* // file: utChamber.txt // description: chamber unit test script //*******************************************************// run until we enter the sensing state break ut2Chamber->theChamber stateEntered sensing go break ut2Chamber->theChamber -stateEntered sensing // Trace ... and capture to file utChamber.log trace #CallStack method trace #CallStack +timeout output +test.log // give several heart beats ut2Chamber->theChamber->GEN(evHeartBeat) go idle ut2Chamber->theChamber->GEN(evHeartBeat) go idle ut2Chamber->theChamber->GEN(evHeartBeat) go idle // absence of a heartbeat should cause a pace go idle break ut2Chamber->theChamber stateEntered sensing go break ut2Chamber->theChamber -stateEntered sensing // regenerate heartbeats ut2Chamber->theChamber->GEN(evHeartBeat) go idle ut2Chamber->theChamber->GEN(evHeartBeat) go idle ut2Chamber->theChamber->GEN(evHeartBeat) go idle // stop logging to file output -test.log