JPH03186933A - 言語処理システムのシンボル処理方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は、言語処理システムのシンボル処理方式に関し
、特にソース・プロクラムが分割された言語処理方式で
、プロクラム内で使用されていて未定義であるシンボル
の処理方式に関する。

〔従来の技術〕

般に、プログラム言語で記述されたソース・プログラム
で使用されているデータやアドレス等のオブジェクトは
、プログラムに直接その値を記述しないで、任意の文字
列にそのオブジェクトを割り付ける。この文字列はシン
ボルと呼ばれそのオブジェクトの持つ意味等を表現した
場合が多い。

シンボルをソース・プロクラム中に記述すると、言語処
理時にそのシンボルに対応するオブジェクトに変換され
て解釈される。シンボルに値を割り付けることをシンボ
ル定義、シンボルに割り付けられた値を引用することを
シンボルの参照と呼ぶ。

このシンボル参照機能のために、コンパイルに使用され
るコンピュータ内部の記憶装置内に、ソス・プログラム
の記憶領域とは別の領域をシンボル記憶領域として確保
する必要がある。

一つのソース・プログラムを複数のソース・モジュール
・ファイルに分割して、別々に処理し、最後にモジュー
ル間でアドレス等のオブジェクトを引き渡し、最終的な
オブジェクト・コードを生成するリンク処理を有する言
語処理システムにおいて、一つのソース・モジュールの
処理時にコンピュータ内部の記憶装置に作成されるシン
ボル領域は、そのソース・モジュール処理後、記憶装置
より消去される。この処理方式では、一つのソース・プ
ログラムを分割しないで処理する場合と比較して、記憶
領域が少なくて済むという長所がある。また、ソース・
プログラムを複数のソース・モジュールに分割して、複
数の人間により作成される場合、一つのソース・モジュ
ール内で定義されているシンボルと同じシンボル名が他
のソース・モジュール内で異なる値を割り付けて使用さ
れていても二重定義エラーにはならない。

この処理方式において、他のソース・モジュルで定義さ
れたシンボルを参照したい場合は、外部モジー−ル定義
シンボルの参照宣言をする必要がある。また、そのシン
ボルを定義している側でも、外部モジュールで使用され
ることを宣言する。

前者をＥＸＴＲＥＮＸＴＲ上るＥＸＴＲＥＮＸＴＲ用、
後者をＰＵＢＬＩＣ宣言によるＰＵＢＬＩＣシンボルと
呼ぶ。

ＰＵＢＬＩＣシンボルは、一つのソース・モジュールの
処理が終了しても消去されないように、前記のシンボル
記憶領域とは別の領域を確保する必要がある。このシン
ボル処理方式によｒ）、使用されるコンピュータ内部の
記憶領域は、最小で済むことが期待される。

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

従来のシンボル処理方式では、外部のソース・モジュー
ルで定義されたシンボルを使用する場合、シンボルを定
義する側のソース・モジュールでＰＵＢＬＩＣ宣言、シ
ンボルを参照する側のソース・モジュールでＥＸＴＥＲ
Ｎ宣言をしなければならない。一般にシングル・チップ
・マイコンのプログラミング形式において、ソース・プ
ログラムで使用されるマイコンの資源は、ソース・プロ
グラムの先頭でシンボル定義され、かつ、ＰＵＢＬＩＣ
宣言され、それらのシンボルを各々のソース・モジュル
でＥＸＴＥＲＮ宣言して、使用するという慣習がある。

この場合、１つのソース・モジュール内で使用しようと
するＥＸＴＥＲＮシンボルの数は多いため、ＥＸＴＥＲ
Ｎ宣言に手間がかかるという問題がある。また、この手
間を解消するために、シンボル定義のみを記述したファ
イルを各々のソース・モジュールの先頭にコピーすると
いう手段がとられることがよくあるが、この方法ではソ
ース・モジュール内で参照されないシンボルも定義され
てしまうため、前記のシンボル記憶領域が大きくなって
しまうという問題がある。また、この場合、使用してい
ないシンボル名を別のシンボルとして定義することがで
きない。

また、ＥＸＴＥＲＮ宣言する前に、そのソース・モジュ
ールを処理しソース・モジュール内で定義されていない
シンボルを未定義シンボルエラーとして検出し、その未
定義シンボル・エラーのシンボル− を見てＥＸＴＥＲＮ宣言文を記述する方法もとられるが
、未定義シンボル・エラーと、その他のエラーが混在し
てファイルに出力されるため、ＥＸＴＥＲＮ宣言文は新
たにエデイツトし直さなければならない。

Ｃ課題を解決するための手段〕 本発明は、ソース・モジュール内で使用されているが未
定義であるシンボルのみを検出し、外部記憶装置内の１
つのファイルに出力することを特徴としている。

すなわち、本発明のシンボル処理方式は、ソース・モジ
ュール内で定義されているシンボルの名前を記憶する定
義シンボル記憶手段と、ソース・モジュール内で参照さ
れているシンボルを記憶する参照シンボル記憶手段と、
この参照シンボル記憶手段に記憶されたシンボルが定義
シンボルとして存在しない場合外部記憶装置内の一つの
ファイルに出力するという手段とを有する。このファイ
ルは未定義シンボル専用でなければならない。

〔実施例〕

次に、本発明について図面を参照して説明する。

− 本実施例では言語処理システムとして、特にアセンブラ
を例にして説明するものである。

第１図は、本発明の一実施例であるアセンブラの動作、
環境を示す構成図である。１０１は、アセンブラ・プロ
グラムとソース・プログラムを記憶するための磁気ディ
スクで構成されている補助記憶装置、１０２は補助記憶
装置１０１に記憶されたプログラムを処理するための中
央処理装置。

１０３は処理に使用される主記憶装置、１０４は中央処
理装置１０２の実行を制御するオペｌ／　−ティング・
システム、１０５はオペレーティング・システム１０４
にコマンドを入力するためのキーボード、１０６は処理
結果を表示するためのデイスプレィである。

第２図は、第１図の主記憶装置１０３に記憶された定義
シンボル・テーブル、第３図は第１図の主記憶装置１０
３に記憶された参照シンボル・テーブルである。第２図
のブ□ツク２０１は、シンボル名を記憶する領域で８バ
イトが確保される。

ブロック２０２は、シンボルの型を記憶する領域である
。ＥＸＴＥＲＮ宣言文にシンボルの型を記述する場合、
記憶する必要がある。ブロック２０３はシンボルに割り
付けられた数値を記憶するための領域で１６ビツト長が
確保される。第３図のブロック３０１はシンボル名の記
憶領域、ブロック３０２はシンボルの型を記憶する領域
である。

次に第２図、第３図の記憶処理形式を第４図のソース・
プログラムを用いて説明する。第４図の４０１は、ソー
ス・プログラムのプログラム行番号を示している。行番
号４０１の次の４０２゜４０３．４０４には、実際のプ
ログラム文が記述されている。プログラム文の第一項４
０２はＳＹＭＢＯＬ欄であり、シンボル名が記述される
。第二項４０３はＭＮＥＭＯＮＩＣ欄であり、命令やア
センブル疑似命令が記述される。第三項４０３は、０Ｐ
ＥＲＡＮＤ欄であり、４０２の命令、疑似命令の目的と
なる数値や式が記述される。

行番号５０で示されている行４０５の第二項に記述され
ているＥＱＵ’は、シンボル名を定義するための疑似命
令であり、アセンブラは処理中に行４０５を読み込むと
、まず第２図のブロック２０１に第一項のシンボル名’
ＳＹＭＩ’を記憶する。次に、第三項の数値をブロック
２０３に’ＥＱＵ’命令で定義されるシンボルの型をブ
ロック２０２に記憶する。

行番号８０で示されている行４０６では、第二項に記述
されている命令のオペランドとして’ＳＹＭＩ’が記述
されているので第３図のブロック３０１にシンボル名’
ＳＹＭＩ’　、ブロック３０２に型を記憶する。型は、
命令により決定可能である。

次に、第１図、第２図〜第４図の動作処理を、第５図、
第６図のフロー図を用いて説明する。

第５図は、本実施例の定義シンボル・テーブル及び参照
シンボル・テーブルの作成する動作処理を示すフロー図
である。この処理に先立って、まず磁気ディスク１０１
に格納されている言語処理プログラムを、主記憶装置１
０３にロードする。

次に磁気ディスク１０１に格納されているソース・プロ
グラムのファイル名を指定すると言語処理プログラムは
、ソース・プログラム・ファイルをオープンして言語処
理を開始する。第５図、第６図によりこの言語処理の中
で、本発明に関連した処理のみだけを説明する。

まず、第５図の処理１のステップ５０１で開いたソース
・プログラムがファイルの最後までいったことを示すＥ
ＯＦコードであるかを確認する。

ＥＯＦであると判断すると、処理１を終了して第６図の
処理２に移行する。ＥＯＦでなければ、ステップ５０２
で一文を主記憶装置１０３に内に読み込む。次にステッ
プ５０３で読み込まれた一文中のシンボルの有無を確認
する。シンボルがある場合は、それがシンボル定義文か
をステップ５０４で判断し、定義文であればステップ５
０５で第２図の定義シンボル・テーブルに登録する。取
り出した一文が参照文であればステップ５０６で、主記
憶装置１０３内の参照シンボル・テーブル３０１に同じ
シンボル名があるかを探索する。ない場合は、ステップ
５０７で参照シンボル・テーブルに登録する。この処理
をソース・プログラムの終了０ まで繰りかえす。

次に第６図により、未定義シンボル・テーブルを作成す
る処理２の動作を説明する。ステップ６０１．６０２で
、第５図の処理１により作成された定義シンボル・テー
ブル・ファイルと参照シンボル・テーブル・ファイルを
オープンする。ステップ６０３で参照シンボル・テーブ
ルがＥＯＦかを判断する。ＥＯＦであれば処理２は完了
である。ＥＯＦでなければステップ６０５で参照シンボ
ルを取り出す。次に取り出した参照シンボルが定義シン
ボル・テーブルにあるかを比較する処理に移る。ステッ
プ６０５では、定義シンボル・テーブルがＥＯＦかを判
断する。ＥＯＦであれば、比較するシンボルがないとし
て、取り出した参照シンボルを第７図の未定義シンボル
・ファイルに登録する。ＥＯＦでなければステップ６０
６で定義シンボルを１つとり出し、ステップ６０７で参
照シンボル名と比較する。同一でなければ、６０５に戻
り次の定義シンボルを１つとり出し、同様に比較を続け
る。同一であれば、そのシンボルは定義されていると判
断し、ステップ８０３に戻る。

第７図は未定義シンボル・ファイルの例である。

この例では、未定義シンボルをＥＸＴＲＮ宜言文内に記
述した形で出力したものである。

第８図は、本発明の他の実施例のシンボル・テーブルを
表したブロック図、第９図は本実施例の動作を表したフ
ロー図である。本実施例では、第１図の構成図を元に、
ソース・プログラム内て使用されたシンボルを１つのシ
ンボル・テーブルに出力し、そのシンボルが定義された
か参照されたかをフラグで記憶することにより、本発明
を実現している。

第８図は本実施例のシンボル・テーブルで前実施例と同
様、主記憶装置１０３内に作成される。

ブロック８０１はシンボル名を記憶する領域で８バイト
が確保される。ブロック８０２は、シンボルのオブジェ
クトを記憶する領域２フロツム８０３は定義フラグであ
り、ソース・プログラム内でシンボルが定義されていた
ら１を立てる。ブロック８０４は参照フラグであり、ソ
ース・プログラム内でシンボルが参照されていたら１を
立てる。ブロック８０５は、シンボルの型を記憶する領
域である。

次に、第９図を用いて、本実施例の動作を説明する。

ステップ９０１で、ソース・ファイルがＥＯＦかを判断
する。ＥＯＦであれば、処理ｌを終了して、処理２に移
行する。ＥＯＦでなければステップ９０２で一文を主記
憶装置１０３に読み込む。

次に、ステップ９０３で読み込まれた一文中のシンボル
の有無を解析する。シンボルがある場合は、ステップ９
０４で主記憶装置１０３内に作成されたシンボル・テー
ブル内に同じ名前があるかを探索する。なければステッ
プ９０５でシンボル・テーブル８０１に名前を登録する
。次にステップ９０６で、とり出した文がシンボル定義
文かを判断する。定義文であるかどうかは、第４図で説
明したように定義文である事を示す文字列の存在の有無
で判断する。定義文である場合、ステップ９０７で定義
フラグに１を立てる。定義文でない３− 場合、ステップ９０８で参照フラグが０かを見て、０で
あればステップ９０９で参照フラグに１を立てる。この
処理を文の終了まで繰り返しシンボル・テーブルを作成
する。

次の、このシンボル・テーブルより未定義シンボル・フ
ァイルを作成する。未定義シンボルは、シンボル・テー
ブルの定義フラグがＯで、参照フラグがｌのシンボルで
あるのでそれらのシンボルを検出し、前の実施例と同様
に新しいファイルを作成する。

〔発明の効果〕

以上説明したように本発明は、ソース・モジュール内で
未定義であるシンボルだけを列挙したファイルを生皮す
ることにより、ソース・モジュール作成時に記述しなけ
ればならない、外部モジュール定義シンボルの参照宣言
文を簡単に作成できるという効果を有する。

４、

【図面の簡単な説明】

第１図は本発明の一実施例の動作環境を表す構承４− 成因、第２図および第３図は、第１図の１０３内の領域
のシンボル・チーフルでそれぞれ定義シンボル・テーブ
ルおよび参照シンボル・テーブル図、第４図はソース・
プログラム例を示したブロック図、第５図、第６図は第
１図の実施例の処理１゜２の動作を示すフロー図、第７
図は第１図の１０１に出力された未定義シンボル・ファ
イル、第８図は本発明の他の実施例のシンボル・テーブ
ル、第９図は他の実施例の動作を示すフロー図である。 １０１・・・・・・補助記憶装置、１０２・・・・・・
中央演算処理装置、１０３・・・・・・主記憶装置、１
０４・・・・・・オペレーティング・システム、１０５
・・・・・・キーボード、１０６・・・・・・デイスプ
レィ。

Claims (1)

【特許請求の範囲】
1. プログラム言語で記述されたソース・プログラムを機械
   語に変換する言語処理システムにおいて、該ソース・プ
   ログラム内で定義されたシンボルを記憶する第一の記憶
   手段と、該シンボルが該ソース・プログラム内でシンボ
   ル定義文以外で使用されたことを記憶する第二の記憶手
   段と、前記第一の記憶手段により記憶されたシンボルと
   前記第二の記憶手段により記憶されたシンボルを比較す
   る手段で、この比較手段により前記第二の記憶手段に記
   憶されたシンボルであって前記第一の記憶手段にないシ
   ンボルのみを外部記憶装置内のファイルに出力する手段
   とを具備することを特徴とする言語処理システムのシン
   ボル処理方式。