このページではVizEXECに与えるログファイルの形式を説明する。

• ログファイルはテキストベース
• 一行で一つのログを示す
• それぞれのログは以下の形式

<LogType> “<P1>” “<P2>” …

• ただしダブルクオートは省略可能

• <Time>は時刻を示す整数値
  • 単位は決められていない
  • 現在は使用されていないのですべて0でもOK
• <ThreadID>はスレッドIDを示す。
  • 同じスレッドで発生したログはすべて同一のスレッドIDでなければならない
  • すべての時刻に置いて、その時刻における生存スレッド内でユニークなIDでなければならない

# This is a comment.

ログタイプに#がかかれている行は無視される。

TMN <ThreadID> <ThreadName>

<ThreadID>のスレッド名を<ThreadName>とする。 名前は各ライフラインの先頭に表示される。

CAL <ThreadID> <Time> <FuncName>

<FuncName>は対象の関数名。

RET <ThreadID> <Time> <FuncName>

PHS <ThreadID> <Time> <PhaseName>

関数内でのフェーズが変更したことを示す。

現在の実装では上のログは以下と等価になる。

RET <ThreadID> <Time> ...
CAL <ThreadID> <Time> <PhaseName>

TRM <ThreadID>

<ThreadID>で示されるスレッドが終了した事を示す。対象スレッドがあったレーンは再利用される。

EVT <ThreadID> <Time> <EventName>

イベントが発生した事を示す。 イベントは図上では赤いXマークで記される。

SND <ThreadID> <Time> <MessageID>

<MessageID>で特定されるメッセージを送信したことを示す。

RCV <ThreadID> <Time> <MessageID>

<MessageID>で特定されるメッセージを受信したことを示す。 対応するメッセージ送信(SND)と線で結ばれる。

INF <ThreadID> <Information>

<ThreadID>にある直前の要素にたいして付加情報を追加する。 一つの要素に複数の付加情報を追加できる。