これらのコマンドの構文の詳細については、 トレーサー・コマンドを参照してください。
| コマンド・タイプ | コマンド |
|---|---|
| ブレークポイント | break <object> <op> <breakPointType> <data> |
| 呼び出し | [Object name]->CALL([operation call] [signature]) |
| コメント | // the comment goes here |
| 表示 | |
| イベントの生成 | <instanceName>->GEN(<eventName>(<parameterName> [, <parameterName>]*)) |
| 進む | |
| ヘルプ | |
| I/O | |
| 終了 | quit |
| 再開 | |
| フォーカス設定 | |
| 表示 | show <object> <interest-list> |
| 一時停止 | |
| タイム・スタンプ | timestamp <option> |
| トレース | trace <object> <interest-list> |
以下のスクリプトの例では、 ペースメーカー・デモのチェンバー・ユニットの振る舞いをテストします。
//******************************************************* // 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