JPH03154133A - トレース処理方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔概　要〕 論理型言語のプログラムのトレース情報の表示に関し、 トレース結果のブレークポイントにおける、所要の述語
の所要の引数を、他と区別して見出し易く表示できるト
レース処理方式を目的とし、トレース実行部とブレーク
ポイント設定部を有し、該トレース実行部は、論理型言
語の述語からなる所与のプログラムを実行し、実行する
該述語がブレークポイント情報に指定されている場合に
、当該述語の述語名と引数の内容を、該ブレークポイン
ト情報に指定された表示属性によって定まる表示態様で
表示し、該ブレークポイント設定部は、所与の指定情報
から、該ブレークポイント情報を生成し、該ブレークポ
イント情報は、述語を指定する情報と、当該述語の引数
ごとの該表示属性を指定する情報を含み、該表示属性に
は複数の異なる所定の表示態様の１つを指定するように
構成する。

Ｃ産業上の利用分野〕 本発明は、論理型言語のプログラムのトレース情報の表
示、特にブレークポイントの述語を見易く表示するため
のトレース処理方式に関する。

〔従来の技術と発明が解決しようとする課題〕公知のよ
うに、論理型言語のプログラムのトレースでは、プログ
ラム実行の履歴を実行した述語の述語名とその引数をト
レース結果として表示する。その場合すべての述語につ
いて表示すると却って見難くなり、又処理時間も要する
ので、通常は必要な述語をブレークポイントとして指定
し、トレース結果には指定した述語のみについて前記の
情報を表示するようにする。

第５図は公知の論理型言語ＰＲＯＬＯＧのプログラムを
例として、トレース結果の表示例を示すもので、（ａ）
はブレークポイントの設定入力画面の例で、ブレークポ
イントとする述語を指定する情報として、「述語名／個
数」の形で、述語名とその引数の個数とを指定しくＰＲ
ＯＬＯＧでは同じ述語名でも、引数の個数が異なれば異
なる述語となる）、第５図（ａ）は引数４個の’　ｒｅ
ａｄ　Ｊという述語と、引数６個のｒｐａｔｔｅｒｎ　
」という述語をブレークポイントとして指定している例
である。

第５図（ｂ）は、以上のブレークポイント指定をしてト
レースを実行した結果の表示例であって、フレークポイ
ントとして指定した述語のみが処理順に各処理ごとに表
示され、図においてｒｃａｌｌ＞　Ｊに続いて述語の処
理開始時の内容、ｒｅｘｉｔ＞　Ｊに続いてその述語の
処理終了時の内容が表示されている。

各述語の表示の先頭は述語名で、それに続く括弧内が引
数であり、ＰＩ？０ＬＯＧの仕様に従い、引数の表示で
英大文字で始まる名前は変数名であって、その変数には
値が代入されていない状態であり、英小文字又は引用符
で始まる文字列は、その引数の位置で定まる変数に代入
された値を示す。

なお、トレースされるプログラムは、例えば１文字づつ
入力する文字を語単位につないで分割するプログラムと
し、その中で述語ｒｅａｄは、ファイルから１文字づつ
読み込むデータを、第３引数（変数Ｃｈａｒａｃｔｅｒ
）に受は取り、述語ｐａｔｔｅｒｎはその第２引数に示
されている、ｒｅａｄの第３引数に受は取ったデータを
、第６引数（変数Ｂｕｆｆｅｒ）に単語ごとに組み立て
るものとする。

従って、図に■〜■で示す値等は何れも、入力して述語
ｒｅａｄの第３引数である変数Ｃｈａｒａｃｔｅｒに代
入される１文字であって、同じ変数の値を引数としてい
るものであり、プログラムの検証のために、このような
変数の値の遷移をトレース結果の表示上で追いたい場合
がしばしばある。しかし、−ｇに図のように注目したい
引数を表示する行が分散したり、表示桁位置がずれたり
するので、表示を追うことが容易でない場合が多い。

本発明は、トレース結果のブレークポイントにおける、
所要の述語の所要の引数を、他と区別して見出し易く表
示できるトレース処理方式を目的とする。

〔課題を解決するための手段〕

第１図は、本発明の構成を示すブロック図である。

図はトレース処理方式の構成であって、トレース実行部
１０とブレークポイント設定部１１を有し、トレース実
行部１０は、論理型言語の述語からなる所与のプログラ
ム１２を実行し、実行する該述語がブレークポイント情
報１３に指定されている場合に、当該述語の述語名と引
数の内容を、ブレークポイント情報１３に指定された表
示属性によって定まる表示態様で表示出力１５として表
示し、ブレークポイント設定部１１は、所与の指定情報
１４から、ブレークポイント情報１３を生成し、ブレー
クポイント情報１３は、述語を指定する情報と、当該述
語の引数ごとの該表示属性を指定する情報を含み、該表
示属性には複数の異なる所定の表示態様の１つを指定す
る。

〔作　用〕

この処理方式により、例えば表示属性として複数の異な
る表示色を選択できるようにし、ブレークポイントの指
定において、注目したい引数を他ノ引数その他の表示と
異なる表示色とするように表示属性を指定することによ
り、例えば一般の表示が白色の場合に、注目する引数を
赤色で表示して、その引数の値を容易に追うことができ
る。

〔実施例〕

第１図のブレークポイント設定部１１は、指定情報Ｉ４
としてブレークポイントとする述語の指定を例えば第３
図（ａ）に示すような内容で受は取る。

第３図（ａ）の述語指定の情報は、前記第５図（ａ）と
同様であり、それに引数の表示属性指定として、当該述
語内の引数の位置と、その引数の表示属性（本例では表
示色とする）の指定を付加する。但し、特に表示属性を
指定しない引数については、デイフォルト値として定ま
る表示属性（例えば、通常の文字を表示する場合の白色
）が指定されたものとする。

ブレークポイント設定部１１はこの指定情報１４に従っ
てブレークポイント情報１３を生成するが、ブレークポ
イント情報１３は例えばブレークポイントの述語を指定
する述語管理テーブルと、引数の表示属性を指定する引
数表示属性管理テーブルとで構成する。

こ−で述語管理テーブルは例えば被トレースプログラム
の実行のための制御情報として別途作成されているテー
ブルを共用し、そのテーブルにブレークポイントの指定
の有無を示すフラグ欄を追加する。即ち述語管理テーブ
ルは第２図（ａ）に示すように、述語ごとの項からなり
、各項は述語名、引数の個数、引数格納アドレス、及び
フラグの各欄からなり、ブレークポイント設定部１１は
指定情報１４で指定された述語名及び引数の個数の一致
する述語の項のフラグ欄を例えば“１″にする（フラグ
欄は初期値“Ｏ″に設定されているとする）。

次にブレークポイント設定部１１は、指定情報１４に従
って、第２図（ｂ）に例示するような引数表示属性管理
テーブルを生成し、指定情報１４でデイフォルト値以外
の表示属性が指定された引数について、述語名、引数個
数、引数位置、表示属性からなる項を設ける。なお、指
定された引数の内容を引数とする別の述語がブレークポ
イントとして指定されている場合には、指定情報１４で
直接指定されなくても、注目したい引数として同じ表示
を行うように自動的に項を設けるものとする　（図の述
語名ｐａ　ｔ　ｔｅｒｎの例）。

第４図（ａ）はブレークポイント設定部の処理の流れの
一例を示し、処理ステップ２０で指定情報１４を受は取
ると、処理ステップ２１で、述語指定情報の１つについ
て述語管理テーブルから指定の述語名と引数個数の項を
検索して、その項のフラグ欄を“１”にする。処理ステ
ップ２２で識別して述語指定の数だけ以上の処理を繰り
返す。

指定の述語にブレークポイントを示すフラグの設定を終
わると、処理ステップ２３で指定情報１４の引数の表示
属性指定があるか識別し、指定が無ければ処理を終わる
が、未処理の指定があればその１つを取り出し、処理ス
テップ２４で述語管理テーブルの、その述語の引数格納
アドレス欄から、指定位置の引数格納アドレスを取り出
す。

次に処理ステップ２５で、フラグ欄が“１”の述語の引
数格納アドレス欄に、取り出したアドレスと同じアドレ
スがあるか順次調べる。その結果同じアドレスが無けれ
ば処理ステップ２３に戻るが、同じアドレスがあれば、
処理ステップ２６で当該引数の位置、述語名、引数個数
を決定し、引数表示属性管理テーブルに１項を設けて、
それらの情報を指定の表示属性（表示色）と共にテーブ
ルに設定し、その後処理ステップ２５に戻る。

第４図（ｂ）はトレース実行部ＩＯの表示処理の流れの
一例を示し、処理ステンプ３０で述語管理テーブルのフ
ラグ欄により、処理する述語がブレークポイントに指定
されているか識別し、指定されていなければ、この処理
は終わって次の通常のトレース処理へ進むが、ブレーク
ポイントであれば、処理ステップ３１でその述語の実行
状態に従って、述語名及び引数の表示内容を編集し、所
定のデイフォルト値の表示属性の表示色で表示するよう
にデータを作成する。

次に処理ステップ３２で、引数表示属性管理テーブルに
この述語が指定されているか検索し、指定があれば処理
ステップ３３で指定の引数位置の引数の表示色を指定の
表示属性の色にするように前記データを修正して、処理
ステップ３４で表示出力として出力する。又、引数表示
属性管理テーブルに該当述語がなければ前記データをそ
のま＼、処理ステップ３４で出力する。

以上の処理により、第３図（ａ）の指定情報によるトレ
ースの結果として、例えば（ｂ）に示す表示が出力され
る。なお、図では説明のために赤色で表示される部分を
ゴシック文字で示す。

以上の説明では表示属性を表示色の指定とし、表示色の
場合には３種類以上の比較的多数の表示属性を設けるこ
とができる。単色表示の場合及び２種類程度の表示属性
でよい場合等には、注目したい引数の表示の輝度を変化
し、表示に下線を施し、又は太字にする等を表示属性と
して指定するようにててもよく、その場合も前記説明と
同様の処理方式によって処理することができる。

〔発明の効果〕

以上の説明から明らかなように本発明によれば、３１１
１１　ＰＩ　型言語プログラムのトレースにおいて、ト
レース結果のブレークポイントにおける、注目したい引
数を、他と区別して見出し易く表示できるので、プログ
ラム検証等の作業効率を改善するという著しい効果があ
る。

【図面の簡単な説明】

第１図は本発明の構成を示すブロック図、第２図は管理
テーブルの説明図、 第３図は本発明の詳細な説明図、 第４図は本発明の処理の流れ図、 第５図は従来の表示例の説明図である。 図において、 １０はトレース実行部、 １１はブレークポイント設定部、 １２は被トレースプログラム、 １３はブレークポイント情報、 本発明の構成を示すブロック図 第１図 管理テーブルの説明図 第２図 ら） 本発明の詳細な説明図 第　３　図

Claims (1)

1. 【特許請求の範囲】 トレース実行部とブレークポイント設定部を有し、 該トレース実行部は、論理型言語の述語からなる所与の
   プログラムを実行し、実行する該述語がブレークポイン
   ト情報に指定されている場合に、当該述語の述語名と引
   数の内容を、該ブレークポイント情報に指定された表示
   属性によって定まる表示態様で表示し、 該ブレークポイント設定部は、所与の指定情報から、該
   ブレークポイント情報を生成し、 該ブレークポイント情報は、述語を指定する情報と、当
   該述語の引数ごとの該表示属性を指定する情報を含み、
   該表示属性には複数の異なる所定の表示態様の１つを指
   定することを特徴とするトレース処理方式。