JPH0228838A - Ａｄａ言語コンパイラのネームサーチ方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明はコンパイラのネームサーチ方式に関し、特にＡ
ｄａ言語コンパイラのｕｓｅ節によって可視になる識別
子のネームサーチ方式に関するものである。

〔従来の技術〕

組み込み型計算機の為の高水準言語であるＡｄａの言語
仕様では、ｕｓｅ節によって直接可視にできる宣言（こ
れを潜在的に可視な宣言という）は、ｕｓｅ節に指定さ
れたパッケージ集合に含まれる各パッケージの可視部の
すぐ内側にある宣言であるが、同じ識別子を持つ潜在的
に可視な複数の宣言が為されている場合においては、そ
の宣言の中に列挙リテラル仕様とサブプログラム宣言の
いずれでもないものがあれば直接可視にならないと定め
ている。

そこで、Ａｄａ言語で記述されたプログラムが上記の言
語仕様の規定を満足しているか否かをＡｄａコンパイラ
において検査するため、従来は、成る識別子の参照がプ
ログラムに現れるたびに、ｕｓｅ節に指定されたパッケ
ージの集合に含まれる各パッケージの可視部を宣言サー
チ手段を用いて逐次にサーチし、成るパッケージ内で対
応する１つの宣言が見つかっても、それだけではその宣
言が直接可視になるが否が不明な為、そのバ・ンケージ
集合に含まれる残りのパッケージに対して宣言サーチ手
段を用いたサーチを行って対応する宣言の存在の有無、
および存在した場合における上記言語仕様に照らした直
接可視性の判定を行っていた。

〔発明が解決しようとする課題〕

このように従来のＡｄａ言語コンパイラのネームサーチ
方式では、成る識別子の参照がプログラムに現れた場合
、ｕｓｅ節に指定さ・れたパッケージ集合に含まれる成
るパッケージ内で対応する宣言が１つ見つかっても、そ
の宣言が直接可視になるか否かを検査するためにパッケ
ージ集合の他のパッケージに対しても処理を続けなけれ
ばならず、これがＡｄａ言語コンパイラの性能低下の一
要因となっていた。

本発明は、このような性能低下の要因を取り除いたＡｄ
ａ言語コンパイラのネームサーチ方式を１（共すること
にある。

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

本発明は上記の目的を達成するために、例えば第１図に
示すように、Ａｄａ言語コンパイラ１に不可視情報ベー
ス６を接続し、Ａｄａ言語コンパイラ１のネームサーチ
手段２内に、Ａｄａ言語によって記述されたプログラム
のコンパイル単位が文脈節を持ち、その文脈節中にｕｓ
ｅｗＪを含むときに、そのｕ、ｓｅ節に指定されたパッ
ケージ内で宣言された識別子をプログラムで参照した場
合に、その識別子に対する不可視情報７が不可視情報ペ
ニス７に存在するか否かを検査する不可視情報検査手段
４と、不可視情報がなく且つ宣言サーチ手段３による宣
言サーチの結果不可視であることが判明した場合に、そ
の識別子に対する不可視情報７を不可視情報ベース６に
登録する不可視情報登録手段５とを具備させている。

〔作用〕

本発明のＡＡａ言語コンパイラのネームサーチ方式にお
いては、Ａｄａ言語によって記述されたプログラムのコ
ンパイル単位が文脈節を持ちその文脈節中にｕｓｅ節を
含むときに、そのｕｓ、ｅ節に指定されたパッケージ内
で宣言された識別子をプログラムで参照している場合、
先ず不可視情報検査手段４が、その識別子に対する不可
視情報７が不可視情報ベース６に存在するか否かを検査
し、存在すれば不可視と判定される。また、不可視情報
７がなく且つ宣言サーチの結果不可視であることが判明
した場合、不可視情報登録手段５が、その識別子に対す
る不可視情報７を不可視情報ベース６に登録し、以後の
同一識別子のネームサーチにおいて不可視情報検査手段
４で直ちに不可視と判定できるようにする。

〔実施例〕

次に、本発明の実施例について図面を参照して詳細に説
明する。

第２図は本発明の実施例の構成図である。この実施例で
は、Ａ’ｄａ言語コンパイラ２２は入力ソース２１のコ
ンパイルを行うものであり、第１図の不可視情報ベース
６の機能を兼ね備えるプログラムライブラリ２７に接続
されている。また、内部にネームサーチ手段２３を有し
、このネームサーチ手段２３は、宣言サーチ手段２４．
不可視情報検査手段２５および不可視情報登録手段２６
を含んでいる。

第３図は第２図の人力ソース２１の一部として与えられ
る入力ソース３１の内容例を示す。この入力ソース３１
は、パッケージＰ１〜Ｐｎのｎ個の仕様を含む入力ソー
スである。パッケージＰ１の仕様３２およびパッケージ
Ｐｎの仕様３４には、識別子Ｘの宣言３３．３５が含ま
れている。なお、他のパッケージＰ２〜Ｐｎ−１の仕様
は図示を省略して、いる。

第、４図は第３図に示すような入力ツース３１が第２図
分Ａｄａ言語コ、ンパイラ２２に入力ソース２１として
与えられた場合に、Ａｄａ言語コンパイラ２２によって
プログラムライブラリ２７に作成される各パッケージ対
応の宣言情報の内容例を示す。同図において、４２はパ
ッケージＰ１の宣言情報、４４はパッケージＰｎの宣言
情報であり、他のパンケージの宣言情報は図示を省略し
ている。

パッケージＰ１の宣言情報４２には、第３図の識別子Ｘ
の宣言３３に基づいて作成された識別子Ｘの宣言テーブ
ル４３があり、このテーブル４３内に宣言の内容（この
内容によって、列挙リテラル仕様でもなくサブプログラ
ム宣言でもないことがわかるものである）と共に不可視
フラグ４６が作成される。また、パッケージＰｎの宣言
情報４４には、第３図の識別子Ｘの宣言３５に基づいて
作成された識別子Ｘの宣言テーブル４５があり、このテ
ーブル４５内に宣言の内容（この内容によって列挙リテ
ラル仕様であることがわかるものである）と共に不可視
フラグ４７が作成される。なお、入力ソース３１を処理
してプログラムライブラリ２７に各パッケージ対応の宣
言情報を作成した段階においては、各不可視フラグ４６
．４７は不可視でないことを示すＯＦＦ状態にされてい
る。

第５図は第２図の入力ソース２１の一部として与えられ
る別の入力ソース５１の内容例を示す。

この入力ソース５１中には、ｕｓｅ節５３を含む文脈節
５２と、識別子Ｘを含む文５４．５５とが存在する。

第６図は第２図の宣言サーチ手段２４の処理例を示す流
れ図、第７図は第６図の処理６５即ち文脈節のｕｓｅ節
によるパッケージのネームサーチ処理の詳細な処理を示
す流れ図、第８図は第２図の不可視情報検査手段２５の
処理例の流れ図、および第９図は第２図の不可視情報登
録手段２６の処理例の流れ図である。以下、各図を参照
して本実施例の動作を説明する。

第２図のＡｄａ言語コンパイラ２２に対しては、第３図
の入力ソース３１．第５図の入力ソース５１の順で入力
ソースが与えられる。

Ａｄａ言語コンパイラ２２は、第３図の入力ソース３１
が入力されると、プログラムライブラリ２７内に第４図
に示した各パッケージ対応の宣言情報４２．４７を生成
する。この宣言情報４２゜４７は、前述したように各識
別子に対応する宣言テーブル４３．４５を有し、このテ
ーブル４３４５内で宣言の内容を示すものである。また
、全ての不可視フラグ４６．４７はＯＦＦ状態である。

次に、Ａｄａ言語コンパイラ２２は、第５図の入力ソー
ス５１が入力されると、以下に述べるような処理を逐次
実行することになる。

先ず、Ａｄａ言語コンパイラ２２は、人力ソース５１が
文脈節（文脈情報）５２中にｕｓｅ節５３を持つことか
ら、このｕｓｅ節５３に指定されたパッケージの集合（
ＰＩ、’Ｐ２．・・・、Ｐｎｌを認識して記憶しておく
。

次に、入力ソース５１中の識別子Ｘを参照する文５４が
出現すると、この文５４を解析するためにＡｄａ言語コ
ンパイラ２２は、ネームサーチ手段２３を起動して識別
子Ｘのネームサーチを行わせる。

ネームサーチ手段２３は起動されると、先ず、宣言サー
チ手段２４を起動する。

宣言サーチ手段２４は起動されると、第６図に示すよう
に、先ず、ｕｓｅ以外の宣言のネームサーチを行う（処
理６１）。ここで、ソース５１内にはＸの宣言がないも
のとすると、処理６２ではサーチ終了と判定されず、次
に内部のｕＳｅ簡によるパッケージ内のネームサーチを
行う（処理６３）。しかし、ソース５１内では手続きＲ
ｒｃ内にｕｓｅ節を持たないので、処理６４でもサーチ
終了と判定されない。そこで、処理６５によって文脈節
のｕｓｅ節によるパッケージのネームサーチを行う。

処理６５の詳細を示す第７図を参照すると、文脈節のｕ
ｓｅ節によるパッケージのネームサーチでは、先ず、パ
ッケージ集合が空か否かを処理７１で判定する。当初、
パッケージ集合は（Ｐｌ。

Ｐ２．・・・、Ｐｎ）であって空でないので、処理７２
に進み１つ目のパッケージＰ１を上記のパッケージ集合
から取り出す。次に、処理７３により、プログラムライ
ブラリ２７より第４図に示したパッケージＰ１の宣言情
報４２を取得し、処理７４により、その宣言情報４２中
から識別子χに対応する宣言テーブル４３を取得する。

そして、不可視情報検査手段２５を起動する（処理７５
）。なお、流れ図では図示を省略しているが、処理７４
において識別子Ｘに対応する宣言テーブル４３がなかっ
たときは直ちに処理７１に戻るものである。

不可視情報検査手段２５は起動されると、第８図に示す
ように、先ず、今回取得された識別子Ｘに対応する宣言
テーブル４３中の不可視フラグ４６がＯＮか否かを判定
するが（処理８１）、初期状態のままのＯＦＦであるの
で、処理８２に進む。

処理８２では、今までに同一の識別子Ｘに対応する他の
宣言テーブルが取得されていたならばそれらの宣言テー
ブルと比較して言語仕様により直接可視になるか否かを
チエツクするが、今の場合他に得られた宣言テーブルは
存在しないので、処理８３の判定結果は「いいえ」即ち
直接可視のままとなり、従って処理８４により不可視で
ないことが呼び出し元の宣言サーチ手段２４に返される
。

不可視でない旨が返却された宣言サーチ手段２４では、
それが第７図の処理７６で判別され、処理７７に進む。

処理７７では、今回のパッケージＰ１の宣言情報４２中
に識別子Ｘに対応する他の宣言テーブルが存在するか否
かを判定し、存在していれば処理７４に戻り、存在しな
ければ処理７１に戻る。今、他の宣言テーブルが存在し
ないものとすると、制御は処理７１に戻される。

処理７１に戻った時点のパッケージ集合は（Ｐ２、・・
・、Ｐｎｌであり、空でないので、パッケージＰ１に対
して行われたと同様の処理がパッケージＰ２に対して行
われる。そして、このパッケージＰ２に対する処理でも
不可視であることが決定されないと、パッケージ集合の
次のパッケージに対し同様の処理が行われる。今、パッ
ケージＰがらパッケージＰ　ｎ−１までに対応する宣言
情報中には識別子Ｘに対する宣言テーブルがなかったと
すると、上記と同様な処理がパッケージＰ　ｎ−１まで
繰り返され、パッケージ集合が（Ｐｎ）の状態になって
処理７１に進むことになる。

パッケージ集合が（Ｐｎ）の状態の処理７１では、宣言
サーチ手段２４は、集合が空でないと判別し、処理７２
によりパッケージＰｎをパッケージ集合から取り出す。

次に、処理７３において、プログラムライブラリ２７よ
り第４図に示したパッケージＰｎの宣言情報４２を取得
し、処理７４により、その宣言情報４２中から識別子Ｘ
に対応する宣言テーブル４５を取得する。そして、処理
７５により不可視情報検査手段２５を起動する。

不可視情報検査手段２５は起動されると、第８図に示す
ように、今回取得された識別子Ｘに対応する宣言テーブ
ル４５中の不可視フラグ４７がＯＮか否かを判定するが
（処理８１）、初期状態のままのＯＦＦであるので、処
理８２に進む。そして、この処理８２において、既に得
られた同一の識別子Ｘに対応する他の宣言テーブル４３
と現在注目している宣言テーブル４５とを比較して、言
語仕様により直接可視になるか否かをチエツクする。こ
のとき、宣言テーブル４３は列挙リテラル仕様でもなく
サブプログラム宣言でもないことを示し、且つ宣言テー
ブル４５は列挙リテラル仕様であることを示しており、
言語仕様により直接可視にならないパターンであるので
、処理８５に進み、不可視であることが呼び出し元の宣
言サーチ手段２４に返される。

不可視である旨が返却された宣言サーチ手段２４では、
それが第７図の処理７６で判別され、処理７８に進み、
不可視情報登録手段２６を起動する。

不可視情報登録手段２６は起動されると、第９図に示す
処理９１を行うことにより、プログラムライブラリ２７
に格納されている各パッケージの宣言情報４２．４４に
含まれる識別子Ｘに対応する宣言テーブル４３の不可視
フラグ４６と宣言テーブル４５の不可視フラグ４７とを
ＯＮ状態にする。

以上により、第５図の入力ソース５１の文５４に現れた
識別子Ｘの文脈節のｕｓｅ節によるパッケージのネーム
サーチが終了し、その結果は空つまり直接可視でないと
判定される。

次に、第２図のＡｄａ言語コンパイラ２２が第５図の入
力ソース５１内の文５５を解析する為に識別子Ｘのネー
ムサーチを行う場合の動作を説明する。この場合、第６
図の処理６１〜処理６５第７図の処理７１〜処理７５．
第８図の処理８１までは前述と同様に進む。そして処理
８１において、不可視情報検査手段２５によりパッケー
ジ集合の最初のパッケージＰ１の宣言情報４２の識別子
Ｘに対応する宣言テーブル４３の不可視フラグ４６がＯ
Ｎであることが判別され、処理８５により不可視である
旨が宣言サーチ手段２４に返却されることになる。この
結果、識別子χの文脈節のｕｓｅ節によるパンケージの
ネームサーチ結果が空と判定されることになる。

〔発明の効果〕

以上説明したように、本発明のＡｄａ言語コンパイラの
ネームサーチ方式においては、文脈節のｕｓｅ節で指定
されたパッケージ内の宣言が直接可視にならない場合、
その宣言に対応する識別子のネームサーチが最初に行わ
れて直接可視にならないことが判明した時点で、不可視
情報ベース中に宣言が不可視である旨の不可視情報が登
録されるので、２度目以後の同一識別子のネームサーチ
においては、１つの宣言をサーチした時点で不可視情報
検査手段によって直ちに不可視であることが判定でき、
ネームサーチを高速化することができる。このため、Ａ
ｄａ言語コンパイラの性能を向上することができる効果
がある。

【図面の簡単な説明】

第１図は本発明の構成図、 第２図は本発明の実施例の構成図、 第３図はパッケージの仕様を含む入力ソース例を示す回
、 第４図はプログラムライブラリの内容例を示す図、 第５図はｕｓｅ節を含む文脈節、ｍ割子Ｘを含む文等を
有する入力ソース例を示す図、第６図は宣言サーチ手段
の処理例の流れ図、第７図は処理６５で行われる文脈節
のｕｓｅ節によるパッケージのネームサーチの詳細を示
す流れ図、 第８図は不可視情報検査手段の処理例の流れ図および、 第９図は不可視情報登録手段の処理例の流れ図である。 図において、 １．２２・・・Ａｄａ言語コンパイラ ２．２３・・・ネームサーチ手段 ３．２４・・・宣言サーチ手段 ４．２５・・・不可視情報検査手段 ５．２６・・・不可視情報登録手段 ６・・・不可視情報ヘース ７・・・不可視情報 ２１．３１．５１・・・入力ソース ２７・・・プログラムライブラリ ３２・・・パッケージＰ１の仕様 ３３．３５・・・識別子χの宣言 ３４・・・パッケージＰｎの仕様 ４２・・・パッケージＰ１の宣言情報 ４３．４５・・・識別子Ｘの宣言テーブル４４・・・パ
ッケージＰｎの宣言情報 ４６．４７・・・不可視フラグ ５２・・・文脈節 ５３・・・ｕｓｅ節 ５４．５５・・・識別子Ｘを含む文

Claims (1)

1. 【特許請求の範囲】 Ａｄａ言語コンパイラのネームサーチ方式において、 Ａｄａ言語によって記述されたプログラムのコンパイル
   単位が文脈節を持ち、その文脈節中にｕｓｅ節を含むと
   きに、そのｕｓｅ節に指定されたパッケージ内で宣言さ
   れた識別子をプログラムで参照した場合に、その識別子
   に対する不可視情報が不可視情報ベースに存在するか否
   かを検査する不可視情報検査手段と、不可視情報がなく
   且つ宣言サーチの結果不可視であることが判明した場合
   に、その識別子に対する不可視情報を前記不可視情報ベ
   ースに登録する不可視情報登録手段とを有することを特
   徴とするＡｄａ言語コンパイラのネームサーチ方式。