JP2001154855A - プログラム変換装置 - Google Patents

Abstract

(57)【要約】 【課題】 オブジェクト指向言語で記述されたプログラ
ムにおいて、特定の場合の仮想関数呼出しを実行形式プ
ログラムに変換するときに生成される実行形式命令数が
少なくなるようなプログラム変換装置を提供する。 【解決手段】 最適化情報付加装置１００は、クラスと
仮想関数と基底クラスとを含むクラス定義と、仮想関数
を呼び出す呼出命令とを含むソースプログラムを記憶
し、他のクラスへ継承されないクラスを検出し、検出さ
れたクラスを含むクラス定義に最適化情報を付加する。
コンパイラ装置１１０は、ソースプログラムから呼出命
令を読み出し、ソースプログラムに含まれる最適化情報
を用いて、仮想関数が他のクラスにより継承されないク
ラスに属するか否かを判断し、仮想関数を直接呼び出す
実行形式命令群を生成する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、オブジェクト指向
言語で記述されたソースプログラムを実行形式プログラ
ムに変換するプログラム変換装置に関する。

【０００２】

【従来の技術】近年、ソフトウェア開発において、Ｃ＋
＋言語やＪａｖａ（Ｊａｖａは、Ｓｕｎ Ｍｉｃｒｏｓ
ｙｓｔｅｍｓ社の商標）などのオブジェクト指向言語に
よるプログラム開発が頻繁に行なわれるようになってき
ている。Ｃ＋＋言語やＪａｖａなどのオブジェクト指向
言語では、変数の集合であるデータ構造と、そのデータ
構造により表現されるデータを用いて処理を行なうルー
チンとの集合を合わせ持つクラスという概念が導入され
ている。Ｃ＋＋言語では、前者のデータ構造をデータメ
ンバ、後者のルーチンをメンバ関数と呼んでいる。

【０００３】Ｃ＋＋言語の規格に基づくクラス定義の一
例として、クラス定義を含むファイル９０１、９０２
を、図２３に示す。この図に示すように、ファイル９０
１は、クラス定義９１１、９１２を含んでおり、ファイ
ル９０２は、クラス定義９１３を含んでいる。ファイル
９０１のクラス定義９１１は、行９２０〜９２４を含ん
でいる。行９２０は、クラス定義の開始を宣言するとと
もに、クラス定義９１１のクラス名がＸであることを示
している。行９２１は、データメンバの宣言を示してお
り、クラスＸはデータメンバとしてｉｎｔ型のメンバｘ
を持つことを表している。行９２２〜９２４は、それぞ
れ、メンバ関数の宣言であり、行９２２は、クラスＸが
引数を持たず、戻り値を返さないメンバ関数ｆを有して
いることを示し、行９２３は、クラスＸが、ｉｎｔ型の
引数を持ちｉｎｔ型の戻り値を返すメンバ関数ｇを有し
ていることを示し、行９２４は、クラスＸが、ｉｎｔ型
の引数を持ち戻り値を返さないメンバ関数ｈを有してい
ることを示している。

【０００４】行９２３、９２４において、関数ｇおよび
関数ｈの宣言の先頭に記述されている「ｖｉｒｔｕａ
ｌ」は、Ｃ＋＋言語における予約語であり、この予約語
が指定されているメンバ関数は、仮想関数と呼ばれる特
殊な関数であることを意味する。図２３に示す３つのク
ラスＸ、Ｙ、Ｚの継承関係を図２４に示す。この図に示
すように、クラスＸはクラスＹによって継承され、クラ
スＹはクラスＺによって継承されている。このとき、ク
ラスＸはクラスＹの基底クラスであると言い、クラスＹ
はクラスＸの派生クラスであると言う。同様に、クラス
ＹはクラスＺの基底クラスであり、クラスＺはクラスＹ
の派生クラスであると言う。また、クラスＸはクラスＺ
によって直接継承されているわけではないが、クラスＹ
によって間接的に継承されている。このような場合、ク
ラスＸをクラスＺの間接基底クラス、クラスＺをクラス
Ｘの間接派生クラスと言う場合もある。

【０００５】Ｃ＋＋言語やＪａｖａなどの言語では、基
底クラスへのポインタに基底クラスのオブジェクトのア
ドレスを代入することにより、基底クラスへのポインタ
が、その基底クラスのオブジェクトを指すようにするこ
ともできる。また、基底クラスへのポインタに派生クラ
スのオブジェクトのアドレスを代入することにより、基
底クラスへのポインタが、派生クラスのオブジェクトを
指すようにすることもできる。例えば、クラスＸへのポ
インタが、クラスＸのオブジェクトを指すようにするこ
ともできるし、クラスＹのオブジェクトを指すようにす
ることもできるし、またクラスＺのオブジェクトを指す
ようにすることもできる。同様に、クラスＹへのポイン
タが、クラスＹのオブジェクトを指すようにすることも
できるし、またクラスＺのオブジェクトを指すようにす
ることもできる。

【０００６】図２５において、行９５１は、ポインタｐ
ｔｒ＿ｘが指し示すオブジェクトが、クラスＸ、Ｙ、又
はＺの何れかに属することを示し、行９５２は、ポイン
タｐｔｒ＿ｙが指し示すオブジェクトが、クラスＹ又は
Ｚの何れかに属することを示し、行９５３は、ポインタ
ｐｔｒ＿ｚが指し示すオブジェクトが、クラスＺに属す
ることを示している。

【０００７】このとき、そのポインタが指し示す実体で
あるオブジェクトの型に従って、呼び出される関数が実
行時に動的に決定されるような関数を仮想関数と呼ぶ。
クラスへのポインタが指す実体のオブジェクトの型によ
って、実行される関数が動的に決定される場合のコーデ
ィング例を図２６に示す。この図において、行９６１
は、クラスＸへのポインタｐｔｒ＿ｘを介して関数ｇを
呼び出すことを示しており、そのポインタｐｔｒ＿ｘが
クラスＸのオブジェクトを指すときには、クラスＸの関
数ｇを実行し、クラスＹのオブジェクトを指すときには
クラスＹの関数ｇを実行し、クラスＺのオブジェクトを
指すときにはクラスＺの関数ｇを実行する。行９６２
は、クラスＹへのポインタｐｔｒ＿ｙを介して関数ｇを
呼び出すことを示しており、そのポインタｐｔｒ＿ｙが
クラスＹのオブジェクトを指すときにはクラスＹの関数
ｇを実行し、クラスＺのオブジェクトを指すときにはク
ラスＺの関数ｇを実行する。また、行９６３は、クラス
Ｚへのポインタｐｔｒ＿ｚを介して関数ｇを呼び出すこ
とを示しており、クラスＺの関数ｇを実行する。

【０００８】派生クラスにおける仮想関数の宣言は、図
２３の行９３１、９４１に示すように、基底クラスで宣
言されている仮想関数と、同じ関数名、引数型、戻り型
で宣言する必要がある。このような特殊な関数呼び出し
を実現するため、クラスに仮想関数が宣言されている場
合は、そのクラスに対して仮想関数表を生成する。仮想
関数表にはそのクラスで宣言されている全ての仮想関数
へのアドレスが格納されている。さらに仮想関数が宣言
されているクラスのオブジェクトは、仮想関数表へのポ
インタをメンバとして保持している。仮想関数表へのポ
インタはコンパイラによって暗黙に生成される。

【０００９】仮想関数が宣言されているクラスのオブジ
ェクト及び仮想関数表の構成の一例を図２７に示す。図
２７（ａ）において、クラスＸのオブジェクト７０１
「ｏｂｊ＿ｘ」において、オブジェクト７０１「ｏｂｊ
＿ｘ」の先頭アドレス、即ち「＆ｏｂｊ＿ｘ」により示
される領域７０２には、メンバｘが格納され、その次の
アドレス「＆ｏｂｊ＿ｘ＋４」により示される領域７０
３には、クラスＸの仮想関数表へのポインタが格納され
ている。また、領域７０３に格納されているクラスＸの
仮想関数表へのポインタが示す領域７１２からは、クラ
スＸの仮想関数表７１１が存在し、クラスＸの仮想関数
表７１１の先頭アドレス、即ち「＿ｖｔｂｌ＿Ｘ」で示
される領域７１２には、クラスＸの仮想関数ｇへのアド
レスが格納されており、また、その次のアドレス「＿ｖ
ｔｂｌ＿Ｘ＋４」で示される領域７１３にはクラスＸの
仮想関数ｈへのアドレスが格納されている。

【００１０】また、図２７（ｂ）において、同様に、ク
ラスＹのオブジェクト７２１「ｏｂｊ＿ｙ」は、メンバ
ｘが格納されている領域７２２と、クラスＹの仮想関数
表へのポインタが格納されている領域７２３と、メンバ
ｙが格納されている領域７２４とから構成され、クラス
Ｙの仮想関数表７３１は、クラスＹの仮想関数ｇへのア
ドレスが格納されている領域７３２と、クラスＹの仮想
関数ｈへのアドレスが格納されている領域７３３とから
構成されている。

【００１１】さらに、図２７（ｃ）において、同様に、
クラスＺのオブジェクト７４１「ｏｂｊ＿ｚ」は、メン
バｘが格納されている領域７４２と、クラスＺの仮想関
数表へのポインタが格納されている領域７４３と、メン
バｙが格納されている領域７４４と、メンバｚが格納さ
れている領域７４５とから構成され、クラスＺの仮想関
数表７５１は、クラスＺの仮想関数ｇへのアドレスが格
納されている領域７５２と、クラスＺの仮想関数ｈへの
アドレスが格納されている領域７５３とから構成されて
いる。

【００１２】仮想関数の呼び出しは次のようにして行な
われる。まず最初にオブジェクト内の仮想関数表へのポ
インタを取得する。次に仮想関数表から、呼び出す関数
へのポインタを取得する。最後に関数へのポインタによ
って、関数の間接呼び出しを行なう。上記のような処理
を行なうことによって、クラスＸへのポインタがクラス
Ｘのオブジェクトを指している場合は、仮想関数表への
ポインタがクラスＸの仮想関数表を指しているため、ク
ラスＸの仮想関数が呼び出される。そうではなく、クラ
スＹのオブジェクトを指している場合は、仮想関数表へ
のポインタがクラスＹの仮想関数表を指しているため、
クラスＹの仮想関数が呼び出される。そうではなく、ク
ラスＺのオブジェクトを指している場合は、仮想関数表
へのポインタがクラスＺの仮想関数表を指しているた
め、クラスＺの仮想関数が呼び出される。

【００１３】図２８（ａ）に、Ｃ＋＋言語による仮想関
数の呼出しを行うソースプログラム７８１を示し、図２
８（ｂ）に、ソースプログラム７８１を基にして生成さ
れた実行形式プログラム７９１を示す。この図におい
て、行７８２は、クラスＺへのポインタｐｔｒ＿ｚを介
して関数ｇを呼び出すことを示しており、行７９２は、
オブジェクト内の仮想関数表へのポインタの取得を実行
する命令であり、行７９３は、仮想関数表から呼び出す
関数へのポインタの取得を実行する命令であり、行７９
４は、関数への引数値をセットする命令であり、行７９
５は、関数の呼出しを行なう命令である。

【００１４】一方、図２８（ａ）に示すソースプログラ
ム７８１に記述されている関数が仮想関数でないと仮定
する場合に、ソースプログラム７８１を基にして生成さ
れた実行形式プログラム７７１を図２８（ｃ）に示す。
図２８（ｃ）において、行７７２は、関数への引数値を
セットする命令であり、行７７３は、関数の呼出しを行
なう命令である。

【００１５】

【発明が解決しようとする課題】しかしながら、仮想関
数呼出しを実行形式プログラムに変換する場合、仮想関
数でない関数を呼び出す場合と比較すると、生成される
実行形式命令数が多くなるという問題点がある。このた
め、仮想関数呼出しの実行時間が遅くなることがある。

【００１６】本発明は、上記の問題点に鑑み、オブジェ
クト指向言語で記述されたプログラムにおいて、特定の
場合の仮想関数呼出しを実行形式プログラムに変換する
ときに生成される実行形式命令数が少なくなるようなプ
ログラム変換装置を提供することを目的とする。

【００１７】

【課題を解決するための手段】上記目的を達成するため
に、本発明は、オブジェクト指向言語に基づくソースプ
ログラムから１以上の実行形式命令を生成するプログラ
ム変換装置であって、複数のクラス定義と呼出命令とを
含むソースプログラムを記憶している記憶手段と、前記
呼出命令は、１個の仮想的関数を識別する関数名を含
み、各クラス定義は、クラスと、前記クラスと他のクラ
スとの継承関係と、前記関数名で識別され前記クラスに
属する仮想的関数とを定義し、前記呼出命令の実行時に
複数のクラスで定義される仮想的関数のうち１個の仮想
的関数のみが実行され、前記呼出命令に含まれる関数名
により識別される仮想的関数について、前記複数のクラ
ス定義で定義されている前記複数の仮想的関数のうちの
１個の仮想的関数のみが呼び出されると確定できるか否
かを、前記呼出命令を実行することなく前記ソースプロ
グラムを用いて、判断する判断手段と、前記判断手段に
より確定できると判断される場合に、前記１個の仮想的
関数に対応する実行形式命令群を直接呼び出す実行形式
命令を生成する生成手段とを備えることを特徴とする。

【００１８】ここで、前記ソースプログラムに含まれる
各クラス定義を用いて、前記呼出命令に含まれる関数名
により識別される仮想的関数が、他のクラスにより継承
されないクラスに属するか否かを判断することにより、
確定できるか否かを判断し、前記生成手段は、前記判断
手段により、前記呼出命令に含まれる関数名により識別
される仮想的関数が他のクラスにより継承されないクラ
スに属すると判断される場合に、前記実行形式命令を生
成するように構成してもよい。

【００１９】ここで、前記プログラム変換装置は、ソー
スプログラムから中間形式プログラムを介して実行形式
プログラムを生成し、前記記憶手段が記憶しているソー
スプログラムにおいて、各クラス定義は、クラス定義に
より定義されているクラスが他のクラスを継承する場合
に、前記他のクラスを示す基底クラスを含み、これによ
り定義されているクラスが他のクラスを継承するか否か
を示し、前記判断手段は、前記ソースプログラムに含ま
れる全てのクラス定義を読み出し、読み出したクラス定
義からクラスを抽出するクラス抽出手段と、前記ソース
プログラムに含まれる全てのクラス定義を読み出し、読
み出したクラス定義から基底クラスを抽出する継承関係
抽出手段と、前記クラス抽出手段により抽出されたクラ
スから、前記継承関係抽出手段により抽出された基底ク
ラスを除いた残りのクラスを抽出する継承関係解析手段
と、前記ソースプログラムに含まれる前記呼出命令か
ら、前記仮想的関数を呼び出す中間形式の呼出命令を生
成する中間形式生成手段と、前記生成された中間形式の
呼出命令に含まれる関数名により識別される仮想的関数
が、前記継承関係解析手段により抽出されたクラスに属
するか否かを判断する中間形式判断手段とを備え、前記
生成手段は、前記中間形式判断手段により、前記クラス
に属すると判断される場合に、前記実行形式命令を生成
するように構成してもよい。

【００２０】ここで、前記判断手段は、前記ソースプロ
グラムに含まれるクラス定義を用いて、前記呼出命令に
含まれる関数名により識別される仮想的関数の置き換え
が行われるか否かを判断することにより、確定できるか
否かを判断し、前記生成手段は、前記判断手段により置
き換えが行われないと判断される場合に、前記実行形式
命令を生成するように構成してもよい。

【００２１】ここで、前記プログラム変換装置は、前記
ソースプログラムから中間形式プログラムを介して実行
形式プログラムを生成し、前記記憶手段が記憶している
ソースプログラムにおいて、各クラス定義は、定義され
ているクラスが他のクラスを継承する場合に、前記他の
クラスを示す基底クラスを含み、これにより定義されて
いるクラスが他のクラスを継承するか否かを示し、前記
判断手段は、前記ソースプログラムに含まれる全てのク
ラス定義を読み出し、読み出したクラス定義を用いて、
置き換えの行われる仮想的関数を抽出する置換関数抽出
手段を含み、前記置換関数抽出手段は、前記ソースプロ
グラムに含まれるクラス定義を読み出し、読み出したク
ラス定義に基底クラスが含まれているか否かを判断する
読出判断部と、読み出したクラス定義に基底クラスが含
まれない場合に、前記クラス定義に含まれている仮想的
関数を、読み出したクラス定義により定義されているク
ラスに属する仮想的関数であると決定する第１決定部
と、読み出したクラス定義に基底クラスが含まれる場合
に、基底クラスに属すると決定された仮想的関数を、読
み出したクラス定義により定義されているクラスに属す
る仮想的関数であると仮に決定し、読み出した前記クラ
ス定義に含まれている仮想的関数が、前記仮に決定され
た仮想的関数と一致するか否かを判断し、一致すると判
断する場合に、仮に決定された仮想的関数の代わりに、
読み出した前記クラス定義に含まれている仮想的関数
を、読み出した前記クラス定義により定義されているク
ラスに属する仮想的関数であると決定し、前記仮に決定
された仮想的関数を置き換えの行われる仮想的関数とし
て抽出する第２決定部と、前記ソースプログラムに含ま
れる前記呼出命令から、前記仮想的関数を識別する関数
名を含む中間形式の呼出命令を生成する中間形式生成手
段と、前記生成された中間形式の呼出命令に含まれる関
数名により識別される仮想的関数が、置き換えの行われ
る仮想的関数であるか否かを判断する中間形式判断手段
とを含み、前記生成手段は、前記中間形式判断手段によ
り、置き換えの行われる仮想的関数であると判断される
場合に、前記実行形式命令を生成するように構成しても
よい。

【００２２】

【発明の実施の形態】Ｉ 第１の実施の形態 本発明に係る１つの実施の形態としてのプログラム変換
装置１２０について説明する。プログラム変換装置１２
０は、図１に示すように最適化情報付加装置１００とコ
ンパイラ装置１１０とから構成される。 １．最適化情報付加装置１００ ここでは、最適化情報付加装置１００について説明す
る。 １．１ 最適化情報付加装置１００の構成 最適化情報付加装置１００は、図２に示すように、プロ
グラム記憶部１１、入力部１２、未読ファイル集合記憶
部１３、クラス定義抽出部１４、全クラス定義集合記憶
部１５、クラス定義ファイル記憶部１６、継承関係抽出
部１７、被継承クラス集合記憶部１８、継承関係解析部
１９、終端クラス集合記憶部２０、最適化情報付加部２
１、変更ファイル集合記憶部２２、出力部２３から構成
されている。 （プログラム記憶部１１）プログラム記憶部１１は、Ｃ
＋＋言語の規格に基づいて記述されたソースプログラム
をデータとして含むファイルを記憶している。

【００２３】プログラム記憶部１１が記憶しているファ
イルの一例を図３に示す。この図に示すように、プログ
ラム記憶部１１は、ファイル２０１、２０２及び２０３
を記憶している。ファイル２０１、２０２、２０３のフ
ァイル名は、それぞれ、「ｆｉｌｅｘ．ｈ」、「ｆｉｌ
ｅｙ．ｈ」、「ｆｉｌｅｚ．ｃｃ」である。ファイル２
０１は、クラス定義２１１を含む。ファイル２０２は、
＃ｉｎｃｌｕｄｅ行２２１とクラス定義２２２とを含
む。ファイル２０３は、＃ｉｎｃｌｕｄｅ行２３１とク
ラス定義２３２と関数定義２３３とを含む。

【００２４】ここで、クラス定義は、クラスの定義の開
始を意味する「ｃｌａｓｓ」、クラス名、基底クラスの
クラス名、データメンバの定義、メンバ関数の定義など
から構成される。クラス定義の詳細については、Ｃ＋＋
言語の規格として公知であるので、詳しい説明は省略す
る。また、＃ｉｎｃｌｕｄｅ行は、＃ｉｎｃｌｕｄｅ行
の開始を意味する「＃ｉｎｃｌｕｄｅ」とファイル名と
から構成され、＃ｉｎｃｌｕｄｅ行を、前記ファイル名
の内容と置き換えることを意味する制御行である。 （入力部１２）入力部１２は、操作者による文字列の入
力を受け付け、入力を受け付けた文字列を表示する。操
作者が入力する文字列は、１個のコマンド名と少なくと
も１個のファイル名を含む。入力部１２が入力を受け付
けた文字列を表示する様子を図４に一例として示す。入
力部１２は、画面３０１に、操作者が入力した文字列３
０２「ｒｕｎ ｆｉｌｅｚ．ｃｃ」を表示する。

【００２５】入力部１２が操作者による文字列の入力を
受け付けると、入力部１２は、入力を受け付けた文字列
を分解して１個のコマンド名と少なくとも１個のファイ
ル名とを生成し、コマンド名が「ｒｕｎ」であるなら、
以下に示す入力処理を実行し、コマンド名が「ｒｕｎ」
でないなら、生成されたコマンド名に誤りがある旨の表
示をし、再度操作者による文字列の入力を待つ。図４に
示す例の場合、入力部１２は、文字列「ｒｕｎ ｆｉｌ
ｅｚ．ｃｃ」の入力を受け付け、入力を受け付けた文字
列「ｒｕｎ ｆｉｌｅｚ．ｃｃ」を分解して、コマンド
名「ｒｕｎ」と、ファイル名「ｆｉｌｅｚ．ｃｃ」とを
生成し、コマンド名が「ｒｕｎ」であるので、以下に示
す入力処理を実行する。

【００２６】ここで、操作者は、少なくとも１個のファ
イルのファイル名を入力する。前記ファイル内で定義さ
れているクラス定義が基底クラスを含む場合には、操作
者は、さらに、前記基底クラスをクラスとして定義する
クラス定義を含むファイルのファイル名も入力する。以
下、操作者は、ファイルが基底クラスを含まなくなるま
で、同様にしてファイル名を入力する。また、派生クラ
スについても同様である。

【００２７】入力部１２は、前記生成された少なくとも
１個のファイル名を有する少なくとも１個のファイルを
プログラム記憶部１１から読み出し、読み出した少なく
とも１個のファイルを同じファイル名を用いて未読ファ
イル集合記憶部１３へ書き込む。入力部１２により未読
ファイル集合記憶部１３へ書き込まれた少なくとも１個
のファイルからなる集合を、未読ファイル集合ＴＦと呼
ぶ。

【００２８】図４に示す例の場合、入力部１２は、ファ
イル名「ｆｉｌｅｚ．ｃｃ」を有するファイルをプログ
ラム記憶部１１から読み出し、読み出したファイルをそ
のファイル名を「ｆｉｌｅｚ．ｃｃ」として未読ファイ
ル集合記憶部１３へ書き込む。未読ファイル集合ＴＦ
は、ファイル名「ｆｉｌｅｚ．ｃｃ」を有するファイル
を含む。ここで、このファイル名「ｆｉｌｅｚ．ｃｃ」
を有するファイルの内容は、図３に示すファイル２０３
と同じである。

【００２９】入力部１２は、未読ファイル集合記憶部１
３に記憶されているファイルを１個ずつ順に読み出す。
ここで、読み出すファイルをｆ１とする。入力部１２
は、読み出したファイルｆ１とそのファイル名とをクラ
ス定義抽出部１４へ出力する。上記の例の場合、入力部
１２は、未読ファイル集合記憶部１３からファイル名
「ｆｉｌｅｚ．ｃｃ」を有するファイルを読み出し、読
み出したファイルとそのファイル名「ｆｉｌｅｚ．ｃ
ｃ」とをクラス定義抽出部１４へ出力する。

【００３０】入力部１２は、前記読み出したファイルｆ
１内に、＃ｉｎｃｌｕｄｅ行が含まれているかどうかを
判断し、＃ｉｎｃｌｕｄｅ行が含まれていると判断する
場合に、前記＃ｉｎｃｌｕｄｅ行を構成しているファイ
ル名を取得し、取得したファイル名と同じファイル名を
有するファイルｆ２をプログラム記憶部１１から読み出
し、読み出したファイルｆ２を同じファイル名を用いて
未読ファイル集合記憶部１３へ書き込む。

【００３１】上記の例の場合、入力部１２は、ファイル
２０３内に、＃ｉｎｃｌｕｄｅ行２３１が含まれている
と判断し、＃ｉｎｃｌｕｄｅ行２３１を構成しているフ
ァイル名「ｆｉｌｅｙ．ｈ」を取得し、「ｆｉｌｅｙ．
ｈ」と同じファイル名を有するファイルｆ２をプログラ
ム記憶部１１から読み出し、読み出したファイルｆ２を
ファイル名「ｆｉｌｅｙ．ｈ」を用いて未読ファイル集
合記憶部１３へ書き込む。

【００３２】入力部１２は、未読ファイル集合から読み
出したファイルｆ１を削除する。入力部１２は、未読フ
ァイル集合記憶部１３に記憶されている全てのファイル
の読み出しが終了するまで、前記の未読ファイル集合記
憶部１３に記憶されているファイルｆ１の読み出しと、
前記読み出したファイルｆ１内に、＃ｉｎｃｌｕｄｅ行
が含まれているかどうかの判断と、＃ｉｎｃｌｕｄｅ行
が含まれていると判断する場合に、前記＃ｉｎｃｌｕｄ
ｅ行を構成しているファイル名の取得と、取得したファ
イル名と同じファイル名を有するファイルｆ２のプログ
ラム記憶部１１からの読出しと、読み出したファイルｆ
２の未読ファイル集合記憶部１３への書込みとファイル
ｆ１の削除とを繰り返す。

【００３３】入力部１２は、未読ファイル集合記憶部１
３に記憶されている全てのファイルについて、前記の繰
り返しが終了すると、継承関係解析部１９へ動作指示を
出力する。 （未読ファイル集合記憶部１３）未読ファイル集合記憶
部１３は、入力部１２により読み出されたファイルを記
憶する。 （クラス定義抽出部１４）クラス定義抽出部１４は、入
力部１２からファイルｆ１とそのファイル名とを受け取
り、ファイルｆ１内に定義されている全てのクラス定義
を取得する。取得したクラス定義からなる集合をクラス
定義集合ＤＳＥＴと呼び、クラス定義集合ＤＳＥＴに含
まれる各クラス定義を要素Ｅと呼ぶこととする。クラス
定義抽出部１４は、クラス定義集合ＤＳＥＴを継承関係
抽出部１７へ出力する。

【００３４】上記の例の場合、図５に示すように、クラ
ス定義抽出部１４は、ファイル「ｆｉｌｅｚ．ｃｃ」内
に定義されているクラス定義２３２を取得し、取得した
クラス定義を要素Ｅとして含むクラス定義集合ＤＳＥＴ
４２０を継承関係抽出部１７へ出力する。この例におい
ては、クラス定義集合ＤＳＥＴ４２０は、１つのクラス
定義４２１のみを含んでいる。ファイルｆ１内に複数の
クラス定義が含まれていれば、クラス定義集合ＤＳＥＴ
は、複数のクラス定義を含むことになる。

【００３５】次に、クラス定義抽出部１４は、クラス定
義集合ＤＳＥＴの各要素Ｅのクラス名と、要素Ｅが定義
されている前記ファイルｆ１のファイル名との組をクラ
ス定義ファイル記憶部１６へ書き込む。上記の例の場
合、クラス定義抽出部１４は、クラス名「Ｚ」とファイ
ル名「ｆｉｌｅｚ．ｃｃ」との組をクラス定義ファイル
記憶部１６へ書き込む。

【００３６】さらに、クラス定義抽出部１４は、クラス
定義集合ＤＳＥＴの各要素Ｅが、全クラス定義集合記憶
部１５が有する全クラス定義集合ＴＳＥＴに含まれてい
るか否かを判断し、全クラス定義集合ＴＳＥＴに含まれ
ていないと判断する場合に、要素Ｅを全クラス定義集合
ＴＳＥＴに書き込む。上記の例の場合、クラス定義抽出
部１４は、クラス定義集合ＤＳＥＴに含まれる要素Ｅと
しての「Ｚ」のクラス名を有するクラス定義が、全クラ
ス定義集合記憶部１５に記憶されているか否かを判断
し、全クラス定義集合記憶部１５に記憶されていないと
判断する場合には、要素Ｅとしての「Ｚ」のクラス名を
有するクラス定義を全クラス定義集合ＴＳＥＴに書き込
む。 （全クラス定義集合記憶部１５）全クラス定義集合記憶
部１５は、全クラス定義集合ＴＳＥＴを有する。全クラ
ス定義集合ＴＳＥＴは、クラス定義を含む。

【００３７】全クラス定義集合ＴＳＥＴの一例を、図６
に示す。この図の全クラス定義集合ＴＳＥＴ４１０は、
クラス定義４１１、４１２及び４１３を含む。クラス定
義４１１、４１２及び４１３は、それぞれそのクラス名
が「Ｘ」、「Ｙ」、「Ｚ」である。 （クラス定義ファイル記憶部１６）クラス定義ファイル
記憶部１６は、クラス定義ファイルを有しており、クラ
ス定義ファイルは、クラス名とファイル名との組を含ん
でいる。

【００３８】クラス定義ファイルの一例を図７に示す。
この図に示すように、クラス定義ファイル４００は、ク
ラス名とファイル名との組４０１、４０２、４０３を含
んでいる。組４０１は、クラス名「Ｘ」とファイル名
「ｆｉｌｅｘ．ｈ」とからならなり、組４０２は、クラ
ス名「Ｙ」とファイル名「ｆｉｌｅｙ．ｈ」とからなら
なり、組４０３は、クラス名「Ｚ」とファイル名「ｆｉ
ｌｅｚ．ｃｃ」とからならなる。 （継承関係抽出部１７）継承関係抽出部１７は、クラス
定義抽出部１４からクラス定義集合ＤＳＥＴを受け取
る。

【００３９】継承関係抽出部１７は、前記受け取ったク
ラス定義集合ＤＳＥＴにクラス定義が含まれているか否
かを判断し、クラス定義が含まれていなければ、処理を
終了する。クラス定義が含まれていれば、継承関係抽出
部１７は、クラス定義集合ＤＳＥＴから１つのクラス定
義Ｃ１を取得し、クラス定義Ｃ１により定義されるクラ
スが他のクラスを継承しているか否かを判断する。

【００４０】クラス定義Ｃ１により定義されるクラスが
他のクラスを継承しているか否かの判断は、クラス定義
中に、基底クラスのクラス名が含まれているか否かを見
ることにより行う。基底クラスのクラス名が含まれてい
るときは、他のクラスを継承しており、基底クラスのク
ラス名が含まれていないときは、他のクラスを継承して
いないと判断する。

【００４１】継承関係抽出部１７が、クラス定義Ｃ１に
より定義されるクラスが他のクラスを継承していると判
断する場合は、クラス定義Ｃ１内で基底クラスとして定
義されているクラスのクラス名を被継承クラス集合記憶
部１８が有する被継承クラス集合ＩＳＥＴへ書き込む。
次に、継承関係抽出部１７は、前記受け取ったクラス定
義集合ＤＳＥＴから取得したクラス定義Ｃ１を削除す
る。

【００４２】継承関係抽出部１７は、クラス定義集合Ｄ
ＳＥＴにクラス定義が含まれなくなるまで、クラス定義
集合ＤＳＥＴから１つのクラス定義Ｃ１の取得と、クラ
ス定義Ｃ１により定義されるクラスが他のクラスを継承
しているか否かの判断と、クラス定義Ｃ１により定義さ
れるクラスが他のクラスを継承していると判断する場合
のクラス定義Ｃ１内で基底クラスとして定義されている
クラスのクラス名の被継承クラス集合ＩＳＥＴへの書込
みと、クラス定義Ｃ１の削除とを繰り返す。 （被継承クラス集合記憶部１８）被継承クラス集合記憶
部１８は、被継承クラス集合ＩＳＥＴを有している。被
継承クラス集合ＩＳＥＴは、クラス名を含んでいる。

【００４３】被継承クラス集合ＩＳＥＴの一例として、
図８に被継承クラス集合ＩＳＥＴ４３０を示す。被継承
クラス集合ＩＳＥＴ４３０は、クラス名４３１「Ｘ」を
含んでいる。 （継承関係解析部１９）継承関係解析部１９は、入力部
１２から動作指示を受け取る。

【００４４】継承関係解析部１９が入力部１２から動作
指示を受け取る時点において、全クラス定義集合記憶部
１５が有する全クラス定義集合ＴＳＥＴは、入力部１２
が入力を受け付けた全てのファイル及びこれらのファイ
ルのｉｎｃｌｕｄｅファイルに含まれる全てのクラス定
義を含んでいる。また、被継承クラス集合記憶部１８が
有する被継承クラス集合ＩＳＥＴは、入力部１２が入力
を受け付けた全てのファイル及びこれらのｉｎｃｌｕｄ
ｅファイルに含まれる全てのクラス定義のうち、他のい
ずれかのクラスにより継承されている全てのクラス定義
のクラス名を含んでいる。ここで、ファイルのｉｎｃｌ
ｕｄｅファイルは、ファイルに＃ｉｎｃｌｕｄｅ行が含
まれる場合に、前記＃ｉｎｃｌｕｄｅ行を構成するファ
イル名により示される２次ファイルである。さらに、前
記２次ファイルに＃ｉｎｃｌｕｄｅ行が含まれる場合
に、前記２次ファイルに含まれる＃ｉｎｃｌｕｄｅ行を
構成するファイル名により示される３次ファイルであ
る。以下同様である。

【００４５】継承関係解析部１９が動作指示を受け取る
と、継承関係解析部１９は、全クラス定義集合記憶部１
５が有する全クラス定義集合ＴＳＥＴに含まれている全
てのクラス定義を読み出し、被継承クラス集合記憶部１
８が有する被継承クラス集合ＩＳＥＴに含まれている全
てのクラス名を読み出す。次に、継承関係解析部１９
は、読み出した全クラス定義集合ＴＳＥＴに含まれてい
る全てのクラス定義から、読み出した被継承クラス集合
ＩＳＥＴに含まれている全てのクラス名で示されるクラ
ス定義を削除する。残ったクラス定義を終端クラス集合
ＦＳＥＴと呼ぶ。

【００４６】継承関係解析部１９は、終端クラス集合Ｆ
ＳＥＴを終端クラス集合記憶部２０へ書き込む。 （終端クラス集合記憶部２０）終端クラス集合記憶部２
０は、終端クラス集合ＦＳＥＴを記憶する。終端クラス
集合ＦＳＥＴは、クラス定義を含む。 （最適化情報付加部２１）最適化情報付加部２１は、終
端クラス集合記憶部２０が有する終端クラス集合ＦＳＥ
Ｔにクラス定義が含まれていないかどうかを判断する。
クラス定義が含まれていない場合は、処理を終了する。

【００４７】クラス定義が含まれている場合は、最適化
情報付加部２１は、終端クラス集合ＦＳＥＴから１つの
クラス定義Ｃ２を読み出し、クラス定義Ｃ２に含まれる
クラス名を取得する。次に、前記取得したクラス名に対
応するファイル名をクラス定義ファイル記憶部１６が有
するクラス定義ファイルから読み出し、読み出したファ
イル名により示されるファイルｆ３をプログラム記憶部
１１から読み出す。

【００４８】最適化情報付加部２１は、ファイルｆ３内
に記録されているクラス定義の前に最適化情報として、
文字列「＃ｐｒａｇｍａ ＿ｆｉｎａｌｃｌａｓｓ」
と、前記取得したクラス名とから構成される文字列を挿
入し、最適化情報が挿入されたファイルｆ３を、前記読
み出したファイル名と同じファイル名を用いて、変更フ
ァイル集合記憶部２２へ書き込む。

【００４９】最適化情報付加部２１は、終端クラス集合
から前記読み出したクラス定義Ｃ２を削除する。最適化
情報付加部２１は、終端クラス集合ＦＳＥＴにクラス定
義が含まれなくなるまで、クラス定義Ｃ２の読出しと、
ファイル名の読出しと、ファイルｆ３の読出しと、最適
化情報の挿入と、ファイルｆ３の変更ファイル集合記憶
部２２へ書込みと、クラス定義Ｃ２の削除とを繰り返
す。 （変更ファイル集合記憶部２２）変更ファイル集合記憶
部２２は、最適化情報が挿入されたファイルを記憶す
る。 （出力部２３）出力部２３は、変更ファイル集合記憶部
２２に記憶されている各ファイルを読み出し、読み出し
たファイルをプログラム記憶部１１に記憶されている同
じファイル名のファイルと置き換える。このとき、出力
部２３は、元々プログラム記憶部１１に記憶されている
同じファイル名のファイルを、バックアップ用のファイ
ルとして別のファイル名に変更する。

【００５０】プログラム記憶部１１に記憶されているフ
ァイルの一例を図９に示す。この図に示すように、プロ
グラム記憶部１１は、ファイル２０１、２０２ａ、２０
３ａを記憶している。ファイル２０２ａ、２０３ａは、
出力部２３により置き換えられたファイルである。ファ
イル２０２ａにおける行２２３及びファイル２０３ａに
おける行２３４が、最適化情報付加部２１により挿入さ
れた最適化情報である。

【００５１】行２２３は、「＃ｐｒａｇｍａ ＿ｆｉｎ
ａｌｃｌａｓｓ」と「Ｙ」とから構成され、行２２４
は、「＃ｐｒａｇｍａ ＿ｆｉｎａｌｃｌａｓｓ」と
「Ｚ」とから構成される。 １．２ 最適化情報付加装置１００の動作 最適化情報付加装置１００の動作について説明する。 （最適化情報付加装置１００の全体の動作）最適化情報
付加装置１００の全体の動作について、図１０に示すフ
ローチャートを用いて説明する。

【００５２】入力部１２は、操作者による文字列の入力
を受け付け、前記入力を受け付けた文字列に含まれるフ
ァイル名を有するファイルをプログラム記憶部１１から
読み出し、読み出したファイルを同じファイル名を用い
て未読ファイル集合記憶部１３へ書き込む（ステップＳ
１０１）。入力部１２は、未読ファイル集合記憶部１３
に記憶されているファイルｆ１を読み出し（ステップＳ
１０２）、入力部１２が未読ファイル集合記憶部１３の
全てのファイルの読出しを終了したならば（ステップＳ
１０３）、継承関係解析部１９は、継承関係解析処理を
実行し（ステップＳ１１２）、最適化情報付加部２１
は、最適化情報付加処理を実行し（ステップＳ１１
３）、出力部２３は、変更ファイル集合記憶部２２に記
憶されている各ファイルを読み出し、プログラム記憶部
１１に記憶されている同じファイル名のファイルを読み
出したファイルに置き換え（ステップＳ１１４）、処理
を終了する。

【００５３】入力部１２は、未読ファイル集合記憶部１
３の全てのファイルの読出しを終了していないならば
（ステップＳ１０３）、読み出したファイルｆ１とその
ファイル名とをクラス定義抽出部１４へ出力し（ステッ
プＳ１１９）、前記読み出したファイルｆ１内に、＃ｉ
ｎｃｌｕｄｅ行が含まれているかどうかを判断し、＃ｉ
ｎｃｌｕｄｅ行が含まれていると判断する場合に（ステ
ップＳ１０４）、前記＃ｉｎｃｌｕｄｅを構成するファ
イル名を取得し、取得したファイル名と同じファイル名
を有するファイルｆ２をプログラム記憶部１１から読み
出し、読み出したファイルｆ２を同じファイル名を用い
て未読ファイル集合記憶部１３へ書き込む（ステップＳ
１０５）。

【００５４】次に、クラス定義抽出部１４は、クラス定
義抽出処理を実行する（ステップＳ１０６）。継承関係
抽出部１７は、クラス定義抽出部１４からクラス定義集
合ＤＳＥＴを受け取り、クラス定義集合ＤＳＥＴにクラ
ス定義が含まれているか否かを判断し、クラス定義が含
まれていなければ（ステップＳ１０７）、未読ファイル
集合からファイルｆ１を削除し（ステップＳ１１５）、
ステップＳ１０２へ制御を戻し、未読ファイル集合の全
てのファイルの読出しが終了するまで、上記処理を繰り
返す。

【００５５】クラス定義が含まれていれば（ステップＳ
１０７）、継承関係抽出部１７は、クラス定義集合ＤＳ
ＥＴから１つのクラス定義Ｃ１を取得する（ステップＳ
１０８）。クラス定義Ｃ１により定義されるクラスが他
のクラスを継承しているか否かを判断し、クラス定義Ｃ
１により定義されるクラスが他のクラスを継承している
と判断する場合は（ステップＳ１０９）、クラス定義Ｃ
１内で基底クラスとして定義されているクラスのクラス
名を被継承クラス集合記憶部１８が有する被継承クラス
集合ＩＳＥＴへ書き込む（ステップＳ１１０）。次に、
継承関係抽出部１７は、クラス定義集合ＤＳＥＴに含ま
れるクラス定義Ｃ１を削除し（ステップＳ１１１）、制
御をステップＳ１０７へ戻し、継承関係抽出部１７は、
クラス定義集合ＤＳＥＴにクラス定義が含まれなくなる
まで、上記処理を繰り返す。 （クラス定義抽出部１４の動作）クラス定義抽出部１４
の動作について、図１１に示すフローチャートを用いて
説明する。

【００５６】クラス定義抽出部１４は、入力部１２から
ファイルｆ１とそのファイル名とを受け取り、ファイル
ｆ１内に定義されている全てのクラス定義を取得し、ク
ラス定義集合ＤＳＥＴを生成し、生成したクラス定義集
合ＤＳＥＴを継承関係抽出部１７へ出力する（ステップ
Ｓ１２１）。次に、クラス定義抽出部１４は、クラス定
義集合ＤＳＥＴの各要素Ｅのクラス名と、要素Ｅが定義
されている前記ファイルｆ１のファイル名との組をクラ
ス定義ファイル記憶部１６へ書き込む（ステップＳ１２
２）。

【００５７】さらに、クラス定義抽出部１４は、クラス
定義集合ＤＳＥＴから１つの要素Ｅを取得し（ステップ
Ｓ１２３）、取得が終了していれば（ステップＳ１２
４）、処理を終了する。取得が終了していなければ（ス
テップＳ１２４）、クラス定義抽出部１４は、要素Ｅが
全クラス定義集合ＴＳＥＴに含まれているか否かを判断
し、全クラス定義集合ＴＳＥＴに含まれていないと判断
する場合に（ステップＳ１２５）、要素Ｅを全クラス定
義集合ＴＳＥＴに書き込む（ステップＳ１２６）。次
に、制御をステップＳ１２３へ移し、要素Ｅの取得が終
了するまで、上記を繰り返す。 （継承関係解析部１９の動作）継承関係解析部１９の動
作について、図１２に示すフローチャートを用いて説明
する。

【００５８】継承関係解析部１９が動作指示を受け取る
と、継承関係解析部１９は、全クラス定義集合記憶部１
５が有する全クラス定義集合ＴＳＥＴに含まれている全
てのクラス定義を読み出し（ステップＳ１３１）、被継
承クラス集合記憶部１８が有する被継承クラス集合ＩＳ
ＥＴに含まれている全てのクラス名を読み出す（ステッ
プＳ１３２）。次に、継承関係解析部１９は、読み出し
た全クラス定義集合ＴＳＥＴに含まれている全てのクラ
ス定義から、読み出した被継承クラス集合ＩＳＥＴに含
まれている全てのクラス名で示されるクラス定義を削除
して、終端クラス集合ＦＳＥＴを生成し、生成した終端
クラス集合ＦＳＥＴを終端クラス集合記憶部２０へ書き
込む（ステップＳ１３３）。 （最適化情報付加部２１の動作）最適化情報付加部２１
の動作について、図１３に示すフローチャートを用いて
説明する。

【００５９】最適化情報付加部２１は、終端クラス集合
記憶部２０が有する終端クラス集合ＦＳＥＴにクラス定
義が含まれていないかどうかを判断し、クラス定義が含
まれていない場合は（ステップＳ１４１）、処理を終了
する。クラス定義が含まれている場合は（ステップＳ１
４１）、最適化情報付加部２１は、終端クラス集合ＦＳ
ＥＴから１つのクラス定義Ｃ２を読み出し、クラス定義
Ｃ２に含まれるクラス名を取得し（ステップＳ１４
２）、前記取得したクラス名に対応するファイル名をク
ラス定義ファイル記憶部１６が有するクラス定義ファイ
ルから読み出し（ステップＳ１４３）、読み出したファ
イル名により示されるファイルｆ３をプログラム記憶部
１１から読み出し（ステップＳ１４４）、ファイルｆ３
内のクラス定義の前の行に最適化情報を挿入し（ステッ
プＳ１４５）、最適化情報が挿入されたファイルｆ３を
変更ファイル集合記憶部２２へ書き込み（ステップＳ１
４６）、終端クラス集合の前記読み出したクラス定義Ｃ
２を削除し（ステップＳ１４７）、ステップＳ１４１へ
制御を移し、終端クラス集合ＦＳＥＴにクラス定義が含
まれなくなるまで、処理を繰り返す。 ２．コンパイラ装置１１０ ここでは、コンパイラ装置１１０について説明する。 ２．１ コンパイラ装置１１０の構成 コンパイラ装置１１０は、図１４に示すように、プログ
ラム記憶部１１、入力部３１、第１記憶部３２、構文解
析部３３、第２記憶部３４、終端クラス記憶部３５、中
間コード生成部３６、第３記憶部３７、最適化部３８、
第４記憶部３９、資源割付部４０、第５記憶部４１、コ
ード生成部４２、生成コード記憶部４３から構成され
る。 （プログラム記憶部１１）プログラム記憶部１１は、最
適化情報付加装置１００のプログラム記憶部１１と同じ
であり、Ｃ＋＋言語の規格に基づいて記述されたソース
プログラムをデータとして含むファイルを記憶してい
る。これらのファイルは、最適化情報付加装置１００に
より最適化情報が付加されているファイルを含む。 （入力部３１）入力部３１は、入力部１２と同様に、操
作者による文字列の入力を受け付け、入力を受け付けた
文字列を分解して、１個のコマンド名と少なくとも１個
のファイル名とを生成し、前記生成した少なくとも１個
のファイル名を有する少なくとも１個のファイルをプロ
グラム記憶部１１から読み出す。

【００６０】入力部３１は、読み出した少なくとも１個
のファイルに＃ｉｎｃｌｕｄｅ行が含まれているなら
ば、＃ｉｎｃｌｕｄｅ行を構成するファイル名と同じフ
ァイル名を有するファイルをプログラム記憶部１１から
読み出し、前記＃ｉｎｃｌｕｄｅ行を読み出したファイ
ルの内容と置き換える。読み出したファイル内に＃ｉｎ
ｃｌｕｄｅ行が含まれているならば、さらに置換えを行
う。＃ｉｎｃｌｕｄｅ行がファイル内に含まれなくなる
まで、前記置換えを繰り返す。

【００６１】入力部３１は、前記置換えの行われたファ
イルを含む前記少なくとも１個のファイルを第１記憶部
３２へ書き込む。一例として、ファイル名「ｆｉｌｅ
ｚ．ｃｃ」が入力部１２により生成されたならば、プロ
グラム記憶部１１からファイル「ｆｉｌｅｚ．ｃｃ」を
読み出し、ファイル「ｆｉｌｅｚ．ｃｃ」に含まれる＃
ｉｎｃｌｕｄｅ行を構成するファイル名「ｆｉｌｅｙ．
ｈ」と同じファイル名を有するファイルをプログラム記
憶部１１から読み出し、前記＃ｉｎｃｌｕｄｅ行を読み
出したファイルの内容に置き換える。以上のようにして
ファイル「ｆｉｌｅｚ．ｃｃ」の中に、「ｆｉｌｅｙ．
ｈ」、「ｆｉｌｅｘ．ｈ」が置き換えられたプログラム
が得られる。 （第１記憶部３２）第１記憶部３２は、入力部３１によ
り置換えの行われたファイルを含む少なくとも１個のフ
ァイルを記憶する。 （構文解析部３３）構文解析部３３は、第１記憶部３２
に記憶されている全てのファイルについて、以下に示す
構文解析処理を繰り返す。

【００６２】構文解析部３３は、第１記憶部３２に記憶
されている各ファイルから、字句を読み出す。ここで、
字句とは、プログラムを構成し、構文上の基本単位とな
る文字列である。例えば、予約語などの識別子、定数、
演算子などである。構文解析部３３は、読み出した字句
が「＃ｐｒａｇｍａ」であり、「＃ｐｒａｇｍａ」に続
く字句が「＿ｆｉｎａｌｃｌａｓｓ」である場合、「＿
ｆｉｎａｌｃｌａｓｓ」に続く字句を終端クラスを示す
クラス名として、終端クラス記憶部３５が有する終端ク
ラステーブルへ書き込む。終端クラステーブルの一例を
図１５に示す。この図に示す終端クラステーブル５０１
は、終端クラス５０２「Ｙ」と終端クラス５０３「Ｚ」
とを記憶している。

【００６３】構文解析部３３は、読み出した字句が「＃
ｐｒａｇｍａ」であり、「＃ｐｒａｇｍａ」に続く字句
が「＿ｆｉｎａｌｃｌａｓｓ」でない場合、又は読み出
した字句が「＃ｐｒａｇｍａ」でない場合、通常の構文
解析を行い、解析結果を第２記憶部３４へ書き込む。な
お、通常の構文解析については、公知であるので、説明
を省略する。

【００６４】構文解析部３３は、第１記憶部３２に記憶
されている各ファイルから、字句の読出しを終了するま
で、上記の終端クラステーブルへの書込み、又は通常の
構文解析及び解析結果の第２記憶部３４への書込みを、
繰り返す。 （第２記憶部３４）第２記憶部３４は、構文解析部３３
による解析結果を記憶する。 （終端クラス記憶部３５）終端クラス記憶部３５は、終
端クラステーブルを有している。終端クラステーブル
は、クラス名を含んでいる。 （中間コード生成部３６）中間コード生成部３６は、第
２記憶部３４に記憶されている構文解析部３３による解
析結果を読み出し、読み出した解析結果を基にして、内
部表現のコードである中間コードを生成し、生成した中
間コードを第３記憶部３７へ書き込む。

【００６５】中間コード生成部３６は、第２記憶部３４
に記憶されている全ての解析結果の読出しが終了するま
で、解析結果の読出しと、中間コードの生成と、第３記
憶部３７への書込とを繰り返す。なお、解析結果を基に
した中間コードの生成については公知であるので、説明
を省略する。

【００６６】中間コードの一例を図１６に示す。この図
において、中間コード５２１、５３１、５４１は、それ
ぞれ図３に示す関数呼出し２３４ａ、２３５ａ、２３６
ａを基にして生成されたものである。中間コード５２１
は、コマンド名５２２「ＣＡＬＬ」、関数名５２３
「ｇ」、仮想関数フラグ５２４「ｖｉｒｔｕａｌ」、オ
ブジェクト名５２５「ｏｂｊ＿ｘ」、クラス型５２６
「Ｘ」、引数型５２７「ｉｎｔ」、引数値５２８「１
０」から構成されている。中間コード５３１は、コマン
ド名５３２「ＣＡＬＬ」、関数名５３３「ｇ」、仮想関
数フラグ５３４「ｖｉｒｔｕａｌ」、オブジェクト名５
３５「ｏｂｊ＿ｙ」、クラス型５３６「Ｙ」、引数型５
３７「ｉｎｔ」、引数値５３８「１０」から構成されて
いる。中間コード５４１は、コマンド名５４２「ＣＡＬ
Ｌ」、関数名５４３「ｇ」、仮想関数フラグ５４４「ｖ
ｉｒｔｕａｌ」、オブジェクト名５４５「ｏｂｊ＿
ｚ」、クラス型５４６「Ｚ」、引数型５４７「ｉｎ
ｔ」、引数値５４８「１０」から構成されている。

【００６７】中間コード５２１において、コマンド名５
２２「ＣＡＬＬ」は、中間コード５２１が関数呼出しで
あることを示し、関数名５２３「ｇ」は、呼び出される
関数名を示し、仮想関数フラグ５２４「ｖｉｒｔｕａ
ｌ」は、呼び出される関数が仮想関数であることを示
し、オブジェクト名５２５「ｏｂｊ＿ｘ」は、呼び出さ
れる関数の起動オブジェクト名を示し、クラス型５２６
「Ｘ」は、前記オブジェクトのクラス型を示し、引数型
５２７「ｉｎｔ」は、関数の引数の型を示し、引数値５
２８「１０」は、関数の引数値を示している。

【００６８】中間コード５３１、５４１においても同様
である。 （第３記憶部３７）第３記憶部３７は、中間コード生成
部３６により生成された中間コードを記憶する。 （最適化部３８）最適化部３８は、第３記憶部３７に記
憶されている中間コードを読み出し、読み出した中間コ
ードのコマンド名が関数呼出しであるか否か及び、仮想
関数フラグがｖｉｒｔｕａｌであるか否かを判断する。

【００６９】最適化部３８は、読み出した中間コードの
コマンド名が関数呼出しであることを示す「ＣＡＬＬ」
であり、仮想関数フラグがｖｉｒｔｕａｌである場合、
前記読み出した中間コードに含まれるクラス型が終端ク
ラス記憶部３５が有する終端クラステーブル内に存在す
るか否かを判断し、終端クラステーブル内に存在するな
らば、前記読み出した中間コードに含まれる仮想関数フ
ラグを関数が仮想関数でないことを示す「ｒｅａｌ」に
書き換え、前記中間コードを第４記憶部３９に書き込
む。

【００７０】最適化部３８は、読み出した中間コードの
コマンド名が関数呼出しであることを示す「ＣＡＬＬ」
でない場合、又は、読み出した中間コードのコマンド名
が関数呼出しであることを示す「ＣＡＬＬ」であり、仮
想関数フラグがｖｉｒｔｕａｌである場合であって、前
記読み出した中間コードに含まれるクラス型が終端クラ
ス記憶部３５が有する終端クラステーブル内に存在しな
い場合、前記中間コードに対して通常の最適化処理を施
し、通常の最適化処理の施された中間コードを第４記憶
部３９に書き込む。

【００７１】最適化部３８は、第３記憶部３７に記憶さ
れている全ての中間コードの読出しが終了するまで、中
間コードの読出しと、仮想関数フラグの書換え又は通常
の最適化処理と、第４記憶部３９への書込みとを繰り返
す。なお、通常の最適化処理については、公知であるの
で、説明を省略する。 （第４記憶部３９）第４記憶部３９は、最適化部３８に
より最適化処理の施された中間コードを記憶する。 （資源割付部４０）資源割付部４０は、第４記憶部３９
に記憶されている中間コードを読み出し、読み出した中
間コードのオペランドに対してハードウェア資源の割付
けを行い、ハードウェア資源の割付けの行われた中間コ
ードを第５記憶部４１に書き込む。

【００７２】資源割付部４０は、第４記憶部３９に記憶
されている全ての中間コードの読出しが終了するまで、
中間コードの読出しと、ハードウェア資源の割付けと、
第５記憶部４１への書込みとを繰り返す。なお、ハード
ウェア資源の割付け処理については公知であるので、説
明を省略する。 （第５記憶部４１）第５記憶部４１は、資源割付部４０
によりハードウェア資源の割付けの行われた中間コード
を記憶する。 （コード生成部４２）コード生成部４２は、第５記憶部
４１に記憶されている中間コードを読み出し、読み出し
た中間コードのコマンド名が関数呼出しであるか否かを
判断する。

【００７３】コード生成部４２は、読み出した中間コー
ドのコマンド名が関数呼出しであることを示す「ＣＡＬ
Ｌ」である場合、さらに、前記読み出した中間コードに
含まれる仮想関数フラグが「ｖｉｒｔｕａｌ」であるか
否かを判断する。仮想関数フラグが「ｖｉｒｔｕａｌ」
であるとき、仮想関数表のアドレスをセットする実行形
式命令を生成し、仮想関数のアドレスをセットする実行
形式命令を生成し、引数の値をセットする実行形式命令
を生成し、仮想関数へジャンプする実行形式命令を生成
する。仮想関数フラグが「ｖｉｒｔｕａｌ」でないと
き、引数の値をセットする実行形式命令を生成し、関数
へ直接ジャンプする実行形式命令を生成する。コード生
成部４２は、生成した実行形式命令を生成コード記憶部
４３へ書き込む。

【００７４】コード生成部４２は、読み出した中間コー
ドのコマンド名が関数呼出しであることを示す「ＣＡＬ
Ｌ」でない場合、関数呼出し以外の通常のコード生成処
理を行って実行形式命令を生成し、生成した実行形式命
令を生成コード記憶部４３へ書き込む。コード生成部４
２は、第５記憶部４１に記憶されている全ての中間コー
ドの読出しが終了するまで、中間コードの読出しと、関
数呼出しである場合の実行形式命令の生成又は関数呼出
しでない場合の通常のコード生成処理による実行形式命
令の生成と、生成コード記憶部４３へ書込みとを繰り返
す。

【００７５】なお、通常のコード生成処理については公
知であるので、説明を省略する。コード生成部４２によ
り生成された実行形式プログラムの一例を、図１７に示
す。この図において、実行形式プログラム５６０は、図
３に示すソースプログラム２３３を基にして生成された
ものである。ソース命令２３４における関数ｇは、仮想
関数である。一方、及びソース命令２３５における関数
ｇ及びソース命令２３６における関数ｇは、直接呼出し
を行う関数である。

【００７６】ソース命令２３４は、実行形式命令群５６
１に対応し、ソース命令２３５は、実行形式命令群５７
１に対応し、ソース命令２３６は、実行形式命令群５８
７に対応している。実行形式命令群５６１は、実行形式
命令５６２〜５６６から構成されている。実行形式命令
５６２により、仮想関数表のアドレスをセットし、実行
形式命令５６３により、仮想関数のアドレスをセット
し、実行形式命令５６４により、引数の値をセットし、
実行形式命令５６５により、仮想関数へジャンプする。
実行形式命令５６６は、仮想関数のリターン値をセット
する。

【００７７】実行形式命令群５７１は、実行形式命令５
７２、５７３を含む。実行形式命令５７２により、引数
の値をセットし、実行形式命令５７３により、関数へ直
接ジャンプする。実行形式命令群５８７は、実行形式命
令５８８、５８９から構成されている。実行形式命令５
８８により、引数の値をセットし、実行形式命令５８９
により、関数へ直接ジャンプする。 （生成コード記憶部４３）生成コード記憶部４３は、コ
ード生成部４２により生成された実行形式命令を記憶す
る。 ２．２ コンパイラ装置１１０の動作 コンパイラ装置１１０の動作について説明する。 （コンパイラ装置１１０の全体の動作）コンパイラ装置
１１０の全体の動作について、図１８に示すフローチャ
ートを用いて説明する。

【００７８】コンパイラ装置１１０は、入力部３１によ
る入力処理を行い（ステップＳ２０１）、構文解析部３
３による構文解析処理を行い（ステップＳ２０２）、中
間コード生成部３６による中間コード生成処理を行い
（ステップＳ２０３）、最適化部３８による最適化処理
を行い（ステップＳ２０４）、資源割付部４０による資
源割付処理を行い（ステップＳ２０５）、コード生成部
４２によるコード生成処理を行う（ステップＳ２０
６）。 （構文解析部３３の動作）構文解析部３３の動作につい
て、図１９に示すフローチャートを用いて説明する。

【００７９】構文解析部３３は、第１記憶部３２に記憶
されている全てのファイルについて、以下に示す構文解
析処理を繰り返す。構文解析部３３は、第１記憶部３２
に記憶されている各ファイルから、字句を読み出し（ス
テップＳ２１１）、字句の読出しが終了したか否かを判
断し、終了したと判断する場合は（ステップＳ２１
２）、処理を終了する。

【００８０】構文解析部３３は、終了していないと判断
する場合は（ステップＳ２１２）、読み出した字句が
「＃ｐｒａｇｍａ」であるか否かを判断し、「＃ｐｒａ
ｇｍａ」でないと判断するとき（ステップＳ２１３）、
通常の構文解析処理を行い、解析結果を第２記憶部３４
へ書き込み（ステップＳ２１８）、制御をステップＳ２
１１へ移して、処理を繰り返す。

【００８１】構文解析部３３は、「＃ｐｒａｇｍａ」で
あると判断するとき（ステップＳ２１３）、次の字句を
読み出し（ステップＳ２１４）、読み出した字句が「＿
ｆｉｎａｌｃｌａｓｓ」でないなら（ステップＳ２１
５）、通常の構文解析処理を行い、解析結果を第２記憶
部３４へ書き込み（ステップＳ２１８）、制御をステッ
プＳ２１１へ移して、処理を繰り返す。

【００８２】構文解析部３３は、読み出した字句が「＿
ｆｉｎａｌｃｌａｓｓ」であるなら（ステップＳ２１
５）、次の字句を読み出し（ステップＳ２１６）、読み
出した字句を終端クラスを示すクラス名として、終端ク
ラス記憶部３５が有する終端クラステーブルへ書き込み
（ステップＳ２１７）、制御をステップＳ２１１へ移し
て、処理を繰り返す。 （最適化部３８の動作）最適化部３８の動作について、
図２０に示すフローチャートを用いて説明する。

【００８３】最適化部３８は、第３記憶部３７に記憶さ
れている中間コードを読み出し（ステップＳ２３１）、
読出しが終了したか否かを判断し、終了したと判断する
場合に（ステップＳ２３２）、処理を終了する。最適化
部３８は、終了していないと判断する場合に（ステップ
Ｓ２３２）、読み出した中間コードのコマンド名が関数
呼出しであり、仮想関数フラグがｖｉｒｔｕａｌである
か否かを判断し、仮想関数呼出しであるとき（ステップ
Ｓ２３３）、前記読み出した中間コードに含まれるクラ
ス型が終端クラス記憶部３５が有する終端クラステーブ
ル内に存在するか否かを判断し、終端クラステーブル内
に存在するならば（ステップＳ２３４）、前記読み出し
た中間コードに含まれる仮想関数フラグを「ｒｅａｌ」
に書き換え、前記中間コードを第４記憶部３９に書き込
み（ステップＳ２３５）、制御をステップＳ２３１へ移
し、処理を繰り返す。

【００８４】最適化部３８は、前記読み出した中間コー
ドに含まれるクラス型が終端クラステーブル内に存在し
ないならば（ステップＳ２３４）、前記中間コードに対
して通常の最適化処理を施し、通常の最適化処理の施さ
れた中間コードを第４記憶部３９に書き込み（ステップ
Ｓ２３６）、制御をステップＳ２３１へ移し、処理を繰
り返す。

【００８５】最適化部３８は、読み出した中間コードの
コマンド名が関数呼出しであり、仮想関数フラグがｖｉ
ｒｔｕａｌであるか否かを判断し、仮想関数呼出しでな
いとき（ステップＳ２３３）、前記中間コードに対して
通常の最適化処理を施し、通常の最適化処理の施された
中間コードを第４記憶部３９に書き込み（ステップＳ２
３６）、制御をステップＳ２３１へ移し、処理を繰り返
す。 （コード生成部４２の動作）コード生成部４２の動作に
ついて、図２１に示すフローチャートを用いて説明す
る。

【００８６】コード生成部４２は、第５記憶部４１に記
憶されている中間コードを読み出し（ステップＳ２５
１）、読出しが終了したか否かを判断し、終了したと判
断する場合（ステップＳ２５２）、処理を終了する。コ
ード生成部４２は、終了していないと判断する場合（ス
テップＳ２５２）、、読み出した中間コードのコマンド
名が関数呼出しであるか否かを判断し、関数呼出しであ
ると判断する場合（ステップＳ２５３）、さらに、前記
読み出した中間コードに含まれる仮想関数フラグが「ｖ
ｉｒｔｕａｌ」であるか否かを判断し、仮想関数フラグ
が「ｖｉｒｔｕａｌ」であるとき（ステップＳ２５
４）、仮想関数表のアドレスをセットする実行形式命令
を生成し（ステップＳ２６１）、仮想関数のアドレスを
セットする実行形式命令を生成し（ステップＳ２６
２）、引数の値をセットする実行形式命令を生成し（ス
テップＳ２６３）、仮想関数へジャンプする実行形式命
令を生成する（ステップＳ２６４）。仮想関数フラグが
「ｖｉｒｔｕａｌ」でないとき（ステップＳ２５４）、
引数の値をセットする実行形式命令を生成し（ステップ
Ｓ２５５）、関数へ直接ジャンプする実行形式命令を生
成する（ステップＳ２５６）。次に、コード生成部４２
は、生成した実行形式命令を生成コード記憶部４３へ書
き込み（ステップＳ２５７）、制御をステップＳ２５１
へ移して、処理を繰り返す。

【００８７】コード生成部４２は、関数呼出しでないと
判断する場合（ステップＳ２５３）、関数呼出し以外の
通常のコード生成処理を行い（ステップＳ２６５）、生
成した実行形式命令を生成コード記憶部４３へ書き込
（ステップＳ２５７）、制御をステップＳ２５１へ移し
て、処理を繰り返す。 ３．まとめ 以上説明したように、本発明の最適化情報付加装置によ
り継承されないクラスの解析を行ない、継承されないク
ラスに対して最適化情報を付加し、更に本発明のコンパ
イラ装置により継承されないクラスの仮想関数呼び出し
を関数の直接呼出しに変換することによって、最適化処
理を適用できる機会が増え、生成される実行形式命令を
少なくすることができる。

【００８８】なお、本発明を上記の実施の形態に基づい
て説明してきたが、本発明は、上記の実施の形態に限定
されないのはもちろんである。以下のような場合も本発
明に含まれる。 （１）更にここで、最適化処理で行なう最適化の一種で
あるインライン関数展開を図３の行２３５、２３６に示
す仮想関数呼び出しを関数の直接呼出しに変更した中間
コードに対して適用できる。

【００８９】行２３５に示す関数の直接呼出しに対し
て、関数のインライン展開を適用すると、クラスＹのメ
ンバ関数ｇは引数の値を２乗する処理を行なうので、関
数ｇを呼び出した結果、その戻り値は１００となり、変
数ｙに１００を代入するコードとなる。同様に、行２３
６に示す関数の直接呼出しに対して、関数のインライン
展開を適用すると、クラスＺのメンバ関数ｇは引数の値
を３乗する処理を行なうので、関数ｇを呼び出した結
果、その戻り値は１０００となり、変数ｚに１０００を
代入するコードとなる。

【００９０】従って、関数ｆｕｎｃの戻り値であるｘ＋
ｙ＋ｚの値は変数ｘの値に１１００を加算した値とな
る。以上のように最適化処理を行なった中間コードに対
して、資源割付部４０による資源割付けを行ない、コー
ド生成部４２によるコード生成を行って生成される実行
形式プログラムを、図２２に示す。この図において、実
行形式プログラム６０１は、ソースプログラム２３３に
基づいて生成されたものである。

【００９１】実行形式命令６０２は、ソース命令２３４
に対応し、実行形式命令６０３は、ソース命令２３５〜
２３７に対応している。このように、さらに、関数のイ
ンライン展開を適用することにより、生成コードを小さ
くすることができる。 （２）上記実施の形態において、本発明の最適化情報付
加装置により、最適化情報がいずれのクラスへも継承さ
れないクラスのクラス定義に付加されるとしているが、
いずれのクラスへも継承されないクラスのクラス定義に
属する仮想メンバ関数に付加するととしてもよい。 （３）上記実施の形態において、本発明の最適化情報付
加装置により、最適化情報として、「＃ｐｒａｇｍａ
＿ｆｉｎａｌｃｌａｓｓ クラス名」が付加されるとし
ているが、そのクラス定義がいずれのクラスからも継承
されないことを示す予約語を使用してもよい。例えば、
Ｊａｖａ言語において、予約語「ｆｉｎａｌ」を使用し
てもよい。

【００９２】また、最適化情報として、本発明の最適化
情報付加装置及びコンパイラ装置に固有の文字列であっ
て、他のコンパイラ装置において注釈行として解釈され
る文字列を用いるとしてもよい。 （４）上記実施の形態においては、他のクラスへ継承さ
れないクラスを含むクラス定義に対応して、最適化情報
を付加するとしているが、他のクラスへ継承されないク
ラスを含むクラス定義に含まれる関数に対応して、最適
化情報を付加するとしてもよい。 （５）入力部３１は、入力部３１における操作者による
文字列の入力の受付けに代えて、入力部１２により入力
を受け付けた文字列を受け取るとしてもよい。これによ
り、コンパイラ装置１１０は、最適化情報付加装置１０
０の入力部１２により入力を受け付けた全てのファイル
に対して、コンパイルを行うことができる。 II 第２の実施の形態 本発明に係る別の実施の形態としてのプログラム変換装
置１２０ａ（図示していない）について説明する。

【００９３】プログラム変換装置１２０ａは、プログラ
ム変換装置１２０と同様に、最適化情報付加装置１００
ａとコンパイラ装置１１０ａ（図示していない）とから
構成される。 １．最適化情報付加装置１００ａ ここでは、最適化情報付加装置１００ａについて説明す
る。 １．１ 最適化情報付加装置１００ａの構成 最適化情報付加装置１００ａは、図２９に示すように、
プログラム記憶部１１ａ、入力部１２ａ、仮想関数解析
部２６、仮想関数集合記憶部２７、オーバーライド集合
記憶部２８、最適化情報付加部２１ａ、変更ファイル集
合記憶部２２、出力部２３ａから構成されている。 （プログラム記憶部１１ａ）プログラム記憶部１１ａ
は、プログラム記憶部１１と同様に、Ｃ＋＋言語の規格
に基づいて記述されたソースプログラムをデータとして
含むファイルを記憶している。

【００９４】プログラム記憶部１１ａが記憶しているフ
ァイルの一例を図３０に示す。この図に示すように、プ
ログラム記憶部１１は、ファイル１１０１、１１０２及
び１１０３を記憶している。ファイル１１０１、１１０
２及び１１０３のファイル名は、それぞれ、「ｆｉｌｅ
ｘ．ｈ」、「ｆｉｌｅｙ．ｈ」、「ｆｉｌｅｚ．ｃｃ」
である。

【００９５】ファイル１１０１は、クラス定義１１１１
を含む。ファイル１１０２は、＃ｉｎｃｌｕｄｅ行１１
２１とクラス定義１１２２とを含む。ファイル１１０３
は、＃ｉｎｃｌｕｄｅ行１１３１と関数定義１１３２と
を含む。 （入力部１２ａ）入力部１２ａは、入力部１２と同様
に、操作者による文字列の入力を受け付け、入力を受け
付けた文字列を分解して１個のコマンド名と少なくとも
１個のファイル名とを生成し、コマンド名が「ｒｕｎ」
であるなら、以下に示す入力処理を実行する。

【００９６】入力部１２ａは、前記生成された少なくと
も１個のファイル名を有する少なくとも１個のファイル
をプログラム記憶部１１ａから読み出す。読み出しは、
ファイルを構成する文毎に行う。読み出した文が＃ｉｎ
ｃｌｕｄｅ文である場合には、＃ｉｎｃｌｕｄｅ文によ
り示されているファイルをその＃ｉｎｃｌｕｄｅ文が記
述されている位置において展開するように、そのファイ
ルを読み出す。

【００９７】入力部１２ａは、読み出した文が、クラス
定義文であるか否かを判断し、クラス定義文であると判
断する場合には、読み出した文を仮想関数解析部２６へ
出力し、クラス定義文でないと判断する場合には、さら
に次の文を読み出す。このようにして、入力部１２ａ
は、操作者により入力を受け付けたファイル名により指
定されるファイルの読み出しを終了するまで、文の読出
しと、前記判断と、読み出した文の仮想関数解析部２６
への出力とを繰り返す。 （仮想関数集合記憶部２７）仮想関数集合記憶部２７
は、仮想関数集合を記憶する。仮想関数集合は、クラス
名と、クラス名と仮想関数名とからなる１以上の組から
構成され、前記クラス名で示されるクラスにより定義さ
れている仮想関数を示している。

【００９８】仮想関数集合記憶部２７に記憶されている
仮想関数集合の一例を図３１に示す。この図に示すよう
に、仮想関数集合記憶部２７は、仮想関数集合１１５１
と１１６１を記憶している。仮想関数集合１１５１に
は、クラス名１１５２と組１１５３と１１５４とが含ま
れ、組１１５３と１１５４とは、それぞれクラス名と関
数名とからなる。また、仮想関数集合１１６１には、ク
ラス名１１６２と組１１６３と１１６４とが含まれ、組
１１６３と１１６４とは、それぞれクラス名と関数名と
からなる。 （仮想関数解析部２６）仮想関数解析部２６は、内部で
用いられる変数として、仮想関数集合ＶＦＳＥＴを有す
る。仮想関数集合ＶＦＳＥＴは、クラス名と１以上の組
とが格納される領域を有し、前記組は、クラス名と関数
名とからなる。

【００９９】仮想関数解析部２６は、入力部１２ａから
クラス定義文を受け取り、受け取ったクラス定義文に基
底クラスが記述されているか否かを判断する。基底クラ
スが記述されていない場合には、仮想関数集合ＶＦＳＥ
Ｔのクラス名が格納される領域に、前記クラス定義文に
定義されているクラス名Ｃ１を格納し、仮想関数集合Ｖ
ＦＳＥＴの各組が格納される領域を空とする。基底クラ
スが記述されている場合には、前記クラス定義に記述さ
れている基底クラスＣ２をクラス名として有する仮想関
数集合を仮想関数集合記憶部２７から取得し、取得した
仮想関数集合を仮想関数集合ＶＦＳＥＴとし、仮想関数
集合ＶＦＳＥＴのクラス名が格納される領域に、基底ク
ラスＣ２に代えて、前記クラス定義文に定義されている
クラス名Ｃ１を格納する。

【０１００】次に、仮想関数解析部２６は、入力部１２
ａから受け取ったクラス定義文に記述されている仮想関
数ＶＦ毎に、前記仮想関数ＶＦが、仮想関数集合ＶＦＳ
ＥＴ内に存在するか否かを判断する。仮想関数集合ＶＦ
ＳＥＴ内に存在すると判断する場合に、仮想関数集合Ｖ
ＦＳＥＴ内に存在する前記仮想関数ＶＦと同じ仮想関数
名ＶＦ’と、前記仮想関数ＶＦ’と１つの組をなすクラ
ス名とからなる組をオーバーライド集合記憶部２８のオ
ーバーライド集合ＯＶＳＥＴへ書き込み、仮想関数集合
ＶＦＳＥＴ内の仮想関数名ＶＦ’と、前記仮想関数Ｖ
Ｆ’と１つの組をなすクラス名とからなる組を消去し、
代わりに前記仮想関数ＶＦと前記クラス定義文に定義さ
れているクラス名Ｃ１との組を仮想関数集合ＶＦＳＥＴ
に書き込む。

【０１０１】仮想関数集合ＶＦＳＥＴ内に存在しないと
判断する場合に、仮想関数集合ＶＦＳＥＴの組が格納さ
れる領域に前記クラス定義文に定義されているクラス名
Ｃ１と仮想関数ＶＦとからなる組を書き込む。次に、仮
想関数解析部２６は、仮想関数集合ＶＦＳＥＴを仮想関
数集合記憶部２７へ書き込む。

【０１０２】このようにして、図３０に示すファイル１
１０１から、図３１に示す仮想関数集合１１５１が形成
され、図３２に示すオーバーライト集合が形成される。
また、図３０に示すファイル１１０２から、図３１に示
す仮想関数集合１１６１が形成される。 （オーバーライド集合記憶部２８）オーバーライド集合
記憶部２８は、オーバーライド集合ＯＶＳＥＴを記憶し
ており、オーバーライド集合ＯＶＳＥＴは、クラス名と
仮想関数名とからなる。オーバーライド集合ＯＶＳＥＴ
の一例を図３２に示す。 （最適化情報付加部２１ａ）入力部１２ａが、操作者に
より入力を受け付けたファイル名により指定されるファ
イルの読み出しを終了すると、最適化情報付加部２１ａ
は、オーバーライド集合記憶部２８に記憶されているオ
ーバーライド集合ＯＶＳＥＴが空集合であるか否かを判
断し、空集合である場合には、処理を終了する。

【０１０３】最適化情報付加部２１ａは、オーバーライ
ド集合ＯＶＳＥＴが空集合でない場合には、オーバーラ
イド集合ＯＶＳＥＴに含まれるクラス名と仮想関数ＶＦ
１を抽出し、抽出したクラス名と仮想関数ＶＦ１が宣言
されているファイルをプログラム記憶部１１ａから読み
出し、文字列「＃ｐｒａｇｍａ＿ｏｖｆｕｎｃ」と、前
記抽出したクラス名と、仮想関数ＶＦ１とを結合して、
最適化情報を形成し、読み出したファイルに形成した前
記最適化情報を付加して、変更ファイル集合記憶部２２
へ出力する。

【０１０４】最適化情報が付加されたプログラムの一例
を図３３に示す。この図において、ファイル１１０１ａ
は、最適化情報１１１２が付加されたプログラムであ
る。ファイル１１０２、１１０３には最適化情報は付加
されていない。 （変更ファイル集合記憶部２２）変更ファイル集合記憶
部２２は、最適化情報付加装置１００の変更ファイル集
合記憶部２２と同様であり、最適化情報の付加されたフ
ァイルを記憶する。 （出力部２３ａ）出力部２３ａは、最適化情報付加装置
１００の出力部２３と同様であり、変更ファイル集合記
憶部２２から最適化情報が付加されたファイルを読み出
し、読み出したファイルを、出力部２３と同様にして、
プログラム記憶部１１ａへ書き込む。 １．２ 最適化情報付加装置１００ａの動作 （最適化情報付加装置１００ａの全体の動作）最適化情
報付加装置１００ａの動作について、図３４に示すフロ
ーチャートを用いて説明する。

【０１０５】入力部１２ａは、操作者からコマンド名と
ファイル名との文字列の入力を受け付け（ステップＳ３
０１）、プログラム記憶部１１ａから前記ファイルを読
み出し、全てのファイルの読み出しが終了すれば（ステ
ップＳ３０２）、最適化情報付加処理を実施し（ステッ
プＳ３０７）、出力部２３ａは、変更ファイル集合記憶
部２２から最適化情報が付加されたファイルを読み出
し、読み出したファイルを、プログラム記憶部１１ａへ
書き込む（ステップＳ３０８）。

【０１０６】入力部１２ａは、前記ファイルの読み出し
が全て終了していなければ（ステップＳ３０２）、ファ
イルを構成する文毎に読み出しを行い（ステップＳ３０
３）、ファイルの最後まで読み出しが終了すれば（ステ
ップＳ３０４）、ステップＳ３０１へ戻って再度操作者
からの入力を受け付ける。ファイルの最後まで読み出し
が終了していなければ（ステップＳ３０４）、読み出し
た文が、クラス定義文であるか否かを判断し、クラス定
義文であると判断する場合には（ステップＳ３０５）、
読み出した文を仮想関数解析部２６へ出力して仮想関数
解析処理を実行し（ステップＳ３０６）、クラス定義文
でないと判断する場合には（ステップＳ３０５）、ステ
ップＳ３０３へ戻って、さらに次の文を読み出す。 （仮想関数解析処理の詳細動作）仮想関数解析処理の詳
細動作について、図３５に示すフローチャートを用いて
説明する。

【０１０７】仮想関数解析部２６は、入力部１２ａから
クラス定義文を受け取り、受け取ったクラス定義文に基
底クラスが記述されているか否かを判断し、基底クラス
が記述されていない場合には（ステップＳ３２１）、仮
想関数集合ＶＦＳＥＴのクラス名が格納される領域に、
前記クラス定義文に定義されているクラス名Ｃ１を格納
し、仮想関数集合ＶＦＳＥＴの各組が格納される領域を
空とする（ステップＳ３２３）。基底クラスが記述され
ている場合には（ステップＳ３２１）、前記クラス定義
に記述されている基底クラスＣ２をクラス名として有す
る仮想関数集合を仮想関数集合記憶部２７から取得し、
取得した仮想関数集合を仮想関数集合ＶＦＳＥＴとし、
仮想関数集合ＶＦＳＥＴのクラス名が格納される領域
に、基底クラスＣ２に代えて、前記クラス定義文に定義
されているクラス名Ｃ１を格納する（ステップＳ３２
２）。

【０１０８】次に、仮想関数解析部２６は、入力部１２
ａから受け取ったクラス定義文に記述されている仮想関
数ＶＦ毎に、ステップＳ３２５〜Ｓ３２８を繰り返す。
ステップＳ３２５〜Ｓ３２８において、前記仮想関数Ｖ
Ｆが、仮想関数集合ＶＦＳＥＴ内に存在するか否かを判
断し、仮想関数集合ＶＦＳＥＴ内に存在すると判断する
場合に（ステップＳ３２５）、仮想関数集合ＶＦＳＥＴ
内に存在する前記仮想関数ＶＦと同じ仮想関数名ＶＦ’
と、前記仮想関数ＶＦ’と１つの組をなすクラス名とか
らなる組をオーバーライド集合記憶部２８のオーバーラ
イド集合ＯＶＳＥＴへ書き込み（ステップＳ３２６）、
仮想関数集合ＶＦＳＥＴ内の仮想関数名ＶＦ’と、前記
仮想関数ＶＦ’と１つの組をなすクラス名とからなる組
を消去し、代わりに前記仮想関数ＶＦと前記クラス定義
文に定義されているクラス名Ｃ１との組を仮想関数集合
ＶＦＳＥＴに書き込む（ステップＳ３２７）。

【０１０９】仮想関数集合ＶＦＳＥＴ内に存在しないと
判断する場合に（ステップＳ３２５）、仮想関数集合Ｖ
ＦＳＥＴの組が格納される領域に前記クラス定義文に定
義されているクラス名Ｃ１と仮想関数ＶＦとからなる組
を書き込む（ステップＳ３２８）。次に、仮想関数解析
部２６は、仮想関数集合ＶＦＳＥＴを仮想関数集合記憶
部２７へ書き込む（ステップＳ３３０）。 （最適化情報付加処理の詳細動作）最適化情報付加処理
の詳細動作について、図３６に示すフローチャートを用
いて説明する。

【０１１０】入力部１２ａが、操作者により入力を受け
付けたファイル名により指定されるファイルの読み出し
を終了すると、最適化情報付加部２１ａは、オーバーラ
イド集合記憶部２８に記憶されているオーバーライド集
合ＯＶＳＥＴが空集合であるか否かを判断し、空集合で
ある場合には（ステップＳ３４１）、処理を終了する。

【０１１１】最適化情報付加部２１ａは、オーバーライ
ド集合ＯＶＳＥＴが空集合でない場合には（ステップＳ
３４１）、オーバーライド集合ＯＶＳＥＴに含まれるク
ラス名と仮想関数ＶＦ１を抽出し（ステップＳ３４
２）、抽出したクラス名と仮想関数ＶＦ１が宣言されて
いるファイルをプログラム記憶部１１ａから読み出し、
文字列「＃ｐｒａｇｍａ＿ｏｖｆｕｎｃ」と、前記抽出
したクラス名と、仮想関数ＶＦ１とを結合して、最適化
情報を形成し、読み出したファイルに形成した前記最適
化情報を付加し（ステップＳ３４３）、変更ファイル集
合記憶部２２へ出力する（ステップＳ３４４）。 ２．コンパイラ装置１１０ａ ここでは、コンパイラ装置１１０ａについて説明する。 ２．１ コンパイラ装置１１０ａの構成 コンパイラ装置１１０ａは、コンパイラ装置１１０と同
様に、プログラム記憶部１１ａ、入力部３１、第１記憶
部３２、構文解析部３３、第２記憶部３４、オーバーラ
イド集合記憶部３５ａ、中間コード生成部３６、第３記
憶部３７、最適化部３８、第４記憶部３９、資源割付部
４０、第５記憶部４１、コード生成部４２、生成コード
記憶部４３から構成されており、コンパイラ装置１１０
のプログラム記憶部１１に代えて、プログラム記憶部１
１ａを備え、コンパイラ装置１１０の終端クラス記憶部
３５に代えて、オーバーライド集合記憶部３５ａを備え
ている。

【０１１２】また、コンパイラ装置１１０ａを構成する
構成要素のうち、コンパイラ装置１１０の構成要素と同
じ符号を有するものは、コンパイラ装置１１０ａを構成
する構成要素と同様である。以下において、コンパイラ
装置１１０を構成する構成要素との相違点を中心として
説明する。 （プログラム記憶部１１ａ）最適化情報付加装置１００
ａが備えるプログラム記憶部１１ａと同一であり、最適
化情報付加装置１００ａにより生成された最適化情報が
付加されたファイルを記憶している。 （オーバーライド集合記憶部３５ａ）オーバーライド集
合記憶部３５ａは、オーバーライド関数を記憶する。オ
ーバーライド関数は、クラス名と仮想関数名との組から
なる。 （構文解析部３３）構文解析部３３は、第１記憶部３２
に記憶されている各ファイルから、字句を読み出し、読
み出した字句が「＃ｐｒａｇｍａ」であり、「＃ｐｒａ
ｇｍａ」に続く字句が「＿ｏｖｆｕｎｃ」である場合、
「＿ｏｖｆｕｎｃ」に続く字句をクラス名と仮想関数名
との組として、オーバーライド集合記憶部３５ａへ書き
込む。 （最適化部３８）最適化部３８は、第３記憶部３７に記
憶されている中間コードを読み出し、読み出した中間コ
ードのコマンド名が仮想関数呼び出しである場合に、前
記中間コードに含まれるクラス名と関数名とが、オーバ
ーライド集合記憶部３５ａに記憶されているか否かを判
断し、記憶されている場合には、通常の最適化処理を行
い、記憶されていない場合には、前記読み出した中間コ
ードに含まれる仮想関数フラグを関数が仮想関数でない
ことを示す「ｒｅａｌ」に書き換え、前記中間コードを
第４記憶部３９に書き込む。

【０１１３】図３２に示すオーバーライド集合の例によ
ると、クラスは「Ｘ」であり、関数は「ｆ」である。一
方、図３０のファイル１１０３において、変数ｘ１、ｘ
２、ｙ１、ｙ２への代入文で仮想関数呼出しが行われて
いる。変数ｘ１への代入文の右辺において呼び出される
仮想関数は、クラスＸに属する関数ｆであるので、前記
のオーバーライド集合に含まれており、通常の仮想関数
呼出しを行う。

【０１１４】また、変数ｘ２、ｙ１、ｙ２への代入文の
右辺において呼び出される仮想関数は、それぞれ、クラ
スＸに属する関数ｇ、クラスＹに属する関数ｆ、クラス
Ｙに属する関数ｇであるので、前記のオーバーライド集
合に含まれておらず、これらの仮想関数呼び出しを直接
呼出しに書き換える。 ２．２ コンパイラ装置１１０ａの動作 コンパイラ装置１１０ａの全体の動作については、コン
パイラ装置１１０の全体の動作と同じであるので、説明
は省略し、以下において、構文解析部３３と最適化部３
８との詳細の動作について説明する。 （構文解析部３３の動作）構文解析部３３の動作につい
て、図３７に示すフローチャートを用いて説明する。

【０１１５】構文解析部３３は、第１記憶部３２に記憶
されている全てのファイルについて、以下に示す構文解
析処理を繰り返す。構文解析部３３は、第１記憶部３２
に記憶されている各ファイルから字句の読出しが終了し
たか否かを判断し、終了したと判断する場合は（ステッ
プＳ３６１）、処理を終了する。終了していない場合は
（ステップＳ３６１）、次の字句を読み出し（ステップ
Ｓ３６２）、読み出した字句が「＃ｐｒａｇｍａ」であ
るか否かを判断し、「＃ｐｒａｇｍａ」でないと判断す
るとき（ステップＳ３６３）、通常の構文解析処理を行
い、解析結果を第２記憶部３４へ書き込み（ステップＳ
３６８）、制御をステップＳ３６１へ移して、処理を繰
り返す。

【０１１６】構文解析部３３は、「＃ｐｒａｇｍａ」で
あると判断するとき（ステップＳ３６３）、次の字句を
読み出し（ステップＳ３６４）、読み出した字句が「＿
ｏｖｆｕｎｃ」でないなら（ステップＳ３６５）、通常
の構文解析処理を行い、解析結果を第２記憶部３４へ書
き込み（ステップＳ３６８）、制御をステップＳ３６１
へ移して、処理を繰り返す。

【０１１７】構文解析部３３は、読み出した字句が「＿
ｏｖｆｕｎｃ」であるなら（ステップＳ３６５）、次の
字句を読み出し（ステップＳ３６６）、読み出した字句
をクラス名と仮想関数名との組として、オーバーライド
集合記憶部３５ａへ書き込み（ステップＳ３６７）、制
御をステップＳ３６１へ移して、処理を繰り返す。 （最適化部３８の動作）最適化部３８の動作について、
図３８に示すフローチャートを用いて説明する。

【０１１８】最適化部３８は、第３記憶部３７に記憶さ
れている中間コードを読み出し、読み出した中間コード
のコマンド名が関数呼出しであり、仮想関数フラグがｖ
ｉｒｔｕａｌであるか否かを判断し、仮想関数呼出しで
あるとき（ステップＳ３８１）、前記中間コードに含ま
れるクラス名と関数名とが、オーバーライド集合記憶部
３５ａに記憶されているか否かを判断し、記憶されてい
ない場合には（ステップＳ３８２）、前記読み出した中
間コードに含まれる仮想関数フラグを「ｒｅａｌ」に書
き換え、前記中間コードを第４記憶部３９に書き込み
（ステップＳ３８３）、再度処理を繰り返す。

【０１１９】最適化部３８は、前記中間コードに含まれ
るクラス名と関数名とが、オーバーライド集合記憶部３
５ａに記憶されている場合には（ステップＳ３８２）、
前記中間コードに対して通常の最適化処理を施し、通常
の最適化処理の施された中間コードを第４記憶部３９に
書き込み（ステップＳ３８４）、再度処理を繰り返す。 ３．まとめ 以上説明したように、関数の置き換え（オーバーライ
ド）が行われない仮想関数の呼出しを直接呼出しに変換
することにより、最適化処理を適用できる機会が増え、
生成される実行形式命令を少なくすることができる。

【０１２０】図３０に示すファイル１１０３から、仮想
関数呼び出しをそのままにして生成した実行形式命令を
図３９（ａ）に示し、関数の置き換え（オーバーライ
ド）が行われない仮想関数の呼出しを直接呼出しに変換
することにより、前記最適化処理を適用し、さらに、関
数のインライン展開を適用することにより、ファイル１
１０３から生成した実行形式命令を図３９（ｂ）に示
す。この図に示すように、生成される実行形式命令は少
なくなっている。 III 第３の実施の形態 本発明に係る第３の実施の形態としてのプログラム変換
装置１２０ｂ（図示していない）について説明する。

【０１２１】プログラム変換装置１２０ｂは、最適化情
報解析装置１３０とコンパイラ装置１１０ｂとから構成
され、最適化情報としてクラスの継承関係に関する情報
を収集し、中間コード形式のプログラムコードを生成
し、収集した情報及び生成したプログラムコードを用い
て最適化を行なう。 １．最適化情報解析装置１３０ ここでは、最適化情報解析装置１３０について説明す
る。 １．１ 最適化情報解析装置１３０の構成 最適化情報解析装置１３０は、図４０に示すように、プ
ログラム記憶部１１、入力部１２ｂ、未読ファイル集合
記憶部１３、第１記憶部３２ｂ、構文解析部３３ｂ、第
２記憶部３４、中間コード生成部３６、継承関係抽出部
５０、継承関係記憶部５１、中間コード記憶部５４から
構成されている。継承関係記憶部５１は、全クラス定義
集合記憶部１５及び被継承クラス集合記憶部１８から構
成されている。

【０１２２】なお、最適化情報解析装置１３０を構成す
る構成要素のうち、最適化情報付加装置１００の構成要
素と同じ符合を有するものは、最適化情報付加装置１０
０を構成する構成要素と同様であり、コンパイラ装置１
１０の構成要素と同じ符合を有するものは、コンパイラ
装置１１０を構成する構成要素と同様である。以下にお
いて、相違点を中心に説明する。 （入力部１２ｂ）入力部１２ｂは、入力部１２と同様
に、操作者から１個のコマンド名「ｒｕｎ」と少なくと
も１個のファイル名との入力を受け付ける。

【０１２３】入力部１２ｂは、前記入力を受け付けたフ
ァイル名を有するファイルをプログラム記憶部１１から
読み出す。読み出しは、ファイルを構成する文毎に行
う。読み出した文が＃ｉｎｃｌｕｄｅ文である場合に
は、＃ｉｎｃｌｕｄｅ文により示されているファイルを
読み出し、読み出したファイルの内容を前記＃ｉｎｃｌ
ｕｄｅ文が記述されている位置において展開する。

【０１２４】入力部１２ｂは、前記読み出したファイル
を同じファイル名を用いて未読ファイル集合記憶部１３
へ書き込む。入力部１２ｂにより未読ファイル集合記憶
部１３へ書き込まれたファイルからなる集合を、未読フ
ァイル集合ＴＦと呼ぶ。次に、入力部１２ｂは、未読フ
ァイル集合記憶部１３に記憶されているファイルｆ１を
１個ずつ順に読み出し、読み出したファイルｆ１を第１
記憶部３２へ書き込み、未読ファイル集合ＴＦから読み
出したファイルｆ１を削除する。

【０１２５】入力部１２ｂは、未読ファイル集合記憶部
１３に記憶されている全てのファイルの読み出しが終了
するまで、ファイルｆ１の読み出しと、ファイルｆ１の
削除とファイルｆ１の書込みとを繰り返す。 （第１記憶部３２ｂ）第１記憶部３２ｂは、入力部１２
ｂから出力されたファイルを記憶する。 （構文解析部３３ｂ）構文解析部３３ｂは、第１記憶部
３２ｂに記憶されているファイルから字句を順次読み出
し、通常の構文の解析を行い、解析結果の情報にファイ
ル名を付して第２記憶部３４へ書き込む。通常の構文解
析については、公知であるので、説明を省略する。

【０１２６】構文解析部３３ｂは、解析した構文がクラ
ス定義である場合、定義されたクラス定義Ｃ１と、前記
クラス定義Ｃ１の基底クラス集合ＢＳＥＴとを抽出し、
抽出したクラス定義Ｃ１と、基底クラス集合ＢＳＥＴと
を継承関係抽出部５０へ出力する。構文解析部３３ｂ
は、第１記憶部３２ｂに記憶されている各ファイルか
ら、字句の読出しを終了するまで、字句の読出しと、通
常の構文解析と、解析した構文がクラス定義である場合
のクラス定義Ｃ１及び基底クラス集合ＢＳＥＴの抽出及
び出力と、解析結果の書込みとを繰り返す。 （全クラス定義集合記憶部１５）全クラス定義集合記憶
部１５は、第１の実施形態の全クラス定義集合記憶部１
５と同様に、全クラス定義集合ＴＳＥＴを有し、全クラ
ス定義集合ＴＳＥＴは、クラス定義を含む。 （被継承クラス集合記憶部１８）被継承クラス集合記憶
部１８は、第１の実施形態の被継承クラス集合記憶部１
８と同様に、被継承クラス集合ＩＳＥＴを有し、被継承
クラス集合ＩＳＥＴは、クラス名を含む。 （継承関係抽出部５０）継承関係抽出部５０は、構文解
析部３３ｂからクラス定義Ｃ１と基底クラス集合ＢＳＥ
Ｔを受け取る。

【０１２７】継承関係抽出部５０は、前記受け取ったク
ラス定義Ｃ１が、全クラス定義集合記憶部５２が有する
全クラス定義集合ＴＳＥＴに含まれているか否かを判断
し、全クラス定義集合ＴＳＥＴに含まれていないと判断
する場合に、クラス定義Ｃ１を全クラス定義集合ＴＳＥ
Ｔに書き込む。継承関係抽出部５０は、前記受け取った
基底クラス集合ＢＳＥＴの各要素Ｃ２が、被継承クラス
集合記憶部１８が有する被継承クラス集合ＩＳＥＴに含
まれているか否かを判断し、被継承クラス集合ＩＳＥＴ
に含まれていないと判断する場合に要素Ｃ２を被継承ク
ラス集合ＩＳＥＴへ書き込む。 （中間コード生成部３６）中間コード生成部３６は、第
２記憶部３４から解析結果の情報を読み出して、中間コ
ードを生成し、生成した中間コードにファイル名を付し
て中間コード記憶部５４へ書き込む。 （中間コード記憶部５４）中間コード記憶部５４は、生
成された中間コードを記憶する。 １．２ 最適化情報解析装置１３０の動作 最適化情報解析装置１３０の動作について説明する。 （最適化情報解析装置１３０の全体の動作）最適化情報
解析装置１３０の全体の動作について、図４１に示すフ
ローチャートを用いて説明する。

【０１２８】入力部１２ｂは、操作者による文字列の入
力を受け付け、前記入力を受け付けた文字列に含まれる
ファイル名を有するファイルをプログラム記憶部１１か
ら読み出し、読み出したファイルを同じファイル名を用
いて未読ファイル集合記憶部１３へ書き込む（ステップ
Ｓ４０１）。入力部１２ｂは、未読ファイル集合記憶部
１３に記憶されているファイルｆ１を読み出し（ステッ
プＳ４０２）、入力部１２ｂが未読ファイル集合記憶部
１３の全てのファイルの読出しを終了したならば（ステ
ップＳ４０３）、処理を終了する。

【０１２９】入力部１２ｂは、未読ファイル集合記憶部
１３の全てのファイルの読出しを終了していないならば
（ステップＳ４０３）、構文解析部３３ｂは、読み出し
たファイルｆ１に対して通常の構文の解析を行い解析結
果の情報を書き込む（ステップＳ４０４）。次に、構文
解析部３３ｂは、解析した文がクラス定義か否かを判断
し、クラス定義であるならば（ステップＳ４０５）、構
文解析部３３ｂは、継承関係抽出部５０へクラス定義Ｃ
１と基底クラス集合ＢＳＥＴを出力し、継承関係抽出部
５０は、継承関係抽出処理を実行する（ステップＳ４０
６）。

【０１３０】次に、中間コード生成部３６は、解析結果
の情報を読み出して中間コードを生成し、生成した中間
コードを中間コード記憶部５４へ書き込む（ステップＳ
４０７）。次に、構文解析部３３ｂは、ファイルの最後
まで処理したか否かを判断し、ファイルの最後まで処理
していないならば（ステップＳ４０８）、ステップＳ４
０４へ制御を戻し、ファイルの最後まで処理が終了する
まで、上記の通常の構文解析、クラス定義の場合の継承
関係抽出処理及び中間コードの生成処理を繰り返す。

【０１３１】ファイルの最後まで処理したならば（ステ
ップＳ４０８）、ステップＳ４０２へ制御を戻し、未読
ファイル集合の全てのファイルの読み出しが終了するま
で、上記処理を繰り返す。 （継承関係抽出部５０の動作）継承関係抽出部５０の動
作について、図４２に示すフローチャートを用いて説明
する。

【０１３２】継承関係抽出部５０は構文解析部３３ｂか
ら、構文解析部３３ｂが解析したクラス定義Ｃ１と前記
クラス定義Ｃ１が継承している基底クラスの集合ＢＳＥ
Ｔを受け取る（ステップＳ４１０）。次に、受け取った
クラス定義Ｃ１が全クラス定義集合ＴＳＥＴに含まれる
か否かを判断し、全クラス定義集合ＴＳＥＴに含まれて
いるならば（ステップＳ４１１）、ステップＳ４１３に
制御を移し、全クラス定義集合ＴＳＥＴに含まれていな
いならば（ステップＳ４１１）、クラス定義Ｃ１を全ク
ラス定義集合ＴＳＥＴに書き込む（ステップＳ４１
２）。

【０１３３】次に、継承関係抽出部５０は、受け取った
基底クラス集合ＢＳＥＴに含まれる各クラスＣ２につい
て、ステップＳ４１３からステップＳ４１６までのルー
プ１を繰り返す。基底クラス集合ＢＳＥＴに含まれる全
てのクラスについて処理を終了すると、継承関係抽出部
５０は処理を終了する。継承関係抽出部５０は、クラス
Ｃ２が被継承クラス集合ＩＳＥＴに含まれるか否かを判
断する。クラスＣ２が被継承クラス集合ＩＳＥＴに含ま
れているならば（ステップＳ４１４）、ステップＳ４１
６に制御を移す。クラスＣ２が被継承クラス集合ＩＳＥ
Ｔに含まれていないならば（ステップＳ４１４）、クラ
スＣ２を被継承クラス集合ＩＳＥＴに書き込む（ステッ
プＳ４１５）。 ２．コンパイラ装置１１０ｂ ここでは、コンパイラ装置１１０ｂについて説明する。 ２．１ コンパイラ装置１１０ｂの構成 コンパイラ装置１１０ｂは、図４３に示すように、中間
コード記憶部５４、継承関係記憶部５１、中間コード入
力部５５、第３記憶部３７、継承関係解析部５６、終端
クラス記憶部３５、最適化部３８、第４記憶部３９、資
源割付部４０、第５記憶部４１、コード生成部４２及び
生成コード記憶部４３から構成される。

【０１３４】中間コード記憶部５４及び継承関係記憶部
５１は、それぞれ、最適化情報解析装置１３０の中間コ
ード記憶部５４及び継承関係記憶部５１と同じである。
また、コンパイラ装置１１０ｂを構成する構成要素のう
ち、コンパイラ装置１１０の構成要素と同じ符合を有す
るものは、コンパイラ装置１１０を構成する構成要素と
同様である。以下において、相違点を中心に説明する。 （中間コード入力部５５）中間コード入力部５５は、入
力部１２ｂと同様に、操作者による文字列の入力を受け
付け、入力を受け付けた文字列を分解して、１個のコマ
ンド名と少なくとも１個のファイル名とを生成する。こ
こで、入力されるファイル名は、一例として、「ｆｉｌ
ｅｚ．ｃｃ」である。ファイル名は、ファイルを個別に
識別するファイル識別子とセパレータ「．」とファイル
の種類を示すファイル種別とから構成される。「ｆｉｌ
ｅｚ」は、ファイル識別子であり、「ｃｃ」は、ファイ
ル種別である。次に、中間コード入力部５５は、前記生
成した少なくとも１個のファイル名から中間コードファ
イルのファイル名に変換する。中間コードファイルを示
すファイル名は、一例として、「ｆｉｌｅｚ．ｍ」であ
り、前記変換の一例は、ファイル名「ｆｉｌｅｚ．ｃ
ｃ」中のファイル種別「ｃｃ」をファイル種別「ｍ」に
置き換える変換である。次に、前記変換した少なくとも
１個のファイル名を有する少なくとも１個のファイルを
中間コード記憶部５４から読み出し、読み出したファイ
ルに同じファイル名を付して第３記憶部３７に書き込
む。更に、継承関係記憶部５１の全クラス定義集合記憶
部１５から全クラス定義集合ＴＳＥＴを読み出し、読み
出した全クラス定義集合ＴＳＥＴを第３記憶部３７に書
き込み、被継承クラス集合記憶部１８から被継承クラス
集合ＩＳＥＴを読み出し、読み出した被継承クラス集合
ＩＳＥＴを第３記憶部３７に書き込む。

【０１３５】なお、中間コード入力部５５は、操作者か
らのファイル名の入力を受け付け、中間コードを読み出
す代わりに、中間コード記憶部５４に記憶されている全
ての中間コードファイルを読み出すとしてもよい。 （第３記憶部３７）第３記憶部３７は、中間コード形式
のファイル、全クラス定義集合ＴＳＥＴ及び被継承クラ
ス集合ＩＳＥＴを記憶する。 （継承関係解析部５６）継承関係解析部５６は、第１の
実施形態の継承関係解析部１９と同様であり、第３記憶
部３７に記憶されている全クラス定義集合ＴＳＥＴに含
まれている全てのクラス定義を読み出し、被継承クラス
集合ＩＳＥＴに含まれている全てのクラス名を読み出
す。

【０１３６】次に、継承関係解析部５６は、読み出した
全クラス定義集合ＴＳＥＴに含まれている全てのクラス
定義から、読み出した被継承クラス集合ＩＳＥＴに含ま
れている全てのクラス名で示されるクラス定義を削除
し、残ったクラス定義を終端クラス集合ＦＳＥＴとす
る。継承関係解析部５６は、終端クラス集合ＦＳＥＴを
終端クラス記憶部３５へ書き込む。 ２．２ コンパイラ装置１１０ｂの動作 コンパイラ装置１１０ｂの全体の動作について、図４４
に示すフローチャートを用いて説明する。

【０１３７】なお、図４４に示すフローチャートのステ
ップＳ２０４〜Ｓ２０６は、それぞれ図１８に示すフロ
ーチャートのステップＳ２０４〜Ｓ２０６と同じである
ので説明を省略する。ステップＳ５０１において、コン
パイラ装置１１０ｂの中間コード入力部５５は、操作者
からファイル名の入力を受け付け、中間コードファイル
のファイル名に変換し（ステップＳ５１１）、中間コー
ド記憶部５４から読み出し、読み出したファイルを第３
記憶部３７に書き込み（ステップＳ５１２）、継承関係
記憶部５１の全クラス定義集合記憶部１５から全クラス
定義集合ＴＳＥＴを読み出し、読み出した全クラス定義
集合ＴＳＥＴを第３記憶部３７に書込み（ステップＳ５
１３）、被継承クラス集合記憶部１８から被継承クラス
集合ＩＳＥＴを読み出し、読み出した被継承クラス集合
ＩＳＥＴを第３記憶部３７に書き込む（ステップＳ５１
４）。

【０１３８】次に、ステップＳ５０２において、継承関
係解析部５６は、第３記憶部３７に記憶されている全ク
ラス定義集合ＴＳＥＴに含まれている全てのクラス定義
を読み出し（ステップＳ５２１）、被継承クラス集合Ｉ
ＳＥＴに含まれている全てのクラス名を読み出し（ステ
ップＳ５２２）、読み出した全クラス定義集合ＴＳＥＴ
に含まれている全てのクラス定義から、読み出した被継
承クラス集合ＩＳＥＴに含まれている全てのクラス名で
示されるクラス定義を削除し（ステップＳ５２３）、残
ったクラス定義を終端クラス集合ＦＳＥＴとして終端ク
ラス記憶部３５へ書き込む（ステップＳ５２４）。 ３．まとめ 以上説明したように、本発明の最適化情報解析装置によ
り、中間コードを生成し、全クラス定義集合と被継承ク
ラス集合とを生成し、更に本発明のコンパイラ装置によ
り、生成した前記全クラス定義集合と前記被継承クラス
集合とから継承されないクラスを抽出し、生成された前
記中間コード内において、抽出された継承されないクラ
スの仮想関数呼び出しを関数の直接呼出しに変換する。
これにより、最適化処理を適用できる機会が増え、生成
される実行形式命令を少なくすることができる。 IV 第４の実施の形態 本発明に係る第４の実施の形態としてのプログラム変換
装置１２０ｃ（図示していない）について説明する。

【０１３９】プログラム変換装置１２０ｃは、プログラ
ム変換装置１２０ｂと同様に、最適化情報解析装置１３
０ｃとコンパイラ装置１１０ｃとから構成され、最適化
情報として仮想関数に関する情報を収集し、中間コード
形式のプログラムコードを生成し、収集した情報及び生
成したプログラムコードを用いて最適化を行う。 １．最適化情報解析装置１３０ｃ ここでは、最適化情報解析装置１３０ｃについて説明す
る。 １．１ 最適化情報解析装置１３０ｃの構成 最適化情報解析装置１３０ｃは、図４５に示すように、
プログラム記憶部１１、入力部１２ｂ、未読ファイル集
合記憶部１３、第１記憶部３２ｂ、構文解析部３３ｃ、
第２記憶部３４、中間コード生成部３６、仮想関数解析
部５７、仮想関数記憶部５８、中間コード記憶部５４か
ら構成されている。仮想関数記憶部５８は、仮想関数集
合記憶部２７とオーバーライド集合記憶部２８とから構
成されている。

【０１４０】最適化情報解析装置１３０ｃは、最適化情
報解析装置１３０を構成する構文解析部３３ｂに代えて
構文解析部３３ｃを有し、継承関係抽出部５０に代えて
仮想関数解析部５７を有し、継承関係記憶部５１に代え
て仮想関数記憶部５８を有する。以下において、最適化
情報解析装置１３０を構成する各構成要素との相違点を
中心として説明する。 （構文解析部３３ｃ）構文解析部３３ｃは、第１記憶部
３２ｂに記憶されているファイルから字句を順次読み出
し、通常の構文の解析を行い、解析結果の情報にファイ
ル名を付して第２記憶部３４へ書き込む。通常の構文解
析については、公知であるので、説明を省略する。

【０１４１】構文解析部３３ｃは、解析した構文がクラ
ス定義文である場合、解析して得られたクラス定義文内
において宣言されている仮想関数ＶＦを全て含む集合Ｖ
ＦＳＥＴ１を生成し、解析して得られた前記クラス定義
文と生成した仮想関数の集合ＶＦＳＥＴ１を仮想関数解
析部５７へ出力する。構文解析部３３ｃは、第１記憶部
３２ｂに記憶されている各ファイルから、字句の読出し
を終了するまで、字句の読出しと、通常の構文解析と、
解析した構文がクラス定義である場合の集合ＶＦＳＥＴ
１の生成及びクラス定義文と集合ＶＦＳＥＴ１との出力
と、解析結果の書込みとを繰り返す。 （仮想関数集合記憶部２７、オーバーライド集合記憶部
２８）仮想関数集合記憶部２７及びオーバーライド集合
記憶部２８は、それぞれ、最適化情報付加装置１００ａ
の仮想関数集合記憶部２７及びオーバーライド集合記憶
部２８と同じであるので、説明を省略する。 （仮想関数解析部５７）仮想関数解析部５７は、内部で
用いられる変数として、最適化情報付加装置１００ａの
仮想関数解析部２６が有する仮想関数集合ＶＦＳＥＴと
同じ仮想関数集合ＶＦＳＥＴを有する。

【０１４２】仮想関数解析部５７は、構文解析部３３ｃ
からクラス定義文と仮想関数集合ＶＦＳＥＴ１を受け取
り、受け取ったクラス定義文に基底クラスが含まれてい
るか否かを判断する。基底クラスが含まれていない場合
には、仮想関数解析部５７は、仮想関数集合ＶＦＳＥＴ
のクラス名が格納される領域に、受け取ったクラス定義
文に含まれるクラス名Ｃ１を格納し、仮想関数集合ＶＦ
ＳＥＴ内のクラス名と関数名とからなる各組が格納され
る領域を空とする。

【０１４３】基底クラスが含まれている場合には、仮想
関数解析部５７は、前記クラス定義に含まれている基底
クラスＣ２をクラス名として有する仮想関数集合を仮想
関数集合記憶部２７から取得し、取得した仮想関数集合
を仮想関数集合ＶＦＳＥＴとし、仮想関数集合ＶＦＳＥ
Ｔのクラス名が格納される領域に、基底クラスＣ２に代
えて、前記クラス定義文に含まれているクラス名Ｃ１を
格納する。

【０１４４】次に、仮想関数解析部５７は、構文解析部
３３ｃから受け取った仮想関数の集合ＶＦＳＥＴ１に記
述されている仮想関数ＶＦ毎に、前記仮想関数ＶＦが、
仮想関数集合ＶＦＳＥＴ内に存在するか否かを判断す
る。仮想関数集合ＶＦＳＥＴ内に存在すると判断する場
合に、仮想関数解析部５７は、仮想関数集合ＶＦＳＥＴ
内に存在する前記仮想関数ＶＦと同じ仮想関数名ＶＦ’
と、前記仮想関数ＶＦ’と１つの組をなすクラス名とか
らなる組をオーバーライド集合記憶部２８のオーバーラ
イド集合ＯＶＳＥＴへ書き込み、仮想関数集合ＶＦＳＥ
Ｔ内の仮想関数名ＶＦ’と、前記仮想関数ＶＦ’と１つ
の組をなすクラス名とからなる組を消去し、代わりに前
記仮想関数ＶＦと前記クラス定義文に定義されているク
ラス名Ｃ１との組を仮想関数集合ＶＦＳＥＴに書き込
む。

【０１４５】仮想関数集合ＶＦＳＥＴ内に存在しないと
判断する場合に、仮想関数解析部５７は、仮想関数集合
ＶＦＳＥＴ内の組が格納される領域に前記クラス定義文
に定義されているクラス名Ｃ１と仮想関数ＶＦとからな
る組を書き込む。次に、仮想関数解析部５７は、仮想関
数集合ＶＦＳＥＴを仮想関数集合記憶部２７へ書き込
む。

【０１４６】このようにして、第２の実施形態と同様
に、図３０に示すファイル１１０１から、図３１に示す
仮想関数集合１１５１が形成され、図３２に示すオーバ
ーライト集合が形成される。また、図３０に示すファイ
ル１１０２から、図３１に示す仮想関数集合１１６１が
形成される。 １．２ 最適化情報解析装置１３０ｃの動作 （最適化情報解析装置１３０ｃの全体の動作）最適化情
報解析装置１３０ｃの全体の動作は、以下に示す記載を
除いて、図４１のフローチャートに示す最適化情報解析
装置１３０の全体の動作と同様であるので、異なる点に
ついて説明する。

【０１４７】ステップＳ４０６において、最適化情報解
析装置１３０の構文解析部３３ｂは、継承関係抽出部５
０へクラス定義Ｃ１と基底クラス集合ＢＳＥＴを出力
し、継承関係抽出部５０は、継承関係抽出処理を実行す
る。これに代えて、最適化情報解析装置１３０ｃの構文
解析部３３ｃは、クラス定義文と仮想関数の集合ＶＦＳ
ＥＴ１とを仮想関数解析部５７へ出力し、仮想関数解析
部５７は、以下に示す仮想関数の解析を行う。 （仮想関数解析部５７の動作）仮想関数解析部５７の動
作は第２の実施形態の仮想関数解析部２６と同様であ
り、図３５に示すフローチャートを用いて説明する。

【０１４８】仮想関数解析部５７は、構文解析部３３ｃ
からクラス定義文と仮想関数集合ＶＦＳＥＴ１を受け取
り、受け取ったクラス定義文に基底クラスが記述されて
いるか否かを判断する。基底クラスが記述されていない
場合には（ステップＳ３２１）、仮想関数集合ＶＦＳＥ
Ｔのクラス名が格納される領域に、前記クラス定義文に
定義されているクラス名Ｃ１を格納し、仮想関数集合Ｖ
ＦＳＥＴの各組が格納される領域を空とする（ステップ
Ｓ３２３）。基底クラスが記述されている場合には（ス
テップＳ３２１）、前記クラス定義に記述されている基
底クラスＣ２をクラス名として有する仮想関数集合を仮
想関数集合記憶部２７から取得し、取得した仮想関数集
合を仮想関数集合ＶＦＳＥＴとし、仮想関数集合ＶＦＳ
ＥＴのクラス名が格納される領域に、基底クラスＣ２に
代えて、前記クラス定義文に定義されているクラス名Ｃ
１を格納する（ステップＳ３２２）。

【０１４９】次に、仮想関数解析部５７は、構文解析部
３３ｃから受け取った仮想関数集合ＶＦＳＥＴ１に含ま
れる仮想関数ＶＦ毎に、ステップＳ３２５〜Ｓ３２８を
繰り返す。ステップＳ３２５〜Ｓ３２８において、前記
仮想関数ＶＦが、仮想関数集合ＶＦＳＥＴ内に存在する
か否かを判断し、仮想関数集合ＶＦＳＥＴ内に存在する
と判断する場合に（ステップＳ３２５）、仮想関数集合
ＶＦＳＥＴ内に存在する前記仮想関数ＶＦと同じ仮想関
数名ＶＦ’と、前記仮想関数ＶＦ’と１つの組をなすク
ラス名とからなる組をオーバーライド集合記憶部２８の
オーバーライド関数集合ＯＶＳＥＴへ書き込み（ステッ
プＳ３２６）、仮想関数集合ＶＦＳＥＴ内の仮想関数名
ＶＦ’と、前記仮想関数ＶＦ’と１つの組をなすクラス
名とからなる組を消去し、代わりに前記仮想関数ＶＦと
前記クラス定義文に定義されているクラス名Ｃ１との組
を仮想関数集合ＶＦＳＥＴに書き込む（ステップＳ３２
７）。

【０１５０】仮想関数集合ＶＦＳＥＴ内に存在しないと
判断する場合に（ステップＳ３２５）、仮想関数集合Ｖ
ＦＳＥＴの組が格納される領域に前記クラス定義文に定
義されているクラス名Ｃ１と仮想関数ＶＦとからなる組
を書き込む（ステップＳ３２８）。次に、仮想関数解析
部５７は、仮想関数集合ＶＦＳＥＴを仮想関数集合記憶
部２７へ書き込む（ステップＳ３３０）。 ２．コンパイラ装置１１０ｃ ここでは、コンパイラ装置１１０ｃについて説明する。 ２．１ コンパイラ装置１１０ｃの構成 コンパイラ装置１１０ｃは、図４６に示すように、中間
コード記憶部５４、仮想関数記憶部５８、中間コード入
力部５５ｃ、第３記憶部３７、オーバーライド集合記憶
部３５ｃ、最適化部３８、第４記憶部３９、資源割付部
４０、第５記憶部４１、コード生成部４２及び生成コー
ド記憶部４３を備え、コンパイラ装置１１０ｂの継承関
係解析部５６及び終端クラス記憶部３５に代えて、オー
バーライド集合記憶部３５ｃを備えており、中間コード
入力部５５に代えて、中間コード入力部５５ｃを備えて
いる。

【０１５１】また、コンパイラ装置１１０ｃを構成する
構成要素のうち、コンパイラ装置１１０ｂの構成要素と
同じ符号を有するものは、コンパイラ装置１１０ｂを構
成する構成要素と同様である。以下において、コンパイ
ラ装置１１０ｂを構成する構成要素との相違点を中心と
して説明する。 （仮想関数記憶部５８）仮想関数記憶部５８は、最適化
情報解析装置１３０ｃの仮想関数記憶部５８と同じであ
り、仮想関数集合記憶部２７及びオーバーライド集合記
憶部２８から構成されており、仮想関数集合記憶部２７
及びオーバーライド集合記憶部２８は、仮想関数解析部
５７によって解析された結果を記憶している。 （中間コード入力部５５ｃ）中間コード入力部５５ｃ
は、中間コード入力部５５と同様に、操作者による文字
列の入力を受け付け、入力を受け付けた文字列を分解し
て、１個のコマンド名と少なくとも１個のファイル名と
を生成し、前記生成した少なくとも１個のファイル名か
ら中間コードファイルのファイル名に変換し、前記変換
した少なくとも１個のファイル名を有する少なくとも１
個のファイルを中間コード記憶部５４から読み出し、第
３記憶部３７に書き込む。更に、仮想関数記憶部５８の
オーバーライド集合記憶部２８からオーバーライド集合
ＯＶＳＥＴを読み出し、読み出したオーバーライド集合
ＯＶＳＥＴをオーバーライド集合記憶部３５ｃに書き込
む。

【０１５２】なお、中間コード入力部５５ｃは、操作者
からのファイル名の入力を受け付け、中間コードを読み
出す代わりに、中間コード記憶部５４に記憶されている
全ての中間コードファイルを読み出すとしてもよい。 （オーバーライド集合記憶部３５ｃ）オーバーライド集
合記憶部３５ｃは、オーバーライド関数を記憶する。オ
ーバーライド関数は、クラス名と仮想関数名との組から
なる。 （最適化部３８）最適化部３８は、第２の実施形態の最
適化部３８と同様であり、第３記憶部３７に記憶されて
いる中間コードを読み出し、読み出した中間コードのコ
マンド名が仮想関数呼び出しである場合に、前記中間コ
ードに含まれるクラス名と関数名とが、オーバーライド
集合記憶部３５ｃに記憶されているか否かを判断し、記
憶されている場合には、通常の最適化処理を行い、記憶
されていない場合には、前記読み出した中間コードに含
まれる仮想関数フラグを関数が仮想関数でないことを示
す「ｒｅａｌ」に書き換え、前記中間コードを第４記憶
部３９に書き込む。

【０１５３】第２の実施形態と同じく、図３２に示すオ
ーバーライド集合の例によると、クラスは「Ｘ」であ
り、関数は「ｆ」である。一方、図３０のファイル１１
０３において、変数ｘ１、ｘ２、ｙ１、ｙ２への代入文
で仮想関数呼出しが行われている。変数ｘ１への代入文
の右辺において呼び出される仮想関数は、クラスＸに属
する関数ｆであるので、前記のオーバーライド集合に含
まれており、通常の仮想関数呼出しを行う。

【０１５４】また、変数ｘ２、ｙ１、ｙ２への代入文の
右辺において呼び出される仮想関数は、それぞれ、クラ
スＸに属する関数ｇ、クラスＹに属する関数ｆ、クラス
Ｙに属する関数ｇであるので、前記のオーバーライド集
合に含まれておらず、これらの仮想関数呼び出しを直接
呼出しに書き換える。 ２．２ コンパイラ装置１１０ｃの動作 コンパイラ装置１１０ｃの動作について説明する。 （コンパイラ装置１１０ｃの全体の動作）コンパイラ装
置１１０ｃの全体の動作について、図４７に示すフロー
チャートを用いて説明する。

【０１５５】なお、図４７に示すフローチャートのステ
ップＳ２０５〜Ｓ２０６は、それぞれ図１８に示すフロ
ーチャートのステップＳ２０５〜Ｓ２０６と同じである
ので説明を省略する。ステップＳ７０１において、コン
パイラ装置１１０ｃの中間コード入力部５５ｃは、操作
者からファイル名の入力を受け付け、中間コードファイ
ルのファイル名に変換し（ステップＳ７１１）、中間コ
ード記憶部５４から読み出し、読み出したファイルを第
３記憶部３７に書き込み（ステップＳ７１２）、仮想関
数記憶部５８のオーバーライド集合記憶部２８からオー
バーライド集合ＯＶＳＥＴを読み出し、読み出したオー
バーライド集合ＯＶＳＥＴをオーバーライド集合記憶部
３５ｃに書き込む（ステップＳ７１３）。

【０１５６】次に、コンパイラ装置１１０ｃの最適化部
３８は、以下に示す最適化処理を行う（ステップＳ７０
２）。 （最適化部３８の動作）最適化部３８の動作は、第２の
実施形態と同様であり、図３８に示すフローチャートを
用いて説明する。

【０１５７】最適化部３８は、第３記憶部３７に記憶さ
れている中間コードを読み出し、読み出した中間コード
のコマンド名が関数呼出しであり、仮想関数フラグがｖ
ｉｒｔｕａｌであるか否かを判断し、仮想関数呼出しで
あるとき（ステップＳ３８１）、前記中間コードに含ま
れるクラス名と関数名とが、オーバーライド集合記憶部
３５ｃに記憶されているか否かを判断し、記憶されてい
ない場合には（ステップＳ３８２）、前記読み出した中
間コードに含まれる仮想関数フラグを「ｒｅａｌ」に書
き換え、前記中間コードを第４記憶部３９に書き込み
（ステップＳ３８３）、再度処理を繰り返す。

【０１５８】最適化部３８は、前記中間コードに含まれ
るクラス名と関数名とが、オーバーライド集合記憶部３
５ｃに記憶されている場合には（ステップＳ３８２）、
前記中間コードに対して通常の最適化処理を施し、通常
の最適化処理の施された中間コードを第４記憶部３９に
書き込み（ステップＳ３８４）、再度処理を繰り返す。 ３．まとめ 以上説明したように、関数の置き換え（オーバーライ
ド）が行われない仮想関数の呼出しを直接呼出しに変換
することにより、最適化処理を適用できる機会が増え、
生成される実行形式命令を少なくすることができる。

【０１５９】第２の実施形態と同様に、図３０に示すフ
ァイル１１０３から、仮想関数呼び出しをそのままにし
て生成した実行形式命令を図３９（ａ）に示し、関数の
置き換え（オーバーライド）が行われない仮想関数の呼
出しを直接呼出しに変換することにより、前記最適化処
理を適用し、さらに、関数のインライン展開を適用する
ことにより、ファイル１１０３から生成した実行形式命
令を図３９（ｂ）に示す。この図に示すように、生成さ
れる実行形式命令は少なくなっている。 Ｖ その他の変形例 なお、本発明を上記の実施の形態に基づいて説明してき
たが、本発明は、上記の実施の形態に限定されないのは
もちろんである。以下のような場合も本発明に含まれ
る。 （１）本発明は、上記に示す方法であるとしてもよい。
また、本発明はコンピュータプログラムによって実現
し、前記プログラムをフロッピー（登録商標）ディスク
等のコンピュータ読み取り可能な記録媒体に記録して移
送することにより、又は前記プログラムをネットワーク
を経由して移送することにより、独立した他のコンピュ
ータシステムで容易に実施することができる。 （２）上記の実施の形態及び上記変形例を、それぞれ組
み合わせるとしてもよい。

【０１６０】

【発明の効果】上記の目的を達成するために、本発明
は、オブジェクト指向言語に基づくソースプログラムか
ら１以上の実行形式命令を生成するプログラム変換装置
であって、複数のクラス定義と呼出命令とを含むソース
プログラムを記憶している記憶手段と、前記呼出命令
は、１個の仮想的関数を識別する関数名を含み、各クラ
ス定義は、クラスと、前記クラスと他のクラスとの継承
関係と、前記関数名で識別され前記クラスに属する仮想
的関数とを定義し、前記呼出命令の実行時に複数のクラ
スで定義される仮想的関数のうち１個の仮想的関数のみ
が実行され、前記呼出命令に含まれる関数名により識別
される仮想的関数について、前記複数のクラス定義で定
義されている前記複数の仮想的関数のうちの１個の仮想
的関数のみが呼び出されると確定できるか否かを、前記
呼出命令を実行することなく前記ソースプログラムを用
いて、判断する判断手段と、前記判断手段により確定で
きると判断される場合に、前記１個の仮想的関数に対応
する実行形式命令群を直接呼び出す実行形式命令を生成
する生成手段とを備える。

【０１６１】この構成によると、呼出命令により呼び出
される仮想的関数について、複数の関数のうちの１個の
関数のみが呼び出されると確定できる場合に、仮想的関
数を直接呼び出す実行形式命令群を生成するので、生成
される実行形式命令数を少なくすることができ、実行形
式命令の生成効率を向上することができる。ここで、前
記判断手段は、前記ソースプログラムに含まれる各クラ
ス定義を用いて、前記呼出命令に含まれる関数名により
識別される仮想的関数が、他のクラスにより継承されな
いクラスに属するか否かを判断することにより、確定で
きるか否かを判断し、前記生成手段は、前記判断手段に
より、前記呼出命令に含まれる関数名により識別される
仮想的関数が他のクラスにより継承されないクラスに属
すると判断される場合に、前記実行形式命令を生成する
ように構成してもよい。

【０１６２】この構成によると、前記ソースプログラム
に含まれるクラス定義を用いて、前記呼出命令により呼
び出される仮想的関数が、他のクラスにより継承されな
いクラスに属するか否かを判断することにより、１個の
関数のみが呼び出されると確定できるので、前記確定判
断を確実に行うことができる。ここで、前記記憶手段が
記憶しているソースプログラムにおいて、各クラス定義
は、各クラスが他のクラスを継承する場合に、前記他の
クラスを示す基底クラスを含み、これによりクラスが他
のクラスを継承するか否かを示し、前記判断手段は、前
記ソースプログラムに含まれる全てのクラス定義を読み
出し、読み出したクラス定義からクラスを抽出し、抽出
したクラスを記憶するクラス抽出手段と、前記ソースプ
ログラムに含まれる全てのクラス定義を読み出し、読み
出したクラス定義から基底クラスを抽出し、抽出した基
底クラスを記憶する継承関係抽出手段と、前記クラス抽
出手段に記憶されているクラスから、前記継承関係抽出
手段に記憶されている基底クラスを除いた残りのクラス
を抽出し、抽出したクラスを記憶する継承関係解析手段
と、前記継承関係解析手段に記憶されているクラスを含
むクラス定義を含む前記ソースプログラムに、最適化情
報を書き込む最適化情報付加手段と、前記ソースプログ
ラムに書き込まれた前記最適化情報を用いて、前記呼出
命令に含まれる関数名により識別される仮想的関数が、
他のクラスにより継承されないクラスに属するか否かを
判断するクラス判断手段とを含むように構成してもよ
い。

【０１６３】この構成によると、他のクラスへ継承され
ないクラスを示す最適化情報を、クラス定義を含むソー
スプログラムに付加するので、付加されたソースプログ
ラムを再利用する場合に、最適化情報の付加処理を省略
することができる。ここで、前記最適化情報付加手段
は、前記記憶手段に記憶されているソースプログラム内
のクラス定義であって、前記継承関係解析手段に記憶さ
れているクラスを定義しているものに対応して前記最適
化情報を書き込むように構成してもよい。

【０１６４】この構成によると、継承関係解析手段に記
憶されているクラスを含むクラス定義に対応して最適化
情報を付加するので、最適化情報が付加されたクラス定
義の検出が容易となる。ここで、前記最適化情報付加手
段は、前記記憶手段に記憶されているソースプログラム
内のクラス定義に含まれる仮想的関数であって、前記継
承関係解析手段に記憶されているクラスを定義している
クラス定義内のものに対応して、前記最適化情報を書き
込むように構成してもよい。

【０１６５】この構成によると、継承関係解析手段に記
憶されているクラスを含むクラス定義内の仮想的関数に
対応して最適化情報を付加するので、最適化情報が付加
された仮想的関数の検出が容易となる。ここで、前記最
適化情報は、オブジェクト指向言語における予約語であ
るように構成してもよい。

【０１６６】この構成によると、最適化情報はオブジェ
クト指向言語における予約語であるので、プログラムの
汎用性を失うことなく、かつこのキーワードを解釈する
全てのコンパイラによって最適化情報を認識することが
出来る。ここで、前記最適化情報は、前記プログラム変
換装置に固有の文字列であるように構成してもよい。

【０１６７】この構成によると、特定のコンパイラ装置
のみが固有の最適化情報を認識し、その他のコンパイラ
は最適化情報を無視するので、特定のコンパイラ装置に
対する最適化情報を持ちながらもプログラムの正当性が
維持される。ここで、前記プログラム変換装置は、ソー
スプログラムから中間形式プログラムを介して実行形式
プログラムを生成し、前記記憶手段が記憶しているソー
スプログラムにおいて、各クラス定義は、クラス定義に
より定義されているクラスが他のクラスを継承する場合
に、前記他のクラスを示す基底クラスを含み、これによ
り定義されているクラスが他のクラスを継承するか否か
を示し、前記判断手段は、前記ソースプログラムに含ま
れる全てのクラス定義を読み出し、読み出したクラス定
義からクラスを抽出するクラス抽出手段と、前記ソース
プログラムに含まれる全てのクラス定義を読み出し、読
み出したクラス定義から基底クラスを抽出する継承関係
抽出手段と、前記クラス抽出手段により抽出されたクラ
スから、前記継承関係抽出手段により抽出された基底ク
ラスを除いた残りのクラスを抽出する継承関係解析手段
と、前記ソースプログラムに含まれる前記呼出命令か
ら、前記仮想的関数を呼び出す中間形式の呼出命令を生
成する中間形式生成手段と、前記生成された中間形式の
呼出命令に含まれる関数名により識別される仮想的関数
が、前記継承関係解析手段により抽出されたクラスに属
するか否かを判断する中間形式判断手段とを備え、前記
生成手段は、前記中間形式判断手段により、前記クラス
に属すると判断される場合に、前記実行形式命令を生成
するように構成してもよい。

【０１６８】この構成によると、ソースプログラムを改
変することなく、前記呼出命令により呼び出される仮想
的関数が、他のクラスにより継承されないクラスに属す
るか否かを判断することができるので、ソースプログラ
ムの一元的な管理が容易となる。ここで、前記判断手段
は、前記ソースプログラムに含まれるクラス定義を用い
て、前記呼出命令に含まれる関数名により識別される仮
想的関数の置き換えが行われるか否かを判断することに
より、確定できるか否かを判断し、前記生成手段は、前
記判断手段により置き換えが行われないと判断される場
合に、前記実行形式命令を生成するように構成してもよ
い。

【０１６９】この構成によると、前記ソースプログラム
に含まれるクラス定義を用いて、前記呼出命令により呼
び出される仮想的関数の置き換えが行われるか否かを判
断することにより、１個の関数のみが呼び出されると確
定できるので、前記確定判断を確実に行うことができ
る。ここで、前記記憶手段が記憶しているソースプログ
ラムにおいて、各クラス定義は、定義されているクラス
が他のクラスを継承する場合に、前記他のクラスを示す
基底クラスを含み、これにより定義されているクラスが
他のクラスを継承するか否かを示し、前記判断手段は、
前記ソースプログラムに含まれる全てのクラス定義を読
み出し、読み出したクラス定義を用いて、置き換えの行
われる仮想的関数を抽出する置換関数抽出手段を含み、
前記置換関数抽出手段は、前記ソースプログラムに含ま
れるクラス定義を読み出し、読み出したクラス定義に基
底クラスが含まれているか否かを判断する読出判断部
と、読み出したクラス定義に基底クラスが含まれない場
合に、前記クラス定義に含まれている仮想的関数を、読
み出したクラス定義により定義されているクラスに属す
る仮想的関数であると決定する第１決定部と、読み出し
たクラス定義に基底クラスが含まれる場合に、基底クラ
スに属すると決定された仮想的関数を、読み出したクラ
ス定義により定義されているクラスに属する仮想的関数
であると仮に決定し、読み出した前記クラス定義に含ま
れている仮想的関数が、前記仮に決定された仮想的関数
と一致するか否かを判断し、一致すると判断する場合
に、仮に決定された仮想的関数の代わりに、読み出した
前記クラス定義に含まれている仮想的関数を、読み出し
た前記クラス定義により定義されているクラスに属する
仮想的関数であると決定し、前記仮に決定された仮想的
関数を置き換えの行われる仮想的関数として抽出する第
２決定部と、前記ソースプログラムに、抽出された置き
換えの行われる仮想的関数を示す最適化情報を書き込む
最適化情報付加手段と、前記ソースプログラムに書き込
まれた前記最適化情報を用いて、前記呼出命令に含まれ
る関数名により識別される仮想的関数が、置き換えの行
われる仮想的関数であるか否かを判断する置換判断手段
とを含み、前記生成手段は、前記置換判断手段により、
置き換えの行われる仮想的関数であると判断される場合
に、前記実行形式命令を生成するように構成してもよ
い。

【０１７０】この構成によると、置き換えが行われる仮
想的関数を示す最適化情報をソースプログラムに付加す
るので、付加されたソースプログラムを再利用する場合
に、最適化情報の付加処理を省略することができる。こ
こで、前記プログラム変換装置は、前記ソースプログラ
ムから中間形式プログラムを介して実行形式プログラム
を生成し、前記記憶手段が記憶しているソースプログラ
ムにおいて、各クラス定義は、定義されているクラスが
他のクラスを継承する場合に、前記他のクラスを示す基
底クラスを含み、これにより定義されているクラスが他
のクラスを継承するか否かを示し、前記判断手段は、前
記ソースプログラムに含まれる全てのクラス定義を読み
出し、読み出したクラス定義を用いて、置き換えの行わ
れる仮想的関数を抽出する置換関数抽出手段を含み、前
記置換関数抽出手段は、前記ソースプログラムに含まれ
るクラス定義を読み出し、読み出したクラス定義に基底
クラスが含まれているか否かを判断する読出判断部と、
読み出したクラス定義に基底クラスが含まれない場合
に、前記クラス定義に含まれている仮想的関数を、読み
出したクラス定義により定義されているクラスに属する
仮想的関数であると決定する第１決定部と、読み出した
クラス定義に基底クラスが含まれる場合に、基底クラス
に属すると決定された仮想的関数を、読み出したクラス
定義により定義されているクラスに属する仮想的関数で
あると仮に決定し、読み出した前記クラス定義に含まれ
ている仮想的関数が、前記仮に決定された仮想的関数と
一致するか否かを判断し、一致すると判断する場合に、
仮に決定された仮想的関数の代わりに、読み出した前記
クラス定義に含まれている仮想的関数を、読み出した前
記クラス定義により定義されているクラスに属する仮想
的関数であると決定し、前記仮に決定された仮想的関数
を置き換えの行われる仮想的関数として抽出する第２決
定部と、前記ソースプログラムに含まれる前記呼出命令
から、前記仮想的関数を識別する関数名を含む中間形式
の呼出命令を生成する中間形式生成手段と、前記生成さ
れた中間形式の呼出命令に含まれる関数名により識別さ
れる仮想的関数が、置き換えの行われる仮想的関数であ
るか否かを判断する中間形式判断手段とを含み、前記生
成手段は、前記中間形式判断手段により、置き換えの行
われる仮想的関数であると判断される場合に、前記実行
形式命令を生成するように構成してもよい。

【０１７１】この構成によると、ソースプログラムを改
変することなく、前記呼出命令により呼び出される仮想
的関数の置き換えが行われるか否かを判断することがで
きるので、ソースプログラムの一元的な管理が容易とな
る。

【図面の簡単な説明】

【図１】本発明の１つの実施の形態としてのプログラム
変換装置１２０の構成を示すブロック図である。

【図２】本発明の最適化情報付加装置１００の構成を示
すブロック図である。

【図３】プログラム記憶部１１が記憶しているファイル
の一例を示す。

【図４】入力部１２が入力を受け付けた文字列を表示す
る様子を示す一例である。

【図５】クラス定義集合ＤＳＥＴ４２０の一例を示す。

【図６】全クラス定義集合ＴＳＥＴの一例を示す。

【図７】クラス定義ファイルの一例を示す。

【図８】被継承クラス集合ＩＳＥＴの一例を示す。

【図９】最適化情報が付加された後のプログラム記憶部
１１に記憶されているファイルの一例を示す。

【図１０】最適化情報付加装置１００の全体の動作を示
すフローチャートである。

【図１１】クラス定義抽出部１４の動作を示すフローチ
ャートである。

【図１２】継承関係解析部１９の動作を示すフローチャ
ートである。

【図１３】最適化情報付加部２１の動作を示すフローチ
ャートである。

【図１４】コンパイラ装置１１０の構成を示すブロック
図である。

【図１５】終端クラステーブルの一例を示す。

【図１６】中間コードの一例を示す。

【図１７】コード生成部４２により生成された実行形式
プログラムの一例を示す。

【図１８】コンパイラ装置１１０の全体の動作を示すフ
ローチャートである。

【図１９】構文解析部３３の動作を示すフローチャート
である。

【図２０】最適化部３８の動作を示すフローチャートで
ある。

【図２１】コード生成部４２の動作を示すフローチャー
トである。

【図２２】最適化処理を行なった中間コードに対して、
資源割付部４０による資源割付けを行ない、コード生成
部４２によるコード生成を行って生成される実行形式プ
ログラムの一例を示す。

【図２３】Ｃ＋＋言語の規格に基づくクラス定義の一例
を示す。

【図２４】図２３に示す３つのクラスＸ、Ｙ、Ｚの継承
関係をに示す。

【図２５】ポインタが指し示すオブジェクトと、クラス
との関係を示す一例である。

【図２６】実行される関数が動的に決定される場合のコ
ーディングの一例である。

【図２７】仮想関数が宣言されているクラスのオブジェ
クト及び仮想関数表の構成の一例を示す。

【図２８】Ｃ＋＋言語による仮想関数の呼出しを行うソ
ースプログラムと、前記ソースプログラムを基にして生
成された実行形式プログラムとを示す。

【図２９】本発明の別の実施の形態としてのプログラム
変換装置１２０の最適化情報付加装置１００ａの構成を
示すブロック図である。

【図３０】プログラム記憶部１１ａが記憶しているファ
イルの一例を示す。

【図３１】仮想関数集合記憶部２７が記憶しているデー
タの一例を示す。

【図３２】オーバーライド集合記憶部２８が記憶してい
るデータの一例を示す。

【図３３】最適化情報が付加された後のプログラムの一
例を示す。

【図３４】最適化情報付加装置１００ａの全体の動作を
示すフローチャートである。

【図３５】最適化情報付加装置１００ａの仮想関数解析
処理の動作を示すフローチャートである。

【図３６】最適化情報付加装置１００ａの最適化情報付
加処理の動作を示すフローチャートである。

【図３７】コンパイラ装置１１０ａの構文解析処理の動
作を示すフローチャートである。

【図３８】コンパイラ装置１１０ａの最適化処理の動作
を示すフローチャートである。

【図３９】（ａ）ファイル１１０３から、仮想関数呼び
出しをそのままにして生成した実行形式命令を示す。 （ｂ）関数の置き換え（オーバーライド）が行われない
仮想関数の呼出しを直接呼出しに変換することにより、
前記最適化処理を適用し、さらに、関数のインライン展
開を適用することにより、ファイル１１０３から生成し
た実行形式命令を示す。

【図４０】本発明の第３の実施形態としてのプログラム
変換装置１２０ｂの最適化情報解析装置１３０の構成を
示すブロック図である。

【図４１】最適化情報解析装置１３０の全体の動作を示
すフローチャートである。

【図４２】継承関係抽出部５０の動作を示すフローチャ
ートである。

【図４３】コンパイラ装置１１０ｂの構成を示すブロッ
ク図である。

【図４４】コンパイラ装置１１０ｂの全体の動作を示す
フローチャートである。

【図４５】本発明の第４の実施形態としてのプログラム
変換装置１２０ｃの最適化情報解析装置１３０ｃの構成
を示すブロック図である。

【図４６】プログラム変換装置１２０ｃのコンパイラ装
置１１０ｃの構成を示すブロック図である。

【図４７】コンパイラ装置１１０ｃの全体の動作を示す
フローチャートである。

【符号の説明】

１１ １１ａ プログラム記憶部 １２ １２ａ １２ｂ 入力部 １３ 未読ファイル集合記憶部 １４ クラス定義抽出部 １５ 全クラス定義集合記憶部 １６ クラス定義ファイル記憶部 １７ 継承関係抽出部 １８ 被継承クラス集合記憶部 １９ 継承関係解析部 ２０ 終端クラス集合記憶部 ２１ ２１ａ 最適化情報付加部 ２２ 変更ファイル集合記憶部 ２３ ２３ａ 出力部 ２６ 仮想関数解析部 ２７ 仮想関数集合記憶部 ２８ オーバーライド集合記憶部 ３１ 入力部 ３２ ３２ｂ 第１記憶部 ３３ ３３ｂ ３３ｃ 構文解析部 ３４ 第２記憶部 ３５ 終端クラス記憶部 ３５ａ ３５ｃ オーバーライド集合記憶部 ３６ 中間コード生成部 ３７ 第３記憶部 ３８ 最適化部 ３９ 第４記憶部 ４０ 資源割付部 ４１ 第５記憶部 ４２ コード生成部 ４３ 生成コード記憶部 ５０ 継承関係抽出部 ５１ 継承関係記憶部 ５２ 全クラス定義集合記憶部 ５４ 中間コード記憶部 ５５ ５５ｃ 中間コード入力部 ５６ 継承関係解析部 ５７ 仮想関数解析部 ５８ 仮想関数記憶部 １００ １００ａ 最適化情報付加装置 １１０ １１０ａ １１０ｂ １１０ｃ コンパイラ
装置 １２０ １２０ａ １２０ｂ １２０ｃ プログラム
変換装置 １３０ １３０ｃ 最適化情報解析装置

Claims (20)

【特許請求の範囲】
1. 【請求項１】 オブジェクト指向言語に基づくソースプ
   ログラムから１以上の実行形式命令を生成するプログラ
   ム変換装置であって、 複数のクラス定義と呼出命令とを含むソースプログラム
   を記憶している記憶手段と、 前記呼出命令は、１個の仮想的関数を識別する関数名を
   含み、 各クラス定義は、クラスと、前記クラスと他のクラスと
   の継承関係と、前記関数名で識別され前記クラスに属す
   る仮想的関数とを定義し、 前記呼出命令の実行時に複数のクラスで定義される仮想
   的関数のうち１個の仮想的関数のみが実行され、 前記呼出命令に含まれる関数名により識別される仮想的
   関数について、前記複数のクラス定義で定義されている
   前記複数の仮想的関数のうちの１個の仮想的関数のみが
   呼び出されると確定できるか否かを、前記呼出命令を実
   行することなく前記ソースプログラムを用いて、判断す
   る判断手段と、 前記判断手段により確定できると判断される場合に、前
   記１個の仮想的関数に対応する実行形式命令群を直接呼
   び出す実行形式命令を生成する生成手段とを備えること
   を特徴とするプログラム変換装置。
2. 【請求項２】 前記判断手段は、前記ソースプログラム
   に含まれる各クラス定義を用いて、前記呼出命令に含ま
   れる関数名により識別される仮想的関数が、他のクラス
   により継承されないクラスに属するか否かを判断するこ
   とにより、確定できるか否かを判断し、 前記生成手段は、前記判断手段により、前記呼出命令に
   含まれる関数名により識別される仮想的関数が他のクラ
   スにより継承されないクラスに属すると判断される場合
   に、前記実行形式命令を生成することを特徴とする請求
   項１に記載のプログラム変換装置。
3. 【請求項３】 前記記憶手段が記憶しているソースプロ
   グラムにおいて、各クラス定義は、各クラスが他のクラ
   スを継承する場合に、前記他のクラスを示す基底クラス
   を含み、これによりクラスが他のクラスを継承するか否
   かを示し、 前記判断手段は、 前記ソースプログラムに含まれる全てのクラス定義を読
   み出し、読み出したクラス定義からクラスを抽出し、抽
   出したクラスを記憶するクラス抽出手段と、 前記ソースプログラムに含まれる全てのクラス定義を読
   み出し、読み出したクラス定義から基底クラスを抽出
   し、抽出した基底クラスを記憶する継承関係抽出手段
   と、 前記クラス抽出手段に記憶されているクラスから、前記
   継承関係抽出手段に記憶されている基底クラスを除いた
   残りのクラスを抽出し、抽出したクラスを記憶する継承
   関係解析手段と、 前記継承関係解析手段に記憶されているクラスを含むク
   ラス定義を含む前記ソースプログラムに、最適化情報を
   書き込む最適化情報付加手段と、 前記ソースプログラムに書き込まれた前記最適化情報を
   用いて、前記呼出命令に含まれる関数名により識別され
   る仮想的関数が、他のクラスにより継承されないクラス
   に属するか否かを判断するクラス判断手段とを含むこと
   を特徴とする請求項２に記載のプログラム変換装置。
4. 【請求項４】 前記最適化情報付加手段は、前記記憶手
   段に記憶されているソースプログラム内のクラス定義で
   あって、前記継承関係解析手段に記憶されているクラス
   を定義しているものに対応して前記最適化情報を書き込
   むことを特徴とする請求項３に記載のプログラム変換装
   置。
5. 【請求項５】 前記最適化情報付加手段は、前記記憶手
   段に記憶されているソースプログラム内のクラス定義に
   含まれる仮想的関数であって、前記継承関係解析手段に
   記憶されているクラスを定義しているクラス定義内のも
   のに対応して、前記最適化情報を書き込むことを特徴と
   する請求項３に記載のプログラム変換装置。
6. 【請求項６】 前記最適化情報は、オブジェクト指向言
   語における予約語であることを特徴とする請求項５に記
   載のプログラム変換装置。
7. 【請求項７】 前記最適化情報は、前記プログラム変換
   装置に固有の文字列であることを特徴とする請求項５に
   記載のプログラム変換装置。
8. 【請求項８】 前記プログラム変換装置は、ソースプロ
   グラムから中間形式プログラムを介して実行形式プログ
   ラムを生成し、 前記記憶手段が記憶しているソースプログラムにおい
   て、各クラス定義は、クラス定義により定義されている
   クラスが他のクラスを継承する場合に、前記他のクラス
   を示す基底クラスを含み、これにより定義されているク
   ラスが他のクラスを継承するか否かを示し、 前記判断手段は、 前記ソースプログラムに含まれる全てのクラス定義を読
   み出し、読み出したクラス定義からクラスを抽出するク
   ラス抽出手段と、 前記ソースプログラムに含まれる全てのクラス定義を読
   み出し、読み出したクラス定義から基底クラスを抽出す
   る継承関係抽出手段と、 前記クラス抽出手段により抽出されたクラスから、前記
   継承関係抽出手段により抽出された基底クラスを除いた
   残りのクラスを抽出する継承関係解析手段と、 前記ソースプログラムに含まれる前記呼出命令から、前
   記仮想的関数を呼び出す中間形式の呼出命令を生成する
   中間形式生成手段と、 前記生成された中間形式の呼出命令に含まれる関数名に
   より識別される仮想的関数が、前記継承関係解析手段に
   より抽出されたクラスに属するか否かを判断する中間形
   式判断手段とを備え、 前記生成手段は、前記中間形式判断手段により、前記ク
   ラスに属すると判断される場合に、前記実行形式命令を
   生成することを特徴とする請求項２に記載のプログラム
   変換装置。
9. 【請求項９】 前記判断手段は、前記ソースプログラム
   に含まれるクラス定義を用いて、前記呼出命令に含まれ
   る関数名により識別される仮想的関数の置き換えが行わ
   れるか否かを判断することにより、確定できるか否かを
   判断し、 前記生成手段は、前記判断手段により置き換えが行われ
   ないと判断される場合に、前記実行形式命令を生成する
   ことを特徴とする請求項１に記載のプログラム変換装
   置。
10. 【請求項１０】 前記記憶手段が記憶しているソースプ
    ログラムにおいて、各クラス定義は、定義されているク
    ラスが他のクラスを継承する場合に、前記他のクラスを
    示す基底クラスを含み、これにより定義されているクラ
    スが他のクラスを継承するか否かを示し、 前記判断手段は、前記ソースプログラムに含まれる全て
    のクラス定義を読み出し、読み出したクラス定義を用い
    て、置き換えの行われる仮想的関数を抽出する置換関数
    抽出手段を含み、 前記置換関数抽出手段は、 前記ソースプログラムに含まれるクラス定義を読み出
    し、読み出したクラス定義に基底クラスが含まれている
    か否かを判断する読出判断部と、 読み出したクラス定義に基底クラスが含まれない場合
    に、前記クラス定義に含まれている仮想的関数を、読み
    出したクラス定義により定義されているクラスに属する
    仮想的関数であると決定する第１決定部と、 読み出したクラス定義に基底クラスが含まれる場合に、
    基底クラスに属すると決定された仮想的関数を、読み出
    したクラス定義により定義されているクラスに属する仮
    想的関数であると仮に決定し、 読み出した前記クラス定義に含まれている仮想的関数
    が、前記仮に決定された仮想的関数と一致するか否かを
    判断し、 一致すると判断する場合に、仮に決定された仮想的関数
    の代わりに、読み出した前記クラス定義に含まれている
    仮想的関数を、読み出した前記クラス定義により定義さ
    れているクラスに属する仮想的関数であると決定し、前
    記仮に決定された仮想的関数を置き換えの行われる仮想
    的関数として抽出する第２決定部と、 前記ソースプログラムに、抽出された置き換えの行われ
    る仮想的関数を示す最適化情報を書き込む最適化情報付
    加手段と、 前記ソースプログラムに書き込まれた前記最適化情報を
    用いて、前記呼出命令に含まれる関数名により識別され
    る仮想的関数が、置き換えの行われる仮想的関数である
    か否かを判断する置換判断手段とを含み、 前記生成手段は、前記置換判断手段により、置き換えの
    行われる仮想的関数であると判断される場合に、前記実
    行形式命令を生成することを特徴とする請求項９に記載
    のプログラム変換装置。
11. 【請求項１１】 前記プログラム変換装置は、前記ソー
    スプログラムから中間形式プログラムを介して実行形式
    プログラムを生成し、 前記記憶手段が記憶しているソースプログラムにおい
    て、各クラス定義は、定義されているクラスが他のクラ
    スを継承する場合に、前記他のクラスを示す基底クラス
    を含み、これにより定義されているクラスが他のクラス
    を継承するか否かを示し、 前記判断手段は、前記ソースプログラムに含まれる全て
    のクラス定義を読み出し、読み出したクラス定義を用い
    て、置き換えの行われる仮想的関数を抽出する置換関数
    抽出手段を含み、 前記置換関数抽出手段は、 前記ソースプログラムに含まれるクラス定義を読み出
    し、読み出したクラス定義に基底クラスが含まれている
    か否かを判断する読出判断部と、 読み出したクラス定義に基底クラスが含まれない場合
    に、前記クラス定義に含まれている仮想的関数を、読み
    出したクラス定義により定義されているクラスに属する
    仮想的関数であると決定する第１決定部と、 読み出したクラス定義に基底クラスが含まれる場合に、
    基底クラスに属すると決定された仮想的関数を、読み出
    したクラス定義により定義されているクラスに属する仮
    想的関数であると仮に決定し、 読み出した前記クラス定義に含まれている仮想的関数
    が、前記仮に決定された仮想的関数と一致するか否かを
    判断し、 一致すると判断する場合に、仮に決定された仮想的関数
    の代わりに、読み出した前記クラス定義に含まれている
    仮想的関数を、読み出した前記クラス定義により定義さ
    れているクラスに属する仮想的関数であると決定し、前
    記仮に決定された仮想的関数を置き換えの行われる仮想
    的関数として抽出する第２決定部と、 前記ソースプログラムに含まれる前記呼出命令から、前
    記仮想的関数を識別する関数名を含む中間形式の呼出命
    令を生成する中間形式生成手段と、 前記生成された中間形式の呼出命令に含まれる関数名に
    より識別される仮想的関数が、置き換えの行われる仮想
    的関数であるか否かを判断する中間形式判断手段とを含
    み、 前記生成手段は、前記中間形式判断手段により、置き換
    えの行われる仮想的関数であると判断される場合に、前
    記実行形式命令を生成することを特徴とする請求項９に
    記載のプログラム変換装置。
12. 【請求項１２】 オブジェクト指向言語に基づくソース
    プログラムから１以上の実行形式命令を生成し、複数の
    クラス定義と呼出命令とを含むソースプログラムを記憶
    している記憶手段を備えるプログラム変換装置で用いら
    れるプログラム変換方法であって、 前記呼出命令は、１個の仮想的関数を識別する関数名を
    含み、 各クラス定義は、クラスと、前記クラスと他のクラスと
    の継承関係と、前記関数名で識別され前記クラスに属す
    る仮想的関数とを定義し、 前記呼出命令の実行時に複数のクラスで定義される仮想
    的関数のうち１個の仮想的関数のみが実行され、 前記プログラム変換プログラムは、 前記呼出命令に含まれる関数名により識別される仮想的
    関数について、前記複数のクラス定義で定義されている
    前記複数の仮想的関数のうちの１個の仮想的関数のみが
    呼び出されると確定できるか否かを、前記呼出命令を実
    行することなく前記ソースプログラムを用いて、判断す
    る判断ステップと、 前記判断ステップにより確定できると判断される場合
    に、前記１個の仮想的関数に対応する実行形式命令群を
    直接呼び出す実行形式命令を生成する生成ステップと、 を含むことを特徴とするプログラム変換方法。
13. 【請求項１３】 オブジェクト指向言語に基づくソース
    プログラムから１以上の実行形式命令を生成し、複数の
    クラス定義と呼出命令とを含むソースプログラムを記憶
    している記憶手段を備えるコンピュータで用いられるプ
    ログラム変換プログラムを記録しているコンピュータ読
    み取り可能な記録媒体であって、 前記呼出命令は、１個の仮想的関数を識別する関数名を
    含み、 各クラス定義は、クラスと、前記クラスと他のクラスと
    の継承関係と、前記関数名で識別され前記クラスに属す
    る仮想的関数とを定義し、 前記呼出命令の実行時に複数のクラスで定義される仮想
    的関数のうち１個の仮想的関数のみが実行され、 前記プログラム変換プログラムは、 前記呼出命令に含まれる関数名により識別される仮想的
    関数について、前記複数のクラス定義で定義されている
    前記複数の仮想的関数のうちの１個の仮想的関数のみが
    呼び出されると確定できるか否かを、前記呼出命令を実
    行することなく前記ソースプログラムを用いて、判断す
    る判断ステップと、 前記判断ステップにより確定できると判断される場合
    に、前記１個の仮想的関数に対応する実行形式命令群を
    直接呼び出す実行形式命令を生成する生成ステップとを
    含むことを特徴とする記録媒体。
14. 【請求項１４】 前記判断ステップは、前記ソースプロ
    グラムに含まれる各クラス定義を用いて、前記呼出命令
    に含まれる関数名により識別される仮想的関数が、他の
    クラスにより継承されないクラスに属するか否かを判断
    することにより、確定できるか否かを判断し、 前記生成ステップは、前記判断ステップにより、前記呼
    出命令に含まれる関数名により識別される仮想的関数が
    他のクラスにより継承されないクラスに属すると判断さ
    れる場合に、前記実行形式命令を生成することを特徴と
    する請求項１３に記載の記録媒体。
15. 【請求項１５】 前記記憶手段が記憶しているソースプ
    ログラムにおいて、各クラス定義は、各クラスが他のク
    ラスを継承する場合に、前記他のクラスを示す基底クラ
    スを含み、これによりクラスが他のクラスを継承するか
    否かを示し、 前記判断ステップは、 前記ソースプログラムに含まれる全てのクラス定義を読
    み出し、読み出したクラス定義からクラスを抽出し、抽
    出したクラスを記憶するクラス抽出ステップと、 前記ソースプログラムに含まれる全てのクラス定義を読
    み出し、読み出したクラス定義から基底クラスを抽出
    し、抽出した基底クラスを記憶する継承関係抽出ステッ
    プと、 前記クラス抽出ステップに記憶されているクラスから、
    前記継承関係抽出ステップに記憶されている基底クラス
    を除いた残りのクラスを抽出し、抽出したクラスを記憶
    する継承関係解析ステップと、 前記継承関係解析ステップに記憶されているクラスを含
    むクラス定義を含む前記ソースプログラムに、最適化情
    報を書き込む最適化情報付加ステップと、 前記ソースプログラムに書き込まれた前記最適化情報を
    用いて、前記呼出命令に含まれる関数名により識別され
    る仮想的関数が、他のクラスにより継承されないクラス
    に属するか否かを判断するクラス判断ステップとを含む
    ことを特徴とする請求項１４に記載の記録媒体。
16. 【請求項１６】 前記最適化情報付加ステップは、前記
    記憶手段に記憶されているソースプログラム内のクラス
    定義であって、前記継承関係解析ステップに記憶されて
    いるクラスを定義しているものに対応して前記最適化情
    報を書き込むことを特徴とする請求項１５に記載の記録
    媒体。
17. 【請求項１７】 前記プログラム変換装置は、ソースプ
    ログラムから中間形式プログラムを介して実行形式プロ
    グラムを生成し、 前記記憶手段が記憶しているソースプログラムにおい
    て、各クラス定義は、クラス定義により定義されている
    クラスが他のクラスを継承する場合に、前記他のクラス
    を示す基底クラスを含み、これにより定義されているク
    ラスが他のクラスを継承するか否かを示し、 前記判断ステップは、 前記ソースプログラムに含まれる全てのクラス定義を読
    み出し、読み出したクラス定義からクラスを抽出するク
    ラス抽出ステップと、 前記ソースプログラムに含まれる全てのクラス定義を読
    み出し、読み出したクラス定義から基底クラスを抽出す
    る継承関係抽出ステップと、 前記クラス抽出ステップにより抽出されたクラスから、
    前記継承関係抽出ステップにより抽出された基底クラス
    を除いた残りのクラスを抽出する継承関係解析ステップ
    と、 前記ソースプログラムに含まれる前記呼出命令から、前
    記仮想的関数を呼び出す中間形式の呼出命令を生成する
    中間形式生成ステップと、 前記生成された中間形式の呼出命令に含まれる関数名に
    より識別される仮想的関数が、前記継承関係解析ステッ
    プにより抽出されたクラスに属するか否かを判断する中
    間形式判断ステップとを備え、 前記生成ステップは、前記中間形式判断ステップによ
    り、前記クラスに属すると判断される場合に、前記実行
    形式命令を生成することを特徴とする請求項１４に記載
    の記録媒体。
18. 【請求項１８】 前記判断ステップは、前記ソースプロ
    グラムに含まれるクラス定義を用いて、前記呼出命令に
    含まれる関数名により識別される仮想的関数の置き換え
    が行われるか否かを判断することにより、確定できるか
    否かを判断し、 前記生成ステップは、前記判断ステップにより置き換え
    が行われないと判断される場合に、前記実行形式命令を
    生成するを含むことを特徴とする請求項１３に記載の記
    録媒体。
19. 【請求項１９】 前記記憶手段が記憶しているソースプ
    ログラムにおいて、各クラス定義は、定義されているク
    ラスが他のクラスを継承する場合に、前記他のクラスを
    示す基底クラスを含み、これにより定義されているクラ
    スが他のクラスを継承するか否かを示し、 前記判断ステップは、前記ソースプログラムに含まれる
    全てのクラス定義を読み出し、読み出したクラス定義を
    用いて、置き換えの行われる仮想的関数を抽出する置換
    関数抽出ステップを含み、 前記置換関数抽出ステップは、 前記ソースプログラムに含まれるクラス定義を読み出
    し、読み出したクラス定義に基底クラスが含まれている
    か否かを判断する読出判断サブステップと、 読み出したクラス定義に基底クラスが含まれない場合
    に、前記クラス定義に含まれている仮想的関数を、読み
    出したクラス定義により定義されているクラスに属する
    仮想的関数であると決定する第１決定サブステップと、 読み出したクラス定義に基底クラスが含まれる場合に、
    基底クラスに属すると決定された仮想的関数を、読み出
    したクラス定義により定義されているクラスに属する仮
    想的関数であると仮に決定し、 読み出した前記クラス定義に含まれている仮想的関数
    が、前記仮に決定された仮想的関数と一致するか否かを
    判断し、 一致すると判断する場合に、仮に決定された仮想的関数
    の代わりに、読み出した前記クラス定義に含まれている
    仮想的関数を、読み出した前記クラス定義により定義さ
    れているクラスに属する仮想的関数であると決定し、前
    記仮に決定された仮想的関数を置き換えの行われる仮想
    的関数として抽出する第２決定サブステップと、 前記ソースプログラムに、抽出された置き換えの行われ
    る仮想的関数を示す最適化情報を書き込む最適化情報付
    加ステップと、 前記ソースプログラムに書き込まれた前記最適化情報を
    用いて、前記呼出命令に含まれる関数名により識別され
    る仮想的関数が、置き換えの行われる仮想的関数である
    か否かを判断する置換判断ステップとを含み、 前記生成ステップは、前記置換判断ステップにより、置
    き換えの行われる仮想的関数であると判断される場合
    に、前記実行形式命令を生成するを含むことを特徴とす
    る請求項１８に記載の記録媒体。
20. 【請求項２０】 前記プログラム変換装置は、前記ソー
    スプログラムから中間形式プログラムを介して実行形式
    プログラムを生成し、 前記記憶手段が記憶しているソースプログラムにおい
    て、各クラス定義は、定義されているクラスが他のクラ
    スを継承する場合に、前記他のクラスを示す基底クラス
    を含み、これにより定義されているクラスが他のクラス
    を継承するか否かを示し、 前記判断ステップは、前記ソースプログラムに含まれる
    全てのクラス定義を読み出し、読み出したクラス定義を
    用いて、置き換えの行われる仮想的関数を抽出する置換
    関数抽出ステップを含み、 前記置換関数抽出ステップは、 前記ソースプログラムに含まれるクラス定義を読み出
    し、読み出したクラス定義に基底クラスが含まれている
    か否かを判断する読出判断サブステップと、 読み出したクラス定義に基底クラスが含まれない場合
    に、前記クラス定義に含まれている仮想的関数を、読み
    出したクラス定義により定義されているクラスに属する
    仮想的関数であると決定する第１決定サブステップと、 読み出したクラス定義に基底クラスが含まれる場合に、
    基底クラスに属すると決定された仮想的関数を、読み出
    したクラス定義により定義されているクラスに属する仮
    想的関数であると仮に決定し、 読み出した前記クラス定義に含まれている仮想的関数
    が、前記仮に決定された仮想的関数と一致するか否かを
    判断し、 一致すると判断する場合に、仮に決定された仮想的関数
    の代わりに、読み出した前記クラス定義に含まれている
    仮想的関数を、読み出した前記クラス定義により定義さ
    れているクラスに属する仮想的関数であると決定し、前
    記仮に決定された仮想的関数を置き換えの行われる仮想
    的関数として抽出する第２決定サブステップと、 前記ソースプログラムに含まれる前記呼出命令から、前
    記仮想的関数を識別する関数名を含む中間形式の呼出命
    令を生成する中間形式生成ステップと、 前記生成された中間形式の呼出命令に含まれる関数名に
    より識別される仮想的関数が、置き換えの行われる仮想
    的関数であるか否かを判断する中間形式判断ステップと
    を含み、 前記生成ステップは、前記中間形式判断ステップによ
    り、置き換えの行われる仮想的関数であると判断される
    場合に、前記実行形式命令を生成することを特徴とする
    請求項１８に記載の記録媒体。