JPH10508398A

JPH10508398A - ソースコードを一つの高級コンピュータ言語から別の高級コンピュータ言語へ変換する方法及び装置

Info

Publication number: JPH10508398A
Application number: JP8512724A
Authority: JP
Inventors: クリスティエイアンドリュース; ヴィーニャポールデル; マークイーモーロイ
Original assignee: Tandem Computers Inc
Current assignee: Tandem Computers Inc
Priority date: 1994-10-07
Filing date: 1995-10-06
Publication date: 1998-08-18
Also published as: CA2201882A1; DE69516891D1; DE69516891T2; US5768564A; EP0789875A4; WO1996011437A1; EP0789875A1; US6031993A; EP0789875B1

Abstract

(57)【要約】本発明は、二重根付けトリー・データ構造を用いて、一つのコンピュータ言語を他の言語に変換する方法、システム、及びプログラムである。二重根付けトリー（７，１９）は、共通のセットの葉を共有する階層的に関係する２つのセットのオブジェクトの組み合わせである。Ｎ重根付けトリーも記載されている。二重根付けトリーが特定の方法により構築され、さらに、第２の二重根付けトリーに変換されたとき、ソース言語コードはターゲット言語コードに変換される。さらに、変換は、マクロ、ある条件でコンパイルされるコード領域、ソース包含ステートメント及びコメントを含むソース言語コードのプリプロセッサの特徴を保存する。

Description

【発明の詳細な説明】ソースコードを一つの高級コンピュータ言語から別の高級コンピュータ言語へ変換する方法及び装置発明の背景本発明は、高級コンピュータプログラミング言語間の自動変換に関する。本発明は、特に、ソース高級言語に含まれたプリプロセッサ特性（マクロ、ソースファイル包含構造及びコメンタリの如き）のターゲット高級言語の改良された保存に関する。本発明の一つの特徴は、プリプロセッサ特性をプリプロセッサによって必ずしも処理する必要がないということである。高級コンピュータ言語により、コンピュータプログラマは、コンピュータと通信することができる。ステートメントプログラマは、あるコンピュータ言語形式にて、コンピュータに一組のタスクを行わせることを命令するコンピュータプログラムを書く。「翻訳・解釈(translation)）」は、高級コンピュータ言語を、コンピュータが理解して実行することができる一般的に機械コードと称される命令へと変換する態様である。コンパイラは、このような変換を行うコンピュータプログラムである。一般的には、コンピュータの種類が異なれば、理解しうる機械コード命令のセットも異なる。したがって、各コンピュータ毎に、高級コンピュータ言語を変換するための異なるコンパイラを設けておかねばならない。すべての高級コンピュータ言語のためのコンパイラが、どの種類のコンピュータにも存在しているというのではないので、すべてのプログラムをすべてのマシンにて実行するというわけにはいかない。プログラマは、ターゲットコンピュータのために存在しているコンパイラに対する言語でしかプログラムを書くことができない。しかしながら、単一のコンピュータプログラムを、できるだけ多くの種類のコンピュータにて実行できるようにすることが望ましい。アプリケーションプログラムは、普通複雑で書くのが難しい。多数の種類のコンピュータにて実行しうるように多数の言語にてプログラムを書き換えることは実施不可能である。同様に、コンパイラは、書くのが難しい。すべての種類のコンピュータに対するすべての言語でそれらを与えるのも実施不可能である。これらの問題に対する一つの解決方法は、よく知られており広く使用されており標準化された高級言語の開発であった。これらの言語のためのコンパイラは、ある広い範囲に亘る種類のコンピュータに利用しうる。標準化言語の開発は、完全な解決ではなかった。種々な言語及びこれら言語で書かれた多くの大規模プログラムがあるが、これらは、どれも独特のものであったり、標準化されすぎたものであったり、あまり使用されていないものであったり、時代遅れのものであったり、特定のコンピュータに対して設計されたものであったりであった。多くのコンピュータは、これら言語で使用しうるコンパイラを有していない。多くの高級コンピュータ言語は、それらが標準化されているものでも、いないものでも、すべてのコンピュータについて翻訳され得ないものなので、プログラムは、他の言語へと変換されねばならない。変換は手で行うことができるが、それでは、労力、時間、費用が掛かるだけでなく、エラーを伴いがちである。この問題を解決するため、ある高級言語で書かれたプログラムを別の高級言語で書かれたプログラムへと変換するための自動翻訳プログラムが開発されてきている。自動翻訳プログラムは、特定のコンピュータについて特定の言語に対して利用しえないコンパイラの問題を解決するために、２つの異なる戦略のうちの一方の戦略にて使用されうる。第一の戦略では、プログラマは、元のソース言語にてプログラムを書き続けそれを維持し続けることができる。翻訳プログラムは、これらのプログラムを、ターゲット言語にて中間コードへ変換する。それから、そのターゲット言語に対して使用しうるコンパイラが、その中間コードを、ターゲットコンピュータが理解しうる機械コードへと変換する。そのターゲット言語は、通常、標準の広く使用しうる言語であるが、翻訳プログラムは、読み取り得る又は維持しうるソースコードを発生する必要はない。第二の戦略では、翻訳プログラムが、読み取り得る又は維持しうるソースコードを発生する必要がある。このような戦略をとるプログラマは、ターゲット言語をとって元の言語を棄てることを望む。このような型の翻訳プログラムを形成するのは、より難しいタスクであり、本発明の目指すところである。読み取り得るコードを発生する翻訳プログラムを形成するためになされた従来の試みの目指すところは種々異なっており、また、その成果も種々異なっていた。ある高級言語の構文（シンタックス）は、別の高級言語の構文へと首尾よく変換された。ある翻訳プログラムは、魅力的にフォーマット化されたターゲットコードを発生していた。ソースコードコメントがターゲットコードへ移されていたのであるが、これらの置き換えは、必ずしも最適ではなかった。翻訳プログラムは、また、プログラムのスタイルを変換してそれらをより詠み易いものとしようとしていた。他のものは、ソースプログラムの意味を引き出し、それをターゲット言語に書き換えるために、知識ベースシステムを使用していた。しかしながら、従来の翻訳プログラムは、普遍的且つ充分には、一般的にプリプロセッサ特性として知られたプログラミング構成を保存することができないものである。多くの高級言語は、言語自体とは別であるがそれと共存するプリプロセッサ言語を含む。プリプロセッサ言語の特性（ここでは、呼出し表現とも称される）は、条件付き翻訳機構、マクロ機構、ソース包含機構、種々なコンパイラ指示文、及びコメント機構を含みうる。簡単化し過ぎる危険はあるが、プリプロセッサは、プログラマがより長い構成に対して速記表現を使用しうるようにする。したがって、ソースコードがプリプロセッサによって実行されるとき、その速記表現を呼び出すことにより、テキスト代入がトリガされる。翻訳プログラムがプリプロセッサ特性を充分に取り扱えないという問題があることが良く知られている。当業者達は、ソース言語マクロ定義をターゲット言語マクロ定義でどのように置き換えるかを考えているときに、「我々は、このような置き換えを行える一般的な完全に自動的な機構を知らない。」と述べている。次の２つの示唆がなされている。すなわち、 −ある良好に形成された完全なソース言語構成によりそれらを正しく変換しうるという希望をもって、マクロボディをそれらの用途文脈外で解析する試み− −パターンマッチによりマクロボディにおけるトークンの共通シーケンスを認識すること− 上記の最初の示唆は、一般的解決法ではない。何故ならば、言語はマクロを使用するのに制約をなさず、このような制約は、どのような場合にも、マクロが意味エラーを受けやすくするからである。上記の二番目の示唆は、特定の場合にしか働かないであろう。発明の概要本発明の一般的な目的は、ソースコードを、ある高級コンピュータ言語から別の言語のソースコードへと自動的に変換する方法及び装置を提供することである。本発明の特定の目的は、コードを、あるソースコンピュータ言語からあるターゲット言語へと、ソース言語にて書かれたコードのプリプロセッサ特性を保存しつつ、変換する方法を提供することである。本発明の別の目的は、あるコンピュータ言語から別のコンピュータ言語への自動的変換でも、ある自然言語から別の自然言語への自動的変換でも、それら自動的変換に有用なデータ構造を提供することである。二重根付きトリーと称されるデータ構造は、２つの従来のトリーデータ構造を、それらのリーブが一致するように組み合わせている。二重根付きトリーを特定の仕方で形成して詰め込み、それから、それを第２の二重根付きトリーへ変換することにより、コンピュータ言語のプリプロセッサ特性は、他のステートメント、構成及び表現を変換しながら、保存されうる。二重根付きトリーは、より複雑なデータ構造のためのベースとして作用しうる。例えば、さらに別のトリーをリーフにて接合することにより、Ｎ重根トリーを形成しうる。このようなリンクされたトリーのセットは、コンピュータデータベースアプリケーションを有する。本発明のその他の目的は、次の説明及び請求の範囲の記載から明らかになるであろうし、また、本発明の好ましい実施例及び原理を例示し且つこれら原理を適用するのに現在において最良の形態であると考えられるものを示している添付図面に例示されている。これらの原理及び同様の原理を実施する本発明の他の実施例を使用することができ、また、これらの変形構成もまた、本発明及び請求の範囲から逸脱せずに、当業者には必要に応じてなしうるものである。図面の簡単な説明図において、図１は、従来のトリー構造を示す図である。図２は、本発明によりリーフで接合された二重根付きトリーデータ構造を示す図である。図２Ａは、本発明で使用するコンピュータシステムの概略ブロック図である。図３は、簡単な従来のコンパイラによるデータの流れを示すブロック図である。図４は、本発明の一実施例による自動ソースコード翻訳プログラムによるデータの流れを示すブロック図である。図５は、本発明の一実施例による二重根付きトリーにおける第１のトリーを形成する方法を記述するフローチャートを示す図である。この方法は、深さ優先探索順にて上から下へトリーを形成する。図６は、本発明の一実施例により、図５において導入された二重根付きトリーにおける第２のトリーの形成を記述するフローチャートを示す図である。第１のトリーの順次探索により、パーサー６２３へ入力されるリーフの順序集合が発生される。この方法は、深さ優先探索順にて下から上へトリーを形成する。図７は、本発明の一実施例による、第１の二重根付きトリーにおける第２のトリーの第２の二重根付きトリーにおける対応するトリーへの変換を記述するフローチャートを示す図である。図８は、本発明の一実施例による、図５にて述べられた第１の二重根付きトリーにおける第１のトリーの第２の二重根付きトリーにおける対応するトリーへの変換を記述するフローチャートを示す図である。図９は、ソース言語として高級コンピュータ言語ｐＴＡＬを使用した実例フラグメントトリー及び構文トリーを示す図である。図１０は、図９において導入されたものをリンクするリーフ（トークン）を含む実例ｐＴＡＬソースフラグメントトリー及びソース構文トリーを示す図である。図１０は、また、ソース構文トリーの変換を表す別の高級コンピュータ言語Ｃ＋＋のターゲット構文トリー及びターゲット二重根付きトリーの半分を示している。図１１は、ソースフラグメントトリーの変換後の図１０に導入したソース二重根付きトリーおよぼターゲット二重根付きトリーを示す図である。４つのトリーのすべてが例示されている。すなわち、実例ｐＴＡＬソースフラグメントトリー及びソース構文トリー、並びに、意味上等価なＣ＋＋ターゲットフラグメントトリー及びターゲット構文トリーである。発明の詳細な説明本発明は、レガシーソフトウエアを異なる高級プログラミング言語へと変換する戦略を実施する。この変換プロセスは、マクロ、コードの条件付きで翻訳された領域及びソース包含の如きテキストプリプロセッサ機構を保存する。この欄では、この戦略を実施するロゼッタ翻訳プログラムの構造について詳細に説明する。ロゼッタ翻訳プログラムは、タンデムのポータブルトランザクションアプリケーション言語（ｐＴＡＬ）からＣ＋＋への変換を行う。ソース−ソース変換Ｃの如き標準の移植性のある広く使用しうる言語へのソース−ソース変換は、外来言語を多くのプラットホーム^2,3,4,9にて使用しうるものとする優れた手段であることが示されている。プログラマは、元のソース言語にてプログラムを書き続けそれを維持し続け、変換されたソースを中間コードとして使用する。これらの翻訳プログラムは、読み取り得て維持しうるコードを発生する際の問題、すなわち、マクロ定義及びプログラム構造を保存したり、意味のあるネーミング、コメント置換及びフォーマットを保持したりする問題を解決する必要がない。あるプログラムのスタイルを変換してそれをより読み取り易いものとするソース−ソース翻訳プログラムを実施したり、または、あるプログラムの意味を引き出し、知識ベースシステムを使用してそのプログラムをより高い水準の言語⁸で表現したりする試みがなされている。本発明者は、このような技術を効果的に適用することはできなかった。ｐＴＡＬ、Ｃ＋＋、及び多くの高級プログラミング言語は、ある高級言語とは別ではあるがその高級言語と共存するプリプロセッサ言語からなる。プリプロセッサ言語は、条件付き翻訳機構、マクロ機構、ソース包含機構、種々なコンパイラ指示文、及びコメント機構を含みうる。プリプロセッサ言語は、別のプリプロセッサによって実施される必要はない。ロゼッタ翻訳プログラムは、高級言語構成だけでなく、プリプロセッサ構成をも変換する。プリプロセッサ構成を保存することは難しいが、読み取り得て維持しうるコードを発生する重要な部分である。いくつかの刊行文献には、読み取り得る高級コード^1,5を発生する翻訳プログラムについて開示されているが、本発明者は、読み取り得て維持しうるコードを発生し且つプリプロセッサ機構を保存する翻訳プログラムについて開示している刊行文献には出会わなかった。言語ソース言語ｐＴＡＬは、アルゴル−６０を元にして導出された専有ブロック構造システムプログラミング言語である。タンデムのシステムコードの大多数は、ｐＴＡＬまたはそのプリカーソルＴＡＬで書かれている。ロゼッタ翻訳プログラムは、そのソース言語として、ＴＡＬの代わりに、ｐＴＡＬを使用する。何故ならば、ｐＴＡＬは、アセンブリ言語コードステートメント及び任意レジスタマニピュレーションの如き標準プログラミング言語において使用し得ない種々なアーキテクチャ特定ＴＡＬ特徴を除外しているからである。すべてのＴＡＬコードが、結局、ｐＴＡＬへ移る。変換されたコードは、Ｃ＋＋のＣ言語サブセットによって支配されるが、Ｃ＋＋に対する特定の臨時構成を含む。ロゼッタ翻訳プログラムは、オブジェクト指向コードを発生しない。Ｃ＋＋は、いくつかの重要なｐＴＡＬ言語構成のストロングタイプチェッキング及び容易なエミュレーション及び将来におけるオブジャエクト指向パラダイムを使用する機会を含む多くの理由のために、Ｃよりもはるかに良いターゲット言語である。ここで提示される概念は、変換する実際的必要を有するプリプロセッサを含む他のプログラミング言語に適用する。概念次の概念は、マクロを保存する方法の記述にとって重要である。仮想ソースプログラムの仮想ソースは、そのプログラムを表す構文トリーを形成するためにコンパイラが解析するトークンのストリームである。仮想ソース発生機構仮想ソース生成機構は、仮想ソースを生成するために、スキャナ、若しくは、プリプロセッサによって使用される。ｐＴＡＬやＣ＋＋で利用できる仮想ソース生成機構は、 − ファイルのソース包含 − マクロ拡張 − マクロフォーマルパラメータ置換えである。仮想ソース生成機構は、ソースファイルのいずれの場所にも現れることができ、構文構造のいずれの部分を生成することもできる：それは、オナー構文構造バウンダリを必要としない。仮想ソースは、いずれの単一のソースファイルにおいても、文字形式で存在することを要しない：トークンストリームは、一連のソース包含、マクロ拡張、マクロフォーマルパラメータ置換えによって生成される。ロゼッタ翻訳プログラムは、高レベル言語構造に加えて仮想ソース生成機構を翻訳する。それは、単に、その翻訳を実行する前にプリプロセッサを用いて仮想ソースを拡張するのではない。プログラマーが知っており、また、親しみのあるマクロは、翻訳コードに現れ、同じ事項を意味する。フラグメント「フラグメント」は、仮想ソース生成機構の呼出しの結果を表示する：ソースファイル包含、マクロ拡張、若しくは、マクロフォーマルパラメータ置換え。各フラグメントは、その呼出し構文を形成するトークンにリンクされる：マクロフォーマルパラメータ、マクロ呼出し（パラメータリストを含む）、若しくはソース包含ディレクティブを表示するトークン。各フラグメントは、その拡張を構成する複数のトークンを含む：マクロアクチュアルパラメータ、マクロ本体、若しくは含有ファイル。呼出し構文を構成するトークンは、それら自身、使用可能なそのコンテクストを表示するような他のフラグメントに含有されている。例えば、マクロ呼出しを、マクロ本体、若しくは、メインプログラムファイルに埋め込むことができる。フラグメントは、コンパイラディレクティブによって、複数の「パーティション」に分割され得る。幾つかのコンパイラディレクティブは、プログラムのセマンティックに影響を与えるものであり、また、幾つかはどのテキストが操作されるのかを決定するものであることから（例えば、条件付編集(conditional compi lation)ディレクティブ）、ディレクティブバウンダリは保存されなければならない。パーティションは、 − コンパイラディレクティブ − マクロ定義におけるマクロ本体の開始及び終了 − ファイルの開始及び終了によって境界付けされる。パーティションバウンダリの保存に関する詳細については本明細書には記述しない。フラグメントトリーフラグメントトリーは、ソース包含、マクロ拡張、及び仮想ソースを生成するために使用されたマクロアクチュアルパラメータ置換えの各々を表示する。スタィックフラグメントスタィックフラグメントは１つの型であり、フラグメントは、この型から形成される：各フラグメントは、スタティックフラグメントのインスタンスである。ソースファイルは、スタティックフラグメントであり、それは、有効スタティックフラグメント(nested static fragments)を含んでいてもよい。ロゼッタ翻訳プログラムは、Ｃ＋＋フラグメントの文字形式を継ぎ足してＣ＋＋出力ファイルを形成し、マクロ本体のテクスチュアル表示をその定義に適合させる。ロゼッタ翻訳プログラムの設計は、各ソース言語マクロが、正確に、１つのターゲット言語マクロへマップすることを必要とするものであるから、それは、全てのマクロ使用のテクスチュアルの一貫性をチェックして、マクロテキストが使用可能な全てのコンテクストで「ワーク」することを確実ならしめる。それは、以前の翻訳セションの間に発生されたフラグメントと、「現在の」セションの間に発生されたフラグメントの間のテクスチュアルの一貫性をチェックして、含有されるファイルの区分が使用可能な全てのコンテクストで「ワーク」することを確実ならしめる。翻訳プログラムの概略このセクションは、プログラム内のマクロ呼出し、マクロアクチュアルパラメータ置換え、及びソース包含を表示する手段として、「フラグメントトリー」を導入する。また、このセクションでは、フラグメントトリーを保存するための段階を含む翻訳プログラムフェーズの概略を述べる。その後、このセクションでは、フラグメントトリーの構造を詳述し、フラグメントトリー翻訳方法を述べる。ロゼッタ翻訳プログラムは、２、３の付加的な段階を用いて、通常のコンパイラと同様に振る舞う。ｐＴＡＬ構文ストリーは、仮想ソースの構文構造を表す。トークンは、別の伝統的なアブストラクト構文ストリーのリーフ上に現れる。各トークンは、フラグメントととも関連付けられており、該フラグメントは、どの仮想ソース生成機構がそれを仮想ソースに持っていくのかを表示する。構文ストリーとフラグメントトリーは、「トークンで接合される」べきであると言われる。操作フェーズは、ｐＴＡＬフラグメントトリーを構築する。ｐＴＡＬ構文ストリーは、Ｃ＋＋構文ストリーへ翻訳される。付加的な翻訳段階が、ｐＴＡＬフラグメントトリーをＣ＋＋フラグメントトリーへ変換する。翻訳後、各Ｃ＋＋マクロ呼出しフラグメント、若しくは、包含フラグメントは、そのマクロ本体、若しくは、含有ファイルに属するテキストを表示するようなＣ＋＋トークンのシーケンスを含む。ソースジェネレータは、翻訳されたインスタンスを継ぎ足して、生成テキストファイルを形成する。トークンとコメントは、それらを含有する構文スに基づいてフォーマットされ（ファイル位置を割り当てられ）、対応するソース言語構造のフォーマットから指示を受ける。図４は、ロゼッタ翻訳プログラムのデータフローの概略図を示す。以下が、幾つかのサンプルｐＴＡＬソースコードと、翻訳されたＣ＋＋ソースコードである。図９は、従前の例からループの間のｐＴＡＬを表示するフラグメントトリーを表示する。仮想ソースにおけるトークンは、フラグメントトリーと構文ストリーの両方に存在する。フラグメントの特性フラグメントは、幾つかの興味のある特性を有する：ｐＴＡＬフラグメントは、セマンィック的には、該ｐＴＡＬフラグメントが翻訳されるＣ＋＋フラグメントと等価である。マクロを「ワーク」させるため、それは、生成コードにおける使用可能な全てのコンテクストで意味のあるトークンストリームへ拡張されなければならない。マクロを読み出し可能とし、維持可能とするため、それは、ソースコードにおけるのと同じ目的で生成コードにおいてインボウクされなければならない：それは、等価なターゲット言語テキストをエンカプセルすることによって、同じ利点を与えなければならない。マクロに関するこれらの考慮は、他のファイルからマクロアクチュアルパラメータへ含有されるコードにも適用する。ｐＴＡＬフラグメントのトークンは、使用中のそれらのコンテキスツまたはコンテキストに翻訳（変換）されなければならない。マクロは、それらの定義の時点では直ちに翻訳され得ない。なぜなら、テキストが解剖されることができたとしても、セマンィック分析は、可能ではないからである。マクロがコンテクスト中で拡張されたときのみが、利用可能な翻訳に必要なセマンティック情報である。マクロは、それ故、それらの呼出しが拡張され、分析された後に、翻訳される。パラメータ化されたマクロのアクチュアルパラメータと、含有テキストの領域は、類似的に処理される。不使用のマクロの本体は翻訳されず、不使用のアクチュアルパラメータは翻訳されない。この特性が持つ重要な意味は、マクロ定義、若しくは、状態編集を含んだ共有インタフェースファイルは、それらを使用するモジュールを翻訳するサイド効果として、増分的に翻訳される傾向があるということである。ｐＴＡＬフラグメントは、使用可能な全てのコンテクストにおいて同じＣ＋＋テキスへ翻訳すべきである。マクロ本体は、仮想ソースにおける各拡張のために一旦翻訳される。ロゼッタ翻訳プログラムは、ソース言語マクロの各々に対して正確に１つのターゲット言語マクロを生成するよう選択する：この設計決定は、マクロ拡張の各インスタンスの翻訳は、テクスチュアル的に同一であることを要求するものである。ロゼッタ翻訳プログラムは、もしマクロ拡張の全てのインスタンスがテクスチュアル的に同じ発生コードである場合には、使用可能な全てのコンテクストにおいてマクロの翻訳が「ワーク」することを確信できるだけである。例えば、２つの別々のオペレーションを表現する構文スが、ソース言語では同じであるが、ターゲット言語では異なる場合に、テクスチュアル不整合が発生し得る。パン（２つの別々の意味を持つ１つのフレーズ）は、翻訳しない。テクスチュアル不整合を防ぎ、防止され得ない不整合を有するコピーのためのストラテジは、本明細書で後述する。同じ考慮を、他のファイルからマクロアクチュアルパラメータへ含有されるコードに適用する。構造翻訳は、フラグメントバウンダリを不明瞭にすべきでない。各ｐＴＡＬ構文構造は、対応するＣ＋＋構文構造へマップされ、その構造内部のｐＴＡＬは、対応するＣ＋＋構造内部の対応するＣ＋＋トークンへマップされる。結果として生じたトークンストリーム内のトークンは、それらを発生したｐＴＡＬトークンと同じ相対オーダリングを維持する必要はないが、フラグメントバウンダリは、オーダリングエンフォースメントのポイントである。所定のＣ＋＋フラグメントの各トークンは、同じｐＴＡＬフラグメントの幾つかのトークンから発生される。フラグメントバウンダリバイオレーションを防ぎ、防止され得ないバイオレーションを有するコピーのためのストラテジは、本明細書で後述する。構文ストリーの翻訳ロゼッタ翻訳プログラムは、ソース言語構文ストリーを翻訳して等価なターゲット言語構文ストリーを発生する。ほとんどのソース言語構文ストリー構造のための翻訳ルーチンは、適当な場合にはターゲット言語でイディオムを発生する。ロゼッタ翻訳プログラムは、生成された各ターゲット言語トークンを１つのソース言語トークンに関連させる。ソース言語トークンの「翻訳」は、ターゲット言語トークンを生成し、この関連を確立する。どのトークンがある１つの所定のＣ＋＋トークンと関連付けられるのかという選択は、Ｃ＋＋トークンが属するフラグメントを決定する；ｐＴＡＬフラグメントのＣ＋＋相対物には関連付けられたｐＴＡＩトークンが存在する。幾つかの構造によって、ソース言語トークンからターゲット言語トークンへの１対１対マッピングが可能とされる。トークンが１対１にマッピングを行わない場合、ロゼッタ翻訳プログラムは「セマンテッィクコングルーアンス(semantic congruence)」を最大とするトークンマッピングを選択する、即ち、それは、トークンをそれらの論理相対物に関連付けようとする。適当なマッピングを選択することは、意味のあるマクロ翻訳を確実なものとすることを助ける。ソース言語のマクロ本体（若しくは、マクロアクチュアルパラメータ）に含まれるトークンのコレクションは、ターゲット言語で同じ意味を有する１つのコレクションを発生する傾向がある。図１０は、ｐＴＡＬ構文ストリーとフラグメントトリーの一部を示しており、仮想ソースを形成するｐＴＡＬトークンによって接合されている。破線は、Ｃ＋＋トークンとそれを発生したｐＴＡＬトークンの各々の間のリンクを示す。関連表現のトークンは、ソース言語からターゲット言語へ１対１にマッピングする。ソース言語の「ｗｈｉｌｅ」のキーワードは、ターゲット言語の「ｗｈｉｌｅ」トークンに加えて、ターゲット言語かっこトークンを発生する。フラグメントトリーの翻訳Ｃ＋＋構文ストリーを構築した後、ロゼッタ翻訳プログラムは、ターゲット言語仮想ソーストークンストリームをあちこち移動し、その仮想ソースストリームで出会った各ターゲット言語トークンの各々と関連付けられたソース言語トークンのｐＴＡＬフラグメントトリーにおける位置に基づいて、Ｃ＋＋フラングメントトリーを構築する。このセクションで述べる方法は、ターゲット言語フラグメントトリーを構築する。オペレーションは以下のようなものである。Ａｔｔａｃｈ（ｘ，ｙ）：ｘをｙにくっつけろ：ｙがｘの親になる。ｘは前もって存在する兄弟の後に位置的に付加される。Ｔｒａｎｓｌａｔｅ（ｎ）：ｎ（トークン、若しくは、フラグメント）をオブジェクトのターゲット言語版へ翻訳し、その翻訳を戻せ。Ｔｒａｎｓｌａｔｉｏｎ（ｎ）：フラグメントｎの最も最近の翻訳を戻せ。もしそれが翻訳されていなければｎｉｌを戻せ。Ｐａｒｅｎｔ（ｎ）：ｎがトークンの場合には、ｎが存在するフラグメントを戻せ。ｎがフラグメントの場合には、フラグメント（例えば、マクロネームトークン）の呼出し構文を戻せ。ＩｓＯｐｅｎ（ｎ）：フラグメントｎがターゲットフラグメントトリーにおいてオープンされている場合には、「真」を戻せ。ターゲット言語フラグメントトリー中の「オープン」ノードは、フラグメントトリーに付加された最後のトークンの祖先を含む。子供をフラグメントに付加することは、最も最近付加されたトークンのもはや祖先ではないノードを「クローズ」する。メインソースを翻訳することによる開始はフラグメントを含む。このフラグメントが最初にオープンされる。コード複製ターゲットフラグメントトリーがソースフラグメントトリーに似た形状を通常有している間は、コード複製及び再オーダリングは、この方法によって、新しいサブトリーを生成し、若しくは、サブトリーを新たな位置に生成することができる（例えば、複製、若しくは、再オーダリングされたコードがマクロ拡張の全体を表しているとき）。次の例における例からの「ｆｏｒ」ループは、制御変数の代わりに、マクロ呼出しを使用する。ロゼッタ翻訳プログラムは、ｆｏｒループの制御変数におけるコードがサイド効果なく実行する場合にのみ、オリジナルコードのセマンテッィクを保存する。この発行は、ｆｏｒループにマクロ呼出しが存在するか、存在しないかとは無関係である；この発行はコードの複製に関連する。ロゼッタ翻訳プログラムにおける見聞自動翻訳は、クリティカルなシステムコードを所有権を主張できるプラグラム言語から移動する重要な媒体である。それらを共に使用した場合、システム生成物は、何万ものコードラインを含み、その中の何百、何千のコードラインは、何千ものマクロを含むインタフェースを共有する。これらのマクロは、多種多様な言語構造を含み、これらの言語構造は、しばしば良好には形成されていない。ロゼッタ翻訳プログラムは、この移動を促進する。本明細書の記載時において、予備翻訳は、タンデムのコアシステムソフトウェアの主要部分をＣ＋＋へ変換する。この章では、ロゼッタ(Rosetta)翻訳プログラムのデザインを導いた原理と要件を記述する。ロゼッタ翻訳プログラムの要件ロゼッタ翻訳プログラムは、遺産的ソフトウエアの大きな本体部分を支持する一方で、所有権主張システムのプログラミング言語上での依存性を減少させて最終的にはなくする方法として計画された。そのため、ロゼッタ翻訳プログラムは、本願の出願人であるタンデム社のポータブル・トランザクション・アプリケーション言語（ｐＴＡＬ）から、Ｃ＋＋のサブセットへ、高度の自動翻訳を行っている。翻訳されたソフトウエアは、よりポータブル（移植性）があり、また、商業的に入手可能なプログラミングツールとコンパチブルである。新しいソフトウエアは、遺産的コードと協働しながら、オブジェクト指向プログラミング・パラダイムの使用を作成することができる。得られたＣ＋＋ソースコードは、オリジナルのｐＴＡＬソースコードを引退させ得るように、十分に読み取り可能でかつ保全性がある。ロゼッタ翻訳プログラムは数個の要件を有する：その翻訳処理は高度に自動的でなければならない。ロゼッタ翻訳プログラムは短い経過時間でプロダクト全体を翻訳せねばならない。ロゼッタ翻訳プログラムは、「高度に自動的」でなければならないが、完全に自動的である必要はない。ロゼッタ翻訳プログラムは、経過翻訳時間を早めるため、問題分析ツールのセットを備えている。自動の、ソースからソースへのトランスレータは、ソース言語のサブセットだけを自動的に翻訳するためのものであるとか、不明瞭なコードを発生させる点において批判の余地があり、また、言語の幾つかの特徴を翻訳するのを辞退するソースからソースへのトランスレータは、そのソースコードが大変に長いとき、無用のものとして、批判することができる。ロゼッタ翻訳プログラムは、該トランスレータの便宜のためにソース言語を実質上サブセットとしてはならない、産業界での強力なツールセットである。それは、また、ターゲット言語の共通に使用されるイディオム的な特徴の使用を作成せねばならないし、厳密には安全であるけれど、特定的には読み取り可能でなく保全性ではない翻訳を避けねばならない。ロゼッタ翻訳プログラムは、未熟なコードの発生を避けるのを助力する熟練者からヒントを得ることができる。翻訳処理は、１モジュール毎のベースで、少しずつ翻訳するのを可能にせねばならない。１つの実現言語から他の言語への翻訳を容易にするため、製品は、その実現モジュール全てを翻訳する前に、翻訳したインタフェースをエクスポートできねばならないし、その製品の翻訳を、１度に１モジュールずつ、位相をあわせねばならない。得られたＣ＋＋コードは、ｐＴＡＬコードと協働しうるものでなければならない。得られたコードは、オリジナルのプログラムのセマンティクスを忠実に再現できねばならない。得られたコードは、読み取り可能でかつ保全性がなければならない。生成されたプログラムは、言語とそのコードを実現する製品との両方に通じたプログラマーにとって、オリジナルコードと同じように、読み取り可能でかつ保全性がなければならない。その製品に通じたプログラマーは、翻訳後、その実施の有効なメンタル・モデルをまだ保持していることを見出さねばならない。識別子が正当なスペルにマップされねばならない。コメントは、たとえそれが記述しているコードが移動してしまったときでも、そのコードに隣接して現れねばならない。ライン・エンドのコメントに埋め込まれたパターンやピクチャーは可能な範囲に保存されねばならない。コードのフォーマットは、そのいくつかのものが著者の好みを反映するオリジナルコードのスタイルや整列に従うとしても、ターゲット言語に自然に現れねばならない。ソースコード中に定義されたマクロは、可能な範囲で、翻訳されたコードに同じ意味をエンキャプセルせねばならない。ロゼッタ翻訳プログラムは、その新言語の自然な姿がプログラムのデザインを顕著には変えない出力を発生する。ソフトウエア会社がせねばならない大きな投資の１つは、ソフトウエアのメンテナンスにあり、ソフトウエア・メンテナーが有するべき大きな資産の１つは、大きくて複雑なソフトウエア・システムの実現の詳細に精通していることである。ほとんどのリデザインは、プログラマーによってうまく運営されており、プログラマーは、複雑な判断コールを作るのに十分な資格を有するだけでなく、その後においてもその実施の経験を上手に使用する。得られたコードは効率的なものでなけれならない。発生したプログラムの実行速度は、オリジナルのｐＴＡＬコード・プログラムと匹敵するものでなければならない。この目標を遂げるのには、ターゲット言語を実現するコンパイラの手の中により多くのものがあるけれど、我々は、それらの翻訳のデザインの際に、種々の構造のパフォーマンスを考慮に入れるための機会を持った。上記の要件は、ロゼッタ翻訳プログラムに対して、デュアル（二重式）言語インタフェースの維持（メンテナンス）、言語構造のトークンのマッピング、一致しない翻訳の部分の処理等を含む多数の挑戦へ導いた。デュアル言語インタフェースの維持（保全）残念なことに、製品をＣ＋＋へ変換することが、即座に、ｐＴＡＬ言語の使用を除去するのではない。ｐＴＡＬコードインタフェースをエクスポートする製品は、ｐＴＡＬクライアントが残らなくなるまで、ｐＴＡＬのそのインタフェースとＣ＋＋とをエクスポートし続けねばならない。外部化したインタフェースのサイズと複合性のために、及び、両言語のパラレルインタフェースを手動で維持する場合に固有のエラーの機会のために、製品のメンテナンス員がインタフェースのただ１個のコピーをアップデートし他の言語にそのインタフェース発生するようにツールを使用することが、肝要になる。そのツールがロゼッタ翻訳プログラムである。製品メンテナンス員はｐＴＡＬのバージョンを基準コピーとして使用する。この問題は、ロゼッタ翻訳プログラムがロール準備可(ready-to-roll)であるコードを発しなければならないことを示唆している。もし、インタフェースファイルに何らかの調整またはエンハンスメントが必要なならば、調整又はエンハンスメントが、発生したＣ＋＋が読取られてそのまま使用できるように、ｐＴＡＬコードへなされねばならない。ｐＴＡＬコードは多くの有用なＣ＋＋特徴を支持していないので、我々は、ｐＴＡＬソースの中に新Ｃ＋＋だけの構造表現する方法を提供している。共用インタフェースのオブジェクトは、基準言語すなわちｐＴＡＬ言語は表現できないので、Ｃ＋＋に変換したクライアントに有用なだけである。従って、言語の変換は、外部化したインタフェースにおいて可視化したパラダイム・シフトのための方法を、即座にはクリアしない。言語構造の翻訳各統合的構造の翻訳は、ソース言語の辞書的要素からターゲット言語の辞書的要素へ辞書的にマッピングするのを実施する。ターゲット言語構造とソース言語構造からターゲット言語構造へのトークンのマッピングとの選択は、両辞書的要素の間のセマンティックな対応を最大にする事項である。数個の簡単な原理が、ロゼッタ翻訳プログラムの構造の翻訳の選択を案内する。これらの原理は、得られたコードを大抵のマシン生成コードよりも自然にみえるようにしようとする。簡単な得られたコードを、その変形(Transformation)が一般的ではないとしても、簡単なソースコードをエミュレートするように生成する。ソース言語の困難なコーナをエミュレートする必要のあるときにのみ、複雑な得られたコードを生成する。例えば、ｐＴＡＬ言語によって、構造フィールドが他のタイプのフィールドを任意にオーバレイする。スペース割り当てフィールドがそれをオーバレイするフィールドと少なくとも同じ大きさである場合、ロゼッタ翻訳プログラムＣ＋＋共用体を生成する。そうでない場合、ロゼッタ翻訳プログラムは、マクロ呼出し(Macro Invocation)を生成し、これが、そのフィールドの使用のとき、適正なメモリ・ロケーションへのアクセスを与える。次の例は、構造のタイプと変数の翻訳を示している。ロゼッタ翻訳プログラムは、本例のインボケーション表示「 redef」のようなマクロに対する基準を生成し、困難なｐＴＡＬ特徴のエミュレーションをエンキャプセレートする。これらのマクロは、包含(Incrude)ファイル「rosttta.h」の中にある。可能なときには変形(transformation)の単純化を使用する。例えば、Ｃ＋＋においては、アレイの始まりのアドレスが、アレイの名前の使用を表示するのに最も容易であり、ロゼッタ翻訳プログラムが初めに「&arrayname(0)」を生成するならば、「arrayname」を生成するように、単純な変形を適用する。ターゲット言語に共通に使用されているイディオムを生成するのを試みる。例えば、Ｃ＋＋ユーザは、しばしば、変数のインクリメントのために、「＋＋」イディオムを用いており、ロゼッタ翻訳プログラムは、適当なときに、このイディオムの種類(breed)を生成する。コーディングスタイルの同じようにもっともらしい選択があるとき、プログラマーが使用したスタイルを保存する。例えば、Ｃ＋＋の「*varname」と「varnam e(0)」との間で選択するとき、ロゼッタ翻訳プログラムはｐＴＡＬコードのスタイルをエミュレートする。うまくマッチングしていない言語構造に対処する戦略１つのソース言語を別のものに翻訳するように対処するために、その言語構造がトークンレベルにおいて相互に正確にはマッピングしていないとき、いくつかの戦略が可能になる。ロゼッタ翻訳プログラムは、それぞれ、最も役に立つ場合のものとして、次の戦略を用いる。 --ソース言語を、ターゲット言語へ直接翻訳され得る構造に制限する。このアプローチは構造の翻訳を単純にする。その主たる不利な点は、ユーザが、翻訳していない構造の使用を避けるか、または生成したコードを訂正するかしなけれならないことである。これは、等しく支持されたコード存在するときまたは禁止された構造を含む遺産的ソースコードが仮想的にないときにだけ、実際的である。我々は、ソース言語構造を、ラベルのアドレスを取る等のように、ターゲット言語では表現され得ない一定のものに制限するように選択している。我々はまた、ソース言語特徴を、評価の順(order)に依存するｐＴＡＬ表現のように、その翻訳が特に読取り可能性を欠いている一定のものに制限するように選択している。その制限した構造は容易に記録され得る。ロゼッタ・ツールセットは、これらの特徴の依存性の除去において、半自動的な助力を提供している。 --ソースプログラムを、より良い翻訳に導く特別の情報を与えるように拡張する。ソースコードに精通したプログラマーからの少量の情報の場合、ロゼッタ翻訳プログラムは相当に自然にみえる生成コードを生成できる。その主たる不利な点は、ユーザが翻訳の前にそのソースコードを修正せねばならないということである。 --ロゼッタ・ツールセットは、その活動を殆ど退屈させずにエラーの傾向を少なくするツールを提供し、プログラマーの時間の使用を最適にするツールを提供する。このトランスレータは、特定の種類の情報が役立つものであって適当な診断を発するときを検知する。ソースコードに精通したプログラマーは、特殊なコメントをソースコードに埋め込むことによって、セマンティック・ヒントにするロゼッタ翻訳プログラムの要求に応答し、前記のソースコードから、ロゼッタ翻訳プログラムはそれが必要とする特別の情報を拾い集めることができる。この方法でヒントを与えることは、ソースコードの性質を阻害しないし、ソース言語のコンパイラを拡張することを要求しない。その情報は、将来の翻訳のため、オリジナルソースコードに保持される。問題分析ツールは、熟練精通者によって所望の特殊コメントを正しい場所に挿入することによって成されたタスクを簡単にする。例えば、ｐＴＡＬ言語は署名のない変数の宣言(declaration)のないものであり、その代わりに、署名のない演算(arithmetic)を実施する署名のないオペレータを提供する。ユーザは、ｐＴＡＬ変数を、特定のコメントを変数の宣言に挿入することによって署名なしとすることができる。ロゼッタ翻訳プログラムはそれを真の署名なし変数として翻訳し、署名なしオペレーションを強制するタイプキャストの必要性をなくする。次の例は、署名なしオペレーションの翻訳を示している。翻訳したコードの複雑さを、メタ言語の非常に複雑なコーナを実現するように該言語を（マクロ経由して）消去することによって、隠す。これは、ターゲット言語を拡張するポータブルな方法である。このアプローチは、たとえソース言語からの簡単な構造がターゲット言語のかなり複雑な構造に翻訳しても、読み取り可能性を保存できる。主たる不利な点は、ソフトウエアのメンテナンス員が、特殊なマクロの使用方法を学習せねばならないということである。例えば、整数上でのビットの抽出及び配置(deposit)オペレーションが、包含フィールド(rosett a.h)内のマクロとして供給される。次の例は、ビット抽出とビット配置の翻訳を示している。標準のターゲット言語で表現できないハードウエア依存性を取扱うようにターゲット言語を拡張する。ターゲット言語は、過去において、タンデム社のシステムソフトウエアのいくつかの特殊な機能的要件を支持するように、拡張された。ターゲット言語は、自動翻訳に適合するようには、拡張されていなかった。ロゼッタ翻訳プログラムは、ソース言語からターゲット言語の拡張部分へ、システムプログラミング構造を翻訳する。例えば、プログラムは、Ｃ＋＋とｐＴＡＬとの間で同じようなデータのレイアウトを生成するように付加された。コメントのハンドリングソースからソースへのトランスレータは、ソース言語プログラムに散在しているコメントを翻訳するためのいくつかの戦略の１つを使用することができる。 --ソースコードからコメントを集めて別々に翻訳し、翻訳したコメントを翻訳したプログラムテキストによって出力ストリームに照合する⁵。この戦略は、コメントの結合(association)の論点を言語構造の翻訳の問題から分離することによって、翻訳を簡単にする。１つの不利な点は、再順序付けされたコードを記述するコメントがセンスのある配置になるのが困難であるということである。 --コメントを、該コメントが埋め込まれている統合的構造と関連付ける¹。この戦略は、コメントとコードを一緒に再順序付けし、コメントの配置の論点が言語構造の翻訳を混乱させることあない。１つの不利な点は、非常に微細な結合は保存しえないということである。キューとして特殊なコメントを使用するドキュメントジェネレータのようなテキストベースのプリプロセッサは、より微細な結合が保存されるならば、より容易な入力として新言語を受け入れるであろう。 --コメントを近トークンと関連付ける。ロゼッタ翻訳プログラムの戦略は、コメントをトークンの近くに拘束し、トークンがターゲット言語にマップされるとき、それぞれのトークンに対応するコメントを翻訳することである。１つの不利な点は、ソース言語トークンがターゲット言語トークンと１対１に対応しないとき、構文構造の翻訳がコメントのマッピングをはっきり特定しなければならないことである。この戦略は、制御の複雑さを無くし、また適当なコメントの配置を保存するには制御を強めるのが好ましい。ロゼッタ翻訳プログラムは、エンドオブラインコメントを元の形で保存することができ、これは内部に含まれる情報がその性質上表又は図であるときは特に有用である。囲む構造の一部を移動しなければならない場合も、全てのコメントは、記述したトークンと対応して残る。ソーストークンがターゲットトークンにマップされるとき、前者に結びついたコメントは自動的に翻訳され、後者に付けられる。言語構成翻訳を実行するルーチンは、それぞれのソース言語トークンに対応するコメントを考慮する必要がある。ソース言語トークンが、ターゲット言語トークンにマップしないなら、そのコメントはマップされる適当なトークンに移動しなければならない。発生したコードの出現は、トークンの集合と異なるかもしれないコメントの集合を創造する構造翻訳ルーチンから利益を得ることができる。例えば、特定の構造の第１ソース言語トークンが現れる前に現れるコメントが、また翻訳された構造内の第１ターゲット言語トークンの前に現れる場合は、例え第１ソーストークンが第１ターゲットトークンにマップしない場合でも、ある構造翻訳はより現れやすい。トークンを含まないフラグメント内で走査されたコメントは、静的フラグメントと組み合わされ、トリーの翻訳と別に翻訳され、類似C++静的フラグメント内に現れる。フラグメントの一致ロゼッタ翻訳プログラムの設計は、それぞれのソース言語マクロが、正確に１つのターゲット言語マクロにマップすることを要求するので、全てのマクロ使用が遂語的に同一であることを確認し、マクロテキストが全ての使用状況で「作動する」ことを保証する。それはまた、含まれるファイルを確認する。マクロ実際のパラメータ範囲は、マクロボディー自体に制限されるので、ロゼッタ翻訳プログラムは、与えられたマクロ拡張内の形式的パラメータの全ての拡張が遂語的に同一であることを確認しさえすればよい。この節及び次の幾つかの節は、フラグメントの遂語的なミスマッチ、ミスマッチを最小にする戦略、防止できないミスマッチの矯正法を述べる。パンを含むフラグメント２つの異なる作動を表す構文が、ターゲット言語では異なるがソース言語では同一のときは、フラグメントの翻訳は全ての使用状況では「作用」しない。自然言語におけるのと同様に、プログラム言語ではパンは不完全に翻訳する傾向がある。２つの言語間でタイプ互換性規則が異なる時は、例えばタイプキャストは、多くのタイプで使用されるマクロのミスマッチになる場合がある。次の例は、エラー状態を例示する。同じマクロの２つの拡張の翻訳が、異なるマクロボディーテキストになる。マクロボディーの全ての例は、出力ソース発生の前に一致するかを確認しなければならない。ロゼッタ翻訳プログラムは、この例では"-redef"と"-tobitfield”等の参照を発生し、それがマクロに異なるpTAL 態様のエミュレーションを封じ込める。この場合、整数フィールド「ａ」がビットフィールド「ｋ」に重なる。"-tobitfield"マクロは、パラメータとして周囲のクラス形の名前をとる。その名前は、マクロの２つの使用について異なる、即ち"f-"と"g-"である。次の例は、２つの使用がマッチしないマクロボディーテキストになるマクロを表す。即ちミスマッチのトークンが目立つ。あいまいなフラグメントの境界構造翻訳がフラグメントの境界をあいまいにすると、翻訳されたフラグメントのトリーは、フラグメントの２つの例が造られ、これらのフラグメントの内容が遂語的に同一でないように見える。フラグメントの境界の侵害は、作動しないパンを検出するのと同じフラグメント一致性チェックにより検出される。次の例は、不都合に形成されたマクロの使用であいまいになったフラグメントの境界を表す。優先するルールが、２つの言語で異なる場合は、元の表現の意味論を保存するため括弧を導入することが一致の侵害になる場合がある。pTAL言語は、追加のオペレータより、レフトシフトオペレータに高い優先性を与える。C++言語は、レフトシフトオペレータより、追加のオペレータに高い優先性を与える。括弧は、評価の順番を保持するため、表現のターゲット言語バージョン内に現れる。括弧トークンは、偶然高い優先性のあるオペレータから発生し、それがフラグメントの割当を決める。前の例の翻訳は、同一のテキストを含まない実際のパラメータフラグメントの２つの例を持つように見えるC++フラグメントトリーになる。マクロとマクロの実際のパラメータの翻訳が一致しないことを最小にする戦略マクロボディーとマクロの実際のパラメータの翻訳が一致しないことは、可能であればトークンのマッピング方法に特別のルールを組み込むことにより最小にすることができる。マクロの拡張の中にあるとき、発生したコードの変形を簡単にするのを抑制する。一般に、構文変換は、発生したコードがマクロボディーの拡張又はマクロ形式パラメータ拡張の内側にあるかどうかに感度は良くない。構造翻訳を実行する幾つかのルーチンは、フラグメントを翻訳はしないがフラグメントの境界に感度が高い。これらのルーチンは、異なるマクロ呼び出しの翻訳を遂語的に同一にするため、マクロの拡張又はマクロ形式パラメータ拡張内の変形を簡単にするのを抑制する。例えば、テキスト"&arrayvar[0]"を"arrayvar"に簡略化する変換は、インデックスがマクロパラメータ内にある時はマクロ内で抑制される。同様に、テキスト"(*ptr).field"を"p-〉field"に簡略化する変換は、"*p"がマクロの実際のパラメータであるときは抑制される。可能な時は、マクロの呼び出し間で異なるトークンを実際のパラメータに吸収する。ソース言語トークンは、それ自体の論理翻訳を発生するだけでなく、幾つかの付随バゲージも発生する場合がある。もしそのバゲージが、同じマクロの異なる呼び出しで違う可能性があるなら、バゲージがマクロボディーでなく実際のパラメータにマップされるなら問題はない。例えば、pTALの実際のパラメータトークンからのみ発生したC++トークンを囲む場合は、適当なオペレータを優先させるC++括弧は、翻訳された実際のパラメータに吸収させるべきである。同様に、C++ "*" オペレータが、マクロ実際のパラメータ内の内在する異なるポインターの翻訳で発生したのであれば、ノンポインター変数がマクロ内に通過できるように、"*"オペレータは翻訳された実際のパラメータ内の吸収されるべきである。マクロの呼び出し間で異なるトークンをマクロ呼び出し構文を含むフラグメント内に押し出す。前述した戦略と同様、異なるトークンがマクロボディーのC++ 翻訳のエッジにあるなら、外側にマップされても問題はない。例えば、C++タイプキャストが全マクロ拡張に適用されるなら、発生したテキストはマクロ呼び出し構文に適用されるタイプキャストを示すべきである。一致しない翻訳をされたマクロとマクロ実際のパラメータの矯正トークンの組合せを注意深く設計しても、ソース言語内に共通コードの実行を考慮すると、フラグメントの不一致の問題が稀であることは保証できても、全てのある得る問題を防止できるわけではない。不一致の翻訳をされたマクロまたはマクロの実際のパラメータが起こる場合は、ユーザーは３つの矯正法から選択することができる。それぞれの矯正法は、フラグメント不一致の問題を解決することができる。もし問題のマクロがエクスポートされるなら、元の言語を実行するマクロインターフェースを変換することは、通常は可能ではない。翻訳が「作用する」ようにマクロボディーを記録する。もしマクロボディーの記録が問題のある構造を防ぎ、マクロのインターフェース又は使用法を乱さないなら、この戦略は可能である。マクロを記録することで使用の全ポイントを変えることが必要なら、これは可能な解決法ではない。ロゼッタ翻訳プログラムにマクロの全ての使用を拡張することができるようにする。この戦略は、問題を含むマクロを実行しないことでいかなるフラグメントの不一致の問題をも減少させる。マクロがソフトウエアの有用性、保全性、信頼性を改善するのに有用であれば、またはマクロがエクスポートされるなら、これは好ましい解決法ではない。製品メインテナーがマクロを保存するのに関係しないなら、これは可能な解決法である。次の例は、マクロの拡張を表す。違いを封じ込めるように、ロゼッタ翻訳プログラムに追加のマクロパラメータの発生を許す。この戦略は、どのようなフラグメントの不一致の問題をも解決する。プログラマーが書くより感度が悪いターゲット言語コード内で実際のパラメータを生じる可能性がある。前の節から不一致のマクロボディーの例を呼び戻せば、違いを封じ込めることができる。次の例は、この封じ込めを示す。好ましい実施例の説明従来のトリーデータ構造を図１に概略的に示す。このデータ構造のターゲットは、一組の「物」またはオブジェクトを一つの階層（ヒエアルキー）に関連付けることである。この組みにおける根節(root node)と称される一つのオブジェクトは、頂点にある。この根から、分岐と称されるリンクが節と称される他のオブジェクトに接続する。それから、これら節は、他の節へと分岐していき、最後には、葉と称される一組のオブジェクトで終わる。このトリーを、根から葉へと分岐の単一路を辿って見るとき、節は、互いに先祖である。逆に、このトリーを、葉から根へと単一路を辿って見るとき、節は、互いに子孫である。任意の節を選択するとき、根の方へ分岐するのが、その節の子供と考えられ、葉の方へ分岐するのが、その節の親と考えられる。図２は、従来技術に対する本発明の寄与を例示している。これは、二重根付きトリーデータ構造と称される。この二重根付きトリーは、２つの根５１１及び５１７を有しているが、単一の組の葉５１５しか有していない。従来のように、各根から一つのトリーが発しているが、これら２つのトリーの節５１３及び５１９、分岐５２１及び５２３、及び階層化配列は、これら２つのトリーが単一の組みの葉５１５にて共に終わるまでは、異なっている。本発明においては、二重根付きトリーのリーブは、トークンと考えられ、まとめて「仮想ソース」と称される。図２Ａは、図２のデータ構造を組み込んだ、全体として参照符号１０Ａとして示したコンピュータシステムの概略ブロック図である。図２Ａに例示されるように、コンピュータシステム１０Ａは、バス構造１８Ａによってメモリ１４Ａ及び入力／出力チャンネル（ＩＯＣ）１６Ａに結合された中央処理装置（ＣＰＵ）１１Ａを含む。それから、ＩＯＣ１６Ａは、ＣＰＵ１１Ａを、入力／出力（Ｉ／Ｏ）２０Ａによってデータ記憶領域２２Ａに接続する。データ記憶領域２２Ａは、磁気ディスク媒体記憶装置や電子メモリまたは他の記憶領域への通信リンクの形を取りうる。二重根付きトリーは二次元的なものであるが、この概念は、三次元、四次元またはそれ以上の次元（例示していない）へと拡張しうる。多重トリーは、単一組の葉にて共に終わるＮ重根付きトリーを形成しうる。従来のトリーは、図３のデータフローチャートに示す簡単なコンパイラの如きコンピュータ言語コンパイラにおいて有用である。この従来のコンパイラにおいては、ソースコード５１は、先ず、文字のストリームが認識しうる「ワード」またはトークンに分割されるスキャナ５３に通され、それから、それらトークンの間の階層化関係を決定して構文トリー５７を形成するパーサ５５へ通される。意味分析器５９によって行われる付加的ステップにより、構文トリー５７がさらに洗練される。構文翻訳プログラム６１は、構文トリー５７を中間コードトリー６３へ変換する。それから、コード発生器６５は、その中間コードトリー６３をオブジェクトコード６７へ変換する。また、普通機械コードと称されるオブジェクトコード６７は、コンピュータが直接的に実行でき、通常、磁気媒体または電子メモリに記憶される命令シーケンスである。通常の使用においては、機械コードは、人間が読み取り且つ翻訳しうる形では記憶されない。コンパイラの構成についての背景情報については、「Aho，Sethi，and Ullman，Compilers: Principle s，Techniques，and Tools，Addison-Wesley，1985」を参照されたい。図４に例示されるように、簡単化された形の本発明のソースコード−ソースコード翻訳プログラムは、一般的には、図３の従来のコンパイラのフローに従っている。しかしながら、簡単なトリーデータ構造を使用する代わりに、この翻訳プログラムは、マクロ、コードの条件付き翻訳領域、ソース包含、コメント及び他のプリプロセッサ特性の如き文脈情報を保存するために二重根付きトリーを使用している。図５は、葉で接合された二重根付きトリーにおける第１のトリーを形成する方法を記述しているフローチャートである。この方法は、図４のソースフラグメントトリー１９を形成するのに適用しうる。このフローチャートは、次のデータ及びオペレーションを使用する。ソースは、その一つがプライマリとして識別される、ステップ６０３にて使用される一組のオブジェクトの順序集合である。オブジェクト、オペレーションの順序集合：オープン６０３その集合が空となているか否かのテスト６０５次のオブジェクトを取る６０７オブジェクトは、葉または順序集合であるオペレーション：そのオブジェクトが葉または順序集合であるかのテスト６０９親節への付加節オペレーション：子供の順序付加の受け入れ親節を取る図６は、葉で接合された二重根付きトリーにおける第２のトリーを形成する方法を記述するフローチャートである。この方法は、図４のソース構文トリーを形成するのに適用しうる。パーサ６２３へ入力されるステップ６２１における葉の順序集合は、第１のトリーの順序探索によって発生される。この方法は、トリーを下から上へと形成する。図７は、葉で接合された二重根付きトリーにおける第２のトリーの変換を記述するフローチャートである。図８は、葉で接合された二重根付きトリーにおける第１のトリーの変換を記述するフローチャートである。このフローチャートは、次のデータ及びオペレーションを使用する。節オペレーション：変換親節への付加節が「オープン」であるかのテスト：このトリーにおける「オープン」節は、このトリーに加えられた最後の葉の祖先を含む。ある節へ子供を加えると、節が「クローズ」され、それら節は、もはや加えられた最後の葉の祖先ではない。葉オペレーション：親節への付加入力セットオペレーション：その集合が空となっているかのテスト図８を別の仕方で記述すると、それは、ソース二重根付きトリーからターゲット二重根付きトリーへとフラグメントトリーを変換する方法を示している。これは、変換プロセスにおける重要な段階である。それは、プリプロセッサ特性がソースコードからターゲットコードへと変換されるポイントである。ターゲット言語構文トリーを形成した後、翻訳プログラムは、ターゲット言語仮想ソーストークンストリームを探索し、その仮想ソースストリームにおいて出会う各ターゲット言語トークンに関連したソース言語トークンのソース言語フラグメントトリーにおける位置に基づいてターゲット言語フラグメントトリーを形成する。オペレーションは、次のようである。付加（ｘ，ｙ）：ｘをｙへ付加：ｙは、ｘの親となる。ｘは、位置的に先在する兄弟の後に加えられる。変換（ｎ）：ｎ（フラグメントのトークン）をオブジェクトのターゲット言語バージョンへ変換し、そのトランスレーションを戻す。トランスレーション（ｎ）：フラグメントｎの最後のトランスレーションを戻す：もし、それが変換されていないならば、無とする。親（ｎ）：もし、ｎがトークンであるならば、ｎが存在しているフラグメントを戻す。もし、ｎがフラグメントであるならば、フラグメントの呼出し構文（例えば、マクロネームトークン）を戻す。 IsOpen（ｎ）：フラグメントｎがターゲットフラグメントトリーにおいてオープンであるならば、真に戻る。ターゲット言語フラグメントトリーにおける「オープン」節は、そのフラグメントトリーに加えられた最後のトークンの祖先を含む。フラグメントに子供を加えると、節がクローズされ、それら節は、最早や、加えられた最後のトークンの祖先ではない。主ソース包含フラグメントを変換することにより始める。このフラグメントは、初期的にオープンである。 FOR(TargetToken＝ターゲット言語仮想ソース)BEGIN SourceToken＝現在TargetTokenに関連したソーストークン SourceFrag＝Parent(SourceToken) IF(IsOpen(Translation(SourceFrag))) THEN BEGIN / ★既にオープンである既存のフラグメントへ新しいトークンを加える/★ TargetFrag=Translation(SourceFrag) Attach(TargetToken，TargetFrag) END ELSE BEGIN / ★新しいフラグメントを形成して、それを新しいトークンを加える/★ TargetFrag=Translation(SourceFrag) Attach(TargetToken，TargetFrag) SourceInvSyntax＝Parent(SourceFrag) TargetInvSyntax＝Translate(SourceInvSyntax) Attach(TargetFrag，TargetInvSyntax) SourceFrag＝Parent(SourceInvSyntax) / ★TargetTokenがそのトリーに接続されるまで、新しいフラグメントおよび呼出し構文を形成する/★ WHILE(NOT IsOpen(Translation(SourceFrag)))BEGIN TargetFrag＝Translate(SourceFrag) Attach(TargetInvSyntax，TargetFrag) SourceInvSyntax＝Parent(SourceFrag) TargetInvSyntax＝Translate(SourceInvSyntax) Attach(TargetFrag，TargetInvSyntax) SourceFrag＝Parent(SourceInvSyntax) END WHILE TargetFrag＝Translation(SourceFrag) Attach(TargetInvSyntax，TargetFrag) END ELSE END FOR 図９、図１０及び図１１は、一緒になって、図５、図６、図７及び図８の方法が特定の２つのリンクマクロに対してどのようにオペレートするかを示している。このマクロは、タンデム専有高級言語ｐＴＡＬのコンパイラのために書かれている。ターゲットソースコードは、良く知られた標準化されたＣ＋＋である。Ｃ＋＋へ正しく変換されたマクロは、次のようである。図９は、ソース言語としてｐＴＡＬ言語を使用したフラグメントトリーと構文トリーの例を示している。この図は、ｐＴＡＬ構文トリー、ｐＴＡＬフラグメントトリー、図４のより一般的な方法により示されたようにこれらを結合するｐＴＡＬトークンのエクスプロージョンを示している。なお、図４の方法は、ソース・フラグメントトリー１９、ソース構文トリー７及び葉９がそれらを結合している。ｐＴＡＬフラグメントトリーと構文トリーは、トークンで結合された２つのルートを通るトリーである。定義“レス(less)”の本体を構成するトークンは、それらの用途の文脈において表される。フラグメント１２１は、主入力ファイルを表している。フラグメント１２７は、マクロ“レス”の呼出しを表している。トークン１５３，１５５，１５７，１５９，１６１，１６３，１６５，１６７，１６９，１２９，１３１，１３５，１７７は、フラグメント１２７内にある。マクロの呼出し構文１２９，１３１，１３５は、フラグメント１２７に関連している。マクロ本体を構成しているトークン１７１，１７３，１４１も、フラグメント１２７内にある。フラグメント１３７は、トークン１７５であるが、実際のパラメータテキストのマクロ・フォーマル・パラメータ“ｘ”のための置換えを表している。このマクロ・フォーマル・パラメータの呼出し構文１４１は、フラグメント１３７と関連している。トークン１７５は、マクロの実際のパラメータであり、フラグメント１３７内にある。節１７９は、ｐＴＡＬ手続きを表している。この手続きは、節１４７により表されたマクロ宣言及び節１４９により表されたホワイル・ステートメント(while statement)により構成されている。このマクロ・デクラレーション１４７は、トークン１５３，１５５，１５７，１５９，１６１，１６３，１６５，１６７を含む。このマクロの本体は、その用途の文脈内で拡張される。ホワイル・ステートメント１４９は、トークン１６９、節１５１により表された表現(expression) 及びトークン１７７から構成されている。この表現１５１は、トークン１７１，１７３，１７５から構成されている。図１０は、これらを連結するトークンを含むｐＴＡＬフラグメントトリーと構文トリーを示している。図１０は、ｐＴＡＬ構文トリーの変換を表すＣ＋＋構文トリーも表している。この構文翻訳プログラムは、各ｐＴＡＬ構文の構成を同じ意味のＣ＋＋構文の構成に変換する。さらに、構文翻訳プログラムは、ｐＴＡＬトークンをＣ＋＋トークンにマップする。ｐＴＡＬは、フラグメントトリーは、そのＣ＋＋の対応するものに未だ変換されていない。ソース言語ホワイル・ステートメント１４９は、ターゲット言語ホワイル・ステートメント２３９に変換されている。ソース言語表現１５１は、ターゲット言語表現２４１に変換されている。Ｃ＋＋の構文トリー２４３，２４５，２４７，２４９，２５１，２５３内の各Ｃ＋＋トークンは、正確に一つのｐＴＡＬにより生成された。Ｃ＋＋トークン２４３はｐＴＡＬトークン１６９により生成され、Ｃ＋＋トークン２４５はｐＴＡＬトークン１７１により生成され、さらに、図中の破線の矢印で示されたように各トークンが生成された。破線の矢印で示されたＣ＋＋トークンとｐＴＡＬの関係が、トークンがどの仮想フラグメントに属しているかを決定し、これらの関係により、目標言語フラグメントトリーを構築することが可能となる。あるｐＴＡＬトークンは幾つかのＣ＋＋トークンを生成することができる。例えば、ｐＴＡＬトークン１６９はＣ＋＋トークン２４３，２４５，２５３を生成することができる。あるｐＴＡＬトークンはＣ＋＋トークンを生成することができない。例えば、ｐＴＡＬトークン１７７はＣ＋＋トークンを生成することができない。各Ｃ＋＋トークンは、正確に一つのｐＴＡＬトークンにより生成される。図１１は、これらを連結するトークンを含むｐＴＡＬフラグメントトリーと構文トリーを示している。図１１は、これらを連結する意味の同じＣ＋＋グラグメント・トリーと構文トリーも表している。図１１は、フラグメントトリーの変換後を表している。変換を実行するために、Ｃ＋＋構文トリーの葉を走査させる。これらの葉は、将来的にＣ＋＋フラグメントトリーの葉となる。次に、図１０と図１１に示されたｐＴＡＬフラグメント・サブトリーと等しい意味のＣ＋＋フラグメント・サブトリーの例の構築の概要を説明する。Ｃ＋＋フラグメントトリー内のフラグメントは、それがこのＣ＋＋フラグメントトリーに最も新しく加えられた葉の祖先であるならば、“オープン”である。ｐＴＡＬフラグメントトリーの根を変換する。即ち、ｐＴＡＬフラグメント１２１がＣ＋＋フラグメント２７３に変換される。Ｃ＋＋フラグメントトリー根節２７３は、最初は“オープン”である。Ｃ＋＋トークン２４３を検討する。このトークンは、ｐＴＡＬトークン１６９と関係している。ｐＴＡＬトークン１６９は、ｐＴＡＬフラグメント１２１内に含まれ、このｐＴＡＬフラグメント１２１はＣ＋＋フラグメント２７３に変換される。Ｃ＋＋フラグメント２７３は、“オープン”である。Ｃ＋＋フラグメント２７３にＣ＋＋トークン２４３を加える。Ｃ＋＋トークン２４５を検討する。このトークンはｐＴＡＬトークン１６９と関係している。このｐＴＡＬトークン１６９は、ｐＴＡＬフラグメント１２１内に含まれる。ｐＴＡＬフラグメント１２１はＣ＋＋フラグメント２７３にトランスレーションされる。Ｃ＋＋フラグメント２７３は“オープン”である。Ｃ＋＋フラグメント２７３にＣ＋＋トークン２４５を加える。Ｃ＋＋トークン２４７を検討する。このトークンはｐＴＡＬトークン１７１と関係している。このｐＴＡＬトークン１７１は、ｐＴＡＬフラグメント１２７内に含まれる。ｐＴＡＬフラグメント１２７は変換されず、そのため、Ｃ＋＋フラグメントトリー内に現れない。Ｃ＋＋フラグメント１２７を変換し、Ｃ＋＋フラグメント２６５を生成する。Ｃ＋＋トークン２４７をＣ＋＋フラグメント２６５に加える。ｐＴＡＬフラグメント１２７の親は、ｐＴＡＬフラグメント１２１である。このｐＴＡＬフラグメント１２１がＣ＋＋フラグメント２７３に変換される。このＣ＋＋フラグメント２７３は、Ｃ＋＋フラグメントトリー内で“オープン”である。Ｃ＋＋フラグメント２６５をＣ＋＋フラグメント２７３に加える。Ｃ＋＋トークン２４９を検討する。このトークンはｐＴＡＬトークン１７３と関係している。このｐＴＡＬトークン１７３は、ｐＴＡＬフラグメント１２７内に含まれる。ｐＴＡＬフラグメント１２７はＣ＋＋フラグメント２６５に変換される。Ｃ＋＋フラグメント２６５は、Ｃ＋＋フラグメントトリー内で“オープン ”である。Ｃ＋＋トークン２４９をＣ＋＋フラグメント２６５に加える。Ｃ＋＋トークン２５１を検討する。このトークンはｐＴＡＬトークン１７５と関係している。このｐＴＡＬトークン１７５は、ｐＴＡＬフラグメント１３７内に含まれる。ｐＴＡＬフラグメント１３７は変換されず、そのため、Ｃ＋＋フラグメントトリー内に現れない。ｐＴＡＬフラグメント１３７を変換し、Ｃ＋＋フラグメント２６１を生成する。Ｃ＋＋トークン２５１をＣ＋＋フラグメント２６１に加える。ｐＴＡＬフラグメント１３７の親は、ｐＴＡＬフラグメント１２７である。このｐＴＡＬフラグメント１２７がＣ＋＋フラグメント２６５に変換される。このＣ＋＋フラグメント２６５は、Ｃ＋＋フラグメントトリー内で “オープン”である。Ｃ＋＋フラグメント２６１をＣ＋＋フラグメント２６５に加える。Ｃ＋＋トークン２５３を検討する。このトークンはｐＴＡＬトークン１６９と関係している。このｐＴＡＬトークン１６９は、ｐＴＡＬフラグメント１２１内に含まれ、Ｃ＋＋フラグメント２７３に変換される。Ｃ＋＋フラグメント２７３は、“オープン”である。Ｃ＋＋トークン２５３をＣ＋＋フラグメント２７３に加える。ここで、Ｃ＋＋フラグメント２６１，２６５は、もはや“オープン”ではない。即ち、これらは、もはやＣ＋＋フラグメントトリーに加えられるべき最後のＣ＋＋トークンの前身ではない。

───────────────────────────────────────────────────── フロントページの続き (72)発明者デルヴィーニャポールアメリカ合衆国カリフォルニア州 95126 サンホセマグノリアアベニュー 1374 (72)発明者モーロイマークイーアメリカ合衆国カリフォルニア州 95138 サンホセユアシャンコート 138

Claims

【特許請求の範囲】１．データ処理システムで実行されるアプリケーションプログラムによるアクセスのためのデータを記憶するメモリであって、前記メモリに記憶された二重根付きトリーデータ構造を備え、前記データ構造は、一組の葉；一つ以上の親、子、祖先、及び子孫を有し、根、一組の枝、及び一組の節を有するトリーデータ構造によって表しうる、前記一組の葉で終了している、第１の階層的に関連したオブジェクトの組；前記一組の葉で終了する第２の階層的に関連したオブジェクトの組；を含んでいることを特徴とするメモリ。２．前記一組の葉は、前記一組のオブジェクトから生成されたトークンの流れを含んでいる仮想ソースを備えていることを特徴とする請求項１に記載のメモリ。３．前記トークンは、スキャナ手段によって生成されることを特徴とする請求項２に記載のメモリ。４．請求項１に記載の前記メモリを組み込んでいるコンピュータシステム。５．前記一組の葉で終了している一つ以上のさらなる階層的に関連したオブジェクトの組を含んでいる前記メモリに記憶されたＮ根付きトリー構造を更に備えていることを特徴とする請求項１に記載のメモリ。６．二重根付きトリーデータ構造を生成しかつ当該データ構造に情報を記憶するためにコンピュータシステムで使用する方法であって、メモリから一組のオブジェクトを検索し；構文構造物をもたらしている、オブジェクトの間の第１の階層関係の組を識別し；前記構文構造物を仮想ソースの中にスキャンし；第１のトリーが前記仮想ソースで終了するように前記第１の階層関係の組に従って深さ優先走査順でトップダウン手段により第１のトリーに前記構文構造物を記憶し；オブジェクトの間の第２の階層関係の組を識別し；第２のトリーが前記仮想ソースで終了するように前記第２の階層関係の組に従って深さ優先走査順でボトムアップ手段により第２のトリーに前記オブジェクトを記憶する、コンピュータインプリメントされた段階を具備することを特徴とする方法。７．前記オブジェクトの間の前記第１の階層関係の組を識別する方法は、（ａ）前記オブジェクトをトークンの中にスキャンし；（ｂ）テキスト置換えに対する呼出し表現を表す一組のトークンを認識し；（ｃ）前記表現を一つ以上の節に関連付け；（ｄ）前記呼出し表現によって表されたようにテキスト置換えを実行し；（ｅ）前記トークンが使い果たされるまで前記段階（ｂ）、（ｃ）、及び(ｄ) を繰り返し、前記構文構造物をもたらすことを含んでいる仮想ソース生成機構を具備することを特徴とする請求項６に記載の方法。８．第１のターゲットトリー及び第２のターゲットトリーを含んでいるターゲット二重根付きトリーデータ構造に、第１のソーストリー及び第２のソーストリーを含んでいるソース二重根付きトリーデータ構造を変換するためにコンピュータシステムで使用する方法であって、前記ソースデータ構造の中に情報を記憶することに結合された前記ソースデータ構造を生成し；前記第２のターゲットトリーを生成する手段に結合されたその節を走査することに結合された前記第２のソーストリーを変換し；前記第１のターゲットトリーを生成する手段に結合されたその節を走査することに結合された前記第１のソーストリーを変換するコンピュータインブリメントされた段階を具備することを特徴とする方法。９．ソースコンピュータ言語の第１のソースコードをターゲットコンピュータ言語の第２のソースコードの中に変換するためにコンピュータシステムで使用する方法であって、前記第１のソースコードを検索する手段；ソースフラグメントトリーを生成するために前記第１のソースコードからの仮想ソース生成のための手段；仮想ソースを形成するために前記第１のソースコードをスキャンし；前記ソース二重根付きトリーの葉として前記仮想ソースを識別し；前記ソース二重根付きトリーの前記葉で前記ソースフラグメントトリーの葉を識別し；前記ソース構文トリーの前記葉が前記ソース二重根付きトリーの前記葉で識別されるようにソース構文トリーの中に前記仮想ソースをパーズする手段；前記ソース構文トリーにおいて前記ソースコードの記述を終了しているセマンティク情報を取得しかつ記憶する手段；を含んでいるソース二重根付きトリーデータ構造を生成する手段：ターゲット構文トリーを生成する手段に結合された前記ソース構文トリーを変換する手段；前記ターゲット構文トリーの葉を前記ターゲット二重根付きトリーの葉で識別し；前記ターゲット二重根付きトリーの葉を前記ソース二重根付きトリーの対応している葉に関連付け；前記ターゲットフレグメントトリーの葉がオーダーされるようにターゲットフレグメントトリーを生成する手段に結合された前記ソースフレグメントトリーを変換する手段；前記ターゲットフレグメントトリーの葉を前記ターゲット二重根付きトリーの葉で識別すること；を含んでいるターゲット二重根付きトリーデータ構造を生成する手段：前記ターゲット二重根付きトリーから前記第２のソースコードを生成する手段；前記第２のソースコードを記憶する手段を具備することを特徴とする方法。１０．ターゲットフレグメントトリーを生成する手段に結合された前記ソースフレグメントトリーを変換する前記手段は、前記ソースフレグメントトリーの前記根を位置決めし；前記ソース根を前記ターゲットフレグメントトリーの前記根に変換し；前記ターゲット構文トリーの各葉を検査し；ターゲットフレグメントトリー葉を位置決めし；前記ターゲットフレグメントトリー葉に関連付けられたソースフレグメントトリー葉を検査し；前記ソースフレグメントトリー葉の親節を検査し；前記親節の最近の変換が最近装着されたターゲットフレグメントトリー葉の祖先であるかまたは前記ターゲットフレグメントトリーの前記根であるかをテストし；前記テストがＴＲＵＥであれば前記最近装着された葉の前記親節に前記ターゲットフレグメントトリー葉を装着し；前記ターゲットフレグメントトリー葉を前記親節に装着し；次のターゲットフレグメントトリー葉を検査し；前記テスト結果がＦＡＬＳＥであれば前記親節を変換し；前記親節を前記ターゲットフレグメントトリーに追加し；前記ターゲットフレグメントトリー葉を前記親節に装着し；前記親節を第１の一時オブジェクトに割り当て；前記親節の親を第２の一時オブジェクトに割り当てる；段階を含んでいる前記ソースフレグメントトリーにおける葉の位置に基づき前記ターゲットフレグメントトリーを構築する手段；前記第２の一時オブジェクトが前記最近装着されたターゲットフレグメントトリー葉の祖先かまたは前記ターゲットフレグメントトリーの前記根であるかをテストし；前記テスト結果が“ＴＲＵＥ”であれば前記ターゲットに前記第２の一時オブジェクトを追加し；前記第１の一時オブジェクトを前記祖先節に装着し；次のターゲットフレグメントトリー葉を検査し；前記テスト結果が“ＦＡＬＳＥ”であれば前記第２の一時オブジェクトを変換し；前記第２の一時オブジェクトを前記フレグメントトリーに装着し；前記第１の一時オブジェクトを前記第２の一時オブジェクトに装着し；前記第２の一時オブジェクトを前記第１の一時オブジェクトに割り当て；前記第２の一時オブジェクトをテストすることを繰り返す段階を具備していること特徴とする請求項９に記載の方法。１１．テキストプリプロセッサステートメント及び表現を保存すると同時に、ソースコンピュータ言語の第１のソースコードをターゲットコンピュータ言語の第２のソースコードに変換する装置であって、前記第１のソースコードを記憶するために割り当てられたメモリを有するソースコンピュータ言語ファイル手段；前記第２のソースコードを記憶するために割り当てられたメモリを有するターゲットコンピュータ言語ファイル手段；前記第１及び第２のデータ構造内に記憶されるべき情報に対して割り当てられたメモリを有する第１及び第２の二重根付きトリーデータ構造を生成する手段；メモリから前記第１のソースコードを検索する手段；前記第１のソースコードを第１の仮想ソースの中にスキャンしかつパーズする手段；前記スキャンしかつパーズする手段に結合され、テキストプリプロセッサステートメント及び表現が保存されるように前記第１の二重根付きトリーデータ構造においてスキャンしかつパーズすると同時に前記第１の仮想ソースコードを記憶する手段；前記第１の二重根付きトリー構造を第２の仮想ソースコードの中に変換する手段；前記変換する手段に結合され、テキストプリプロセッサステートメント及び表現が保存されるように前記第２の二重根付きトリーデータ構造に前記第２の仮想ソースコードを記憶する手段；前記第２のソースコードを生成する手段に結合された前記第２のデータ構造を走査する手段；前記ターゲットコンピュータ言語ファイル手段に結合された前記第２のソースコードを記憶する手段を備えていることを特徴とする装置。