JP2003050700A - プログラム変換方法 - Google Patents

Abstract

(57)【要約】 【課題】 オブジェクト指向言語で記述されたプログラ
ムに対して効率の良いコードを生成するプログラム変換
方法を実現する。 【解決手段】 仕様決定ステップＳ１０５によって入力
プログラムに含まれるクラス情報を解析し、クラスに関
する処理をフルセット仕様とするかサブセット仕様とす
るかを判定して仕様記憶部Ｓ１０６に格納する。中間コ
ード生成ステップＳ１０７では仕様記憶部Ｓ１０６を参
照してフルセット仕様のコードあるいはサブセット仕様
のコードを生成する。可能な限りサブセット仕様でコン
パイル可能な処理に変換することによって、生成コード
効率を向上することができる。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、オブジェクト指向
言語により記述されたプログラムを目的プログラムに変
換するプログラム変換方法に関する。

【０００２】

【従来の技術】組み込み分野でのソフトウェア開発にお
いては、プログラムの規模が大規模化してきており、そ
れに伴い、保守性、再利用性の高いオブジェクト指向言
語Ｃ＋＋が組み込み分野でも注目されつつある。

【０００３】更に近年、メモリ空間の制約された組み込
み分野向けに、Ｃ＋＋に比べてサイズの小さいオブジェ
クトを生成することが出来る組み込み向けオブジェクト
指向言語ＥＣ＋＋が提唱されている。ＥＣ＋＋の言語仕
様はＣ＋＋のサブセットとなっており、Ｃ＋＋の言語仕
様から多重継承や例外処理などの組み込み分野には適さ
ない仕様を削除することによって、組み込み分野で重要
視されるコードサイズの削減とリアルタイム性を実現で
きるようになっている。

【０００４】このように、ＥＣ＋＋はＣ＋＋のサブセッ
トの仕様となっているため、ＥＣ＋＋で使用することの
出来ないキーワードや文法をＣ＋＋コンパイラから削除
することによってＥＣ＋＋コンパイラを実現することが
出来る。また、ＥＣ＋＋をコンパイルするのか、Ｃ＋＋
をコンパイルするのかをオプション指定などで切替える
ことによって、単一のコンパイラでＣ＋＋とＥＣ＋＋の
両方をコンパイルすることが出来る。

【０００５】図１７にＣ＋＋およびＥＣ＋＋で記述され
たプログラムを、それぞれＣ＋＋モード、ＥＣ＋＋モー
ドでコンパイルした場合の図を示す。

【０００６】図１７（ａ）のように、Ｃ＋＋で記述され
たプログラムをＣ＋＋翻訳モードのコンパイラでコンパ
イルした場合、Ｃ＋＋のオブジェクトファイルが生成さ
れる。一方、ＥＣ＋＋翻訳モードのコンパイラでコンパ
イルした場合、ＥＣ＋＋の言語仕様に適合しない箇所で
コンパイルエラーとなる。

【０００７】また、図１７（ｂ）のように、ＥＣ＋＋で
記述されたプログラムをＣ＋＋翻訳モードのコンパイラ
でコンパイルした場合、Ｃ＋＋のオブジェクトファイル
が生成される。一方、ＥＣ＋＋翻訳モードのコンパイラ
でコンパイルした場合、ＥＣ＋＋のオブジェクトファイ
ルが生成される。この時、ＥＣ＋＋の言語仕様がコード
サイズを削減できるように策定されているため、Ｃ＋＋
のオブジェクトのコードサイズよりＥＣ＋＋のオブジェ
クトのコードサイズの方が小さくすることが出来る。

【０００８】Ｃ＋＋のオブジェクトのコードサイズより
もＥＣ＋＋のオブジェクトのコードサイズの方が小さく
なるような例を図１８に示す。

【０００９】図１８は仮想関数の呼び出しを行なった場
合の例である。図中のソースコードは仮想関数呼び出し
の記述を表す。データ構造はクラスオブジェクトｏｂｊ
のデータ構造および仮想関数呼び出しを実現するための
仮想関数テーブルのデータ構造を表す。生成コードはソ
ースコードの記述に対して生成される機械語コードであ
る。

【００１０】図１８（a）は仮想関数呼び出しをＣ＋＋
の言語仕様でコンパイルした場合、図１８（ｂ）はＥＣ
＋＋の言語仕様でコンパイルした場合である。図１８
（ａ）の場合、Ｃ＋＋の言語仕様では、クラスの多重継
承が許されているため、クラスオブジェクトの先頭を表
すｔｈｉｓポインタと呼ばれるポインタの値を再計算す
る必要がある。そのため、仮想関数テーブル内にｔｈｉ
ｓポインタの再計算用のオフセット値を格納しておく必
要があり、更にｔｈｉｓポインタを再計算する処理が必
要となる。

【００１１】一方、図１８（ｂ）の場合、ＥＣ＋＋の言
語仕様では、クラスの多重継承は許さず、単一のクラス
の継承のみを許している。この場合はｔｈｉｓポインタ
の再計算は必要なく、従って、仮想関数テーブル内にｔ
ｈｉｓポインタ再計算用のオフセット値を必要とせず、
ｔｈｉｓポインタの再計算処理も実行する必要がない。
そのため、Ｃ＋＋に比べて仮想関数テーブルのサイズを
小さくすることができ、また生成コードを小さくするこ
とが出来る。

【００１２】

【発明が解決しようとする課題】従来のコンパイラで
は、ソースプログラムをフルセットの言語仕様（Ｃ＋
＋）で記述されている、あるいはサブセットの言語仕様
（ＥＣ＋＋）で記述されているとしてコンパイルするこ
としか出来ず、プログラムの一部がサブセットの言語仕
様の範囲で記述されていたとしても、他にフルセットの
仕様が含まれている場合は、図１７（ａ）に示すように
フルセットの翻訳モードでコンパイルしなければコンパ
イルエラーとなってしまう。従って、生成されるオブジ
ェクトはフルセットＣ＋＋のオブジェクトであるため、
コードサイズが大きくなってしまう。

【００１３】また、プログラムの全部がサブセットの言
語仕様の範囲で記述されていた場合に、そのプログラム
をフルセットの翻訳モードで翻訳した時、図１７（ｂ）
に示すようにプログラムがサブセットの翻訳モードで翻
訳可能であるにも関わらずフルセットＣ＋＋のオブジェ
クトを生成してしまう。従って、サブセットの翻訳モー
ドで生成したオブジェクトに比べ、コードサイズが大き
くなってしまう。

【００１４】本発明の目的は、オブジェクト指向言語で
記述されたプログラムに対して効率の良いコードを生成
することのできるプログラム変換方法を提供することで
ある。

【００１５】

【課題を解決するための手段】上記の課題を解決するた
めに、本発明の第一のプログラム変換方法は、オブジェ
クト指向言語で記述された入力プログラムを目的プログ
ラムに変換するプログラム変換方法であって、入力プロ
グラムの各部分に対して記述されている言語仕様の範囲
を決定する仕様決定ステップと、仕様決定ステップによ
り決定された言語仕様の範囲に基づいて入力プログラム
に対応したコードを生成するコード生成ステップとを含
むことを特徴とするものである。

【００１６】また、本発明の第二のプログラム変換方法
は、オブジェクト指向言語で記述された入力プログラム
を目的プログラムに変換するプログラム変換方法であっ
て、入力プログラムの各部分に対して記述されている言
語仕様の範囲を決定する仕様決定ステップと、仕様決定
ステップで決定された言語仕様の範囲に対応した付加情
報を入力プログラムに付加する情報付加ステップと、付
加情報が付加された入力プログラムの付加情報が示す言
語仕様の範囲に基づいて入力プログラムに対応したコー
ドを生成するコード生成ステップとを含むことを特徴と
するものである。

【００１７】また、本発明の第三のプログラム変換方法
は、オブジェクト指向言語で記述された入力プログラム
を目的プログラムに変換するプログラム変換方法であっ
て、入力プログラムをフルセットの言語仕様で翻訳する
フルセット翻訳ステップと、入力プログラムをサブセッ
トの言語仕様で翻訳する少なくとも１つのサブセット翻
訳ステップと、入力プログラムの各ファイルに対して記
述されている言語仕様の範囲を決定し、この決定した言
語仕様の範囲およびこれより広い言語仕様の範囲である
フルセット翻訳ステップおよびサブセット翻訳ステップ
を起動する仕様決定ステップと、フルセット翻訳ステッ
プおよびサブセット翻訳ステップの翻訳結果をマージす
る翻訳結果マージステップとを備える翻訳ステップと、
翻訳結果マージステップの出力から適切な翻訳結果を選
択する選択ステップと、選択ステップにより選択された
翻訳結果をリンクするリンクステップとを備える結合ス
テップとを含むことを特徴とするものである。

【００１８】

【発明の実施の形態】以下、本発明のプログラム変換方
法の実施形態の一例について図面を参照しながら説明す
る。

【００１９】［第一の実施形態］図１は本発明の第一の
実施形態におけるプログラム変換ステップの構成図を表
している。

【００２０】図１において、このプログラム変換ステッ
プは、入力ステップＳ１０２、構文解析ステップＳ１０
３、記憶部Ｓ１０４、仕様決定ステップＳ１０５、仕様
記憶部Ｓ１０６、中間コード生成ステップＳ１０７、最
適化ステップＳ１０８、資源割付ステップＳ１０９およ
び出力ステップＳ１１０から構成されている。このプロ
グラム変換ステップ中の各ステップは、コンパイラの行
う処理であり、記憶部Ｓ１０４および仕様記憶部Ｓ１０
６もコンパイラの内部のものである。

【００２１】プログラム記憶部Ｓ１０１は、変換を行な
うプログラムを保持している。

【００２２】入力ステップＳ１０２は、プログラム記憶
部Ｓ１０１に格納されている全てのプログラムを順次入
力し、構文解析ステップＳ１０３に渡す。

【００２３】構文解析ステップＳ１０３は、入力ステッ
プＳ１０２から受けとったプログラムの構文を解析し、
シンボルテーブルの生成や構文木の生成などを行ない、
その解析結果を記憶部Ｓ１０４に格納する。

【００２４】記憶部Ｓ１０４は、構文解析ステップＳ１
０３から解析結果を受けとり、格納しておく。

【００２５】仕様決定ステップＳ１０５は、記憶部Ｓ１
０４に格納されているクラス情報を抽出し、各クラスを
どの言語仕様のもとで処理するかを解析して、解析結果
を仕様記憶部Ｓ１０６に格納する。

【００２６】仕様記憶部Ｓ１０６は、仕様決定ステップ
Ｓ１０５から解析結果を受けとり、格納しておく。

【００２７】中間コード生成ステップＳ１０７は、記憶
部Ｓ１０４から構文木を受けとり、中間コードを生成す
る。クラスに関する中間コードを生成する際には、仕様
記憶部Ｓ１０６に格納されている情報を参照して、対応
する言語仕様のクラスであるものとして中間コードを生
成する。

【００２８】最適化ステップＳ１０８は、中間コード生
成ステップＳ１０７によって生成された中間コードに対
して各種最適化を実行する。

【００２９】資源割付ステップＳ１０９は、最適化ステ
ップＳ１０８によって最適化された中間コードに含まれ
る全ての変数に対してレジスタやメモリなどのハードウ
ェア資源を割り付ける。

【００３０】出力ステップＳ１１０は、資源割付ステッ
プＳ１０９によって資源割付された中間コードを目的コ
ードに変換して生成コード記憶部Ｓ１１１に出力する。

【００３１】生成コード記憶部Ｓ１１１は、Ｓ１０２か
らＳ１１０までのプログラム変換ステップによって変換
された目的コードを格納しておく。

【００３２】なお、入力ステップＳ１０２、構文解析ス
テップＳ１０３、最適化ステップＳ１０８、資源割付ス
テップＳ１０９、出力ステップＳ１１０については、本
発明の主眼ではないため、詳細な説明は省略する。

【００３３】次に、仕様決定ステップＳ１０５の処理に
ついて、図１０に示すプログラムに適用した場合を例に
して、図２を参照しながら説明する。

【００３４】仕様決定ステップＳ１０５の処理は、ａ１
からａ８までのステップによって行なわれる。以下記号
の順に説明していく。

【００３５】ステップａ１では、記憶部Ｓ１０４よりク
ラスの情報を抽出する。構文解析ステップＳ１０２によ
って、全ての入力ファイル中のクラスの情報が解析さ
れ、記憶部Ｓ１０４に格納されているので、記憶部Ｓ１
０４の中からクラスに関する情報のみを抽出する。図１
０に示すプログラムでは、全ての入力ファイルｃｌａｓ
ｓ．ｃｃ、ｆｉｌｅ１．ｃｃ、ｆｉｌｅ２．ｃｃについ
て、各ファイル中で定義されているクラスは、ｃｌａｓ
ｓ．ｃｃではクラスＡ、Ｂであり、ｆｉｌｅ１．ｃｃで
はクラスＡ、Ｂ、Ｘ、Ｙであり、ｆｉｌｅ２．ｃｃでは
クラスＡ、Ｂ、Ｃ、Ｄであるので、図１１（ａ）のよう
な抽出結果が得られる。なお、図１０の入力ファイルｃ
ｌａｓｓ．ｃｃ、ｆｉｌｅ１．ｃｃ、ｆｉｌｅ２．ｃｃ
の１行目の「＃ｉｎｃｌｕｄｅ“ｃｌａｓｓ．ｈ”」
は、その場所にｃｌａｓｓ．ｈというファイルの内容を
展開するという意味のプログラムである。したがって、
ｃｌａｓｓ．ｃｃ、ｆｉｌｅ１．ｃｃ、ｆｉｌｅ２．ｃ
ｃの全てに、クラスＡおよびクラスＢの情報を含んでい
るｃｌａｓｓ．ｈが展開される。

【００３６】ステップａ２では、クラスの継承関係を解
析し、継承関係にあるクラス同士を同じグループに分類
して、クラスツリー集合ＣＴＳを生成する。図１１
（ａ）の抽出結果から継承関係を解析すると、クラスＢ
はクラスＡに継承されているため、クラスＡとクラスＢ
を同一グループに分類する。同様に解析すると、クラス
Ａ、Ｂ、Ｃ、Ｄが同一グループに分類され、クラスＸ、
Ｙが同一グループに分類され、図１１（ｂ）のようなク
ラスツリー集合が得られる。各グループには便宜上ＣＴ
１、ＣＴ２というクラスツリー名をつけている。

【００３７】ステップａ３ではクラスツリー集合ＣＴＳ
の全ての要素ＣＴについて、ループ１の処理を繰り返
す。図１１（ｂ）のＣＴ１およびＣＴ２についてループ
１の処理を繰り返す。

【００３８】ステップａ４では、クラスツリー集合の要
素ＣＴ内に多重継承しているクラスが存在するかどうか
を調べる。多重継承しているクラスが存在する場合はス
テップａ５に処理を移行し、存在しない場合はステップ
ａ６に処理を移行する。図１１（ｂ）のＣＴ１について
ステップａ４の判定を行なうと、クラスＤがクラスＢお
よびクラスＣを継承しており、多重継承しているクラス
であるので、ステップａ４の判定はＹｅｓとなり、ステ
ップａ５へと処理を移行する。一方、ＣＴ２についてス
テップａ４の判定を行なうと、クラスＸ、Ｙ共に多重継
承はしていないため、ステップａ４の判定はＮｏとな
り、ステップａ６へと処理を移行する。

【００３９】ステップａ５では、ＣＴ内の全てのクラス
にフルセットのフラグＦＳを付ける。図１１（ｂ）のＣ
Ｔ１内の全てのクラス、即ちクラスＡ、Ｂ、Ｃ、Ｄにフ
ルセットのフラグＦＳをつける。

【００４０】ステップａ６では、ＣＴ内の全てのクラス
にサブセットのフラグＳＳを付ける。図１１（ｂ）のＣ
Ｔ２内の全てのクラス、即ちクラスＸ、Ｙにサブセット
のフラグＳＳをつける。

【００４１】ステップａ７では、ＣＴ内のクラスのフラ
グを仕様記憶部Ｓ１０６に格納する。ＣＴ１の処理で
は、ＣＴ１内のクラスＡ、Ｂ、Ｃ、Ｄのフラグを仕様記
憶部に格納し、ＣＴ２の処理では、ＣＴ２内のクラス
Ｘ、Ｙのフラグを仕様記憶部に格納する。

【００４２】ステップａ８では、ステップａ３に処理を
移行し、ループ１の処理を繰り返す。

【００４３】仕様決定ステップＳ１０５の処理を図１０
に示すプログラムに適用した場合、仕様記憶部Ｓ１０６
の内容は図１１（ｃ）に示すようになる。

【００４４】次に、中間コード生成ステップＳ１０７の
処理について、図３を参照しながら説明する。

【００４５】中間コード生成ステップＳ１０７の処理
は、ｂ１からｂ１１までのステップによって行なわれ
る。以下記号の順に説明していく。

【００４６】ステップｂ１では、記憶部Ｓ１０４に格納
されている全ての構文解析データを読み込み、ループ１
を繰り返す。例えば、図１０のｃｌａｓｓ．ｃｃの２行
目の関数定義の構文木などを読み込んでくる。

【００４７】ステップｂ２では、読み込んだ構文データ
が仮想関数呼び出しかどうかの判定を行なう。仮想関数
呼び出しである場合はＹｅｓと判定しステップｂ３へ処
理を移行し、そうでない場合はＮｏと判定しステップｂ
６へと処理を移行する。図１０のｆｉｌｅ１．ｃｃの１
５行目、１６行目は仮想関数呼び出しの式であるため、
これらを構文解析した結果はステップｂ２ではＹｅｓと
判定される。その他の構文解析結果はＮｏと判定され
る。

【００４８】ステップｂ３では、仮想関数を呼び出して
いるオブジェクトのクラスに対して、仕様記憶部Ｓ１０
６を参照して、そのクラスのフラグがサブセット仕様を
表すＳＳであるかどうかの判定を行なう。フラグがＳＳ
である場合はＹｅｓと判定しステップｂ４へと処理を移
行し、そうでない場合はＮｏと判定しステップｂ５へと
処理を移行する。図１０の１５行目の仮想関数呼び出し
では、ｐ１が指しているオブジェクトが仮想関数を呼び
出しているオブジェクトとなる。この時ｐ１の型はクラ
スＡであり、図１１（ｃ）に示す仕様記憶部Ｓ１０６に
格納されているフラグ情報を参照するとクラスＡのフラ
グはフルセット仕様を表すＦＳであるため、ステップｂ
３の判定ではＮｏとなり、ステップｂ５へと処理を移行
する。一方、図１０の１６行目の仮想関数呼び出しで
は、ｐ２が指しているオブジェクトが仮想関数を呼び出
しているオブジェクトとなり、ｐ２の型はクラスＸであ
る。図１１（ｃ）よりクラスＸのフラグはサブセット仕
様を表すＳＳであるため、ステップｂ３の判定はＹｅｓ
となり、ステップｂ４へと処理を移行する。

【００４９】ステップｂ４では、仮想関数呼び出しの構
文木に対して、サブセットのクラスの仮想関数呼び出し
の中間コードを生成する。図１０の１６行目の仮想関数
呼び出しの式に対しては、サブセットのクラスの仮想関
数呼び出しの中間コードを生成する。

【００５０】ステップｂ５では、仮想関数呼び出しの構
文木に対して、フルセットのクラスの仮想関数呼び出し
の中間コードを生成する。図１０の１５行目の仮想関数
呼び出しの式に対しては、フルセットのクラスの仮想関
数呼び出しの中間コードを生成する。

【００５１】ステップｂ６では、読み込んだ構文データ
が仮想関数テーブルかどうかの判定を行なう。仮想関数
テーブルである場合はＹｅｓと判定しステップｂ７へ処
理を移行し、そうでない場合はＮｏと判定しステップｂ
１０へと処理を移行する。図１０のｆｉｌｅ１．ｃｃで
は、仮想関数を持つクラスＡ、Ｂ、Ｘ、およびＹが定義
されているため、構文解析ステップＳ１０３によって各
クラスに対応する仮想関数テーブルが生成される。構文
解析結果がこれらの仮想関数テーブルである場合はＹｅ
ｓと判定され、その他の構文解析結果の場合はＮｏと判
定される。

【００５２】ステップｂ７では、仮想関数テーブルに対
応するクラスに対して、仕様記憶部Ｓ１０６を参照し
て、そのクラスのフラグがサブセット仕様を表すＳＳで
あるかどうかの判定を行なう。フラグがＳＳである場合
はＹｅｓと判定しステップｂ８へと処理を移行し、そう
でない場合はＮｏと判定しステップｂ９へと処理を移行
する。図１０のｆｉｌｅ１．ｃｃで生成されるクラス
Ａ、Ｂ、Ｘ、Ｙに対応する仮想関数テーブルに関して
は、図１１（ｃ）に示す仕様記憶部Ｓ１０６に格納され
ているフラグ情報を参照すると、クラスＡ、Ｂのフラグ
はフルセット仕様を表すＦＳであるため、ステップｂ７
の判定ではＮｏとなり、ステップｂ９へと処理を移行す
る。一方、クラスＸ、Ｙのフラグはサブセット仕様を表
すＳＳであるため、ステップｂ７の判定ではＹｅｓとな
り、ステップｂ８へと処理を移行する。

【００５３】ステップｂ８では、サブセットのクラスの
仮想関数テーブルの中間コードを生成する。クラスＸ、
Ｙに対しては、サブセットのクラスの仮想関数テーブル
の中間コードを生成する。

【００５４】ステップｂ９では、フルセットのクラスの
仮想関数テーブルの中間コードを生成する。クラスＡ、
Ｂに対しては、フルセットのクラスの仮想関数テーブル
の中間コードを生成する。

【００５５】ステップｂ１０では、その他の構文解析結
果について、通常の処理によりそれぞれ対応する中間コ
ードを生成する。

【００５６】ステップｂ１１では、ステップｂ１に処理
を移行し、ループ１の処理を繰り返す。

【００５７】以上のような本発明のプログラム変換ステ
ップに、図１０に示すプログラムを適用した結果、得ら
れる出力コードを図１２に示す。図１２中の（ｄ）のコ
ードはサブセットのクラスの仮想関数呼び出しのコー
ド、（ｅ）、（ｆ）のコードはサブセットのクラスの仮
想関数テーブルのコードを表しており、（ｃ）のコード
はフルセットの仮想関数呼び出しのコード、（ａ）、
（ｂ）、（ｇ）、（ｈ）のコードはフルセットの仮想関
数テーブルのコードを表している。本発明のプログラム
変換ステップを用いることによって、フルセットの仕様
で記述されたクラスとサブセットの仕様で記述されたク
ラスが混在していても、サブセットの仕様として扱うこ
とが出来るクラスについてはコードサイズおよび実行ス
テップ数の少ない効率の良いコードを生成することが出
来る。

【００５８】なお、上記実施形態において、仕様記憶部
Ｓ１０６に格納するフラグ情報をフルセットのフラグＦ
ＳとサブセットのフラグＳＳとしたが、サブセットのフ
ラグＳＳのみとし、フラグ情報の検索時にフラグ情報が
仕様記憶部Ｓ１０６に格納されていない場合はフルセッ
トのフラグＦＳが指定されたものとして処理するように
しても良い。

【００５９】また、言語仕様の範囲をフルセットとサブ
セットの２通りに分類しているが、サブセットの言語仕
様が複数種類存在しても良い。

【００６０】なお、請求項１８、１９の記録媒体は、図
１の生成コード記憶部Ｓ１１１のことであり、請求項２
０の記録媒体は、図１のプログラム変換ステップ自体の
機械語命令が記録されている記録媒体である。

【００６１】［第二の実施形態］図４は本発明の第二の
実施形態における付加情報付加ステップおよびプログラ
ム変換ステップの構成図を表している。

【００６２】図４において、付加情報付加ステップＳ２
１０は、クラス解析ステップＳ２１１、仕様決定ステッ
プＳ２１２および情報付加ステップＳ２１３から構成さ
れており、プログラム変換ステップＳ２２０は、入力ス
テップＳ２２１、構文解析ステップＳ２２２、中間コー
ド生成ステップＳ２２３、最適化ステップＳ２２４、資
源割付ステップＳ２２５および出力ステップＳ２２６か
ら構成されている。これら付加情報付加ステップＳ２１
０およびプログラム変換ステップＳ２２０は、コンパイ
ラの行う処理であり、プログラム記憶部２Ｓ２０２はコ
ンパイラの内部のものである。また、付加情報付加ステ
ップＳ２１０とプログラム変換ステップＳ２２０は別々
のプログラムでもよい。この場合、プログラム記憶部２
Ｓ２０２はファイル等の外部記憶でもよい。

【００６３】プログラム記憶部１Ｓ２０１は、変換を行
なうプログラムを保持している。

【００６４】クラス解析ステップＳ２１１は、プログラ
ム記憶部１Ｓ２０１に格納されている全てのプログラム
を読み込み、プログラム中で定義されている全てのクラ
スの情報を抽出し、仕様決定ステップＳ２１２にクラス
の情報を渡す。

【００６５】仕様決定ステップＳ２１２は、クラス解析
ステップＳ２１１から受けとったクラス情報を解析し、
各クラスをどの言語仕様のもとで処理するかを解析し
て、情報付加ステップＳ２１３に解析結果を渡す。

【００６６】情報付加ステップＳ２１３は、仕様決定ス
テップＳ２１２から解析結果を受けとり、入力プログラ
ムに付加情報として解析結果を挿入してプログラム記憶
部２Ｓ２０２に出力する。

【００６７】プログラム記憶部２Ｓ２０２は、付加情報
付加ステップＳ２１０によって情報が付加されたプログ
ラムを格納しておく。

【００６８】入力ステップＳ２２１は、プログラム記憶
部２Ｓ２０２に格納されているプログラムを順次入力
し、構文解析ステップＳ２２２に渡す。

【００６９】構文解析ステップＳ２２２は、入力ステッ
プＳ２２１から受けとったプログラムの構文を解析し、
シンボルテーブルの生成、構文木の生成、付加情報の解
析などを行ない、その解析結果を中間コード生成ステッ
プＳ２２３へと渡す。

【００７０】中間コード生成ステップＳ２２３は、構文
解析ステップＳ２２２から構文木を受けとり、中間コー
ドを生成する。クラスに関する中間コードを生成する際
には、構文解析ステップＳ２２２によって解析された付
加情報を参照して、対応する言語仕様のクラスであるも
のとして中間コードを生成する。

【００７１】最適化ステップＳ２２４は、中間コード生
成ステップＳ２２３によって生成された中間コードに対
して各種最適化を実行する。

【００７２】資源割付ステップＳ２２５は、最適化ステ
ップＳ２２４によって最適化された中間コードに含まれ
る全ての変数に対してレジスタやメモリなどのハードウ
ェア資源を割り付ける。

【００７３】出力ステップＳ２２６は、資源割付ステッ
プＳ２２５によって資源割付された中間コードを目的コ
ードに変換して生成コード記憶部Ｓ２０３に出力する。

【００７４】生成コード記憶部Ｓ２０３は、プログラム
変換ステップＳ２２０によって変換された目的コードを
格納しておく。

【００７５】なお、入力ステップＳ２２１、最適化ステ
ップＳ２２４、資源割付ステップＳ２２５、出力ステッ
プＳ２２６については、本発明の主眼ではないため、詳
細な説明は省略する。

【００７６】次に、付加情報付加ステップＳ２１０の処
理について、図１０に示すプログラムに適用した場合を
例にして、図５を参照しながら説明する。

【００７７】付加情報付加ステップＳ２１０の処理は、
ｃ１からｃ９までのステップによって行なわれる。以下
記号の順に説明していく。

【００７８】ステップｃ１では、プログラム記憶部１Ｓ
２０１に格納されている全ての入力ファイルを順次読み
込み、ステップｃ２に渡す。

【００７９】ステップｃ２は、入力ファイル中のクラス
の定義を解析し、クラスの情報を抽出する。図１０に示
すプログラムに対してステップｃ２を実行すると、抽出
されるクラス情報は、第一の実施形態の仕様決定ステッ
プＳ１０５のステップａ１の処理結果と同じく、図１１
（ａ）のようになる。ステップｃ１およびｃ２が図４の
クラス解析ステップＳ２１１に相当する。

【００８０】ステップｃ３では、第一の実施形態の仕様
決定ステップＳ１０５のステップａ２と同様であり、ク
ラスの継承関係を解析し、継承関係にあるクラス同士を
同じグループに分類して、クラスツリー集合ＣＴＳを生
成する。図１１（ａ）の抽出結果に対して継承関係を解
析すると、図１１（ｂ）のようなクラスツリー集合が得
られる。

【００８１】ステップｃ４では、クラスツリー集合ＣＴ
Ｓの全ての要素ＣＴについて、ループ１の処理を繰り返
す。図１１（ｂ）のＣＴ１およびＣＴ２についてループ
１の処理を繰り返す。

【００８２】ステップｃ５では、第一の実施形態の仕様
決定ステップＳ１０５のステップａ４と同様であり、ク
ラスツリー集合の要素ＣＴ内に多重継承しているクラス
が存在するかどうかを調べる。多重継承しているクラス
が存在する場合はステップｃ６に処理を移行し、存在し
ない場合はステップｃ７に処理を移行する。図１１
（ｂ）の各クラスツリーについてステップｃ５の判定を
行なうと、ＣＴ１ではＹｅｓと判定され、ＣＴ２ではＮ
ｏと判定される。

【００８３】ステップｃ６、ステップｃ７はそれぞれ、
第一の実施形態の仕様決定ステップＳ１０５のステップ
ａ５、ステップａ６と同様であり、ステップｃ６ではＣ
Ｔ内の全てのクラスにフルセットのフラグＦＳを付け、
ステップｃ７ではＣＴ内の全てのクラスにサブセットの
フラグＳＳを付ける。図１１（ｂ）のＣＴ１、ＣＴ２に
ついてフラグを設定すると、クラスＡ、Ｂ、Ｃ、Ｄには
フルセットのフラグＦＳが設定され、クラスＸ、Ｙには
サブセットのフラグＳＳが設定される。

【００８４】ステップｃ８では、ステップｃ４に処理を
移行し、ループ１の処理を繰り返す。

【００８５】ステップｃ９では、全てのクラスについて
フラグを調べ、サブセットのフラグＳＳのついたクラス
に関して、そのクラスがサブセット仕様で処理できるこ
とを表す付加情報を生成し、プログラム記憶部２Ｓ２０
２の出力ファイルに付加情報を出力し、それに続いて入
力ファイルを出力する。図１１（ｃ）より、クラスＸ、
Ｙについて付加情報を生成して挿入したファイルをプロ
グラム記憶部２Ｓ２０２に格納する。

【００８６】付加情報付加ステップＳ２１０の処理を図
１０に示すプログラムに適用して得られる出力ファイル
を図１３（ａ）に示す。ファイルｃｌａｓｓ．ｃｃ、ｆ
ｉｌｅ１．ｃｃ、ｆｉｌｅ２．ｃｃの各ファイルの先頭
に挿入されている”＃ｐｒａｇｍａ ＿ｓｓｆｌａｇ
Ｘ”がクラスＸに関する付加情報、”＃ｐｒａｇｍａ＿
ｓｓｆｌａｇ Ｙ”がクラスＹに関する付加情報を表し
ている。

【００８７】次に、プログラム変換ステップＳ２２０の
処理について、図１３（ａ）に示すプログラムに適用し
た場合を例にして、図６を参照しながら説明する。

【００８８】プログラム変換ステップＳ２２０の処理
は、ｄ１からｄ１７までのステップによって行なわれ
る。以下記号の順に説明していく。

【００８９】ステップｄ１では、プログラム記憶部２Ｓ
２０２に格納されている入力ファイルの各行についてル
ープ１を繰り返す。図１３（ａ）のｆｉｌｅ１．ｃｃを
入力ファイルとした場合について説明する。ｃｌａｓ
ｓ．ｃｃ、ｆｉｌｅ２．ｃｃについても同様にプログラ
ム変換ステップＳ２２０で処理される。

【００９０】ステップｄ２では、入力ファイルから入力
行を読み込む。

【００９１】ステップｄ３では、入力行が付加情報かど
うかの判定を行なう。付加情報である場合はＹｅｓと判
定しステップｄ４へと処理を移行し、そうでない場合は
Ｎｏと判定しステップｄ５へと処理を移行する。ｆｉｌ
ｅ１．ｃｃの１行目、２行目は付加情報であるので、ス
テップｄ３の判定ではＹｅｓとなる。それ以外の行では
Ｎｏと判定される。

【００９２】ステップｄ４では、付加情報のクラスを付
加情報クラス集合ＣＳに追加する。ｆｉｌｅ１．ｃｃの
１行目ではＣＳにクラスＸを追加し、２行目ではＣＳに
クラスＹを追加する。２行目まで処理した後の付加情報
クラス集合ＣＳの内容は図１３（ｂ）のようになる。

【００９３】ステップｄ５では、入力行が仮想関数呼び
出しかどうかの判定を行なう。仮想関数呼び出しである
場合はＹｅｓと判定しステップｄ６へと処理を移行し、
そうでない場合はＮｏと判定しステップｄ９へと処理を
移行する。ｆｉｌｅ１．ｃｃの１７行目、１８行目は仮
想関数呼び出しであるので、ステップｄ５の判定ではＹ
ｅｓとなる。それ以外の行ではＮｏと判定される。

【００９４】ステップｄ６では、仮想関数を呼び出して
いるオブジェクトのクラスが付加情報クラス集合ＣＳに
含まれるかどうかの判定を行なう。ＣＳに含まれる場合
はＹｅｓと判定しステップｄ８へと処理を移行し、そう
でない場合はＮｏと判定しステップｄ７へと処理を移行
する。１７行目の仮想関数呼び出しでは、ｐ１の指すオ
ブジェクトの型はクラスＡであり、クラスＡは付加情報
クラス集合ＣＳに含まれないためＮｏと判定され、ステ
ップｄ８へと処理を移行する。１８行目の仮想関数呼び
出しでは、ｐ２が指しているオブジェクトの型がクラス
Ｘであり、クラスＸは付加情報クラス集合ＣＳに含まれ
るためＹｅｓと判定され、ステップｄ７へと処理を移行
する。

【００９５】ステップｄ７では、サブセットのクラスの
仮想関数呼び出しの中間コードを生成する。１８行目の
仮想関数呼び出しの式に対しては、サブセットのクラス
の仮想関数呼び出しの中間コードを生成する。

【００９６】ステップｄ８では、フルセットのクラスの
仮想関数呼び出しの中間コードを生成する。１７行目の
仮想関数呼び出しの式に対しては、フルセットのクラス
の仮想関数呼び出しの中間コードを生成する。

【００９７】ステップｄ９では、入力ファイル中に定義
されている各クラスについて、仮想関数テーブルを生成
する必要があるかどうかの判定を行なう。仮想関数テー
ブルを生成する必要がある場合はＹｅｓと判定しステッ
プｄ１０へと処理を移行する。そうでない場合はＮｏと
判定しステップｄ１３へと処理を移行する。ｆｉｌｅ
１．ｃｃではクラスＡ、Ｂ、Ｘ、Ｙが仮想関数を持つク
ラスとして定義されているため、これらのクラスについ
て仮想関数テーブルを生成する。

【００９８】ステップｄ１０では、仮想関数テーブルの
クラスが付加情報クラス集合ＣＳに含まれるかどうかの
判定を行なう。ＣＳに含まれる場合はＹｅｓと判定しス
テップｄ１１へと処理を移行し、そうでない場合はＮｏ
と判定しステップｄ１２へと処理を移行する。仮想関数
テーブルのクラスがクラスＡ、Ｂの場合は、ＣＳには含
まれないためステップｄ１０の判定ではＮｏとなりステ
ップｄ１２へと処理を移行し、仮想関数テーブルのクラ
スがクラスＸ、Ｙの場合は、ＣＳに含まれるためＹｅｓ
と判定されステップｄ１１へと処理を移行する。

【００９９】ステップｄ１１では、サブセットのクラス
の仮想関数テーブルの中間コードを生成する。クラス
Ｘ、Ｙに対しては、サブセットのクラスの仮想関数テー
ブルの中間コードを生成する。

【０１００】ステップｄ１２では、フルセットのクラス
の仮想関数テーブルの中間コードを生成する。クラス
Ａ、Ｂに対しては、フルセットのクラスの仮想関数テー
ブルの中間コードを生成する。

【０１０１】ステップｄ１３では、その他の入力行につ
いて、通常の処理によりそれぞれ対応する中間コードを
生成する。

【０１０２】ステップｄ１４では、ステップｄ１に処理
を移行し、ループ１の処理を繰り返す。

【０１０３】ステップｄ１５は、図４の最適化ステップ
Ｓ２２４に相当し、生成された中間コードに対して各種
最適化処理を実行する。

【０１０４】ステップｄ１６は、図４の資源割付ステッ
プＳ２２５に相当し、中間コードに含まれる全ての変数
に対して、レジスタやメモリなどのハードウェア資源を
割り付ける。

【０１０５】ステップｄ１７は、図４の出力ステップＳ
２２６に相当し、中間コードを目的コードに変換して生
成コード記憶部Ｓ２０３に出力する。

【０１０６】以上のような本発明のプログラム変換ステ
ップに、図１３（ａ）に示すプログラムを適用した結
果、得られる出力コードは第一の実施形態と同じく図１
２のようになり、第一の実施形態と同様の効果が得られ
る。

【０１０７】なお、上記実施形態において、全ての入力
ファイルに付加情報を出力するようにしているが、クラ
ス定義の存在するファイルのいずれか一つのみに出力す
るようにしても良い。

【０１０８】また、言語仕様の範囲をフルセットとサブ
セットの２通りに分類しているが、サブセットの言語仕
様が複数種類存在しても良い。

【０１０９】なお、請求項２１の記録媒体は、図４に示
した付加情報付加ステップＳ２１０とプログラム変換ス
テップＳ２２０自体の機械語命令が記録されている記録
媒体である。

【０１１０】［第三の実施形態］図７は本発明の第三の
実施形態における翻訳ステップおよび結合ステップの構
成図を表している。

【０１１１】図７において、翻訳ステップＳ３１０は、
仕様決定ステップＳ３１１、フルセット翻訳ステップＳ
３１２、サブセット翻訳ステップＳ３１３および翻訳結
果マージステップＳ３１４から構成されており、結合ス
テップＳ３２０は、選択ステップＳ３２１およびリンク
ステップＳ３２２から構成されている。翻訳ステップＳ
３１０はコンパイラの行う処理であり、結合ステップＳ
３２０はリンカの行う処理である。なお、リンカをも含
めてコンパイラと呼ぶこともある。

【０１１２】プログラム記憶部Ｓ３０１は、変換を行な
うプログラムを保持している。

【０１１３】仕様決定ステップＳ３１１は、プログラム
記憶部Ｓ３０１に格納されているプログラムを読み込
み、プログラム中の各ファイルがフルセットの言語仕様
で記述されているのかサブセットの言語仕様で記述され
ているのかを判定する。

【０１１４】フルセット翻訳ステップＳ３１２は、仕様
決定ステップＳ３１１の判定結果がフルセットの言語仕
様で記述されていると判定された場合、およびサブセッ
トの言語仕様で記述されていると判定された場合共に起
動され、入力プログラムをフルセットの言語仕様で記述
されているものとして翻訳する。

【０１１５】サブセット翻訳ステップＳ３１３は、仕様
決定ステップＳ３１１の判定結果がサブセットの言語仕
様で記述されていると判定された場合に起動され、入力
プログラムをサブセットの言語仕様で記述されているも
のとして翻訳する。

【０１１６】翻訳結果マージステップＳ３１４は、フル
セット翻訳ステップＳ３１２とサブセット翻訳ステップ
Ｓ３１３の翻訳結果をマージして目的コード記憶部Ｓ３
０２に出力する。サブセット翻訳ステップＳ３１３が起
動されなかった場合は、フルセット翻訳ステップＳ３１
２の翻訳結果のみを目的コード記憶部Ｓ３０２に出力す
る。

【０１１７】目的コード記憶部Ｓ３０２は翻訳ステップ
Ｓ３１０によって翻訳された目的コードを格納してお
く。

【０１１８】選択ステップＳ３２１は、目的コード記憶
部Ｓ３０２内の全ての目的コードを入力し、全ての目的
コード内にサブセット翻訳ステップＳ３１３による翻訳
結果が存在するかどうかを判定し、全ての目的プログラ
ム内にサブセット翻訳結果が存在する場合はリンクステ
ップＳ３２２にサブセット翻訳結果を渡し、そうでない
場合はフルセット翻訳結果を渡す。

【０１１９】リンクステップＳ３２２は、全ての目的コ
ードについて、選択ステップＳ３２１によって選択され
た翻訳結果を結合し、実行コード記憶部Ｓ３０３に出力
する。

【０１２０】実行コード記憶部Ｓ３０３は、結合ステッ
プＳ３２０によって結合された実行コードを格納してお
く。

【０１２１】なお、フルセット翻訳ステップＳ３１２、
サブセット翻訳ステップＳ３１３およびリンクステップ
Ｓ３２２については、本発明の主眼ではないため、詳細
な説明は省略する。

【０１２２】次に、翻訳ステップＳ３１０の処理につい
て、図１４に示すプログラムに適用した場合を例にし
て、図８を参照しながら説明する。

【０１２３】翻訳ステップＳ３１０の処理は、ｅ１から
ｅ６までのステップによって行なわれる。以下記号の順
に説明していく。

【０１２４】ステップｅ１では、プログラム記憶部Ｓ３
０１から入力ファイルを読み込む。図１４のｆｉｌｅ
１．ｃｃを入力ファイルとした場合について説明する。
ｃｌａｓｓ．ｃｃについても同様に翻訳ステップＳ３１
０で処理される。

【０１２５】ステップｅ２は、図７の仕様決定ステップ
Ｓ３１１に相当し、入力ファイルがサブセットの言語仕
様のみを使用して記述されているかどうかを判定する。
サブセットの言語仕様のみを使用している場合はＹｅｓ
と判定しステップｅ３へと処理を移行する。そうでない
場合はＮｏと判定しステップｅ４へと処理を移行する。
図１４のｆｉｌｅ１．ｃｃはＥＣ＋＋の言語仕様、即ち
サブセットの言語仕様のみで記述されているため、ステ
ップｅ２の判定ではＹｅｓと判定され、ステップｅ３へ
と処理を移行する。

【０１２６】ステップｅ３は、図７のサブセット翻訳ス
テップＳ３１３に相当し、入力ファイルをサブセット翻
訳ステップによって翻訳する。図１４のｆｉｌｅ１．ｃ
ｃはサブセット翻訳ステップによって翻訳される。

【０１２７】ステップｅ４は、図７のフルセット翻訳ス
テップＳ３１２に相当し、入力ファイルがサブセットの
言語仕様のみを使用している場合でもそうでない場合で
も共に起動される。ステップｅ４では、入力ファイルを
フルセット翻訳ステップによって翻訳する。図１４のｆ
ｉｌｅ１．ｃｃはフルセット翻訳ステップによって翻訳
される。

【０１２８】ステップｅ５は、図７の翻訳結果マージス
テップＳ３１４に相当し、サブセット翻訳ステップｅ３
の翻訳結果とフルセット翻訳ステップｅ４の翻訳結果を
マージする。図１４のｆｉｌｅ１．ｃｃのサブセット翻
訳ステップの翻訳結果とフルセット翻訳ステップの翻訳
結果がマージされる。

【０１２９】ステップｅ６では、ステップｅ５でマージ
された結果を目的コード記憶部Ｓ３０２に出力する。

【０１３０】以上のような本発明の翻訳ステップに図１
４に示すプログラムを適用した結果、得られる出力コー
ドは、図１５のようになる。ｃｌａｓｓ．ｃｃおよびｆ
ｉｌｅ１．ｃｃは共にサブセットの言語仕様のみを使用
して記述されているため、出力コードにはサブセット翻
訳ステップの翻訳結果とフルセット翻訳ステップの翻訳
結果の両方が含まれている。

【０１３１】次に、結合ステップＳ３２０の処理につい
て、図１５に示す目的コードに適用した場合を例にし
て、図９を参照しながら説明する。

【０１３２】結合ステップＳ３２０の処理は、ｆ１から
ｆ６までのステップによって行なわれる。以下記号の順
に説明していく。

【０１３３】ステップｆ１では、目的コード記憶部Ｓ３
０２内の全ての目的コードを入力ファイルとして読み込
む。図１５では、ｃｌａｓｓ．ｏ、ｆｉｌｅ１．ｏを読
み込む。

【０１３４】ステップｆ２では、全ての入力ファイル中
にサブセット翻訳結果が存在するかどうかを判定する。
全ての入力ファイル中にサブセット翻訳結果が存在する
場合はＹｅｓと判定しステップｆ３へと処理を移行す
る。そうでない場合はＮｏと判定しステップｆ４へと処
理を移行する。図１５のｃｌａｓｓ．ｏ、ｆｉｌｅ１．
ｏには共にサブセット翻訳結果が存在するため、ステッ
プｆ２ではＹｅｓと判定されステップｆ３へと処理を移
行する。

【０１３５】ステップｆ３では、全ての入力ファイルか
らサブセット翻訳結果を選択しステップｆ５へと渡す。
図１５ではｃｌａｓｓ．ｏ、ｆｉｌｅ１．ｏからそれぞ
れサブセット翻訳結果が選択され、ステップｆ５へと渡
す。

【０１３６】ステップｆ４では、全ての入力ファイルか
らフルセット翻訳結果を選択しステップｆ５へと渡す。

【０１３７】ステップｆ５では、ステップｆ３あるいは
ステップｆ４によって選択された全ての翻訳結果を結合
し実行形式ファイルを生成する。ｃｌａｓｓ．ｏ、ｆｉ
ｌｅ１．ｏから選択されたサブセット翻訳結果がステッ
プｆ５で結合される。

【０１３８】ステップｆ６では、ステップｆ５で結合し
た実行形式ファイルを実行コード記憶部Ｓ３０３に出力
する。

【０１３９】以上のような本発明の結合ステップに図１
５に示す目的コードを適用した場合、得られる出力コー
ドは図１６のようになる。ｃｌａｓｓ．ｃｃおよびｆｉ
ｌｅ１．ｃｃをそれぞれサブセット翻訳ステップで翻訳
可能であったため、共にサブセット翻訳結果が選択さ
れ、コードサイズおよび実行ステップ数の少ない効率の
良いコードを生成することが出来る。

【０１４０】なお、言語仕様の範囲をフルセットとサブ
セットの２通りに分類しているが、サブセットの言語仕
様が複数種類存在しても良い。

【０１４１】また、結合ステップＳ３２０は全てのオブ
ジェクトファイル中に複数のサブセット翻訳結果が存在
する場合に、全てのオブジェクトファイル中に存在し、
かつ最も言語仕様の範囲が狭い、あるいは最も最適化し
やすいような言語仕様のサブセット翻訳結果を選択する
ようにしても良い。

【０１４２】なお、請求項２２の記録媒体は、図７に示
した翻訳ステップＳ３１０と結合ステップＳ３２０自体
の機械語命令が記録されている記録媒体である。

【０１４３】

【発明の効果】以上のように本発明の請求項１記載のプ
ログラム変換方法は、オブジェクト指向言語で記述され
た入力プログラムを目的プログラムに変換するプログラ
ム変換方法であって、入力プログラムの各部分に対して
記述されている言語仕様の範囲を決定する仕様決定ステ
ップと、仕様決定ステップにより決定された言語仕様の
範囲に基づいて入力プログラムに対応したコードを生成
するコード生成ステップとを含むことを特徴とするもの
である。この方法によれば、入力プログラムで使用され
ている言語仕様に応じて、効率の良いコードを生成する
ことが出来る。

【０１４４】また、本発明の請求項２記載のプログラム
変換方法は、請求項１記載のプログラム変換方法におい
て、仕様決定ステップは、言語仕様の範囲を、フルセッ
トの言語仕様もしくは、少なくとも一つのサブセットの
言語仕様に決定することを特徴とするものである。この
方法によれば、複数のサブセットの言語仕様に対して
も、効率の良いコードを生成することが出来る。

【０１４５】また、本発明の請求項３記載のプログラム
変換方法は、請求項１記載のプログラム変換方法におい
て、仕様決定ステップは、入力プログラムに含まれるク
ラス定義の継承関係を解析し、継承関係にあるクラスを
グループ化してクラスツリーを生成する解析ステップ
と、解析ステップで生成されたクラスツリーのうち単一
継承のみで構成されるクラスツリーを検索する検索ステ
ップと、検索ステップで検索されたクラスツリーを構成
する全てのクラスの言語仕様をサブセットの言語仕様で
あると決定する決定ステップとを含むことを特徴とする
ものである。この方法によれば、単一継承のみで構成さ
れるクラスツリーに含まれるクラスに関する処理をサブ
セットの言語仕様とすることができ、効率の良いコード
を生成することが出来る。

【０１４６】また、本発明の請求項４記載のプログラム
変換方法は、請求項１〜３のいずれかに記載のプログラ
ム変換方法において、コード生成ステップは、仕様決定
ステップにより決定された言語仕様により、仮想的関数
呼び出しをコード化することを特徴とするものである。
この方法によれば、仮想関数呼び出しのコードに関し
て、効率の良いコードを生成することが出来る。

【０１４７】また、本発明の請求項５記載のプログラム
変換方法は、請求項１〜３のいずれかに記載のプログラ
ム変換方法において、コード生成ステップは、仕様決定
ステップにより決定された言語仕様により、仮想的関数
呼び出しで参照するテーブルをコード化することを特徴
とする。この方法によれば、仮想関数テーブルのデータ
に関して、効率の良いコードを生成することが出来る。

【０１４８】また、本発明の請求項６記載のプログラム
変換方法は、オブジェクト指向言語で記述された入力プ
ログラムを目的プログラムに変換するプログラム変換方
法であって、入力プログラムの各部分に対して記述され
ている言語仕様の範囲を決定する仕様決定ステップと、
仕様決定ステップで決定された言語仕様の範囲に対応し
た付加情報を入力プログラムに付加する情報付加ステッ
プと、付加情報が付加された入力プログラムの付加情報
が示す言語仕様の範囲に基づいて入力プログラムに対応
したコードを生成するコード生成ステップとを含むこと
を特徴とするものである。この方法によれば、入力プロ
グラムで使用されている言語仕様に応じて、効率の良い
コードを生成することが出来る。

【０１４９】また、本発明の請求項７記載のプログラム
変換方法は、請求項６記載のプログラム変換方法におい
て、仕様決定ステップは、言語仕様の範囲を、フルセッ
トの言語仕様もしくは、少なくとも一つのサブセットの
言語仕様に決定することを特徴とするものである。この
方法によれば、複数のサブセットの言語仕様に対して
も、効率の良いコードを生成することが出来る。

【０１５０】また、本発明の請求項８記載のプログラム
変換方法は、請求項６記載のプログラム変換方法におい
て、仕様決定ステップは、入力プログラムに含まれるク
ラス定義の継承関係を解析し、継承関係にあるクラスを
グループ化してクラスツリーを生成する解析ステップ
と、解析ステップで生成されたクラスツリーのうち単一
継承のみで構成されるクラスツリーを検索する検索ステ
ップと、検索ステップで検索されたクラスツリーを構成
する全てのクラスの言語仕様をサブセットの言語仕様で
あると決定する決定ステップとを含むことを特徴とする
ものである。この方法によれば、単一継承のみで構成さ
れるクラスツリーに含まれるクラスに関する処理をサブ
セットの言語仕様とすることができ、効率の良いコード
を生成することが出来る。

【０１５１】また、本発明の請求項９記載のプログラム
変換方法は、請求項８記載のプログラム変換方法におい
て、情報付加ステップは、決定ステップによって決定さ
れたクラスに関する情報を、付加情報として付加するこ
とを特徴とする。この方法によれば、付加する情報を決
定ステップによって決定されたクラスのみに限定するこ
とができ、付加情報量を少なくすることが出来る。

【０１５２】また、本発明の請求項１０記載のプログラ
ム変換方法は、請求項９記載のプログラム変換方法にお
いて、情報付加ステップは、決定ステップによって決定
されたクラス定義の存在するファイルに対して、付加情
報を付加することを特徴とする。この方法によれば、情
報を付加するファイルをクラス定義が存在するファイル
のみに限定することが出来、付加情報量を少なくするこ
とが出来る。

【０１５３】また、本発明の請求項１１記載のプログラ
ム変換方法は、請求項６〜１０のいずれかに記載のプロ
グラム変換方法において、付加情報は、オブジェクト指
向言語におけるキーワードであることを特徴とするもの
である。この方法によれば、プログラムの汎用性を失う
ことなく、かつこのキーワードを解釈する全てのコンパ
イラによって付加情報を認識することが出来る。

【０１５４】また、本発明の請求項１２記載のプログラ
ム変換方法は、請求項６〜１０のいずれかに記載のプロ
グラム変換方法において、付加情報は、コード生成ステ
ップで解釈可能な文字列であることを特徴とするもので
ある。この方法によれば、特定のコンパイラのみが付加
情報を認識し、その他のコンパイラは付加情報を無視す
ることができるため、特定のコンパイラに対する付加情
報を持ちながらもプログラムの正当性が維持される。

【０１５５】また、本発明の請求項１３記載のプログラ
ム変換方法は、請求項６〜１２のいずれかに記載のプロ
グラム変換方法において、コード生成ステップは、仕様
決定ステップにより決定された言語仕様により、仮想的
関数呼び出しをコード化することを特徴とするものであ
る。この方法によれば、仮想関数呼び出しのコードに関
して、効率の良いコードを生成することが出来る。

【０１５６】また、本発明の請求項１４記載のプログラ
ム変換方法は、請求項６〜１２のいずれかに記載のプロ
グラム変換方法において、コード生成ステップは、仕様
決定ステップにより決定された言語仕様により、仮想的
関数呼び出しで参照するテーブルをコード化することを
特徴とするものである。この方法によれば、仮想関数テ
ーブルのデータに関して、効率の良いコードを生成する
ことが出来る。

【０１５７】また、本発明の請求項１５記載のプログラ
ム変換方法によれば、オブジェクト指向言語で記述され
た入力プログラムを目的プログラムに変換するプログラ
ム変換方法であって、入力プログラムをフルセットの言
語仕様で翻訳するフルセット翻訳ステップと、入力プロ
グラムをサブセットの言語仕様で翻訳する少なくとも１
つのサブセット翻訳ステップと、入力プログラムの各フ
ァイルに対して記述されている言語仕様の範囲を決定
し、この決定した言語仕様の範囲およびこれより広い言
語仕様の範囲であるフルセット翻訳ステップおよびサブ
セット翻訳ステップを起動する仕様決定ステップと、フ
ルセット翻訳ステップおよびサブセット翻訳ステップの
翻訳結果をマージする翻訳結果マージステップとを備え
る翻訳ステップと、翻訳結果マージステップの出力から
適切な翻訳結果を選択する選択ステップと、選択ステッ
プにより選択された翻訳結果をリンクするリンクステッ
プとを備える結合ステップとを含むことを特徴とするも
のである。この方法によれば、全てのファイルがサブセ
ットの言語仕様でコンパイル可能な場合はサブセットの
翻訳結果が得られ、効率の良いコードを生成することが
出来る。

【０１５８】また、本発明の請求項１６記載のプログラ
ム変換方法によれば、請求項１５記載のプログラム変換
方法において、選択ステップは、翻訳結果マージステッ
プの全ての出力中に含まれ、かつ最も言語仕様の範囲が
狭い言語仕様のサブセット翻訳結果を選択することを特
徴とするものである。この方法によれば、複数のサブセ
ット翻訳結果の中から最も言語仕様の範囲が狭いサブセ
ット翻訳結果が得られ、効率の良いコードを生成するこ
とが出来る。

【０１５９】また、本発明の請求項１７記載のプログラ
ム変換方法によれば、請求項１５記載のプログラム変換
方法において、選択ステップは、翻訳結果マージステッ
プの全ての出力中に含まれ、かつ最も最適化が可能な言
語仕様のサブセット翻訳結果を選択することを特徴とす
るものである。この方法によれば、複数のサブセット翻
訳結果の中から最も最適化が可能な言語仕様のサブセッ
ト翻訳結果が得られ、効率の良いコードを生成すること
が出来る。

【０１６０】また、本発明の請求項１８記載の記録媒体
は、オブジェクト指向言語で記述されたプログラムを、
プロセッサによって実行される機械語命令に変換して記
録した記録媒体であって、オブジェクト指向言語で記述
されたプログラム中に記載された仮想的関数の呼び出し
を変換した機械語命令列のうち、呼び出し手順の異なる
機械語命令列が少なくとも一つ存在することを特徴とす
るものである。この構成によれば、フルセットの言語仕
様の仮想関数呼び出しの機械語命令列をサブセットの言
語仕様の仮想関数呼び出しの機械語命令列に可能な限り
置き換えられ、コード効率が向上される。

【０１６１】また、本発明の請求項１９記載の記録媒体
は、オブジェクト指向言語で記述されたプログラムを、
プロセッサによって実行される機械語命令に変換して記
録した記録媒体であって、オブジェクト指向言語で記述
されたプログラム中に記載された仮想的関数の呼び出し
を変換した機械語命令が参照するテーブルのうち、デー
タ構造の異なるテーブルが少なくとも一つ存在すること
を特徴とするものである。この構成によれば、フルセッ
トの言語仕様の仮想関数テーブルをサブセットの言語仕
様の仮想関数テーブルに可能な限り置き換えられ、コー
ド効率が向上される。

【０１６２】また、本発明の請求項２０記載の記録媒体
は、オブジェクト指向言語で記述されたプログラムを機
械語命令に変換するプログラムを記録した記録媒体であ
って、プログラムの変換方法は、プログラムの各部分に
対して記述されている言語仕様の範囲を決定する仕様決
定ステップと、仕様決定ステップにより決定された言語
仕様の範囲に基づいてプログラムに対応したコードを生
成するコード生成ステップとを含んだことを特徴とする
ものである。この構成によれば、入力プログラムで使用
されている言語仕様に応じて、効率の良いコードを生成
することができる。

【０１６３】また、本発明の請求項２１記載の記録媒体
は、オブジェクト指向言語で記述されたプログラムを機
械語命令に変換するプログラムを記録した記録媒体であ
って、プログラムの変換方法は、プログラムの各部分に
対して記述されている言語仕様の範囲を決定する仕様決
定ステップと、仕様決定ステップで決定された言語仕様
の範囲に対応した付加情報をプログラムに付加する情報
付加ステップと、付加情報が付加されたプログラムの付
加情報が示す言語仕様の範囲に基づいてプログラムに対
応したコードを生成するコード生成ステップとを含んだ
ことを特徴するものである。この構成によれば、入力プ
ログラムで使用されている言語仕様に応じて、効率の良
いコードを生成することができる。

【０１６４】また、本発明の請求項２２記載の記録媒体
は、オブジェクト指向言語で記述されたプログラムを機
械語命令に変換するプログラムを記録した記録媒体であ
って、プログラムの変換方法は、プログラムをフルセッ
トの言語仕様で翻訳するフルセット翻訳ステップと、プ
ログラムをサブセットの言語仕様で翻訳する少なくとも
１つのサブセット翻訳ステップと、プログラムの各ファ
イルに対して記述されている言語仕様の範囲を決定し、
この決定した言語仕様の範囲およびこれより広い言語仕
様の範囲であるフルセット翻訳ステップおよびサブセッ
ト翻訳ステップを起動する仕様決定ステップと、フルセ
ット翻訳ステップおよびサブセット翻訳ステップの翻訳
結果をマージする翻訳結果マージステップとを備える翻
訳ステップと、翻訳結果マージステップの出力から適切
な翻訳結果を選択する選択ステップと、選択ステップに
より選択された翻訳結果をリンクするリンクステップと
を備える結合ステップとを含んだことを特徴とするもの
である。この構成によれば、全てのファイルがサブセッ
トの言語仕様でコンパイル可能な場合はサブセットの翻
訳結果が得られ、効率の良いコードを生成することがで
きる。

【図面の簡単な説明】

【図１】本発明の第一の実施形態におけるプログラム変
換ステップの構成図

【図２】図１の仕様決定ステップＳ１０５の処理を示す
フローチャート

【図３】図１の中間コード生成ステップＳ１０７の処理
を示すフローチャート

【図４】本発明の第二の実施形態における付加情報付加
ステップおよびプログラム変換ステップの構成図

【図５】図４の付加情報付加ステップＳ２１０の処理を
示すフローチャート

【図６】図４のプログラム変換ステップＳ２２０の処理
を示すフローチャート

【図７】本発明の第三の実施形態における翻訳ステップ
および結合ステップの構成図

【図８】図７の翻訳ステップＳ３１０の処理を示すフロ
ーチャート

【図９】図７の結合ステップＳ３２０の処理を示すフロ
ーチャート

【図１０】図１、図４のプログラム記憶部Ｓ１０１、Ｓ
２０１に格納されているプログラムを示す図

【図１１】（ａ）は本発明の第一の実施形態の仕様決定
ステップ、および第二の実施形態の付加情報付加ステッ
プ内のクラス解析ステップにおいて抽出されるクラス情
報を示す図、（ｂ）は本発明の第一の実施形態の仕様決
定ステップ、および第二の実施形態の付加情報付加ステ
ップ内の仕様決定ステップにおいて生成されるクラスツ
リー集合を示す図、（ｃ）は本発明の第一の実施形態の
仕様決定ステップ、および第二の実施形態の付加情報付
加ステップ内の仕様決定ステップにおいて設定されるク
ラスのフラグ情報を示す図

【図１２】本発明の第一の実施形態におけるプログラム
変換ステップを用いた場合の出力結果を示す図

【図１３】（ａ）は本発明の第二の実施形態における付
加情報付加ステップを用いた場合の出力結果を示す図、
（ｂ）本発明の第二の実施形態のプログラム変換ステッ
プ内の構文解析ステップにおいて生成される付加情報ク
ラス集合を示す図

【図１４】図７のプログラム記憶部Ｓ３０１に格納され
ているプログラムを示す図

【図１５】本発明の第三の実施形態における翻訳ステッ
プを用いた場合の出力結果を示す図

【図１６】本発明の第三の実施形態における結合ステッ
プを用いた場合の出力結果を示す図

【図１７】（ａ）は従来技術によってフルセット仕様の
Ｃ＋＋言語をコンパイルした場合を示す図、（ｂ）は従
来技術によってサブセット仕様のＥＣ＋＋言語をコンパ
イルした場合を示す図

【図１８】フルセット仕様のＣ＋＋言語とサブセット仕
様のＥＣ＋＋言語における仮想関数テーブルのデータ構
造および仮想関数呼び出しの生成コードを示す図

【符号の説明】

Ｓ１０１ プログラム記憶部 Ｓ１０２ 入力ステップ Ｓ１０３ 構文解析ステップ Ｓ１０４ 記憶部 Ｓ１０５ 仕様決定ステップ Ｓ１０６ 仕様記憶部 Ｓ１０７ 中間コード生成ステップ Ｓ１０８ 最適化ステップ Ｓ１０９ 資源割付ステップ Ｓ１１０ 出力ステップ Ｓ１１１ 生成コード記憶部 Ｓ２０１ プログラム記憶部１ Ｓ２０２ プログラム記憶部２ Ｓ２０３ 生成コード記憶部 Ｓ２１０ 付加情報付加ステップ Ｓ２１１ クラス解析ステップ Ｓ２１２ 仕様決定ステップ Ｓ２１３ 情報付加ステップ Ｓ２２０ プログラム変換ステップ Ｓ２２１ 入力ステップ Ｓ２２２ 構文解析ステップ Ｓ２２３ 中間コード生成ステップ Ｓ２２４ 最適化ステップ Ｓ２２５ 資源割付ステップ Ｓ２２６ 出力ステップ Ｓ３０１ プログラム記憶部 Ｓ３０２ 目的コード記憶部 Ｓ３０３ 実行コード記憶部 Ｓ３１０ 翻訳ステップ Ｓ３１１ 仕様決定ステップ Ｓ３１２ フルセット翻訳ステップ Ｓ３１３ サブセット翻訳ステップ Ｓ３１４ 翻訳結果マージステップ Ｓ３２０ 結合ステップ Ｓ３２１ 選択ステップ Ｓ３２２ リンクステップ

フロントページの続き (72)発明者 坂田 俊幸 大阪府門真市大字門真1006番地 松下電器 産業株式会社内 Ｆターム(参考） 5B081 AA09 CC41

Claims (22)

【特許請求の範囲】
1. 【請求項１】 オブジェクト指向言語で記述された入力
   プログラムを目的プログラムに変換するプログラム変換
   方法であって、 前記入力プログラムの各部分に対して記述されている言
   語仕様の範囲を決定する仕様決定ステップと、 前記仕様決定ステップにより決定された言語仕様の範囲
   に基づいて前記入力プログラムに対応したコードを生成
   するコード生成ステップとを含むことを特徴とするプロ
   グラム変換方法。
2. 【請求項２】 前記仕様決定ステップは、言語仕様の範
   囲を、フルセットの言語仕様もしくは、少なくとも一つ
   のサブセットの言語仕様に決定することを特徴とする請
   求項１記載のプログラム変換方法。
3. 【請求項３】 前記仕様決定ステップは、前記入力プロ
   グラムに含まれるクラス定義の継承関係を解析し、継承
   関係にあるクラスをグループ化してクラスツリーを生成
   する解析ステップと、 前記解析ステップで生成された前記クラスツリーのうち
   単一継承のみで構成されるクラスツリーを検索する検索
   ステップと、 前記検索ステップで検索された前記クラスツリーを構成
   する全てのクラスの言語仕様をサブセットの言語仕様で
   あると決定する決定ステップとを含むことを特徴とする
   請求項１記載のプログラム変換方法。
4. 【請求項４】 前記コード生成ステップは、前記仕様決
   定ステップにより決定された言語仕様により、仮想的関
   数呼び出しをコード化することを特徴とする請求項１〜
   ３のいずれかに記載のプログラム変換方法。
5. 【請求項５】 前記コード生成ステップは、前記仕様決
   定ステップにより決定された言語仕様により、仮想的関
   数呼び出しで参照するテーブルをコード化することを特
   徴とする請求項１〜３のいずれかに記載のプログラム変
   換方法。
6. 【請求項６】 オブジェクト指向言語で記述された入力
   プログラムを目的プログラムに変換するプログラム変換
   方法であって、 前記入力プログラムの各部分に対して記述されている言
   語仕様の範囲を決定する仕様決定ステップと、 前記仕様決定ステップで決定された言語仕様の範囲に対
   応した付加情報を前記入力プログラムに付加する情報付
   加ステップと、 前記付加情報が付加された入力プログラムの前記付加情
   報が示す言語仕様の範囲に基づいて前記入力プログラム
   に対応したコードを生成するコード生成ステップとを含
   むことを特徴とするプログラム変換方法。
7. 【請求項７】 前記仕様決定ステップは、言語仕様の範
   囲を、フルセットの言語仕様もしくは、少なくとも一つ
   のサブセットの言語仕様に決定することを特徴とする請
   求項６記載のプログラム変換方法。
8. 【請求項８】 前記仕様決定ステップは、前記入力プロ
   グラムに含まれるクラス定義の継承関係を解析し、継承
   関係にあるクラスをグループ化してクラスツリーを生成
   する解析ステップと、 前記解析ステップで生成された前記クラスツリーのうち
   単一継承のみで構成されるクラスツリーを検索する検索
   ステップと、 前記検索ステップで検索された前記クラスツリーを構成
   する全てのクラスの言語仕様をサブセットの言語仕様で
   あると決定する決定ステップとを含むことを特徴とする
   請求項６記載のプログラム変換方法。
9. 【請求項９】 前記情報付加ステップは、前記決定ステ
   ップによって決定されたクラスに関する情報を、付加情
   報として付加することを特徴とする請求項８記載のプロ
   グラム変換方法。
10. 【請求項１０】 前記情報付加ステップは、前記決定ス
    テップによって決定されたクラス定義の存在するファイ
    ルに対して、付加情報を付加することを特徴とする請求
    項９記載のプログラム変換方法。
11. 【請求項１１】 前記付加情報は、オブジェクト指向言
    語におけるキーワードであることを特徴とする請求項６
    〜１０のいずれかに記載のプログラム変換方法。
12. 【請求項１２】 前記付加情報は、前記コード生成ステ
    ップで解釈可能な文字列であることを特徴とする請求項
    ６〜１０のいずれかに記載のプログラム変換方法。
13. 【請求項１３】 前記コード生成ステップは、前記仕様
    決定ステップにより決定された言語仕様により、仮想的
    関数呼び出しをコード化することを特徴とする請求項６
    〜１２のいずれかに記載のプログラム変換方法。
14. 【請求項１４】 前記コード生成ステップは、前記仕様
    決定ステップにより決定された言語仕様により、仮想的
    関数呼び出しで参照するテーブルをコード化することを
    特徴とする請求項６〜１２のいずれかに記載のプログラ
    ム変換方法。
15. 【請求項１５】 オブジェクト指向言語で記述された入
    力プログラムを目的プログラムに変換するプログラム変
    換方法であって、 前記入力プログラムをフルセットの言語仕様で翻訳する
    フルセット翻訳ステップと、前記入力プログラムをサブ
    セットの言語仕様で翻訳する少なくとも１つのサブセッ
    ト翻訳ステップと、前記入力プログラムの各ファイルに
    対して記述されている言語仕様の範囲を決定し、この決
    定した言語仕様の範囲およびこれより広い言語仕様の範
    囲である前記フルセット翻訳ステップおよび前記サブセ
    ット翻訳ステップを起動する仕様決定ステップと、前記
    フルセット翻訳ステップおよび前記サブセット翻訳ステ
    ップの翻訳結果をマージする翻訳結果マージステップと
    を備える翻訳ステップと、 前記翻訳結果マージステップの出力から適切な翻訳結果
    を選択する選択ステップと、前記選択ステップにより選
    択された翻訳結果をリンクするリンクステップとを備え
    る結合ステップとを含むことを特徴とするプログラム変
    換方法。
16. 【請求項１６】 前記選択ステップは、前記翻訳結果マ
    ージステップの全ての出力中に含まれ、かつ最も言語仕
    様の範囲が狭い言語仕様のサブセット翻訳結果を選択す
    ることを特徴とする請求項１５記載のプログラム変換方
    法。
17. 【請求項１７】 前記選択ステップは、前記翻訳結果マ
    ージステップの全ての出力中に含まれ、かつ最も最適化
    が可能な言語仕様のサブセット翻訳結果を選択すること
    を特徴とする請求項１５記載のプログラム変換方法。
18. 【請求項１８】 オブジェクト指向言語で記述されたプ
    ログラムを、プロセッサによって実行される機械語命令
    に変換して記録した記録媒体であって、 前記オブジェクト指向言語で記述されたプログラム中に
    記載された仮想的関数の呼び出しを変換した機械語命令
    列のうち、呼び出し手順の異なる機械語命令列が少なく
    とも一つ存在することを特徴とする記録媒体。
19. 【請求項１９】 オブジェクト指向言語で記述されたプ
    ログラムを、プロセッサによって実行される機械語命令
    に変換して記録した記録媒体であって、 前記オブジェクト指向言語で記述されたプログラム中に
    記載された仮想的関数の呼び出しを変換した機械語命令
    が参照するテーブルのうち、データ構造の異なるテーブ
    ルが少なくとも一つ存在することを特徴とする記録媒
    体。
20. 【請求項２０】 オブジェクト指向言語で記述されたプ
    ログラムを機械語命令に変換するプログラムを記録した
    記録媒体であって、 前記プログラムの変換方法は、前記プログラムの各部分
    に対して記述されている言語仕様の範囲を決定する仕様
    決定ステップと、 前記仕様決定ステップにより決定された言語仕様の範囲
    に基づいて前記プログラムに対応したコードを生成する
    コード生成ステップとを含んだことを特徴とする記録媒
    体。
21. 【請求項２１】 オブジェクト指向言語で記述されたプ
    ログラムを機械語命令に変換するプログラムを記録した
    記録媒体であって、 前記プログラムの変換方法は、前記プログラムの各部分
    に対して記述されている言語仕様の範囲を決定する仕様
    決定ステップと、 前記仕様決定ステップで決定された言語仕様の範囲に対
    応した付加情報を前記プログラムに付加する情報付加ス
    テップと、 前記付加情報が付加されたプログラムの前記付加情報が
    示す言語仕様の範囲に基づいて前記プログラムに対応し
    たコードを生成するコード生成ステップとを含んだこと
    を特徴する記録媒体。
22. 【請求項２２】 オブジェクト指向言語で記述されたプ
    ログラムを機械語命令に変換するプログラムを記録した
    記録媒体であって、 前記プログラムの変換方法は、前記プログラムをフルセ
    ットの言語仕様で翻訳するフルセット翻訳ステップと、
    前記プログラムをサブセットの言語仕様で翻訳する少な
    くとも１つのサブセット翻訳ステップと、前記プログラ
    ムの各ファイルに対して記述されている言語仕様の範囲
    を決定し、この決定した言語仕様の範囲およびこれより
    広い言語仕様の範囲である前記フルセット翻訳ステップ
    および前記サブセット翻訳ステップを起動する仕様決定
    ステップと、前記フルセット翻訳ステップおよび前記サ
    ブセット翻訳ステップの翻訳結果をマージする翻訳結果
    マージステップとを備える翻訳ステップと、 前記翻訳結果マージステップの出力から適切な翻訳結果
    を選択する選択ステップと、前記選択ステップにより選
    択された翻訳結果をリンクするリンクステップとを備え
    る結合ステップとを含んだことを特徴とする記録媒体。