JP2807162B2

JP2807162B2 - プログラム翻訳装置

Info

Publication number: JP2807162B2
Application number: JP5337141A
Authority: JP
Inventors: 浩有田; 正彦藤本
Original assignee: Denso Ten Ltd
Current assignee: Denso Ten Ltd
Priority date: 1993-12-28
Filing date: 1993-12-28
Publication date: 1998-10-08
Anticipated expiration: 2013-10-08
Also published as: JPH07200309A

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、ソースプログラムを複
数に分割して作成し、作成されたソースプログラムの翻
訳を行うプログラム翻訳装置に関する。

【０００２】

【従来の技術】従来から、コンピュータプログラム作成
の際には、作成すべきプログラムを複数のモジュールに
分割して作成することが多い。複数のプログラム作成者
が分担して作業したり、プログラムの修正や点検を容易
にするためである。近年、広く用いられているプログラ
ム言語の１つであるＣ言語では、プログラムを分割して
作成することを支援するために、１つの関数中で使用す
る変数などは一般に局所的な自動変数として解釈され、
他の関数中で同一名称の変数があても、それぞれ独立し
て取扱われる。これらの自動変数は、たとえばスタック
領域にいわば動的に割当てられ、その変数を定義してい
る関数が呼出されているときにしか変数のストア内容で
あるデータは確定していない。関数の呼出しにかかわり
なく、データを常に保持するための変数は静的変数とも
呼ばれ、特定のメモリアドレスに割当てられる。これら
の静的変数の中でも、他のファイルから使用される変数
は、外部参照可能な変数として取扱われる。

【０００３】図６は、複数のファイル１，２，３，にソ
ースプログラムを分割し、それぞれのファイル１，２，
３中で外部参照可能な変数「ｒａｍ１」，「ｒａｍ
２」，「ｒａｍ３」，「ｒａｍ４」の少なくとも一部を
定義している場合を示す。なお各変数の型は、たとえば
整数型を表す「ｉｎｔ」であるとする。各ファイル１〜
３にはこのような外部参照可能な変数の定義ばかりでは
なく、１または複数の関数定義なども含み得る。各ファ
イル１〜３をそれぞれ別個にコンパイルすると、文法的
なエラーなどが他になければコンパイル自体は成功し、
オブジェクトプログラムがそれぞれ得らる。全体として
１つのプログラムを作成するためには、それぞれのファ
イル１〜３から得られたオブジェクトプログラムをリン
クする必要がある。オブジェクトプログラムには外部定
義変数を参照するための変数名や相対アドレスなどの情
報も含まれる。図６に示す場合、たとえば「ｒａｍ１」
および「ｒａｍ２」はファイル１およびファイル２で重
複して定義されている。「ｒａｍ３」および「ｒａｍ
４」についても重複して定義されている。このためオブ
ジェクトプログラムをリンクして１つのプログラムにま
とめる際に多重定義のエラーになる。

【０００４】図７は、Ｃ言語に備えられている分割プロ
グラムを支援する機能であるヘッダファイルのインクル
ードのためのプリプロセッサ制御行を利用する例を示
す。ソースプログラムは、たとえば「ｍａｉｎ．ｃ」、
「ｓｕｂ１．ｃ」および「ｓｕｂ２．ｃ」の３つのファ
イルに分割される場合を想定する。外部参照可能な変数
の多重定義を避けるために、変数は「ｒａｍ．ｈ」とい
うヘッダファイルにまとめられて宣言され定義される。
「ｍａｉｎ．ｃ」ではこの「ｒａｍ．ｈ」を「＃ｉｎｃ
ｌｕｄｅ」というプリプロセッサ制御行による命令で取
込む。他のファイルである「ｓｕｂ１．ｃ」および「ｓ
ｕｂ２．ｃ」で同様に「ｒａｍ．ｈ」取込むと多重定義
となるので、外部定義ファイルである「ｒａｍ＿ｅｘ
ｔ．ｈ」を別に作成して取込むようにする。すなわち、
で示すようにＲＡＭ宣言が２箇所必要である。制御用
プログラムでは、直接機械語でプログラムを作成する部
分も必要となることがある。そのために、たとえば「ｉ
ｎｉｔ．ａｓｍ」などのアセンブラプログラムも必要と
なる。アセンブラプログラムは、アセンブラによって機
械語に翻訳される。Ｃ言語で作成されたプログラムと、
アセンブラ言語で作成されたプログラムとを結合するた
めには、Ｃ言語プログラム中で記述された変数をアセン
ブラプログラムからも参照可能とする必要がある。すな
わち、で示すようにアセンブラでも再宣言が必要であ
る。またで示すように、たとえば「ｉｎｉｔ．ａｓ
ｍ」中で使用される変数「ａ」について「パブリック
（ｐｕｂｌｉｃ）」の宣言が必要となる。

【０００５】

【発明が解決しようとする課題】前述のように、ヘッダ
ファイルのインクルード機能を用いて外部参照可能な変
数を定義する場合であっても、図７ので示すように、
ファイルによりインクルードするモジュールが異なる。
このため、図８に示すように、定義用のヘッダファイル
５と外部定義用の外部ヘッダファイル６との２つを作成
する必要がある。たとえば、「ｒａｍ４」の型を「ｉｎ
ｔ」から文字型である「ｃｈａｒ」に変更するとき、外
部ヘッダファイル６についての修正を忘れるようなこと
が多い。このような修正のし忘れがあっても、分割コン
パイルにおいて各ソースファイルのコンパイルは成功す
る。リンクにおいても、見かけ上成功する場合もある。
しかしながら、変数「ｒａｍ４」についての型が異なる
ので翻訳されたプログラムが誤動作しやすくなり、バグ
発生の要因となりやすい。また１つの変数についての修
正であっても複数のファイルを確実に修正しなければな
らないので、プログラム作成者にとっての負担が大き
い。

【０００６】本発明の目的は、１つのファイルの修正だ
けで変数定義についての必要な修正が可能で、プログラ
ム作成者の負担が少なく、信頼性の高いプログラムを作
成することができるプログラム翻訳装置を提供すること
である。

【０００７】

【課題を解決するための手段】本発明は、ソースプログ
ラムが記述される複数のプログラムファイル中で共通に
使用される変数を定義する定義用ファイル、または参照
する変数が他のプログラムファイル中で定義されること
を表す外部定義ファイルを、各プログラムファイルの翻
訳時に併せて読込むプログラム翻訳装置において、定義
用ファイルを読込み、変数を定義するための記述を、変
数を参照するための記述に変換して外部定義ファイルを
自動発生するファイル発生手段を含むことを特徴とする
プログラム翻訳装置である。

【０００８】

【作用】本発明に従えば、ソースプログラムは複数のプ
ログラムファイルで記述される。複数のプログラムファ
イル中で共通に使用される変数は定義用ファイルで定義
される。参照する変数が他のプログラムファイル中で定
義されることは外部定義ファイルによって定義される。
外部定義ファイルは、ファイル発生手段が定義用ファイ
ルを読込み、変数を定義するための記述を、変数を参照
するための記述に変換して自動生成する。プログラム翻
訳装置は、各プログラムファイルの翻訳時に併せて、定
義用ファイルまたは外部定義ファイルを読込む。外部定
義ファイルは定義用ファイルから自動生成されているの
で、定義用ファイルの内容に変更があっても自動的に修
正される。このためプログラム作成者の負担が小さく、
作成されるプログラムにも多重定義や型の不一致などに
よるバグの発生要因がなくなり、信頼性の高いプログラ
ムを得ることができる。

【０００９】

【実施例】図１は、本発明の一実施例の簡略化した構成
を示す。ヘッダファイル１０は、たとえば５つの変数
「ｒａｍ１」〜「ｒａｍ５」を整数型である「ｉｎｔ」
として定義するヘッダファイルである。このヘッダファ
イル１０の各行の先頭に「ｅｘｔｅｒｎ」を付加して、
外部ヘッダファイル１１が作成される。ヘッダファイル
１０は、１つのファイル２０のプリプロセッサ制御行に
よる命令「＃ｉｎｃｌｕｄｅ ”ヘッダファイル”」に
従ってファイル２０中へ取込まれる。外部ヘッダファイ
ル１１は、複数のファイル２１，２２，２３中のプリプ
ロセッサ制御行による命令「＃ｉｎｃｌｕｄｅ ”外部
ヘッダファイル”」に従って取込まれる。翻訳装置３０
は、ヘッダファイル１０から外部ヘッダファイル１１を
自動発生させるファイル発生手段３１と、ファイル２０
〜２３をそれぞれ読込み、インクルードを表すプリプロ
セッサ命令を実行するときにヘッダファイル１０または
外部ヘッダファイル１１を取込むコンパイラ手段３２を
含む。コンパイラ手段３２は、各ファイル２０〜２３を
それぞれ個別的にコンパイルし、オブジェクトファイル
４０を生成する。各オブジェクトファイル４０は、リン
カによって結合され、１つの全体的なプログラムとして
まとめられる。

【００１０】リンカによってオブジェクトファイル４０
を結合するリンクの際には、アセンブリ言語で記述され
たアセンブラのソースファイルをアセンブルしたオブジ
ェクトファイルも使用可能である。ファイル発生手段３
１は、ヘッダファイル１０から外部ヘッダファイル１１
を自動発生する際に、アセンブラのソースファイルにつ
いても外部参照用の記述を自動的に追加するようにする
こともできる。

【００１１】図２は、図１の実施例のファイル発生手段
３１の動作を示す。ステップｃ１で動作を開始し、ステ
ップｃ２ではヘッダファイル１０をオープンし、１行ず
つの読込みが可能な状態とする。次にステップｃ３でヘ
ッダファイル１０に記述されているプログラムを１行ず
つ読込む。ステップｃ４では、その読込まれた行が変数
定義をしているか否かを判断する。変数定義をしている
ときには、ステップｃ５で行の先頭に「ｅｘｔｅｒｎ」
を付加し、外部ヘッダファイル１１として別のファイル
に書込む。ステップｃ５が終了した後、あるいはステッ
プｃ４で変数定義していないと判断されるときには、ス
テップｃ６に移る。ステップｃ６では、読込んだプログ
ラムの行が最終行であるか否かを判断する。最終行でな
いと判断されるときにはステップｃ３に戻る。最終行と
判断されるときはステップｃ７で処理を終了する。この
ようなファイル発生手段３１やコンパイラ手段３２は、
ワークステーションやパーソナルコンピュータなどのコ
ンピュータ装置上で動作するソフトウェアとして実現さ
れる。

【００１２】図３は、本発明の他の実施例において達成
される翻訳の考え方を示す。本実施例では、変数定義用
のヘッダファイルをプログラムファイルと同等に取扱
う。この定義用ファイル「ｒａｍ．ｃ」から、で示す
ように、ファイル発生手段３１は外部ヘッダファイルで
ある「ｒａｍ＿ｅｘｔ．ｈ」を自動発生させる。コンパ
イラ手段３２は、「ｒａｍ．ｃ」、「ｍａｉｎ．ｃ」、
「ｓｕｂ１．ｃ」および「ｓｕｂ２．ｃ」をコンパイル
する。この際に、に示すように、アセンブラ言語のソ
ースファイル「ｉｎｉｔ．ａｓｍ」があれば、「ｒａ
ｍ．ｃ」のコンパイル時に変数の再宣言を自動的に付加
する。またその宣言が外部定義であることを表すパブリ
ック宣言もで示すように付加されるので、「ｉｎｉ
ｔ．ａｓｍ」自体に記述することは不要である。ソース
プログラムが記述されたプログラムファイル「ｍａｉ
ｎ．ｃ」、「ｓｕｂ１．ｃ」および「ｓｕｂ２．ｃ」で
は、それぞれ同一の外部ヘッダファイル「ｒａｍ＿ｅｘ
ｔ．ｈ」を取込むプリプロセッサ命令を記述すればよ
く、で示すようにインクルードするモジュールは同じ
となる。

【００１３】図４および図５は、図３に示す「ｒａｍ．
ｃ」および「ｒａｍ＿ｅｘｔ．ｈ」の例を示す。「ｒａ
ｍ．ｃ」には、たとえばビット定義部５０、構造体定義
部６０、プリプロセッサ用定義部７０および変数定義部
８０が含まれる。ビット定義部５０内には構造体の形式
でビットフィールドの定義内容５１が記述される。構造
体定義部６０には、構造体「ｓｔｒｕｃｔ」の１つの型
として「ｗｏｒｄｆ」を宣言する構造体宣言６１と、共
用体の１つの型「ｂｙｔｅｆ」を宣言する共用体宣言６
２が含まれる。プリプロセッサ用定義部７０には、他の
モジュールで定義される内容を参考用に表す参考用コメ
ント７１と、実際に定数定義用のプリプロセッサ制御行
による命令「＃ｄｅｆｉｎｅ」で定義される定数「ＢＹ
ＴＥ」および「ＷＯＲＤ」の定義内容を表す定数定義７
２とが含まれる。

【００１４】変数定義部８０には、符号なし文字型変数
を定義する変数定義８１と、構造体を定義する構造体定
義８２と、構造体宣言６１で宣言された構造体を定義す
る構造体定義８３と、プリプロセッサ用の定数定義８４
と、符号なし文字型変数を定義する変数定義８５，８
６，８７と、プリプロセッサ用の定数定義８８とが含ま
れる。

【００１５】本実施例のファイル発生手段は、「ｒａ
ｍ．ｃ」に基づいて、図５に示す「ｒａｍ＿ｅｘｔ．
ｈ」を自動生成する。「ｒａｍ＿ｅｘｔ．ｈ」において
は、ビット定義部５０、構造体定義部６０およびプリプ
ロセッサ用定義部７０はそのままコピーされる。図４の
変数定義部８０は、図５では外部変数定義部９０のよう
に変換される。外部変数定義部９０内には、変数外部定
義９１、構造体変数外部定義９２，９３、定数定義９
４、変数外部定義９５，９６，９７、定数定義９８が含
まれる。このうち定数定義９４，９８は、図４の変数定
義８４，８８と同一である。他の部分の先頭には、「ｅ
ｘｔｅｒｎ」が付加される。

【００１６】本実施例では、変数定義用のファイルを
「ｒａｍ．ｃ」として、プログラムファイルと同等に取
扱い、他のプログラムファイルでは外部定義ファイルの
みをインクルードするようにして、インクルードするモ
ジュールを同一にしている。しかしながら、たとえば
「ｍａｉｎ．ｃ」で「ｒａｍ．ｃ」をインクルードする
ようにしてもよいことは勿論である。このときは、図１
の実施例と実質的に同一となる。インクルードするヘッ
ダファイルであることをより明確にするため、「ｒａ
ｍ．ｈ」のようなファイル名に変更すれば、図１の実施
例になる。

【００１７】また、そのような定義用ファイルを準備す
る段階も自動化することは可能である。複数のプログラ
ムファイルを作成したら、それぞれのプログラムファイ
ルから共通の外部変数を抽出して定義用ファイルを作成
し、自動的に外部ヘッダファイルも生成する。外部変数
を抜出した各プログラムファイルには、たとえば図２の
実施例と同様に外部ヘッダファイルをインクルードする
プリプロセッサ命令を付加する。このようにして一連の
ファイルを自動的に作成し、プログラム作成者の負担を
軽減し、バグの可能性を減少させて作成するプログラム
の信頼性を高めることができる。

【００１８】また、Ｃ言語によってプログラムを作成す
る場合について説明しているけれども、インクルード機
能を利用することができるアセンブラや他の高級言語の
プログラム翻訳装置であっても同様の効果を奏すること
は勿論である。

【００１９】

【発明の効果】以上のように本発明によれば、複数のプ
ログラムファイル中で共通に使用される変数の定義を変
更する際には、１つの定義用ファイル中の関連する記述
を変更するだけで、ファイル発生手段によって外部定義
ファイルも併せて変更されたものに修正される。したが
ってプログラム作成者の負担は小さくなり、変数の多重
定義や型の不一致などによるプログラム中のバグなどの
減少を図り、プログラムの信頼性を向上することができ
る。

【図面の簡単な説明】

【図１】本発明の一実施例の概略的な電気的構成を示す
ブロック図である。

【図２】図１の実施例の動作を示すフローチャートであ
る。

【図３】本発明の他の実施例によって実現される処理の
考え方を示すブロック図である。

【図４】図３に示す「ｒａｍ．ｃ」の内容の一例を示す
プログラムリストである。

【図５】図３の「ｒａｍ＿ｅｘｔ．ｈ」の内容の一例を
示すプログラムリストである。

【図６】従来からの分割コンパイルにおける変数の定義
状態を示す簡略化したプログラムリストである。

【図７】従来のプログラム翻訳の考え方を示すブロック
図である。

【図８】従来の考え方の問題点を示す簡略化したプログ
ラムリストである。

【符号の説明】

１０ヘッダファイル１１外部ヘッダファイル２０〜２３ファイル３０翻訳装置３１ファイル発生手段３２コンパイラ手段８０変数定義部８１，８５〜８７変数定義９０外部変数定義部９１，９５〜９７変数外部定義

───────────────────────────────────────────────────── フロントページの続き (58)調査した分野(Int.Cl.⁶，ＤＢ名) G06F 9/45 G06F 9/06 ＪＩＣＳＴファイル（ＪＯＩＳ)

Claims

(57)【特許請求の範囲】

【請求項１】ソースプログラムが記述される複数のプ
ログラムファイル中で共通に使用される変数を定義する
定義用ファイル、または参照する変数が他のプログラム
ファイル中で定義されることを表す外部定義ファイル
を、各プログラムファイルの翻訳時に併せて読込むプロ
グラム翻訳装置において、定義用ファイルを読込み、変数を定義するための記述
を、変数を参照するための記述に変換して外部定義ファ
イルを自動発生するファイル発生手段を含むことを特徴
とするプログラム翻訳装置。