JP3205406B2 - 参照対象変数決定処理方法および翻訳処理システム - Google Patents

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は，電子計算機用のプログ
ラムに対する処理方法に係り，特にブロック構造を持つ
言語で記述されたソースプログラムにおいて，指定され
た変数の値をプログラムのデータ域より取り出して表示
するデバッガや，ソースプログラムの記述に従って変数
の読み出し，書き出し，演算処理等を行うインタープリ
タ等における参照対象変数決定処理方法に関する。

【０００２】電子計算機用のソースプログラムは，デー
タ定義部と処理手続き部からなることが多い。前者はプ
ログラムで処理される変数を，変数名や変数の型等とと
もに定義するもので，後者はそれらの変数を変数名によ
って参照しつつ，すなわち変数から値を読み出したり変
数に値を格納しつつ，演算等を実行する処理手続きを記
述したものである。

【０００３】翻訳プログラム（コンパイラ）は，このソ
ースプログラムを翻訳してオブジェクトプログラムを生
成するが，オブジェクトプログラムもデータ部と手続き
部からなり，前者はソースプログラムのデータ定義部で
定義された各変数に対応する変数領域の集まりであり，
後者はその変数領域にアクセスしつつ処理を行うＣＰＵ
命令の列からなる部分である。

【０００４】ブロック構造を有するプログラミング言語
においては，処理手続き部は幾つかのブロックからな
り，各ブロックはさらに変数定義部と処理手続き部から
なり，また後者の処理手続き部はさらに幾つかのブロッ
クをその内側に含むことができる。変数定義部を含まな
いブロックも存在しうる。あるブロックの中で定義され
た変数は，原則としてそのブロックおよびその内側のブ
ロックから参照できるが，ブロックの外側からは決して
参照できない。このような変数は，そのブロックにおけ
る局所的な変数と呼ばれる。

【０００５】あるブロックＡで定義された変数ｉと同名
の変数がその内側のブロックＢで定義されていた場合，
ブロックＢおよびさらに内側のブロックからは，ブロッ
クＡで定義された変数ｉは参照できない。変数名ｉによ
ってブロックＢで定義された変数ｉが参照される。

【０００６】このため，あるブロックからある変数名に
よって参照される変数は，そのブロックから外側へ，各
ブロックで定義された変数名を探索し，はじめて見つか
った変数が参照される変数となる。

【０００７】ソースプログラムが複数のソースファイル
からなる場合，ソースファイルの全体をソースプログラ
ムと呼ぶことにする。ソースプログラムは一つのブロッ
クを構成し，さらに各ソースファイルはそれに含まれる
ブロックとみなすことができる。またＣ言語において
は，ソースファイル内で定義された各関数は一つのブロ
ックとみなし，関数内部で定義されたＣ言語でいうブロ
ックはここでいうブロックとみなすことができる。

【０００８】こうして，一つのソースプログラムのブロ
ック全体は，その包含関係によって木構造をなす。次
に，本発明の適用分野についてより詳細に説明する。

【０００９】プログラムを新たに作成している場合，そ
のプログラムが異常終了することはよく経験することで
ある。このとき，プログラム作成者は，残されたメモ
リ，あるいはメモリダンプ情報より各変数の値を取り出
し，それが期待通りの値であるか，また，変数の間の関
係が期待どおりであるか等を調べ，異常終了の原因を推
定する。このためには，デバッガ等を利用して各変数の
値をメモリ上，あるいはメモリダンプから読み出してキ
ーボード・ディスプレイ装置の画面等に表示する必要が
ある。

【００１０】デバッガは，使用者が指定した変数名か
ら，そのアドレスを求め，その内容を読み出して表示す
る。しかし，ブロック構造を持つ言語の場合には，参照
する位置によって，参照される変数が異なる場合がある
ので，位置と変数名をもとに変数アドレスを決定するこ
とが必要になる。この処理は，できるだけ高速に行われ
ることが望ましい。

【００１１】また，変数の間の関係を調べるには，利用
者が指定した手続きや式をインタプリタによって実行，
評価するのがよい。なぜなら，インタプリタは，手続き
や式をソースプログラムの形式のまま解読しつつ実行す
るため，前処理としての翻訳処理が不要なためである。
この実行においても，変数名に対して，メモリ上，ある
いはメモリダンプ内の変数アドレスを求めることが必要
になる。この場合にも，参照元の位置と変数名をもと
に，参照対象変数を決定することが必要になる。

【００１２】

【従来の技術】デバッガにおいて，変数名より対応する
変数領域を求めるためには，現在位置をもとに，それを
含む最も内側のブロックを求め，その中で定義された同
名の変数を探し，なければさらに外側のブロックで定義
された同名の変数を探すという処理を行っていた。ある
いは，外側のブロックより内側へ順に同名の変数を探索
して，存在すれば蓄積し，現在位置を含むブロックまで
処理が終ったなら，最後のブロックで定義されたものを
対象変数としていた。

【００１３】しかし，この場合，途中の各ブロックで定
義されている変数の個数の合計の回数だけ変数名の比較
を行う必要があり，処理時間が大きくなる欠点があっ
た。インタプリタの中には，前処理として，ソースプロ
グラムを記述言語の文法に従って解析し，ソースプログ
ラム中の各変数名を，参照される変数の識別子に置き換
えつつ中間言語のプログラムに変換し，インタプリタ
は，この中間言語で記述されたものを解釈しつつ実行す
るものもある。この方法によれば，ソースプログラム中
の変数名ごとに参照される変数は一意的に決まるので，
実行時には変数名より参照対象変数を決定する処理が不
要になり，実行時の性能が大幅に向上する。

【００１４】しかし，中間言語への翻訳処理において
は，やはり各行などより参照される変数を決定する処理
が必要になり，その処理は上記と同じ方法をとってい
た。

【００１５】

【発明が解決しようとする課題】以上のように従来の方
法によれば，現在位置を含む内側のブロックから外側の
ブロックへ，または外側のブロックから内側のブロック
へ順に同名の変数を探索し，その中で有効なものを選び
出す処理を行っているので，処理時間が大きくなるとい
う問題があった。

【００１６】本発明は上記問題点の解決を図り，高速に
参照対象変数を決定する手段を提供することを目的とし
ている。

【００１７】

【課題を解決するための手段】そのため，本発明の参照
対象変数決定処理方法では，例えば図１に示すようなシ
ステムにおいて，ブロック構造を持つ言語で記述された
ソースプログラムにおけるプログラム内の位置と変数名
をもとに，その位置より参照される，その変数名を持つ
プログラム内の変数を決定するにあたって，次の処理を
行う。

【００１８】まず，ソースプログラム内の位置全体をブ
ロックの開始位置および終了位置によって区分して得ら
れる各区間に対応する要素の情報を持つ区間情報２２を
作成する。また，ソースプログラムの各ブロックを木の
節（ノード）とし，ブロック間の包含関係を木構造で表
わしたブロック木構造情報２３を作成する。

【００１９】さらに，変数名に対応して，その変数名を
持つ変数を定義しているブロックからなる集合を記憶す
る変数名・ブロック対応情報２４を作成する。前記区間
情報２２の作成では，区間情報２２の要素に，その区間
を含む最も内側のブロックに対応する，ブロック木構造
情報２３内のノードへのポインタを含むようにする。

【００２０】参照対象変数を決定するための位置と変数
名が与えられたとき，その位置をもとに，区間情報２２
における，指定された位置を含む区間に対応する要素を
求め，その要素よりポイントされるブロック木構造情報
２３内のノードより，木の根に至る経路上の各ノードに
対応するブロックの集合と，変数名・ブロック対応情報
２４においてその変数名に対応づけられているブロック
の集合とに共通に含まれるブロックのうち，ブロック木
構造情報２３において最も葉に近いノードに対応するブ
ロックにおいて定義された，その変数名を持つ変数を参
照対象変数と決定する。

【００２１】特に，本発明では，ブロック木構造情報２
３の各ノードは，少なくとも親ノードへのポインタと，
該ノードに対応するブロックのブロック識別子とを含む
ようにする。

【００２２】そして，変数名・ブロック対応情報２４
は，変数名に対応して，その変数名を持つ変数を定義し
ている各ブロックのブロック識別子からなる集合を記憶
し，位置と変数名が与えられたとき，その位置をもと
に，区間情報２２における，その位置を含む区間に対応
する要素を求め，その要素よりポイントされるブロック
木構造情報２３内のノードより，木の根に至る経路上の
各ノードが格納するブロック識別子を集めて第１ブロッ
クリストとし，また，変数名をもとに，変数名・ブロッ
ク対応情報２４より，その変数名に対応して記憶されて
いるブロック識別子からなる集合を第２ブロックリスト
とし，それらに共通に含まれるブロック識別子のうち，
ブロック木構造情報２３において最も葉に近いノードに
格納されていたブロック識別子に対応するブロックにお
いて定義された，その変数名を持つ変数を参照対象変数
と決定する。

【００２３】請求項２記載の発明の場合，請求項１記載
の発明におけるブロック識別子の代わりに，ブロック木
構造情報２３内のノードへのポインタを用いる。請求項
３記載の発明では，複数のソースファイルによって構成
されるソースプログラムについての参照対象変数を決定
する場合に，各ソースファイルも一つのブロックを構成
するとみなして処理を行う。

【００２４】請求項４記載の発明では，参照対象変数決
定処理を複数回繰り返して行う場合に，一度参照した変
数については，生成した第１ブロックリストまたは第２
ブロックリストを所定の蓄積域に蓄積しておき，現在位
置が蓄積域のいずれかの第１ブロックリストに該当する
場合，または変数名が蓄積域のいずれかの第２ブロック
リストに該当する場合には，それを使用する。

【００２５】請求項５記載の発明では，ブロック構造を
持つソースプログラムを入力し，前記の方法に係る区間
情報２２と，ブロック木構造情報２３と，変数名・ブロ
ック対応情報２４とを，オブジェクトプログラムの一部
として出力する処理手段を翻訳プログラム中に設けて，
翻訳処理システムを構成する。

【００２６】

【作用】本発明では，ブロック構造を持つプログラム中
の位置と変数名とから，参照対象変数を決定するため
に，プログラムをブロックに関連して区間に分割した区
間情報２２とブロック木構造情報２３と変数名・ブロッ
ク対応情報２４とを用いて，ブロック木構造情報２３中
のパスと，後者のブロック集合を照合する。したがっ
て，途中の各ブロックで定義されている変数の個数だけ
変数名の比較を行うような処理が不要となり，処理の高
速化が可能になる。

【００２７】特に，本発明のように，ブロック木構造情
報２３として，その各ノードが，親ノードへのポインタ
と，そのノードに対応するブロックのブロック識別子と
を含むように構成することにより，ブロック木構造情報
２３を扱いやすい形で管理することができる。

【００２８】一方，ブロック識別子の代わりに，請求項
２記載の発明のように，ブロック木構造情報２３内のノ
ードへのポインタを用いることにより，このポインタに
よってブロックを識別することもできる。この場合に
は，ブロック木構造情報２３内にブロック識別子を持つ
必要がないので，必要なメモリ量を削減することが可能
になる。

【００２９】また，請求項３記載の発明のように，複数
のソースファイルによって構成されるソースプログラム
についての参照対象変数を決定する場合に，各ソースフ
ァイルも一つのブロックを構成するとみなして処理を行
うことにより，複数のソースファイルからなるソースプ
ログラムについても，一つのソースファイルからなるソ
ースプログラムの処理と同様に処理することが可能にな
る。。

【００３０】参照対象変数決定処理を複数回繰り返して
行う場合に，請求項４記載の発明のように，一度参照し
た変数についての第１ブロックリストまたは第２ブロッ
クリストを保存して再利用することにより，さらに処理
の高速化が可能になる。

【００３１】また，請求項５記載の発明のように，翻訳
プログラムがオブジェクトプログラムの一部として区間
情報２２，ブロック木構造情報２３，変数名・ブロック
対応情報２４を出力することにより，デバッガあるいは
インタプリタはそれを読み込んで利用し，請求項１ない
し請求項３記載の方法による高速な参照対象変数の決定
が可能になる。

【００３２】

【実施例】以下，図面を参照しつつ，本発明の一実施例
を説明する。最初に，本発明で使用される木構造につい
て説明する。木の中には一つの根が存在して，これはノ
ードの一つである。各ノードには一つまたは複数の子ノ
ードが存在しうる。このとき初めのノードはあとのノー
ドの親ノードとも呼ばれる。根以外のノードはただ一つ
の親ノードを持つ。根は親ノードを持たない。根から子
ノードへと順に辿っていけるノード全体が一つの木を構
成する。子ノードを持たないノードは葉といわれる。

【００３３】一つのプログラムのブロック構造は，一つ
の木で表すことができる。すなわち，最も内側に存在す
るすべてのブロックは，それぞれ葉に対応し，そのブロ
ックのすぐ外側のブロックは，その親ノードに対応し，
そしてプログラム全体は，木の根に対応させることがで
きる。

【００３４】図１は本発明の一実施例を示す全体構成図
である。主記憶装置（ＭＥＭ）１１は，ＯＳ領域と利用
者プログラム用領域に区分される。ＯＳ領域には，ＯＳ
（オペレーティングシステム）が格納され，利用者プロ
グラム用領域には，利用者プログラムが格納され，中央
処理装置（ＣＰＵ）１０は，それらのプログラムより命
令を順次読み出し，主記憶にアクセスしつつ処理を実行
する。

【００３５】外部記憶装置１２は，ＯＳ，利用者プログ
ラム，その他のデータを格納する。ＯＳは，利用者プロ
グラムをここから主記憶に読み込んで，その実行を開始
するほか，利用者プログラムからの依頼により，外部記
憶装置１２に格納されたデータを主記憶へ読み込み，ま
た主記憶から外部記憶装置１２にデータを書き出す処理
機能を提供する。

【００３６】キーボード・ディスプレイ装置１３は，利
用者が実行させようとするプログラムや，プログラムに
渡すデータを指定し，またＯＳや利用者プログラムが，
入力の案内や実行結果等を利用者のために表示するのに
用いられる。

【００３７】本実施例では，利用者プログラム用領域に
は，本発明の実施例を実行するプログラムＡが格納され
る。プログラムＡは，キーボード・ディスプレイ装置１
３より，利用者が指定するプログラムＢ内の行番号と変
数名を入力した後，プログラムＢ中の該当する変数情報
を探索し，それをもとに翻訳プログラムが割り付けた変
数領域を特定し，外部記憶装置１２内に存在するプログ
ラムＢのメモリダンプ情報の該当変数領域より変数の値
を読み込んで，キーボード・ディスプレイ装置１３に表
示する。

【００３８】外部記憶装置１２には，本実施例を実行す
るプログラムＡ，処理対象となるプログラムＢのロード
モジュール，その中に含まれるシンボルテーブルと，プ
ログラムＢのソースプログラム，プログラムＢのメモリ
ダンプ情報が記憶されている。

【００３９】メモリダンプ情報は，プログラムＢの実行
中，利用者が指示したときか，あるいはプログラムＢが
異常終了したときに，ＯＳ等がプログラムＢのメモリ領
域全体を外部記憶装置１２に出力したもので，その中に
はプログラムＢの各変数のそのときの値が含まれてい
る。

【００４０】外部記憶装置１２内のプログラムＢのロー
ドモジュールには，シンボルテーブルが含まれている。
これは翻訳プログラムが翻訳時に生成し，あるいは結合
プログラムがそれらをさらに結合したもので，その中に
はソースファイルの開始位置，ブロックの開始行位置，
終了行位置やそのブロックの中で定義された変数につい
て変数名，型，プログラム内の相対アドレス等を格納し
ている。

【００４１】プログラムＡのデータ領域には，本発明に
係る区間情報２２，ブロック木構造情報２３，変数名・
ブロック対応情報２４が含まれている。これらは，プロ
グラムＡが外部記憶装置１２内のプログラムＢのロード
モジュール内のシンボルテーブルをもとに生成したもの
である。このほかに，プログラムＢのソースプログラム
読み込み域２０，シンボルテーブル読み込み域２１，メ
モリダンプ情報読み込み域２５が存在する。

【００４２】図２は本発明の処理対象となるプログラム
Ｂの例を示す。記述言語はＣ言語である。一つのソース
ファイル，一つの関数および関数内で“｛”とそれに対
応する“｝”で囲まれた部分がそれぞれブロックを構成
する。関数内のブロックも何重かになることができる。
すなわち，ブロックの内部にブロックが存在しうる。

【００４３】プログラムＢには，ｍ１とＳ１とｉ１とｉ
２を変数名とする変数が定義されている。ただし，ｉ１
とｉ２については同名の変数が複数存在する。プログラ
ムＢのソースプログラムは，１個のソースファイルから
なる。言い換えれば，プログラムＢのロードモジュール
は，１個のソースファイルを翻訳して得られたものであ
る。このソースファイルはブロックＢ６に対応する。

【００４４】ｍａｉｎは関数名であり，また関数ｍａｉ
ｎの手続きの記述の始まりとなっている。関数ｍａｉｎ
は，一つのブロックＢ５に対応し，その中にブロックＢ
３とＢ４が存在し，Ｂ３の中にはブロックＢ１とＢ２が
存在する。

【００４５】変数ｉ１は，ブロックＢ５と，その２つ内
側のブロックＢ１と，ブロックＢ５の一つ内側のブロッ
クＢ４で定義されている。そのため，２番目のｉ１の通
用範囲はＢ１，３番目のｉ１の通用範囲はＢ４，１番目
のｉ１の通用範囲はＢ５よりＢ１とＢ４を除いた部分と
なる。変数ｉ２はブロックＢ３とその中のＢ２で定義さ
れている。そのため，後者のｉ２の通用範囲はＢ２，前
者のｉ２の通用範囲はＢ３よりＢ２を除いた部分とな
る。

【００４６】ブロックの始まりや終わりの行番号は，Ｌ
０，Ｌ１，Ｌ２…等である。これらで区切られたものが
区間である。プログラム内の位置を指定するためには，
プログラムが一つのソースファイルの翻訳結果である場
合は，通常は行番号を指定すれば足りる。複数のソース
ファイルの翻訳結果を結合したものである場合は，位置
としては，例えばソースファイル名あるいはその識別子
とその中の行番号の対をとればよい。あるいは各ソース
ファイルの全体を通した通し行番号を用いてもよい。

【００４７】図３は，本発明にかかる区間情報２２，ブ
ロック木構造情報２３，変数名・ブロック対応情報２４
をそれぞれ概念的に示したものである。区間情報２２に
は，次に述べるブロック木構造情報２３の要素へのポイ
ンタが格納されている。ブロック木構造情報２３は，プ
ログラムＢのブロック間の包含関係を示す。ロードモジ
ュールがブロックＢ７であり，ソースファイルがブロッ
クＢ６であり，その中の関数ｍａｉｎがＢ５，その中に
ブロックＢ３，Ｂ４が，Ｂ３の中にＢ１，Ｂ２が存在す
ることを示している。この木の各ノードをブロックノー
ドと呼ぶことにする。

【００４８】変数名・ブロック対応情報２４は，変数名
に対応して，その変数名を持つ変数を定義しているすべ
てのブロックを示すものである。例えば，変数ｉ１はブ
ロックＢ１，Ｂ５で定義されており，それぞれのシンボ
ル要素番号がｎ１，ｎ２である。本実施例では，行番号
と変数名をもとに，その行より参照される変数のシンボ
ル要素番号を求めることとする。そのために，変数名・
ブロック対応情報２４には，シンボル要素番号が含まれ
ている。

【００４９】シンボル要素は，ロードモジュール内のシ
ンボルテーブルを構成する要素で，それは変数の型やプ
ログラム内相対アドレス等を含んでいる。そのため，シ
ンボル要素からメモリダンプ内の該当変数領域を求める
ことができる。なお，シンボル要素中の変数アドレスよ
り，変数領域のメモリアドレスを求める処理は，通常は
ローディング開始アドレスに依存したアドレス値を加え
ることであり，特に述べない。

【００５０】これら，区間情報２２，ブロック木構造情
報２３，変数名・ブロック対応情報２４はともにシンボ
ルテーブルより生成されたものである。これらが生成可
能であることは後で示す。

【００５１】図４は，図３中に示した区間情報２２をよ
り詳細に示したものである。それは各行区間に対応する
要素からなり，各要素は開始行番号とブロックノードへ
のポインタからなる。（Ｂ５）は，ブロックＢ５に関す
るブロックノードの存在するメモリ上のアドレスを意味
している。このほかに，ポインタとしては，木構造をま
とめたデータ領域において，領域の先頭からその要素へ
の相対アドレスとすることもできる。

【００５２】要素は区間開始行番号について昇順（小さ
い順）に並んでいるので，これを上の要素から順に指定
行番号と比較していけば，指定行を含む区間の要素を求
めることができる。なお，この区間情報２２は，２進木
探索等の手法を用いてより高速にアクセスできるように
変更することも可能である。

【００５３】図５は，図３中に示したブロック木構造情
報２３をより詳細に示したものである。各要素はブロッ
クノードであり，その内容はブロックＩＤと親ノードへ
のポインタからなる。要素中に示したＢ１，Ｂ２等はブ
ロックＩＤを意味する。木の根はその親へのポインタが
０であることにより示される。ポインタ値はブロック木
構造情報内の相対アドレスでもよい。この方法は，ブロ
ック木構造情報をプログラムＢのロードモジュールより
予め生成して，外部記憶装置１２等に格納しておき，そ
れを本処理において，メモリ上に読み込んで利用する場
合に好適である。それはメモリ上の読み込みアドレスに
依存しないからである。

【００５４】図６は，本発明の実施例における第１ブロ
ックリスト生成処理を示す流れ図である。これは指定行
番号ｎより，図４に例を示す区間情報と，図５に例を示
すブロック木構造情報にアクセスしつつ，第１ブロック
リストを生成する処理である。その第１ブロックリスト
の意味は，指定行番号を含むプログラム内のブロックを
内側から外側に順に示すものである。

【００５５】はじめに処理Ｐ１において，第１ブロック
リストの生成領域をクリアする。続いて処理Ｐ２におい
て，区間情報を先頭から順に読み，指定行番号を含む区
間に対応する要素を求める。例えば，区間情報が図４に
示す形式であった場合，その区間要素の中の区間開始行
番号がｎ以下であり，かつ次の区間要素の中の区間開始
行番号がｎより大きいか次の区間要素が存在しないと
き，前の要素を求めるものとする。

【００５６】続いて処理Ｐ３において，当該要素より，
ブロック木構造情報中の要素へのポインタを取り出し，
それをｒとする。ｒはＢのソースプログラムにおいて，
その区間を含む最も内側のブロックに対応する要素への
ポインタである。

【００５７】続いて処理Ｐ４において，ｒが０かどうか
調べ，０なら処理を終える。ただし，はじめはｒは０で
ないので処理Ｐ５に進む。Ｐ５において，ｒによってポ
イントされる要素を読み，そこに格納されたブロックＩ
Ｄを第１ブロックリストに追加する。

【００５８】続いて処理Ｐ６において，同要素より，親
ノードへのポインタを取り出し，それを改めてｒとす
る。そして処理Ｐ４に進む。このポインタは，そのブロ
ックのすぐ外側のブロックに対応するノードへのポイン
タを意味する。

【００５９】処理Ｐ４において，ｒが０なら処理を終え
る。これは，それが木の根であったことを意味し，また
指定行を含む最も外側のブロックまで求めたことを意味
する。

【００６０】処理Ｐ４において，ｒが０でなければ，そ
れは親ノードへのポインタであるので，処理Ｐ５に進
む。以下の処理は同じである。図７は，図６に示した処
理手続きにより，指定された行位置をもとに，ブロック
木構造にアクセスすることによって生成された第１ブロ
ックリストの例を示す。（イ）の例は，指定行位置がＬ
３とＬ４の間にあった場合を示し，その行を含むブロッ
クが内側から順にＢ１，Ｂ３，Ｂ５，Ｂ６，Ｂ７であっ
たことを示している。それは，図４に示す区間情報の要
素のうち，Ｌ３を格納した要素よりポインタされるブロ
ック木構造情報中の要素から根に至る経路上の各要素よ
り，ブロックＩＤを取り出して並べたものである。

【００６１】（ロ）は，指定行位置がＬ８とＬ９の間に
あった場合の第１ブロックリストの例を示す。（ハ）
は，指定行位置がＬ４とＬ５の間にあった場合の第１ブ
ロックリストの例を示す。

【００６２】図８は，変数名・ブロック対応情報２４の
構成例を示す。それは入口配列８４と，キュープール８
５と，変数名領域８６の３つの領域からなる。また，本
情報にアクセスするときに使用されるデータ領域とし
て，変数名領域８１とハッシュ値ｉを格納する領域８３
がある。

【００６３】アクセス処理は，はじめに変数名を変数名
領域８１に設定する。これをハッシュ関数を用いて整数
に変換するとｉに整数が格納される。もし同じ変数名に
対して，ハッシュ関数を用いて変換すれば，常に同じｉ
の値が得られる。ただし，変数名が変われば，ｉの値は
変わりうる。また，異なる変数名から同じｉの値に変換
されることもある。

【００６４】入口配列８４のｉ番目の要素は，キュープ
ール８５中に存在する変数名要素からなる連鎖の先頭要
素を指している。キュプール８５中の要素は，空き要素
か，変数名要素か，変数要素かのいずれかである。変数
名要素は，プログラムＢ中で定義された各変数名に対応
して存在し，変数要素はプログラムＢ中で定義された各
変数に対応して存在する。空き要素はデータを格納して
いないもので，変数名・ブロック対応情報を生成すると
きに，この空き要素をとり，そこにデータを設定する。

【００６５】変数名要素のうち，同じハッシュ値（ｉ）
を持つ変数名に対応する変数名要素は，キュープール８
５中で変数名要素連鎖をなしている。同様に，変数要素
のうち，同じ変数名を持つ各変数に対応する変数要素
は，キュープール８５中で変数要素連鎖をなしている。
そして，変数名連鎖の各要素より分岐して各変数要素連
鎖が存在する。

【００６６】変数名要素は，変数名領域中に存在する対
応する変数名へのポインタと，変数名要素連鎖中の次の
変数名要素へのポインタと，その変数名を持つ変数の変
数要素からなる変数要素連鎖へのポインタを格納してい
る。

【００６７】変数要素は，変数要素連鎖中の次の変数要
素へのポインタと，その変数を定義しているブロックの
ブロックＩＤと，その変数に対応するシンボルテーブル
中のシンボル要素番号を格納している。

【００６８】従って，指定変数名を持つ変数の変数要素
をすべて集めるためには，はじめに変数名をハッシュ関
数で整数値ｉに変換し，次に入口配列８４のｉ番目の要
素を取り出して，それからポイントされる変数名連鎖要
素をたどりながら，指定変数名に一致する変数名要素を
取り出し，それよりポイントされる変数連鎖をたどって
連鎖要素をすべて拾えばよい。このようにして指定変数
名を持つすべての変数に関して，その変数を定義してい
るブロックＩＤと各変数のシンボル要素番号を集めるこ
とができる。

【００６９】図９は，第２ブロックリスト生成処理を示
す流れ図である。この処理は指定変数名をもとに，その
変数名を持つプログラムＢ内で定義されたすべての変数
について，そのブロックＩＤと，各ブロックで定義され
たその変数名を持つ変数のシンボル要素番号の対を要素
とする第２ブロックリストを生成することである。

【００７０】はじめに処理Ｑ１において，第２ブロック
リストをクリアする。続いて処理Ｑ２において，指定変
数名をハッシュ関数によって整数ｉに変換する。

【００７１】続いて処理Ｑ３において，入口配列のｉ番
目の要素を取り出し，その中のポインタ値をｐとする。
続いて処理Ｑ４において，ｐによりポイントされるキュ
ープール中の変数名要素より，変数名領域中へのポイン
タを取り出し，それにより指される変数名と，指定変数
名とを比較する。

【００７２】続いて処理Ｑ６において，比較結果を調
べ，一致しなかったなら，処理Ｑ７に進み，処理Ｑ７に
おいては現在の変数名要素より，次の変数名要素へのポ
インタを取り出し，それをｐとし，処理Ｑ４に行く。

【００７３】処理Ｑ４においてｐが０であったなら，変
数名連鎖の最後まで来たことを意味するので，処理Ｑ５
に進んで処理を終える。これは指定変数名がプログラム
内で定義されていなかったことを意味する。

【００７４】また，処理Ｑ６において，前の比較結果が
一致していたなら，処理Ｑ８に進む。処理Ｑ８におい
て，現在の変数名要素より，変数要素へのポインタを取
り出し，それをｑとする。そして処理Ｑ９に進む。

【００７５】処理Ｑ９において，ｑによりポイントされ
る変数要素より，ブロックＩＤとシンボル要素番号を取
り出し，それらを第２ブロックリストに追加する。ま
た，次の変数要素へのポインタを取り出し，それをｑと
する。

【００７６】続いて処理Ｑ１０においてｑが０かどうか
を判定し，０なら処理を終える。また０でなければ処理
Ｑ９に進む。例えば，変数名“ｉ１”が与えられたと
き，まず変数名“ｉ１”をハッシュ関数で変換すると，
整数値（ｉとする）が得られる。入口配列８４のｉ番目
の要素を取り出し，これからポイントされる変数名要素
５−１を取り出すと，これは変数名領域中の変数名“ｉ
１”を指しており，指定変数名に一致するので，この中
より変数要素へのポインタの５−１−２を取り出す。こ
れにより指される変数要素５−２を取り出すと，それは
ブロックＢ１で定義された変数ｉ１に対応するもので，
そのシンボル要素番号はｎ１である。またそれにより指
される次の変数要素５−３を取り出すと，それはブロッ
クＢ５で定義された変数ｉ１に対応するもので，そのシ
ンボル要素番号はｎ２である。

【００７７】また，変数名“ｉ２”が与えられた場合に
は，もしハッシュ関数によって同じ整数値ｉに変換され
たとき，変数名要素５−１に続いて変数名要素連鎖をた
どると，５−４が得られる。これは変数名“ｉ２”に対
応する変数名要素であるので，続いて変数要素連鎖をた
どると５−２，５−３が得られる。それぞれ，ブロック
Ｂ２とＢ３において定義された変数ｉ２に対応する変数
要素である。

【００７８】図１０は，こうして得られた第２ブロック
リストの例を示す。これは変数名“ｉ１”をもとに得ら
れたものである。すなわち，変数名“ｉ１”を持つ変数
はブロックＢ１とＢ５において定義されており，それぞ
れの変数に対応するシンボル要素番号はｎ１，ｎ２であ
ることを示している。

【００７９】図１１は，指定行番号と指定変数名より，
その行より参照され，かつその変数名をもつ変数のシン
ボル要素番号を求める処理の流れ図である。はじめに処
理Ｒ１において，指定変数名をもとに第２ブロックリス
トを生成する。

【００８０】続いて処理Ｒ２において，第２ブロックリ
ストの要素数を調べ，それが０なら，処理Ｒ３において
処理を終える。これはその変数名がプログラム内で定義
されていないことを意味する。また処理Ｒ２において要
素数が１なら，その指定変数名をもつ変数が一つである
ため，当該要素よりシンボル要素番号を取り出して結果
とし，処理を終える。また，処理Ｒ２において要素数が
２以上であれば，処理Ｒ５に進む。

【００８１】処理Ｒ５において指定行番号をもとに第１
ブロックリストを生成する。続いて処理Ｒ６において，
第１ブロックリストの先頭要素を取り出す。もし要素が
存在しなかったなら，処理Ｒ１０に進んで処理を終え
る。これは指定行より，指定変数が参照できないことを
意味する。処理Ｒ６においてもし要素が存在したなら，
処理Ｒ７に進む。

【００８２】処理Ｒ７において，第１ブロックリストよ
り取り出した当該要素中のブロックＩＤをもとに，第２
ブロックリスト中で，同一ブロックＩＤを持つ要素を探
す。続いて，処理Ｒ８において，もし要素が存在したな
ら，処理Ｒ１１に進む。また存在しなかったなら，処理
Ｒ９に進む。

【００８３】処理Ｒ１１において，第２ブロックリスト
中の該当要素より，シンボル要素番号を取り出し，それ
を結果として処理を終える。処理Ｒ９においては，第１
ブロックリスト中の次の要素を取り出す。ただし次の要
素が存在しなかったなら，処理Ｒ１０に進んで処理を終
える。これは指定行より，指定変数が参照できないこと
を意味する。

【００８４】処理Ｒ９において要素が取り出せたなら，
処理Ｒ７に進む。図１２は本発明の実施例全体の流れを
示す流れ図である。キーボード・ディスプレイ装置１３
より，利用者が指定する行番号と変数名を入力し，指定
行より参照され，指定変数名を持つ変数を探索したの
ち，そのアドレスを求めて，メモリダンプ情報の当該ア
ドレスより変数の値を読み出してキーボード・ディスプ
レイ装置１３に表示する処理である。

【００８５】はじめに処理Ｓ１において，プログラムＢ
のシンボルテーブルより，区間情報，ブロック木構造情
報，変数名・ブロック対応情報を生成する。続いて処理
Ｓ２において，キーボード・ディスプレイ装置より，利
用者が指定する，ソースプログラム内の行番号と変数名
を入力する。もしここで終了指示を入力した場合には，
処理Ｓ３に進んで処理を終える。

【００８６】続いて処理Ｓ４において，指定行番号と指
定変数名より，被参照変数のシンボル要素番号を求め
る。続いて，処理Ｓ５において，プログラムＢのシンボ
ルテーブル中の同一要素番号の要素を読み込む。

【００８７】続いて処理Ｓ６において，該要素より，変
数アドレス，型，サイズなどを取り出す。続いて処理Ｓ
７において，メモリダンプ情報より該当変数領域を読み
込む。

【００８８】続いて，処理Ｓ８において，行番号，変数
名，変数値をキーボード・ディスプレイ装置に出力す
る。その後処理Ｓ２に進む。図１３は，本発明に関連す
るシンボル要素の種類とその内容のうち，本実施例で使
用されるものを示す。その他の要素はシンボルテーブル
より除いて処理することにする。

【００８９】「ファイルの開始」要素は，翻訳対象とな
ったソースファイルのシンボル要素の開始を示し，ソー
スファイルのファイル名を保有している。ロードモジュ
ールが複数のソースファイルの翻訳結果を結合したもの
である場合，本要素は複数存在する。

【００９０】「関数の開始」要素は，関数のシンボル要
素の開始を示し，関数名を保有する。「ブロックの開
始」要素は，関数内のブロック名のシンボル要素の開始
を示し，ソースファイルにおける，ブロックの開始行番
号を保有している。

【００９１】「変数要素」は，ソースプログラム内で定
義された変数ごとに存在し，変数名，プログラム内相対
アドレス，型，サイズ，広域変数かソースファイル内変
数かの区分を保有する。

【００９２】「ブロックの終了」要素は，関数内のブロ
ック内のシンボル要素の終了を示し，ソースファイルに
おけるブロックの終了行番号を保有している。「関数の
終了」要素は，それまでの関数のシンボル要素の終了を
示す。

【００９３】図１４から図１６までは，シンボル要素の
並び方を示すもので，特に，本実施例を説明するのに必
要な要素の並びのみを示している。図１４は，シンボル
テーブル全体の構成を示す。それはいくつかのファイル
並びと，続く外部変数の並びから構成される。ファイル
並びの先頭には，「ファイルの開始」要素が存在し，続
いてファイル内の並びが存在する。ファイル名の並び
は，ファイル内に存在する関数，ブロック，ファイル内
で定義された変数などの要素からなる。

【００９４】ただし，ファイル内で定義された変数のう
ち，他のファイルからも参照できる，いわゆる広域変数
は，図１４に示す外部変数の並びの中に存在する。な
お，そのような変数が存在しなければ，外部変数の並び
は存在しない。

【００９５】図１５は，ファイル内の並びを示す。それ
はいくつかの関数並びと，続くファイル内変数の並びか
ら構成される。関数並びには，先頭に「関数の開始」要
素が存在し，続いて一つのブロック並びが存在する。こ
の並びの一つ一つは，関数を構成する最も外側のブロッ
クに対応し，その中で定義されているブロックや変数に
関するシンボル要素からなる並びである。関数並びの中
には，最後に「関数の終了」要素が存在する。

【００９６】関数並びが幾つか存在したあと，ファイル
内内部変数の並びが存在する。これはそのファイル内か
ら共通に参照できるが，ファイル外からは参照できない
変数の要素が置かれる。なお，そのような変数が存在し
なければ，ファイル内内部変数の並びは存在しない。

【００９７】図１６は，ブロック並びを示す。これは関
数内に存在する各ブロックに対応する。それは「ブロッ
クの開始」要素で始まり，「ブロックの終了」要素で終
わる。「ブロックの開始」要素に続いて，そのブロック
で定義された変数に関する変数要素が存在する。もし，
そのブロックに変数が定義されていない場合，システム
によってはその１ブロックの並びは存在しないこともあ
る。ただし，その内側のブロックで変数が定義されてい
れば，後者のブロックに関する並びは存在する。

【００９８】ブロック内変数の並びに続いて，もしソー
スプログラムにおいて，そのブロックの内部にブロック
が定義されていれば，ブロック並びが存在する。これは
現在のブロックの内部に存在するブロックの個数だけ並
ぶ。ただし，その内部に変数が定義されていないブロッ
クについては，省略されることがあるのは上と同様であ
る。また，同図では，簡単化のため要素番号を０からの
シーケンス番号で表している。

【００９９】図１７は，プログラムＢに対するシンボル
テーブルを示したものである。ただし，本発明に関連し
ない要素は，シンボルテーブル内の要素の順序を保存し
つつ削除してある。

【０１００】この例では，ロードモジュールは一つのソ
ースファイルの翻訳結果である。従って，シンボルテー
ブル全体は，そのソースファイルに対応するファイル
並びでもある。範囲は，図３におけるブロックＢ７と
Ｂ６に対応する。

【０１０１】範囲の先頭に「ファイルの開始」要素が
存在する。範囲の最後に変数ｍ１に関する変数要素が
存在する。この変数要素の中には，それが外部変数であ
ることが記録されている。図２に示すように，変数ｍ１
は関数外で定義され，かつｓｔａｔｉｃ付でない。その
ために広域変数となったのである。

【０１０２】「ファイルの開始」要素に続いてファイル
内の並びが存在する。この例では，ファイル内の並び
は関数ｍａｉｎの関数並びと，内部変数ｓ１の変数要素
からなる。この変数要素の中には，その変数が内部変数
であることが記録されている。

【０１０３】続いてファイル関数ｍａｉｎの開始要素が
存在し，ここからで示した範囲が関数並びである。関
数ｍａｉｎは一つのブロックＢ５から構成され，その中
に，にそれぞれ対応するブロックＢ３，Ｂ４からな
る。またブロックＢ３内には，にそれぞれ対応する
ブロックＢ１，Ｂ２からなる。

【０１０４】ブロックＢ５の開始要素に続いて，同ブロ
ック内で定義された変数ｉ１の変数要素が存在する。ブ
ロックＢ３の開始要素に続いて，同ブロック内で定義さ
れた変数ｉ２の変数要素が存在する。

【０１０５】ブロックＢ４の開始要素に続いて，同ブロ
ック内で定義された変数ｉ１の変数要素が存在する。ブ
ロック開始要素に続いて，ブロックの終了要素が来る前
にブロック開始要素が来た場合には，はじめのブロック
に，後のブロックが含まれることを意味する。ブロック
開始要素に続いて，そのブロックの終了要素が来てから
ブロック開始要素が来た場合には，はじめのブロックが
終了したあと，次のブロックが始まり，それらはともに
その外側のブロックに含まれることを意味する。このよ
うに，ブロックの開始要素と終了要素の順序はブロック
間の包含関係を示している。これをもとに，図３に示す
ブロック木構造を生成することができる。

【０１０６】また，各変数がどのブロックで定義された
かも，その変数のシンボル要素の位置から求めることが
できる。あるブロックの開始要素に続いて存在する場合
には，そのブロックの内部で定義されている。また，関
数の終了要素に続いて存在する場合には，ファイル内変
数かロードモジュール内の広域変数である。もしそれが
内部変数とシンボル要素内に記録されていればファイル
内の変数であり，外部変数と記録されていればロードモ
ジュール内の広域変数である。このようにして，その変
数がノードに属するかを決定することができる。こうし
て，図３に示す変数名・ブロック対応情報２４を生成す
ることができる。

【０１０７】また，ブロックの開始要素，終了要素には
ソースファイル内の行番号が記録されているので，これ
をもとに図３に示す行区間情報２２を生成することがで
きる。

【０１０８】図１８に，本発明の実施例に関係する一つ
のロードモジュールの生成処理の例を示す。また図１９
に，複数ソースファイルより生成されたロードモジュー
ルのシンボルテーブルの構成例を示す。複数ソースファ
イルより生成されたロードモジュールについても，一つ
のソースファイルから生成されたロードモジュールと同
様に処理することが可能である。

【０１０９】本発明は，次のような種々の態様によって
実施することが可能である。 (1) ソースプログラム内の位置全体をブロックの開始位
置および終了位置によって区分して得られる各区間に対
応する要素からなる区間情報と，そのソースプログラム
の各ブロックを木の節（ノード）とし，ブロック間の包
含関係を木構造で表わしたブロック木構造情報と，変数
名に対応して，該変数名を持つ変数を定義しているブロ
ックからなる集合を記憶する変数名・ブロック対応情報
とを作成し，区間情報の要素は，その区間を含む最も内
側のブロックに対応する，木構造情報内のノードへのポ
インタを含むようにし，参照対象変数を決定するための
位置と変数名が与えられたとき，位置をもとに，区間情
報における，該位置を含む区間に対応する要素を求め，
その要素よりポイントされるブロック木構造情報内のノ
ードより，木の根に至る経路上の各ノードに対応するブ
ロックの集合と，変数名・ブロック対応情報において，
その変数名に対応づけられているブロックの集合とに共
通に含まれるブロックのうち，ブロック木構造情報にお
いて最も葉に近いノードに対応するブロックにおいて定
義された，その変数名を持つ変数を参照対象変数と決定
する。

【０１１０】(2) 上記(1) において，ブロック木構造情
報の各ノードには，親ノードへのポインタと，そのノー
ドに対応するブロックのブロック識別子を含むように構
成し，変数名・ブロック対応情報には，変数名に対応し
て，その変数名を持つ変数を定義している各ブロックの
ブロック識別子からなる集合を記憶させ，位置と変数名
が与えられたとき，その位置をもとに，区間情報におけ
る，該位置を含む区間に対応する要素を求め，その要素
よりポイントされるブロック木構造情報内のノードよ
り，木の根に至る経路上の各ノードが格納するブロック
識別子を集めて第１ブロックリストとし，一方，変数名
をもとに，変数名・ブロック対応情報より，その変数名
に対応して記憶されているブロック識別子を集めて第２
ブロックリストとし，第１ブロックリストと第２ブロッ
クリストとに共通に含まれるブロック識別子のうち，ブ
ロック木構造情報において最も葉に近いノードに格納さ
れていたブロック識別子に対応するブロックにおいて定
義された，その変数名を持つ変数を参照対象変数と決定
する。

【０１１１】(3) 上記(2) において，ブロック識別子と
して，ブロックの開始位置および終了位置の対，または
ブロックの開始位置，またはブロックの終了位置を使用
する。

【０１１２】(4) 上記(1) において，ブロック木構造情
報の各ノードは親ノードへのポインタを含み，変数名・
ブロック対応情報は変数名に対応して，その変数名を持
つ変数を定義しているブロックに対応する，ブロック木
構造情報内のノードへのポインタからなる集合を記憶す
るようにし，位置と変数名が与えられたとき，区間情報
の要素のうち，その位置を含む区間に対応する要素が含
むブロック木構造情報内のノードへのポインタと，ブロ
ック木構造情報において，当該ポインタによって指され
るブロック木構造情報内のノードから，木の根に至る経
路上の各ノードに格納された，親ノードへのポインタを
集めて第１ブロックリストとし，一方，変数名をもと
に，変数名・ブロック対応情報において，その変数名に
対応して記憶されている，ブロック木構造情報内のノー
ドへのポインタからなる集合を第２ブロックリストと
し，それらの第１ブロックリストと第２ブロックリスト
とに共通に含まれるポインタによって指される，ブロッ
ク木構造情報の中のノードのうち，最も葉に近いノード
に対応するブロックで定義された，その変数名を持つ変
数を参照対象変数と決定する。

【０１１３】(5) 上記(1) 〜(4) において，区間情報
は，プログラム内のブロックのうち，その中で変数が定
義されているブロックの開始位置と終了位置によってソ
ースプログラム全体を分割して得られる各区間に対応す
る要素からなり，かつブロック木構造情報はこれらのブ
ロックに対応するノードからなるようにする。

【０１１４】(6) 上記(1) 〜(5) において，区間情報の
要素には，区間の範囲情報がさらに含まれるようにす
る。 (7) 上記(1) 〜(6) において，ソースプログラムが一つ
のソースファイルからなる場合に，位置としてソースプ
ログラム内の行番号を使用する。

【０１１５】(8) 上記(1) 〜(6) において，ソースプロ
グラムが複数のソースファイルからなる場合に，位置と
してソースファイル名，またはその識別子とそのソース
ファイル内の行番号からなる対を使用する。

【０１１６】(9) 上記(1) 〜(6) において，ソースプロ
グラムが複数のソースファイルからなる場合に，位置と
して，それらのソースファイルの各行に付した通し行番
号を使用する。

【０１１７】(10)上記(1) 〜(9) において，ソースプロ
グラムが複数のソースファイルからなる場合に，各ソー
スファイルも一つのブロックを構成するとみなして処理
する。

【０１１８】(11)上記(2) 〜(10)において，位置および
変数名が与えられたとき，はじめに変数名をもとに第２
ブロックリストを生成し，もしその要素数が一つである
場合は，その要素に対応するブロックで定義された，そ
の変数名を持つ変数を参照対象変数と決定し，そうでな
い場合は続いて第１ブロックリストを生成し，以下，上
記(2) ないし(10)に示す処理に従って参照対象変数を決
定する。

【０１１９】(12)上記(2) 〜(11)において，変数名・ブ
ロック対応情報の要素は，変数名に対応して記憶してい
るブロックからなる集合を記憶し，かつ該集合の各要素
に対応して，そのブロック内で定義された，その変数名
を持つ変数に対応する変数情報を記憶し，第２ブロック
リストの要素にはその変数情報を含める。

【０１２０】(13)上記(12)において，変数情報として，
シンボル要素またはシンボルテーブルにおけるシンボル
要素番号を用いる。 (14)上記(6) において，参照対象変数決定処理を繰り返
し行う場合に，一度参照した変数については，参照した
変数に関する変数名，区間の範囲情報，変数情報を要素
として蓄積域に蓄積しておき，参照対象変数決定処理に
おいて，まず蓄積域を探索し，指定された変数名と位置
がそれぞれ合致する要素が存在する場合はそれに対応す
る変数情報を使用し，合致する要素が存在しない場合に
のみ参照対象変数探索処理を行って変数情報を得る。

【０１２１】(15)上記(1) 〜(14)において，参照対象変
数決定処理を繰り返し行う場合に，一度参照した変数に
ついては，生成した第１ブロックリストを蓄積域に蓄積
し，現在行が蓄積域のいずれかの第１ブロックリストに
該当する場合はそれを使用する。

【０１２２】(16)上記(1) 〜(15)において，参照対象変
数決定処理を繰り返し行う場合に，一度参照した変数に
ついては，生成した第２ブロックリストを蓄積域に蓄積
し，変数名が蓄積域のいずれかの第２ブロックリストに
該当する場合には，それを使用する。

【０１２３】

【発明の効果】以上説明したように，本発明によれば，
ソースプログラム内の位置と変数名とから，その参照対
象変数を決定する処理を高速化することが可能になり，
デバッガやインタプリタ等の処理性能を向上させること
ができる。

【図面の簡単な説明】

【図１】本発明の全体構成図である。

【図２】本発明の実施例の処理対象となるプログラムＢ
の例を示す図である。

【図３】本発明の実施例に係る区間情報，ブロック木構
造情報，変数名・ブロック対応情報の概要を示す図であ
る。

【図４】本発明の実施例に係る区間情報の構成例を示す
図である。

【図５】本発明の実施例に係るブロック木構造情報の構
成例を示す図である。

【図６】本発明の実施例に係る第１ブロックリスト生成
処理のフローチャートである。

【図７】本発明の実施例における第１ブロックリストの
例を示す図である。

【図８】本発明の実施例における変数名・ブロック対応
情報の構成例を示す図である。

【図９】本発明の実施例に係る第２ブロックリスト生成
処理のフローチャートである。

【図１０】本発明の実施例における第２ブロックリスト
の例を示す図である。

【図１１】本発明の実施例に係る被参照変数のシンボル
要素の番号を求める処理のフローチャートである。

【図１２】本発明の実施例の全体の流れを示すフローチ
ャートである。

【図１３】本発明の実施例に関係するシンボル要素の種
類を示す図である。

【図１４】本発明の実施例で用いるシンボルテーブル全
体の構造を示す図である。

【図１５】図１４に示すシンボルテーブルにおけるファ
イル内の並びを示す図である。

【図１６】図１５に示すシンボルテーブルにおけるブロ
ック並びを示す図である。

【図１７】図２に示すプログラムＢに対するシンボルテ
ーブルを示す図である。

【図１８】本発明の実施例に関係する一つのロードモジ
ュールの生成処理を示す図である。

【図１９】本発明の実施例に関係する複数ソースファイ
ルより生成されたロードモジュールのシンボルテーブル
の構成例を示す図である。

【符号の説明】

１０ 中央処理装置（ＣＰＵ） １１ 主記憶装置（ＭＥＭ） １２ 外部記憶装置 １３ キーボード・ディスプレイ装置 ２０ プログラムＢのソースプログラム読み込み域 ２１ プログラムＢのシンボルテーブル読み込み域 ２２ 区間情報 ２３ ブロック木構造情報 ２４ 変数名・ブロック対応情報 ２５ プログラムＢのメモリダンプ情報読み込み域

───────────────────────────────────────────────────── フロントページの続き (56)参考文献 特開 平４−236635（ＪＰ，Ａ) 特開 昭62−198934（ＪＰ，Ａ) 特開 平４−165533（ＪＰ，Ａ) 特開 平２−159630（ＪＰ，Ａ) 特開 昭64−38836（ＪＰ，Ａ) 特開 昭61−213936（ＪＰ，Ａ) 特開 昭57−191761（ＪＰ，Ａ) インターフェース，ＣＱ出版社，第17 巻第８号（ｎｏ．171），1991年８月, ｐ．150−166 佐々政孝，「プログラミング言語処理 系」，岩波書店，1989，ｐ．70−73 (58)調査した分野(Int.Cl.⁷，ＤＢ名) G06F 9/06 G06F 9/45 G06F 11/28 - 11/36

Claims (5)

(57)【特許請求の範囲】
1. 【請求項１】 ブロック構造を持つ言語で記述されたソ
   ースプログラムにおけるプログラム内の位置と変数名を
   もとに，その位置より参照される，その変数名を持つプ
   ログラム内の変数を決定する参照対象変数決定処理方法
   において， 前記ソースプログラム内の位置全体をブロックの開始位
   置および終了位置によって区分して得られる各区間に対
   応する要素の情報を持つ区間情報と， 該ソースプログラムの各ブロックを木のノードとし，こ
   れらの各ノードに少なくとも親ノードへのポインタと，
   該ノードに対応するブロックのブロック識別子とを持た
   せることによりブロック間の包含関係を木構造で表わし
   たブロック木構造情報と， 変数名に対応して，その各変数名を持つ変数を定義して
   いる各ブロックのブロック識別子からなる集合を記憶す
   る変数名・ブロック対応情報とを作成し， 前記区間情報の要素に，その区間を含む最も内側のブロ
   ックに対応する，前記ブロック木構造情報内のノードへ
   のポインタを含むようにし， 参照対象変数の決定にあたって位置と変数名が与えられ
   たとき， その位置をもとに，前記区間情報における，該位置を含
   む区間に対応する要素を求め，その要素よりポイントさ
   れる前記ブロック木構造情報内のノードより，木の根に
   至る経路上の各ノードが格納するブロック識別子を集め
   た第１ブロックリストと， 変数名をもとに，前記変数名・ブロック対応情報より，
   その変数名に対応して記憶されているブロック識別子を
   集めた第２ブロックリストと に共通に含まれるブロック
   識別子のうち，前記ブロック木構造情報において最も葉
   に近いノードに格納されていたブロック識別子に 対応す
   るブロックにおいて定義された，その変数名を持つ変数
   を参照対象変数と決定することを特徴とする参照対象変
   数決定処理方法。
2. 【請求項２】 ブロック構造を持つ言語で記述されたソ
   ースプログラムにおけるプログラム内の位置と変数名を
   もとに，その位置より参照される，その変数名を持つプ
   ログラム内の変数を決定する参照対象変数決定処理方法
   において， 前記ソースプログラム内の位置全体をブロックの開始位
   置および終了位置によ って区分して得られる各区間に対
   応する要素の情報を持つ区間情報と， 該ソースプログラムの各ブロックを木のノードとし，こ
   れらの各ノードに少なくとも親ノードへのポインタを持
   たせることにより，ブロック間の包含関係を木構造で表
   わしたブロック木構造情報と， 変数名に対応して，その各変数名を持つ変数を定義して
   いるブロックに対応する，前記ブロック木構造情報内の
   ノードへのポインタからなる集合を記憶する変数名・ブ
   ロック対応情報とを作成し， 前記区間情報の要素に，その区間を含む最も内側のブロ
   ックに対応する，前記ブロック木構造情報内のノードへ
   のポインタを含むようにし， 参照対象変数の決定にあたって位置と変数名が与えられ
   たとき， 前記区間情報の要素のうち，該位置を含む区間に対応す
   る要素が含む前記ブロック木構造情報内のノードへのポ
   インタをもとに，前記ブロック木構造情報において，当
   該ポインタによって指される前記ブロック木構造情報内
   のノードから，木の根に至る経路上の各ノードに格納さ
   れた，親ノードへのポインタを集めた第１ブロックリス
   トと， 変数名をもとに，前記変数名・ブロック対応情報におい
   て，その変数名に対応して記憶されている，前記ブロッ
   ク木構造情報内のノードへのポインタからなる集合の第
   ２ブロックリストと に共通に含まれるポインタによって
   指される，前記ブロック木構造情報の中のノードのう
   ち，最も葉に近いノードに対応するブロックで定義され
   た，その変数名を持つ変数を参照対象変数と決定する こ
   とを特徴とする参照対象変数決定処理方法。
3. 【請求項３】 請求項１または請求項２記載の参照対象
   変数決定処理方法において， ソースプログラムが複数のソースファイルからなる場合
   に，各ソースファイルもそれぞれ一つのブロックを構成
   するとみなして処理することを特徴とする参照対象変数
   決定処理方法。
4. 【請求項４】 請求項１，請求項２または請求項３記載
   の参照対象変数決定処理方法において， 参照対象変数決定処理を複数回繰り返して行う場合に，
   一度参照した変数については，生成した第１ブロックリ
   ストまたは第２ブロックリストを所定の蓄積域に蓄積し
   ておき，現在位置が蓄積域のいずれかの第１ブロックリ
   ストに該当する場合，または変数名が蓄積域のいずれか
   の第２ブロックリストに該当する場合には，それを使用
   することを特徴とする参照対象変数決定処理方法。
5. 【請求項５】 ブロック構造を持つソースプログラムを
   入力し，請求項１，請求項２または請求項３記載におけ
   る区間情報と，ブロック木構造情報と，変数名・ブロッ
   ク対応情報とを，オブジェクトプログラムの一部として
   出力する処理手段を備えたことを特徴とする翻訳処理シ
   ステム。