これらのコマンドの構文の詳細については、 トレーサー・コマンドを参照してください。
スクリプトでは、以下のコマンド・タイプを使用できます。
| コマンド・タイプ | コマンド |
|---|---|
| ブレークポイント | break <object> <op> <breakPointType> <data> |
| 呼び出し | [Object name]->CALL([operation call] [signature]) |
| コメント | // the comment goes here |
| 表示 |
|
| イベントの生成 | <instanceName>->GEN(<eventName>(<parameterName> [, <parameterName>]*)) <instanceName>->GEN(<eventName>()) <instanceName>->GEN(<eventName>) |
| 進む |
|
| ヘルプ |
|
| 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