プログラム変換のために使われるMINERVAテキスト処理と黒板; 古い(MINERVA 1.2まで)gui述語から新しい(MINERVA 1.3から)gui述語へのMINERVAソース・プログラムは、このプログラムで変換します。
変換プログラムconvgui.minは50行のプログラムです。そして、oldgui.minにおいて与えられる仕様により駆動されます。
この実例は、スタンドアローンアプリケーションとして構成されます。 たとえば、Unixの上では以下のように起動します
Go.sh myguiprogram.minこれにより、myguiprogram.min.newが生成されます。
変換は、ソースファイルの全ての行のために、そして、「oldgui.min」の中で定義される全ての変換のために、substitute_all/4を使った文字列置き換えで、実行されます。
マニュアルから:
substitute_all(+regexp, +string, +substitution, -result)
"string"の中で、"regexp"によって定義される全てのサブ文字列を"substitution"で取り替えます。 修正された文字列は、"result"の中で復帰されます。
プログラムは最初oldgui.min を読み取ります
applet__get_code_base(A,B): - applet_getCodeBase(A,B). applet__get_document_base(A,B):- applet_getDocumentBase(A,B). :第2に、節を手続きに変換します。これによって、文字列を以下のように変換します。
applet__get_code_base --> applet_getCodeBase
applet__get_document_base --> applet_getDocumentBase
:
最後に、ソース・プログラムの全ての行へこの手続きを適用します。
| 冒頭へ |
|