JP3368141B2 - アセンブラ言語ソースプログラム生成装置 - Google Patents

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本願発明は、コンピュータお
よびマイクロコンピュータのソフトウェア開発用のＣＡ
ＳＥ（Computer Aided Software Engineering ）ツール
に関し、特に、構造化マクロ言語や木構造チャートか
ら、アセンブラ言語またはジャンプ命令を持つプログラ
ム言語のソースプログラムを自動生成するための装置に
関する。

【０００２】

【従来の技術】図１に、従来の木構造チャートの１種で
あるＰＡＤ（Problem Analysis Diagram）チャートの記
述例を示す。なお以下本願発明の明細書では、チャート
とは一般的に木構造チャートを示し、リストとはプログ
ラムのソース行を指すものとする。また、条件１、条件
２などはアセンブラ言語で条件判断に用いるフラグの状
態を表わす。

【０００３】図１のＰＡＤチャートは１１個のボックス
３００、３０２、３０４、３０６、３０８、３１０、３
１２、３１４、３１６、３１８および３２０からなって
いる。ＰＡＤチャートの実行順序は上から下へであり、
具体的処理のアルゴリズムは一連のボックス中に記述さ
れる。

【０００４】ＰＡＤチャートにおいて、条件判断や繰返
しループなどのプログラム構造に対応して、専用のボッ
クスが定義されている。図１に示す例ではボックス３０
６および３１２がその例である。これらの構造中のソー
ス行は、そのボックスの右側のボックスに階層的に記述
されるようになっている。すなわちボックス３０６の内
容はボックス３１０、３１２、３１４、３１６および３
１８により記述され、ボックス３１２の内容はボックス
３２０に記述されている。

【０００５】ＰＡＤチャートの実行順序は上から下であ
り、ループやジャンプ構造が出現した場合にはその構造
の右側に記述されている一連のボックスをさらに上から
下に実行する。そしてその一連のボックスの実行が終了
したら、元に戻ってその構造のさらに下方に実行を続け
る。そして、チャートの最も下に達したら実行を終了す
る。

【０００６】図２は従来のＰＡＤチャートにおけるif t
hen else構造の記述例である。以下、ＰＡＤチャートに
ついて説明する。また図２を含め以下では、チャートの
右下部分に各構造の図式ファイルの内部記憶形式を示
す。

【０００７】図２を参照して、if then else構造のボッ
クス中には条件１を記述し、条件１が真であればチャー
トＢを実行し、条件１が偽であればチャートＣを実行し
た後、プログラムの実行をさらに下に移す。図２におい
て、条件１のボックスの上下に「（真）」「（偽）」を
表記しているが、これは暗黙の宣言として上側が条件１
＝真、下側が条件１＝偽のときに実行されることを示し
ている。したがって実際にはこの表記はチャート上には
行なわれていない。

【０００８】図３（Ａ）に示される構造の場合には、条
件１＝真の場合についてチャートＢを実行するが、条件
１＝偽の場合には何も実行されない。図３（Ｂ）の場合
には、条件１＝真の場合には何も実行されず、条件１＝
偽の場合にチャートＣが実行される。

【０００９】図３（Ａ）（Ｂ）の両方の場合とも、if t
hen 構造の実行が終了すると、プログラムの実行はさら
に下に移る。

【００１０】図４はrepeat until構造の記述例である。
この構造では、まずチャートＢを実行し、その後で条件
１についてその真偽を判断する。条件１＝偽なら再度チ
ャートＢを実行し、条件１＝真ならrepeat until構造を
終了してプログラムの実行をさらに下に移す。

【００１１】図５はdo while構造の記述例である。図５
には（Ａ）および（Ｂ）の２通りの記述例を示す。この
２つの記述例の違いはdo while構造ボックスの左側に縦
線を入れるか、右側に縦線を入れるかのボックスの表現
方法の違いだけであり、実際のプログラムの実行順序に
は相違はない。do while構造ではまず、条件２の真偽の
判断を行なう。条件２＝真ならばチャートＢを実行し再
び先頭に戻り条件２の判断を行なう。条件２＝偽の場合
にはチャートＢを実行せずにdo while構造を終了してプ
ログラムの実行をさらに下に移す。図５が図４と異なる
のは、図４では必ず最初に少なくとも一度だけチャート
Ｂが実行されるのに対し、図５ではチャートＢが全く実
行されない場合もあり得るということである。

【００１２】図６はN+1/2 構造の記述例である。この構
造はループ内からの途中脱出を含んでいる。この構造で
はまず、チャートＢを実行し、その次に条件１の真偽を
判断する。ここで条件１＝真ならN+1/2 構造を終了し、
条件１＝偽ならチャートＣを実行して再びチャートＢの
実行に戻る。N+1/2 構造を終了したら、プログラムの実
行はさらに下に移る。

【００１３】図７はジャンプ構造の記述例である。この
構造は、プログラム内のラベルＡに無条件にジャンプす
る。

【００１４】図８はラベル構造である。この構造は、プ
ログラム中の位置を示すラベル名を定義する。

【００１５】図９は順次処理構造の記述例である。この
構造は、条件判断やジャンプなどを伴わない処理を記述
するために使用する。

【００１６】以上、一般の木構造チャートではジャンプ
構造やループ構造は図式として表現されており、これら
ジャンプ、ループ図式のためのボックス中には、判断条
件のみが記述される。

【００１７】

【発明が解決しようとする課題】しかし、アセンブラ言
語の場合には、条件判断部とその判断結果を用いたジャ
ンプ命令とが、ソースの離れた位置に存在したり、複数
行にわたる場合がしばしばある。そのため、従来の木構
造チャートのようにボックス中に判断条件のみ記述する
ことしか許されていない場合、あえてアセンブラ言語で
木構造チャートを記述すると不自然さが目立つという問
題点があった。

【００１８】一方、アセンブラ言語に固有の問題として
以下のような問題がある。FORTRAN,C, BASIC, PASCAL,
COBOL等の言語では、文法・表記法が標準化および構造
化されている。そのため木構造チャートからこれらの言
語のソースリストを生成するのは、各言語に応じた専用
アルゴリズムを用いれば比較的簡単に行なえる。しか
し、マイクロコンピュータ開発に使用されるアセンブラ
言語は、ＣＰＵの種類によって、表記方法やコマンドの
種類が千差万別であって、統一された言語体系というも
のがない。ＣＰＵごとにハードウェアが異なるため、共
通化できない命令、フラッグまたはレジスタなどが多数
存在する。そのため、マイクロコンピュータで実行させ
るべきプログラムを木構造チャートで表現しようとする
と、ＣＰＵによって異なった表現を使用せざるを得な
い。そのため、こうした木構造チャートからアセンブラ
言語のソースリストを自動的に生成するためには、各Ｃ
ＰＵ専用のソース自動生成処理系を作る必要があり、効
率的とは言えないという問題点があった。

【００１９】またマイクロコンピュータ開発に使用され
るアセンブラ言語では、相補的な条件判断命令のうち双
方を備えたアセンブラ言語体系もあれば、一方しかない
アセンブラ言語もある。これらはＣＰＵの種類によって
千差万別である。そのためこうしたＣＰＵの相違にかか
わらず木構造チャートからソースリストを自動生成する
のは困難であり、各ＣＰＵ専用の処理系が必要であっ
た。この点でも、従来はアセンブラ言語のソースプログ
ラムを生成するのは非効率的であった。

【００２０】また、アセンブラ言語を用いて記述された
木構造チャートからアセンブラソースを自動生成するた
めには、上に述べたようにＣＰＵごとにアセンブラソー
ス自動生成処理系を設計しなくてはならない。そのた
め、ＣＰＵが異なると、同じ処理でも別のアセンブラソ
ース自動生成処理系を設計し直さなくてはならず、この
点でも非効率的であった。

【００２１】また、ＣＰＵによっては、全アドレス空間
にジャンプ可能な命令（LONG JUMP命令と呼ぶ）と、プ
ログラムカウンタの前後１２８バイト程度しかジャンプ
できない命令（SHORT JUMP命令と呼ぶ）との２種類のジ
ャンプ命令が用意されているものがある。一般にSHORT
JUMP命令は、LONG JUMP 命令よりもバイト数が少なく、
実行も速い。またプログラムサイズが小さくなるという
利点がある。したがってこれら命令を区別するアセンブ
ラ言語では、そのプログラムサイズも小さくなり、実行
も改善される。

【００２２】しかし、従来述べた木構造チャートでは、
アセンブラ言語に対応したこのようなジャンプ命令の区
別を表現する方法がなかったので、木構造チャートから
こうした命令を区別したアセンブラ言語のソースリスト
の自動生成を行なうことは極めて困難であった。そうし
た手段の一例としてはたとえば、LONG JUMP 命令および
SHORT JUMP命令を、ソースプログラムの命令のバイト数
から自動的に判断するような処理系を作成することが考
えられる。しかしながら、既に述べたように各ＣＰＵご
とにこのような区別をする処理系を作成することは非効
率的であり、実際上採用することはできないという問題
がある。

【００２３】また、一般にソースプログラムを自動生成
する場合、自動生成のアルゴリズム上でソースリスト中
にラベルが重複して生成される場合が多々あった。この
ようにラベルが重複して生成されるとプログラムサイズ
が大きくなるだけではなく、プログラムの理解を困難と
するという問題点があった。

【００２４】それゆえに請求項１に記載の発明の目的
は、ＣＰＵの種類にかかわらず、同一の木構造チャート
からさまざまなＣＰＵのためのアセンブラ言語に対応し
たアセンブラ言語ソースプログラムを作成することがで
きる装置を提供することである。

【００２５】請求項２に記載の発明の目的は、さらに、
アセンブラ言語の命令体系に、相補的な条件判断命令の
双方とも備えられているか、一方しか備えられていない
かにかかわらず、同一の木構造チャートから種々のアセ
ンブラ言語に対応したソースプログラムを生成すること
ができる装置を提供することである。

【００２６】請求項３に記載の発明の目的は、LONG JUM
P 命令とSHORT JUMP命令とが準備されたアセンブラ言語
ではそれらを有効に活用し、かつ種々のアセンブラ言語
に対応して同一の木構造チャートからソースプログラム
を生成することができる装置を提供することである。

【００２７】請求項４に記載の発明の目的は、生成され
るソースプログラム中に、重複したラベルが存在しない
ようにし、それによってソースリストの理解を容易にす
ることができるソースプログラム生成装置を提供するこ
とである。

【００２８】

【課題を解決するための手段】請求項１に記載の発明に
係るアセンブラ言語ソースプログラム生成装置は、分岐
に関するボックス中にソース行記述を許し、かつ分岐に
関する各ボックスに、対応する判断条件の記述を許すよ
うに拡張された木構造チャートに基づいて、任意のアセ
ンブラ言語のソースプログラムを生成するためのもので
ある。この装置は、目的となるアセンブラ言語の命令の
記述形式を、異なるアセンブラ言語間で共通に定められ
た書式に従って記述したテーブルを記憶するための記憶
手段と、木構造チャートを読込んで、アセンブラ言語の
種類に依存しない所定の変換手順に従ってアセンブラ言
語のソースプログラムを生成するための手段とを含む。
生成するための手段は、あるボックスからのソースプロ
グラムの生成において、前記記憶手段に記憶された前記
テーブル内の命令の記述形式を参照し、かつ対応するボ
ックス内のソース行記述および判断条件の記述に基づい
て、目的となるアセンブラ言語に適合した命令を生成す
る。

【００２９】この発明によれば、目的となるアセンブラ
言語の命令の記述形式を、異なるアセンブラ言語間で共
通に定められた書式でテーブル化する。そしてアセンブ
ラ言語の種類に依存しない所定の変換手順に従って木構
造チャートからアセンブラ言語のソースプログラムを生
成する際に、このテーブルを参照することによって、異
なるアセンブラ言語に適合した形式でソースプログラム
を生成する。テーブルをメンテナンスすることで、異な
るＣＰＵに対応した各種のアセンブラ言語に適合したソ
ースプログラムを、同一の木構造チャートから、かつ共
通のソース生成規則を用いて生成することができる。

【００３０】請求項２に記載のアセンブラ言語ソースプ
ログラム生成装置は、請求項１に記載の装置であって、
前記テーブルは、目的となるアセンブラ言語の、相補的
な条件判断命令の相互の関係をさらに記述している。そ
して、生成するための手段は、分岐を記述したボックス
からのソースプログラムの生成において、記憶手段に記
憶されたテーブル内の分岐命令の記述形式と、相補的な
条件判断命令の相互の関係の記述とを参照し、かつ対応
するボックス内のソース行記述および判断条件の記述に
基づいて、利用可能な分岐命令を定めることにより、目
的となるアセンブラ言語に適合した分岐命令を生成す
る。

【００３１】異なるＣＰＵに対応した異なるアセンブラ
言語体系で、相補的な条件判断命令のうちの一方がない
場合にも、テーブルを参照することにより代替の条件判
断命令を見出すことができる。そのため、アセンブラ言
語が、相補的な条件判断命令の一方しか持たないか双方
とも持つかにかかわらず、同一の木構造チャートから、
共通のソース生成規則を用いて、アセンブラ言語ソース
プログラムを生成することが可能である。

【００３２】請求項３に記載の発明に係るアセンブラ言
語ソースプログラム生成装置は、ジャンプ命令に関する
ボックス内にLONG JUMP 命令とSHORT JUMP命令との区別
を記述することを許し、かつ分岐に関するボックス中に
ソース行記述を許すことにより、異なるアセンブラ言語
について共通の形式で記述できるように拡張された木構
造チャートに基づいて、任意のアセンブラ言語のソース
プログラムを生成するための装置である。この装置は、
目的となるアセンブラ言語の命令の記述形式を、異なる
アセンブラ言語間で共通に定められた書式に従って記述
したテーブルを記憶するための記憶手段を含む。このテ
ーブルは、LONG JUMP 命令とSHORT JUMP命令とを別個の
ものとして記憶している。アセンブラ言語ソースプログ
ラム生成装置は、木構造チャートを読込んで、アセンブ
ラ言語の種類に依存せず、かつ、LONG JUMP 命令とSHOR
T JUMP命令とを区別する所定の変換手順に従ってアセン
ブラ言語のソースプログラムを生成するための手段をさ
らに含む。生成するための手段は、あるボックスからの
ソースプログラムの生成において、記憶手段に記憶され
たテーブル内の命令の記述形式を参照し、かつ対応する
ボックス内のソース行記述とLONG JUMP 命令およびSHOR
T JUMP命令の区別に関する記述とに基づいて、目的とな
るアセンブラ言語に適合した命令を生成する。

【００３３】異なるＣＰＵに対応して、LONG JUMP 命令
およびSHORT JUMP命令の区別があるアセンブラ言語体系
や、そうした区別がないアセンブラ言語体系がある。本
発明によれば、LONG JUMP 命令およびSHORT JUMP命令の
区別を木構造チャートで記述可能なため、LONG JUMP 命
令およびSHORT JUMP命令の区別がある場合には、テーブ
ルを参照することによりそれらを区別して使用して適切
なソースプログラムを作成できる。また、LONG JUMP 命
令およびSHORT JUMP命令の区別がないアセンブラ言語の
場合にも、テーブルを参照して代替の命令を見出すこと
ができる。そのため、アセンブラ言語が、LONG JUMP 命
令およびSHORT JUMP命令の区別を持つか否かにかかわら
ず、同一の木構造チャートから、共通のソース生成規則
を用いて、ソースプログラムを生成することが可能であ
る。

【００３４】請求項４に記載の発明に係るアセンブラ言
語ソースプログラム生成装置は、条件判断に関するボッ
クス中にソース行記述を許し、かつ条件判断に関するボ
ックスに対する判断条件の記述を各ボックスに許すよう
に拡張された木構造チャートに基づいて、任意のアセン
ブラ言語のソースプログラムを生成するための装置であ
る。この装置は、目的となるアセンブラ言語の命令の記
述形式を、異なるアセンブラ言語間で共通に定められた
書式に従って記述したテーブルを記憶するための記憶手
段と、木構造チャートを読込んで、アセンブラ言語の種
類に依存しない所定の変換手順に従ってアセンブラ言語
のソースプログラムを生成するための手段とを含む。生
成するための手段は、あるボックスからのソースプログ
ラムの生成において、ソースプログラム中にラベルを生
成することがある。アセンブラ言語ソースプログラム生
成装置は、さらに、生成するための手段によってソース
プログラム中に重複して生成される複数個のラベルを検
出するための重複ラベル検出手段と、重複ラベル検出手
段により検出された重複して生成される複数個のラベル
のうち、あるものを残して他を削除するためのラベル削
除手段とを含む。

【００３５】本発明によれば、木構造チャートからのア
センブラ言語ソースプログラムの生成において、自動生
成に起因して複数のラベルが重複して生成される場合、
それらが検出されて、重複するラベルが削除される。し
たがって、最終的に生成されるソースリストは簡略とな
り、その理解は容易になる。

【００３６】

【発明の実施の形態】

第１の実施形態 本発明に係る装置について説明する前に、本装置におい
て使用される木構造チャートの表記方法について図１０
〜図１４を参照して説明する。この表記方法の特徴とし
て、条件判断ボックス中にプログラムリストを記述する
ことを許すとともに、ボックス外の適切な位置に、分岐
のための判断条件を記述するようにしている。以下図１
０〜図１４を参照して各構造について説明する。なお、
分岐条件としては、Ｃ（キャリ、桁溢れ）、ＮＣ（ノン
キャリ）、Ｚ（ゼロ）、ＮＺ（非ゼロ）等の判断条件が
考えられる。

【００３７】図１０にif then else構造の記述例を示
す。図１０に示すように、条件判断ボックス中にはプロ
グラムリストＡを記述でき、複数行にわたる条件判断プ
ログラムを記述することができる。また、図１０に示さ
れるように、条件判断ボックスの上下に分岐条件「条件
１」、「条件２」を記述することを許している。なお、
これら図面では、各チャートに対応して、その右下に各
チャートの内部記憶形式を示している。

【００３８】図１０に示した例では、リストＡを実行し
た結果、条件１が真であればチャートＢを実行し、条件
２が真であればチャートＣを実行する。このif then el
se構造の実行を終了したら、プログラムの実行はさらに
下に移る。このように条件判断ボックス内にリストＡの
記述を許すようにしたことにより、従来は判断ボックス
では真偽の判断しか行なえなかったのに対し、この表記
方法ではボックス自体に判断機能を持たせることができ
るようになったと考えられる。

【００３９】また、図１０に示される条件１と条件２と
は、互いに相補的な条件であると考えられる。このよう
な条件を互いに逆条件の関係にあると呼ぶことにする。
２つの条件が逆条件の関係にあれば、一方の条件（たと
えば条件１）さえ記述してあれば、他方（たとえば条件
２）の条件記述を省略しても条件１＝偽の場合として処
理することができる。

【００４０】図１１にif then 構造の記述例を示す。図
１１（Ａ）（Ｂ）に、if then 構造の異なる表記形態を
示すが、それらが表わすアルゴリズムは同じである。図
１１（Ａ）または（Ｂ）を参照して、まず条件判断ボッ
クス中のリストＡを実行した後、条件１＝真であればチ
ャートＢを実行する。条件２＝真（条件１＝偽と同じ意
味）の場合には何も実行せずにif then 構造を終了し、
プログラムの実行をさらに下に移す。

【００４１】図１２にrepeat until構造の記述例を示
す。本構造では、条件判断ボックス内にリストＡを記述
できるようにするとともに、ボックスの左下にループ終
了条件を、ボックスの右下にループ継続条件をそれぞれ
記述するようにしている。図１２に示される構造では、
チャートＢを実行した後、リストＡを実行する。そして
その結果条件１＝真であればrepeat until構造を終了
し、条件２＝真なら再びチャートＢから実行する。この
構造の実行が終了したらプログラムの実行はさらに下に
移る。

【００４２】図１３はdo while構造の記述例である。図
１３に示されるdo while構造では、条件判断ボックス内
にリストＡを記述することを許し、ボックスの左下にル
ープ終了条件を、右下にループ継続条件をそれぞれ記述
するようにしている。図１３に示される構造では、まず
リストＡを実行し、その結果条件１＝真ならdo while構
造を終了し、条件２＝真ならチャートＢを実行した後再
びリストＡから実行する。本構造の実行が終了したらプ
ログラムの実行はさらに下に移る。

【００４３】図１４はN+1/2 構造の記述例である。本構
造では条件判断ボックス内にリストＡを記述することを
許し、ボックスの左下にループ終了条件を、右下にルー
プ継続条件をそれぞれ記述するようにしている。図１４
に示される記述例では、チャートＢを実行した後リスト
Ａを実行し、その結果条件１＝真ならN+1/2 構造を終了
し、条件２＝真ならチャートＣを実行してその後チャー
トＢを再び実行する。本構造が終了したら、プログラム
の実行はさらに下に移る。

【００４４】このように、この新たな表記方法では、チ
ャートボックス外に判断条件を記述することを許してい
る。その結果判断ボックス内にソースリストを記述する
ことが可能となり、アセンブラ言語による木構造チャー
トの記述がしやすくなるとともに、後に述べるように同
一のプログラム生成系を用いて、種々のアセンブラ言語
に対するソースプログラム生成を行なうことが可能にな
った。

【００４５】図１５に、本願発明に従ってアセンブラソ
ースを自動生成するときに参照されるテーブルの一般形
式を示す。実際に使用するときには、このテーブルはテ
ーブルファイルまたは、プログラム中に固定的に組込ま
れた参照用のデータテーブルとして取扱われる。本発明
に従ったアセンブラ言語ソースプログラム自動生成装置
において、各種ＣＰＵに対応したさまざまなアセンブラ
言語には、このテーブル４００をメンテナンスすること
によって対応することができる。

【００４６】以下、図１５に示されるテーブル４００中
の記述規則について示す。図１５に示されるテーブル４
００の第１行目は「HEADER: 」という記述の後に、アセ
ンブラ命令行の命令の前に挿入する行先頭文字列を定義
している。本文字列としては一般に、スペースまたはタ
グ文字が使用される。

【００４７】第２行目は「COMMENT:」という記述の後
に、コメント行の先頭に使用されるべきコメント文字を
定義している。具体例としては「；」がある。

【００４８】第３行目は「LABEL:」という記述の後に、
ラベル定義行でラベルシンボルの後に使用されるべき文
字列を定義している。本文字列には一般に「：」が使用
される。

【００４９】第４行目および第５行目はそれぞれ、「JU
MP: 」という記述の後に、条件判断ジャンプ時に参照さ
れる条件判断ジャンプ命令と、逆条件判断ジャンプ命令
とに関する定義を行なっている。なおこの場合の逆条件
判断ジャンプ命令とは、条件判断ジャンプ命令の判断す
る条件の逆条件について判断を行なう命令のことを言
う。これら行の記述規則は以下のようになっている。す
なわち、まず「JUMP: 」という記述をした後ろに木構造
チャート上の条件表記、木構造チャート上の逆条件表
記、および条件が真の場合のアセンブラジャンプ命令、
という３つの文字列をこの順番で記述する、というもの
である。

【００５０】図１５において、第４行目および第５行目
は互いに逆条件の関係になっている。そして、第４行目
で条件１に関する一連の定義を、第５行目で条件２に関
する一連の定義をそれぞれ行なっている。

【００５１】この第４行目および第５行目を組合せるこ
とにより、条件１＝真に対応するジャンプ命令と、条件
１＝偽に対応するアセンブラ条件命令とが次のようにし
て簡単に求められる。

【００５２】条件１＝真に対応するアセンブラジャンプ
命令は、第４行目の記述より文字列１であることは明ら
かである。

【００５３】条件１＝偽に対応するアセンブラジャンプ
命令は、次のようにして求められる。まず、第４行目の
記述より条件１の逆条件が条件２であることを求める。
次に、条件２に関し記述してある行をテーブルより検索
する。この場合、テーブル４００の第５行目に条件２に
関する記述が発見される。条件２＝真に対応するアセン
ブラジャンプ命令が文字列２であることは容易にわか
る。条件２＝真と条件１＝偽とは同じことであるので、
文字列２が、条件１＝偽である場合のアセンブラジャン
プ命令であることが求められる。

【００５４】このような「JUMP: 」で始まる行におい
て、文字列１または文字列２をヌル文字とした場合に
は、対応する命令がないことを表わすものとする。こう
すれば、文字列１または文字列２がヌル文字がどうかを
知ることにより、対応する命令がないかあるかを簡単に
定義したり参照したりすることができる。

【００５５】図１５のテーブル４００の６行目に、絶対
ジャンプ命令の定義方法を示す。絶対ジャンプ命令は条
件を持たない命令である。したがって６行目に示すよう
に、条件表記と逆条件表記との双方をヌル文字とする。
これにより、条件を持たない絶対ジャンプ命令が文字列
３であることが示されている。

【００５６】図１０〜図１４に示した木構造チャート
は、条件判断ボックスの中にリストを記述できるように
するとともに、条件判断ボックスの判断条件をそのボッ
クスの近傍に記述できるようにした点に特徴がある。本
明細書では、このような木構造チャートを拡張木構造チ
ャートと呼ぶことにする。

【００５７】上述のように拡張された木構造チャートに
対して、図１５に示したテーブル４００の内容を用いる
と、拡張木構造チャートからアセンブラプログラムを生
成することができ、しかも種々のＣＰＵに対して同一の
プログラム生成規則を用い、かつ図１５に示すテーブル
４００をＣＰＵの種類に応じて変えることで、ＣＰＵに
対するアセンブラプログラムを生成することができる。

【００５８】本実施の形態では、木構造チャートボック
ス中に記述されるリストなどの内容は、アセンブラ言語
命令の形式で記入されていることを前提とする。この場
合、図９に示したような順次処理については、そのまま
アセンブラソースに変換する。このとき、図４〜図８に
示される木構造チャートと、図１０〜図１４に示される
木構造チャートとを共に使用できるようにし、これらの
木構造はアセンブラジャンプ命令の必要な構造として、
最適なアセンブラジャンプ命令およびジャンプ先ラベル
名の自動生成により、各木構造の実行順序に応じたアセ
ンブラソースリストを生成できる規則を実現した。この
場合ソース生成規則は、木構造中に使用されている文字
と、図１５のテーブルによって定義された文字列と、適
時自動生成されるラベル名とを組合せるような規則とし
た。したがって木構造チャートと、図１５に示されるテ
ーブルとを与えられれば、ソース生成規則を適用してソ
ースプログラムを生成できる。

【００５９】ラベル名については自動生成するが、以下
の実施形態では各チャートごとに適切な文字列の後ろに
連番を付けて生成される。ラベル名として採用される文
字列は任意であるが、わかりやすくするためには、その
チャートに付けられている名称を使用することが考えら
れる。

【００６０】既に述べたように、本発明で使用する拡張
木構造チャートは、従来からも用いられていた図４〜図
９の記述形式と、図１０〜図１４の記述形式とを許して
いる。

【００６１】なお、一般にアセンブラ言語では、ある条
件に対応したジャンプ命令が必ず存在するとは限らな
い。したがってアセンブラ言語がどのようなものであろ
うとも適切なソースプログラムを生成するためには、ソ
ース自動生成規則として、各チャートの条件分岐部で
は、どちらか一方の条件のみに注目し、その条件に対応
したアセンブラジャンプ命令が存在する場合と存在しな
い場合との２通りの場合を考慮している。発明の実施の
形態を述べる前に、各木構造に対してどのようにしてソ
ースプログラムを生成するか、についての規則の具体的
な例を説明する。

【００６２】なお、以下の図中で「条件１ JUMP命令あ
り」とは「条件１＝真でジャンプするアセンブラジャン
プ命令が存在する」ことを示す。また「条件１ JUMP命
令なし」とは、「条件１＝真でジャンプするアセンブラ
ジャンプ命令が存在しない」ことを示す。

【００６３】図１６はif then else構造に対するソース
自動生成規則である。図１６（Ａ）はif then else木構
造であり、図１６（Ｂ）はそのフローチャート表現であ
る。図１６（Ｃ）および（Ｄ）は、それぞれ条件１JUMP
命令ありの場合と条件１JUMP命令なしの場合のソース自
動生成規則である。なお、条件１JUMP命令が存在するか
否かは、既に述べたように図１５に示すテーブル４００
の内容を参照することによって判別できる。

【００６４】図１６（Ｃ）についてまず説明する。この
ソース生成規則は、条件１＝真に対応したアセンブラジ
ャンプ命令がある場合の生成規則である。図１６（Ｃ）
の第１行目は、条件判断ボックス中のリストＡをアセン
ブラ言語に置き換えたものを示している。リストＡは一
般に、複数のアセンブラ命令行を含む。リストＡをソー
スコード化するためには、各命令の先頭に、図１５に示
したテーブル４００中の「行先頭文字列」として定義さ
れた文字列を付加することにより達成できる。

【００６５】図１６（Ｃ）の第２行目は、条件１＝真の
場合に、自動生成したラベル１までジャンプすることを
示すアセンブラジャンプ命令である。このアセンブラジ
ャンプ命令は、図１５に示したテーブル４００に示され
るように、適切なジャンプ命令の行に定義された文字列
１に、さらに自動生成されたラベル１を続けて記述する
ことにより得られる。

【００６６】図１６（Ｃ）の第３行目はコメント行であ
る。コメント行はコメント文字列のみからなり、プログ
ラムの適切な区切り行として使用される。

【００６７】図１６（Ｃ）の第４行目は条件２＝真のと
きに実行されるチャートＣのアセンブラソース自動生成
結果である。

【００６８】第５行目は、チャートＣ実行後、if then
else構造の最後にジャンプするために生成される行であ
る。このジャンプ命令としては、図１５のテーブル４０
０の第６行目に示した絶対ジャンプ命令が用いられる。
飛び先としてはラベル２が自動生成され、この絶対ジャ
ンプ命令の後に付加される。

【００６９】第６行目はコメント行である。第７行目は
条件１＝真のときに実行するチャートＢの先頭を示すラ
ベル行である。この行は、自動生成されたラベル１と、
この行がラベルであることを示すラベル文字列とからな
る。このラベル文字列は図１５のテーブル４００の第３
行目に示された形式により定義される。

【００７０】図１６（Ｃ）の第８行目は条件１＝真のと
きに実行されるチャートＢのアセンブラソース自動生成
結果である。第９行目は、if then else構造の実行の最
後の位置に生成されるラベル行である。このラベル名と
してはラベル２が自動生成され、さらにこの行がラベル
行であることを示すラベル文字列を含む。このラベル文
字列もまた、図１５のテーブル４００の第３行目に記載
された形式で定義される。

【００７１】図１６（Ｄ）は条件１＝真に対応したアセ
ンブラジャンプ命令がない場合のソース生成規則を示
す。図１６（Ｄ）が図１６（Ｃ）と異なるのは、条件１
＝真のアセンブラジャンプ命令を使用せずに、条件１＝
偽と等価な条件２＝真に対応したアセンブラジャンプ命
令を使用してソースリストを自動生成していることであ
る。これは、このように相補的な命令、すなわち逆条件
に対応したアセンブラジャンプ命令については、アセン
ブラ言語にかかわらず必ずそのいずれか一方が存在して
いることを利用している。

【００７２】if then else構造は、図１６（Ｃ）または
（Ｄ）のいずれか一方を使用すれば、対応のアセンブラ
ソースリストを自動生成することができる。図１６
（Ｃ）（Ｄ）のいずれを使用するかは、条件１＝真のと
きのJUMP命令が存在するか否かに基づいて判別すればよ
い。

【００７３】図１７は、if then 構造に対するソース自
動生成規則を示す。図１７（Ａ）および（Ｂ）はいずれ
もif then 木構造であり、図１７（Ｃ）はそのフローチ
ャート表現である。すなわち図１７（Ａ）（Ｂ）はいず
れも、リストＡを実行し、その結果条件１＝真であれば
チャートＢを実行し、条件２＝真（条件１＝偽）であれ
ば何もしないことを示す。

【００７４】図１７（Ｄ）および（Ｅ）はこのif then
木構造に対応したソース自動生成規則を示す。なお図１
７（Ａ）および（Ｂ）は、if then 木構造の表現上のバ
リエーションをすべて記述するために、条件判断後に実
行される処理（チャートＢ）の木構造での位置を変えた
だけであり、アルゴリズム的には全く同一の処理を意味
する。

【００７５】図１７（Ｄ）および（Ｅ）に示されたソー
ス自動生成規則はそれぞれ、条件２＝真に対応したアセ
ンブラジャンプ命令がある場合のソース生成規則と、条
件２＝真に対応したアセンブラジャンプ命令がない場合
のソース生成規則とである。ソース生成規則中の各行の
記載の内容については、図１６（Ｃ）（Ｄ）の各行と同
様であるため、これ以後の説明では、特別の場合を除き
繰返さないことにする。

【００７６】図１８および１９は、repeat until構造に
対するソース自動生成規則である。図１８は図１２に示
した拡張木構造チャートに対応するものであり、図１９
は図４に示した構造に対応する。

【００７７】図１８（Ａ）のrepeat until構造は図１８
（Ｂ）のフローチャートと等価である。条件２＝真に対
応したアセンブラジャンプ命令がある場合には図１８
（Ｃ）のソース自動生成規則を、条件２＝真に対応した
アセンブラジャンプ命令がない場合には図１８（Ｄ）に
示したソース自動生成規則を、それぞれ用いてアセンブ
ラソースを自動生成する。

【００７８】図１９（Ａ）に示したrepeat until構造は
図１９（Ｂ）のフローチャートと等価である。条件２＝
真に対応したアセンブラジャンプ命令がある場合には図
１９（Ｃ）に示したソース自動生成規則を用い、条件２
＝真に対応したアセンブラジャンプ命令がない場合には
図１９（Ｄ）に示したソース自動生成規則を用いてアセ
ンブラソースを自動生成する。図２０および図２１は、
do while構造に対応するソース自動生成規則である。図
２０は図１３に示した拡張された木構造チャートのdo w
hile構造に対応するものであり、図２１は図５に示した
木構造チャートに対応したものである。

【００７９】図２０（Ａ）に示したdo while構造は図２
０（Ｂ）のフローチャートと等価である。条件１＝真に
対応したアセンブラジャンプ命令の有無に応じて、図２
０（Ｃ）または（Ｄ）に示すソース自動生成規則を用い
てアセンブラソースを自動生成する。

【００８０】図２１（Ａ）および（Ｂ）はそれぞれ、図
５（Ａ）および（Ｂ）に示した構造に対応しているが、
条件判断ボックスの形状が異なるのみで、そのアルゴリ
ズムはいずれも図２１（Ｃ）に示したフローチャートと
等価である。条件１＝真に対応したアセンブラジャンプ
命令の有無に応じて図２１（Ｄ）または（Ｅ）に示した
ソース自動生成規則を用いてアセンブラソースを自動生
成する。

【００８１】図２２および図２３は、N+1/2 構造に対応
したソース自動生成規則を示す。図２２は図１４に示し
た拡張木構造チャートでのN+1/2 構造に関するものであ
り、図２３は図６に示した木構造チャートに対応したも
のである。

【００８２】図２２（Ａ）に示したN+1/2 構造は図２２
（Ｂ）のフローチャートと等価である。条件１＝真に対
応したアセンブラジャンプ命令の有無に応じて図２２
（Ｃ）または（Ｄ）に示した自動生成規則を用いてアセ
ンブラソースを自動生成する。

【００８３】図２３（Ａ）に示したN+1/2 構造は図２３
（Ｂ）のフローチャートと等価である。条件１＝真に対
応したアセンブラジャンプ命令の有無に応じて図２３
（Ｃ）または（Ｄ）に示したソース自動生成規則を用い
てアセンブラソースを自動生成する。

【００８４】図２４は図７に示したジャンプ構造に関す
るソース自動生成規則を示す。本構造は無条件にジャン
プする。そのため図１５のテーブル４００の第６行目に
記載された形式で定義される絶対ジャンプ命令を使用す
る。すなわち、絶対ジャンプ命令の行に提示された文字
列３を用いて図２４（Ｂ）に示されるようにジャンプ命
令行およびコメント行を生成する。

【００８５】図２５はラベル構造に関するソース自動生
成規則を示す。このラベル構造は図８に示したラベル構
造に対応したものである。なお図２５（Ａ）ではラベル
Ａの上下にチャートＢおよびチャートＣが存在する場合
を示した。ソース自動生成においては、図２５（Ｂ）に
示すようにチャートＢの解析結果とチャートＣの解析結
果との間にラベル行が挿入される。このラベル行は、図
２４に示したジャンプ構造のジャンプ先を記述するため
に用いられる。

【００８６】図２６は既に述べたような順次処理構造に
関するソース自動生成規則を示す。この順次処理構造は
図９に示した構造に対応する。この場合のソース自動生
成規則は図２６（Ｂ）に示すように、リストＡに対して
その先頭に図１５のテーブル４００の第１行目の形式に
よって定義される行先頭文字列を付加した行とコメント
文字からなるコメント行とを含む。

【００８７】以上の拡張された木構造チャートから、テ
ーブルを用いて、既に述べたようなソース自動生成規則
を使用してアセンブラソースプログラムを自動生成する
装置の実施の形態について以下説明する。なお、以下に
述べる処理は計算機上でのソフトウェアとして実現さ
れ、その処理についてフローチャートとして示すが、こ
れら処理の一部は再帰呼出を許す構造となっているもの
とする。

【００８８】図２７に、この装置が実現される典型的な
計算機システムの構成を示す。図２７を参照して、この
システムはＣＰＵ（中央処理装置）、主記憶、入出力制
御装置などを含むホスト計算機４１０と、このホスト計
算機４１０に接続されたプリンタ４１２、ファイル装置
４１４およびＣＲＴ（Cathode Ray Tube）端末４１６と
を含む。ホスト計算機４１０としては、典型的な構成の
コンピュータを用いることができる。ファイル装置４１
４は、木構造チャートを図式ファイルとして記憶した
り、生成されるソースファイルを記憶したりするための
ものである。なお、アセンブラ言語に対応した変換のた
めのテーブルは、たとえばファイル装置４１４に保存さ
れてホスト計算機４１０のメモリ上に読出されて利用さ
れてもよいし、ソフトウェア中に固定されたテーブルと
して準備されてもよい。

【００８９】図２８に、典型的なマイクロコンピュータ
としてＺ−８０と呼ばれるマイクロコンピュータに対応
したアセンブラ言語のソースプログラム生成用のテーブ
ル４２０を示す。Ｚ−８０は典型的な８ビット汎用ＣＰ
Ｕであって、その命令体系についてはよく知られてい
る。

【００９０】図２８に示すテーブル４２０の第１行目は
コメント行であって、ソース自動生成には特に関係しな
い。第２行目はアセンブラコマンド行の先頭に挿入され
る行先頭文字列である。本実施例では文字列として８個
の空白が使用される。

【００９１】第３行目はコメント行の先頭に付加するコ
メント文字を定義している。本実施例では４個の空白を
使用している。第４行目はラベル行においてラベルの後
に付加する文字列を定義する。本実施例では「：」を使
用している。

【００９２】第５行目から第１５行目は、一連の条件分
岐に関するジャンプ命令を定義している。第５行目はジ
ャンプ命令「 JR 」を定義している。条件お
よび逆条件の双方ともヌル文字が定義されている。した
がってこのジャンプ命令「JR 」は絶対ジャンプ命令
である。

【００９３】第６行目と第７行目は条件フラグ「Ｃ」
（キャリー）に関する条件分岐命令を定義している。条
件「Ｃ」と「ＮＣ」とは逆条件の関係にある。ここで
は、Ｃ＝真ならジャンプ命令「 JR C,」を採
用し、ＮＣ＝真ならジャンプ命令「 JR NC,」
を採用するものとする。

【００９４】第８行目と第９行目とは条件フラグ「Ｚ」
（ゼロ）に関する条件分岐命令を定義している。条件
「Ｚ」と条件「ＮＺ」（非ゼロ）とは逆条件の関係にあ
る。ここでは、Ｚ＝真ならジャンプ命令「 JR
Z,」を採用し、ＮＺ＝真ならジャンプ命令「
JR NZ,」を採用するものとする。

【００９５】第１０行目と第１１行目とは、条件フラグ
「ＰＯ」、「ＰＥ」に関する条件分岐命令を定義してい
る。条件「ＰＯ」と条件「ＰＥ」とは逆条件の関係にあ
る。ここでは、ＰＯ＝真ならジャンプ命令「 JP
PO,」を採用し、ＰＥ＝真ならジャンプ命令「
JP PE,」を採用する。

【００９６】第１２行目と第１３行目とは条件フラグ
「Ｐ」、「Ｍ」に関する条件分岐命令を定義している。
条件「Ｐ」と条件「Ｍ」とは逆条件の関係にある。ここ
では、Ｐ＝真ならジャンプ命令「 JP P,」を
採用し、Ｍ＝真ならジャンプ命令「 JP M,」
を採用する。

【００９７】第１４行目と第１５行目とは条件「B--=0
」、「B--<>0」に関する条件分岐命令を定義してい
る。条件「B--=0 」と「B--<>0」とは逆条件の関係にあ
る。ここでは、「B--=0 」＝真に対応するジャンプ命令
は存在していない。「B--<>0」＝真ならジャンプ命令
「 DJNJ 」を採用する。なお、条件「B--=0
」、「B--<>0」は「Ｚ−８０のＢレジスタの値を１引
いた後のＢレジスタの値が０ならば「B--=0 」＝真、０
でなければ「B--<>0」＝真」を示す条件記述である。

【００９８】図２９〜図３９に、図２７のホスト計算機
４１０上で実行される、アセンブラソースプログラム自
動生成のためのソフトウェアのフローチャートを示す。
なお本実施の形態では、上に述べたようにＺ−８０につ
いてのアセンブラソースプログラムを生成するが、図２
９〜図３９のフローチャートは、対象となるアセンブラ
言語の種類に依存しない。単に図２８に示すテーブル４
２０を、他のアセンブラ言語に対応したテーブルと置換
するだけでよい。以下、図２９〜図３９に示したフロー
チャートについて説明する。なおこのフローチャート
は、図１６〜図２６に示したソースプログラム自動生成
規則を実現するものである。

【００９９】図２９を参照して、自動生成アルゴリズム
のメインプログラムでは、まずステップＢ１で初期化処
理を行なう。初期化処理では、木構造チャートの各ボッ
クス要素を指し示すポインタや、出力されるソースプロ
グラム部のポインタなど、さまざまな変数の初期設定が
行なわれる。

【０１００】続いてステップＢ２で、自動生成したソー
スプログラムを一時的に記憶するためのソースバッファ
を確保する処理が行なわれる。

【０１０１】続いてステップＢ３で、図式ファイルの形
式でファイル装置に蓄えられている木構造チャートのチ
ャート名情報を読出す。この場合、どの木構造チャート
を変換するかは、たとえば画面上に表示された木構造チ
ャート名のリストのうち、所望の１つをマウスポインタ
などで選択することにより指定できる。読出されたチャ
ート名は、生成されるアセンブラソースで使用されるラ
ベル名文字列として記憶される。

【０１０２】続いてＢ４で、記憶したラベル名文字列
を、生成されるプログラム文字列の先頭ラベル名として
ソースバッファに出力する。さらにＢ５で、木構造チャ
ートの要素を指し示すポインタを、木構造チャートの最
初のボックスに進める。この場合の最初のボックスと
は、チャート名情報の直後に記憶されているボックスで
ある。

【０１０３】続いてＢ６で、実際に木構造チャートから
アセンブラプログラムを自動生成する手続を実行する。
この手続については図３０以下を参照してさらに詳細に
説明する。

【０１０４】Ｂ６のアセンブラプログラム２の自動生成
が終了したら、Ｂ７において、生成されたプログラムが
格納されているソースバッファの内容をファイル装置に
出力する。この場合、出力はプログラムソースファイル
の形式で行なわれる。その後ステップＢ８で自動生成処
理を終了する。

【０１０５】図３０および図３１は、図２９のＢ６で読
出される、実際に木構造チャートからアセンブラソース
を生成するチャートボックス解析処理のフローチャート
である。既に述べたように、本アルゴリズムでは再帰呼
出が許されている。そのためまずチャートボックス解析
処理のステップＣ１では、生成するアセンブラソースを
一時的に記憶するためのワークバッファをファイル装置
内に確保する。すなわち、このチャートボックス解析処
理が行なわれる度に、そのためのワークバッファが確保
される。

【０１０６】続いて木構造ボックス要素を指すポインタ
が示すボックスが、図１６〜図２６の木構造チャートの
どれと一致するかを、ステップＣ２、Ｃ４、Ｃ６、Ｃ
８、Ｃ１０、Ｃ１２、Ｃ１４、およびＣ１６の条件判断
部でそれぞれ判断し、一致した木構造チャートに対応し
た木構造チャート解析処理ルーチンをステップＣ３、Ｃ
５、Ｃ７、Ｃ９、Ｃ１１、Ｃ１３、Ｃ１５およびＣ１７
でそれぞれコールする。

【０１０７】コールされる木構造解析処理ルーチンは、
順次処理構造を解析する順次処理ルーチン（Ｃ３）と、
if then else構造を解析するためのif then else処理ル
ーチン（Ｃ５）と、if then 構造を解析するif then 処
理ルーチン（Ｃ７）と、repeat until構造を解析するた
めのrepeat until処理ルーチン（Ｃ９）と、do while構
造を解析するためのdo while構造処理ルーチン（Ｃ１
１）と、N+1/2 構造を解析するためのN+1/2 処理ルーチ
ン（Ｃ１３）と、JUMP構造を解析するJUMP処理ルーチン
（Ｃ１５）と、ラベル構造を解析するためのラベル処理
ルーチン（Ｃ１７）とを含む。

【０１０８】これらの解析ルーチンが終了するとワーク
バッファに解析結果がアセンブラソースとして格納され
る。

【０１０９】したがって図３１を参照して、ステップＣ
１８でこのワークバッファの内容をソースバッファに追
加する。

【０１１０】さらにＣ１９で、不要になったワークバッ
ファを解析し、Ｃ２０で木構造チャートを指すポインタ
を次のボックスに移す。

【０１１１】そしてＣ２１で、ポインタの指す位置に木
構造ボックスが存在するか否かについて判断する。木構
造ボックスが存在すれば、解析を継続するために図３０
のＣ１にジャンプする。木構造ボックスが存在しなけれ
ば制御はＣ２２に進み、サブルーチンをリターンする。

【０１１２】なお既に述べたようにこの図３０および図
３１に示したチャートボックス解析処理は、図２９のメ
インプログラムのみから呼出されるのではなく、図３０
でコールしたサブルーチンからも呼出すことができる再
帰的サブルーチンとなっている。これらサブルーチンか
らこのチャートボックス解析処理が呼出される場合に
は、この処理は解析結果を各サブルーチンに返すように
構成されている。

【０１１３】図３２は、図３０に示すＣ３でコールされ
る順次処理構造をアセンブラソースに変換するためのサ
ブルーチン処理である。この処理のステップＤ１では、
図２６（Ｂ）の自動生成規則を採用してアセンブラソー
スリストを生成し、ワークバッファに書込む。このとき
行なわれる処理は、図２６（Ｂ）に示されるように、ま
ず図２６（Ａ）に示される木構造チャートのボックス内
のリストＡの先頭に行先頭文字列（テーブルから得られ
る）を書込む。次に、アルゴリズムの区切りの意味でコ
メント文字列からなるコメント行をワークバッファに書
込んだ後Ｄ２に進んでリターンする。

【０１１４】図３３は、図３０のステップＣ５でコール
されるif then else構造をアセンブラソースに変換する
ためのサブルーチン処理のフローチャートを示す。まず
ステップＥ１で、条件１＝真に対応するジャンプ命令が
あるかどうかを図２８のテーブル４２０を参照して求め
る。より具体的には、図２８のテーブル４２０の各行の
中に「条件１」、「条件２」、「文字列」が定義された
「JUMP: 」で始まる行があるか否かを調べる。こうして
対応するジャンプ命令が存在すると判断された場合には
ステップＥ３に制御を進め、ジャンプ命令が存在しない
場合にはステップＥ２に制御を進める。

【０１１５】ステップＥ３では、条件１＝真に対応する
ジャンプ命令が存在する場合に対応して、後に使用する
ラベル名を新たに２個生成する。そしてステップＥ５に
処理を進め、図１６（Ｃ）に示される自動生成規則を採
用して、アセンブラソースを生成する。そして生成され
たアセンブラソースをワークバッファに書込む。なお、
図１６（Ｃ）の第４行目および第８行目に「チャートＣ
解析結果」「チャートＢ解析結果」とあるのは、図３０
に示したチャートボックス解析サブルーチンを再帰的に
コールして、図１６（Ａ）のif then else構造中に含ま
れるチャートＢ構造およびチャートＣ構造から自動生成
されたアセンブラソースのことを指す。

【０１１６】この再帰呼出時には、現在のワークバッフ
ァを出力先のソースバッファに指定してチャートボック
ス解析サブルーチンをコールする。チャートボックス解
析サブルーチンは、図３１のステップＣ１８で書込むソ
ースバッファとして、指定された現在のワークバッファ
を使用する。すなわち、自動生成されたチャートＢ、チ
ャートＣのアセンブラソースはそれぞれ、現在のワーク
バッファに出力された上チャートボックス解析サブルー
チンから図３３のサブルーチンに戻される。なお以降の
図において、同様の「チャートＢ解析結果」「チャート
Ｃ解析結果」などの記載がある場合、その内容は上述と
同じである。したがってその各々に対する詳しい説明を
繰返すことは行なわない。

【０１１７】再び図３３を参照して、ステップＥ５の処
理が終了すると制御はＥ６に進みサブルーチンを終了す
る。

【０１１８】条件１＝真に対応するジャンプ命令が存在
しない場合には、ステップＥ１からステップＥ２に制御
が進み、後に使用するラベルを２個生成する。次にステ
ップＥ４で図１６（Ｄ）の生成規則を採用してアセンブ
ラソースを生成する。生成されたアセンブラソースはワ
ークバッファに格納される。Ｅ４の後制御はＥ６に進み
サブルーチンが終了する。

【０１１９】図３４は図３０のＣ７でコールされるif t
hen 構造をアセンブラソースに変換するサブルーチン処
理である。まずＦ１で、条件２＝真に対応するジャンプ
命令が存在するかどうかについて判断する。条件２＝真
に対応するジャンプ命令が存在した場合には制御はステ
ップＦ３に、存在しない場合には制御はステップＦ２に
進む。

【０１２０】条件２＝真に対応するジャンプ命令が存在
した場合には、ステップＦ３で後に使用されるラベル名
を新たに１個生成する。続いてステップＦ５で、図１７
（Ｄ）に示される自動生成規則を採用してアセンブラソ
ースを生成する。生成されたアセンブラソースはワーク
バッファに書出される。その後制御はＦ６に進んでこの
サブルーチンを終了する。

【０１２１】一方条件２＝真に対応するジャンプ命令が
ない場合、ステップＦ２で後に使用されるラベル名を２
個新たに生成する。続いてＦ４で図１７（Ｅ）に示され
る自動生成規則を採用してアセンブラソースを生成す
る。生成されたアセンブラソースはワークバッファに書
込まれ、制御はステップＦ６に進んでこのサブルーチン
を終了する。

【０１２２】図３５は、図３０のＣ９でコールされるre
peat until構造をアセンブラソースに変換するサブルー
チン処理を示す。まずステップＧ１で、対象となるボッ
クスが図１８（Ａ）に示されるボックスかどうかについ
て判断する。もし対象となるボックスが図１８（Ａ）の
ボックスであれば制御はＧ３に、さもなければ対象とな
るボックスは図１９（Ａ）に示されるボックスであると
判断し制御はＧ２にそれぞれ進む。

【０１２３】Ｇ３では、条件２＝真に対応するジャンプ
命令が存在するか否かについて判断する。対応するジャ
ンプ命令が存在すれば制御はステップＧ７に、存在しな
い場合には制御はステップＧ６に、それぞれ進む。

【０１２４】ステップＧ７では、後に使用するラベル名
を新たに１個生成する。次いでＧ１１で、図１８（Ｃ）
の自動生成規則を採用して生成されたアセンブラソース
をワークバッファに書込み、Ｇ１２に制御を進めてサブ
ルーチンを終了する。

【０１２５】Ｇ３で条件２＝真に対応するジャンプ命令
が存在しないと判定された場合、Ｇ６でラベル名を２個
新たに生成する。その後Ｇ１０で図１８（Ｄ）に示され
る自動生成規則を採用してアセンブラソースを生成す
る。生成されたアセンブラソースはワークバッファに書
込まれる。その後制御はステップＧ１２に進み、このサ
ブルーチンを終了する。

【０１２６】一方、Ｇ１で対象となるボックスが図１８
（Ａ）のボックスではないと判定された場合、対象とな
るボックスは図１９（Ａ）のボックスであると判断し、
ステップＧ２で条件２＝真に対応するジャンプ命令があ
るかどうかについて判断する。対応するジャンプ命令が
あれば制御はステップＧ５に、なければＧ４にそれぞれ
進む。

【０１２７】対応するジャンプ命令がある場合、ステッ
プＧ５でまず後に使用するラベル名を１個生成する。続
いてステップＧ９で図１９（Ｃ）を採用してアセンブラ
ソースを生成し、ワークバッファに書込む。この後制御
はステップＧ１２に進んでこのサブルーチンを終了す
る。

【０１２８】一方ステップＧ２で条件２＝真に対応する
ジャンプ命令がないと判定された場合、まずステップＧ
４で後に使用するラベル名を２個新たに生成する。次い
でＧ８で図１９（Ｄ）の自動生成規則を採用してアセン
ブラソースを生成し、ワークバッファに書込む。この後
ステップＧ１２でこのサブルーチンを終了する。

【０１２９】図３６は、図３０のステップＣ１１でコー
ルされるdo while構造をアセンブラソースに変換するサ
ブルーチン処理のフローチャートである。また図３７
は、図３０のステップＣ１３でコールされるN+1/2 構造
をアセンブラソースに変換するためのサブルーチン処理
のフローチャートである。図３６および図３７の処理手
順はいずれも、図３５の処理手順とほぼ同一で、対象と
なるボックスの形状と、対応する自動生成規則とが異な
るだけである。したがって図３６および図３７について
は、その詳細な説明はここでは繰返さない。

【０１３０】図３８は図３０のＣ１５でコールされる、
JUMP構造をアセンブラソースに変換するためのサブルー
チン処理のフローチャートである。図３８を参照して、
まずステップＪ１で図２４（Ｂ）に示された自動生成規
則を採用してアセンブラソースを生成する。生成された
アセンブラソースはワークバッファに書込まれ、ステッ
プＪ２でこのサブルーチン処理を終了する。

【０１３１】図３９は図３０のＣ１７でコールされる、
ラベル構造をアセンブラソースに変換するためのサブル
ーチン処理のフローチャートである。ステップＫ１で、
図２５（Ｂ）の自動生成規則を採用してアセンブラソー
スを生成し、ワークバッファに書込む。この後制御はＫ
２に進みこのサブルーチンを終了する。

【０１３２】上述のアセンブラ言語プログラム生成装置
を用いて、実際に木構造チャートをアセンブラソースに
変換する例を示す。図４０に、拡張された木構造チャー
トの一例を示す。このチャートのモジュール名は「test
prog」である。

【０１３３】図４１に、図４０の木構造チャートの前半
の位置を示し、この木構造チャートがどのような図式フ
ァイルの形式で格納されているかを図４２に示す。図４
２において「↓」は改行を示す。

【０１３４】さらに図４３に、図４１に示すボックスの
うち「ＣＰ」のボックスについて示し、図４４にこのボ
ックスの図式ファイルの格納形式をわかりやすく示す。

【０１３５】本発明の装置ではこのような図式ファイル
を読込んで、これをアセンブラソースプログラムに変換
していく。

【０１３６】図４５〜図４８のそれぞれ左側に木構造チ
ャートの変換対象部分を、右側に自動生成されたアセン
ブラソースプログラムを示す。

【０１３７】まず、アセンブラソース自動生成メインプ
ログラムを起動する。このプログラムは図２９に示した
ものである。そして変数初期化およびソースバッファ確
保を行なった後、図４５に示すように図４０の木構造チ
ャートのチャート名「testprog」を読込み、ソースバッ
ファに出力する。図４５の右側がこのときのソースバッ
ファの内容を示す。

【０１３８】続いて図３０に示すチャートボックス解析
処理が実行される。この木構造チャートの最初の木構造
は図４６の左側に示す順次処理ボックスＬ１である。し
たがって図３２の処理に従ってアセンブラソースが生成
される。そして図３１のＣ１８でソースバッファに出力
された結果を図４６の右側に示す。

【０１３９】次に解析される木構造は図４７の左側に示
されるrepeat until構造Ｌ２である。このボックスは図
５３（Ｂ）のボックスであるので、図３５のＧ２に制御
が進む。図２８のテーブル４２０を参照すると、条件
「B--=0 」の逆条件「B--<>0」＝真に対応する条件ジャ
ンプ命令があることがわかる（テーブル４２０の最終
行）。そのためＧ２の判断結果はＹＥＳとなり制御はＧ
５およびＧ９に進む。Ｇ９で図１９（Ｃ）に従ったソー
ス生成を行なうことにより、図４７の右側に示されるワ
ークバッファ内容を得る。

【０１４０】ただしこのrepeat until構造中には、図４
０に示すＬ３〜Ｌ１０までの木構造（これは図４７右側
の「ソースＡ」の部分に対応する）が含まれているた
め、新たにワークバッファ２が確保され、図３０のチャ
ートボックス解析処理ルーチンが再帰的にコールされ
る。再帰的にコールされたチャートボックス解析ルーチ
ンは、これらボックスＬ３〜Ｌ１０までの木構造をさら
に解析してソース自動生成を行なってワークバッファに
出力する。図４８の上側は再帰的に解析されるチャート
の一部を示し、図４８の下側は第２のワークバッファに
出力されたチャートの一部のソース解析結果である。

【０１４１】このようにして木構造チャートのボックス
Ｌ３〜Ｌ１０からアセンブラソースを自動生成し、第２
のワークバッファに出力した結果が図４９（Ａ）であ
る。さらにこの結果を用いて、ワークバッファに生成さ
れるrepeat until構造Ｌ２全体のアセンブラソースを図
４９（Ｂ）に示す。図４９（Ｂ）のアセンブラソース
は、さらに図３１のＣ１８においてソースバッファに出
力される。

【０１４２】このようにして、図４０に示した木構造チ
ャートから自動生成され、ソースファイルに出力された
アセンブラソースプログラムリストを図５０に示す。こ
のアセンブラソースが図４０に示される木構造チャート
の変換結果である。

【０１４３】第２の実施形態 ところで、LONG JUMP 命令およびSHORT JUMP命令の区別
は、従来の木構造チャートでは表現できなかった。そこ
で、これら命令を区別するための記述を木構造チャート
の一部に明記するように拡張し、処理のどこでLONG JUM
P 命令が必要かを一目でかわるようにした拡張木構造チ
ャート表記法を以下に示す。第２の実施の形態はこのよ
うにさらに拡張された木構造チャートからアセンブラソ
ースを生成するためのものである。

【０１４４】以下の実施形態では、LONG JUMP 命令でな
いと飛び越せない大きさのソースリストはソースリスト
ボックスの左端を太線で強調することにし、さらにその
ボックスの近傍に「long」という表記を行なうこととし
た。以下、図５１〜６３を参照して、この拡張木構造チ
ャートの記述方法について説明する。

【０１４５】図５１に示すチャートは、if then else構
造中のチャートＢ構造がLONG JUMP命令でないと飛び越
せないことを示している。同時に、チャートＢ構造がLO
NG JUMP 命令でないと飛び越せないためにこのif then
else構造全体もLONG JUMP 命令でないと飛び越せないこ
とを示している。このチャートの図式ファイルとしての
保存形式を図５１の下部に示している。図５２以下で
も、各チャートに対応の図式ファイルの格納形式を各図
の右下に示す。

【０１４６】図５２（Ａ）（Ｂ）はいずれも、if then
構造中のチャートＢ構造およびif then 構造全体がLONG
JUMP 命令でないと飛び越せないことを示している。図
５３（Ａ）（Ｂ）の木構造チャートは、repeat until構
造中のチャートＢ構造がLONGJUMP 命令でないと飛び越
せないことを示している。図５４（Ａ）（Ｂ）（Ｃ）の
木構造チャートは、do while構造中のチャートＢ構造お
よびdo while構造全体がLONG JUMP 命令でないと飛び越
せないことを示している。

【０１４７】図５５〜図６０はいずれも、N+1/2 構造に
ついて示している。特に図５５および図５６は、チャー
トＢ構造およびN+1/2 構造全体がLONG JUMP 命令でない
と飛び越せないことを示している。図５７および図５８
はチャートＣ構造およびN+1/2 構造全体がLONG JUMP 命
令でないと飛び越せないことを示す。図５９および図６
０は、チャートＢ構造およびチャートＣ構造およびN+1/
2 構造全体がともにLONG JUMP 命令でないと飛び越せな
いことを示す。

【０１４８】図６１はジャンプ構造そのものを表わすチ
ャートであって、使用されるジャンプ命令がLONG JUMP
命令であることを示す。図６２にはラベル構造の記述を
示すが、ラベル構造ではLONG JUMP 指定はない。図６３
に順次処理のチャートを示す。順次処理のチャートで
は、ボックスの左端を太線にしてその左側に「long」の
文字を記載することにより、リストＡがLONG JUMP 命令
でないと飛び越せないことを示している。

【０１４９】上に述べたようにLONG JUMP 命令およびSH
ORT JUMP命令を区別して表記するように拡張された木構
造チャートからアセンブラソースリストを生成する際に
参照されるテーブルの形式を図６４に示す。図６４に示
すテーブル４３０は、第１の実施形態で使用したテーブ
ル４００（図１５）に、LONG JUMP 命令およびSHORTJUM
P命令に関する情報を付加したものである。

【０１５０】第１の実施形態のテーブル４００では、そ
の第４行目に示すように、条件１＝真に対応するアセン
ブラジャンプ命令を文字列１で示している。しかしこの
第２の実施形態では、アセンブラジャンプ命令の項目を
２つに増やした。そして、図６４の第４行目に示される
ように、条件１＝真に対応するアセンブラジャンプ命令
として文字列１と文字列４との２つを定義するように定
めた。ここで文字列１は条件１＝真に対応するアセンブ
ラSHORT JUMP命令であり、文字列４は条件１＝真に対応
するアセンブラLONG JUMP 命令を示すものとする。

【０１５１】図６４では、第５行目に、条件１＝偽と等
価な条件２＝真に対応するアセンブラSHORT JUMP命令を
文字列２で、アセンブラLONG JUMP 命令を文字列５で定
義している。６行目には、無条件にジャンプするアセン
ブラSHORT JUMP命令を文字列３で、アセンブラLONG JUM
P 命令を文字列６で定義している。

【０１５２】このようにある条件＝真に対応するアセン
ブラジャンプ命令としてSHORT JUMP命令とLONG JUMP 命
令とをテーブルで定義することにより、各種条件判断の
結果に従って、対応するアセンブラLONG JUMP 命令およ
びSHORT JUMP命令を簡単に求めることができる。

【０１５３】図５１〜図６３に示したようなLONG JUMP
命令およびSHORT JUMP命令の区別を許す拡張木構造チャ
ートから、図６４に示すテーブル４３０を参照して、種
々のＣＰＵに対してLONG JUMP 命令およびSHORT JUMP命
令を適宜用いたアセンブラソースプログラムを生成する
ために必要な、汎用のソースプログラム生成規則を得る
ことができる。以下、そうした普遍的なアセンブラソー
スプログラム生成規則（アルゴリズム）について説明す
る。なお以下に説明するアセンブラソースプログラム生
成規則は、第１の実施形態で使用された一連のソースプ
ログラムの自動生成規則に基づき、さらにアセンブラ言
語特有のLONG JUMP 命令およびSHORT JUMP命令の区別を
加味するようにしたものである。

【０１５４】図６５〜図７９に、この第２の実施形態の
装置で使用される自動生成規則を、対応する木構造チャ
ートと、各木構造チャートと等価なフローチャートとと
もに示している。なおこれらの図面のうち「条件１ SH
ORT JUMP命令あり」との記載は「条件１＝真でSHORT JU
MPするジャンプ命令がある」ことを示す。「条件１SHOR
T JUMP命令なし」とは「条件１＝真でSHORT JUMPするジ
ャンプ命令がない」ことを示す。「条件２ JUMP命令な
し」とは「条件２＝真でジャンプする命令はSHORT JUMP
命令もLONG JUMP 命令も存在しない」ことを示す。１つ
の生成規則に「条件１ SHORT JUMP命令なし」と「条件
２ LONG JUMP 命令あり」とが記載されている場合は、
その生成規則が両方の条件のＡＮＤ条件のときに適用さ
れることを示す。すなわち、上に述べた条件は「条件１
＝真でSHORT JUMPするジャンプ命令がなく、かつ、条件
２＝真でLONG JUMP するジャンプ命令がある」ことを示
す。

【０１５５】１つのチャートに複数の生成規則が定義さ
れている場合、その適用優先順序は図に付加されている
アルファベットの先の方が高い。これは、生成されるア
センブラソースプログラムの行数や、バイト数がより少
なくなるような規則を優先して適用するためである。す
なわち、たとえば図６５の生成規則（Ｃ）〜（Ｆ）のう
ちでは、まず（Ｃ）を最初に適用し、条件が成立しなけ
れば（Ｄ）を適用し、（Ｃ）も（Ｄ）も駄目であれば
（Ｅ）を適用し、（Ｅ）も駄目であれば（Ｆ）を適用
し、というようにアルファベットの始めの方から順に生
成規則を適用していくものとする。

【０１５６】図６５はif then else構造に対応するソー
ス自動生成規則である。図６５（Ａ）は図５１の木構造
チャートに対応したものであり、図６５（Ｂ）のフロー
チャートと等価である。条件１＝真に対応したSHORT JU
MP命令およびLONG JUMP 命令、ならびに条件２＝真に対
応したSHORT JUMP命令およびLONG JUMP 命令の有無に応
じて、図６５（Ｃ）〜（Ｆ）に示されたソース自動生成
規則を用いてアセンブラソースを自動生成する。

【０１５７】図６６はif then 構造に対応するソース自
動生成規則である。図６６（Ａ）は図５２（Ａ）に、図
６６（Ｂ）は図５２（Ｂ）に示されたものである。これ
らはif then 木構造のバリエーションをすべて記述する
ために、条件判断後に実行される処理（チャートＢ）の
木構造での位置を変えただけで、アルゴリズム的には同
一であって図６６（Ｃ）のフローチャートと等価であ
る。図６６（Ｄ）〜（Ｇ）に示されたソース自動生成規
則はそれぞれ、条件１＝真および条件２＝真に対応した
SHORT JUMP命令およびLONG JUMP 命令に有無に応じて適
用される規則である。

【０１５８】図６７および図６８はrepeat until構造に
対応するソース自動生成規則を示す。図６７（Ａ）は図
５３（Ａ）に、図６８（Ａ）は図５３（Ｂ）にそれぞれ
対応する。

【０１５９】図６７（Ａ）の木構造チャートは図６７
（Ｂ）のフローチャートと等価である。図６７（Ｃ）〜
（Ｆ）のソース自動生成規則は、条件１＝真、条件２＝
真に対応したSHORT JUMP命令およびLONG JUMP 命令の有
無に応じて適用される規則である。

【０１６０】図６８（Ａ）の木構造は図６８（Ｂ）のフ
ローチャートと等価である。条件１＝真、条件２＝真に
対応したSHORT JUMP命令およびLONG JUMP 命令の有無に
応じて図６８（Ｃ）〜（Ｆ）に示したソース自動生成規
則を適用することによりアセンブラソースを自動生成す
る。

【０１６１】図６９および図７０はそれぞれ、do while
構造に対応するソース自動生成規則を示す。図６９
（Ａ）は図５４（Ａ）の木構造チャートに対応する。図
７０（Ａ）および（Ｂ）はそれぞれ、図５４（Ｂ）およ
び（Ｃ）の木構造チャートに対応する。

【０１６２】図６９（Ａ）の木構造チャートは図６９
（Ｂ）のフローチャートと等価である。図６９（Ａ）の
do while構造は、飛び越すのにLONG JUMP 命令が必要な
チャートＢを構造内に持っている。そして、条件１＝
真、条件２＝真に対応したSHORTJUMP命令およびLONG JU
MP 命令の有無に応じて、図６９（Ｃ）〜（Ｆ）に示さ
れたソース自動生成規則を適用してアセンブラソースを
自動生成する。

【０１６３】図７０（Ａ）および（Ｂ）はいずれも図７
０（Ｃ）に示すフローチャートと等価である。条件１＝
真、条件２＝真に対応したSHORT JUMP命令およびLONG J
UMP命令の有無に応じて、図７０（Ｄ）〜（Ｇ）に示さ
れたソース自動生成規則を適用してアセンブラソースを
自動生成する。

【０１６４】図７１〜図７６は、N+1/2 構造に対応する
ソース自動生成規則を示す。図７１（Ａ）に示すN+1/2
構造は図５５に示す構造であり、図７１（Ｂ）に示すフ
ローチャートと等価である。このN+1/2 構造は、飛び越
すのにLONG JUMP 命令が必要なチャートＢを構造内に持
っている。条件１＝真、条件２＝真に対応したSHORT JU
MP命令およびLONG JUMP 命令の有無に応じて、図７１
（Ｃ）〜（Ｆ）を適用してアセンブラソースを自動生成
する。

【０１６５】図７２（Ａ）は図５６に対応したものであ
る。このN+1/2 構造は、飛び越すのにLONG JUMP 命令が
必要なチャートＢを構造内に持っており、図７２（Ｂ）
のフローチャートと等価である。この構造は条件１＝
真、条件２＝真に対応したSHORT JUMP命令およびLONG J
UMP 命令の有無に応じて図７２（Ｃ）〜（Ｆ）に示され
たソース自動生成規則を適用してアセンブラソースを自
動生成する。

【０１６６】図７３（Ａ）は図５７に示したN+1/2 構造
に対応している。このN+1/2 構造は飛び越すのにLONG J
UMP 命令が必要なチャートＣを構造内に持っており、図
７３（Ｂ）のフローチャートと等価である。条件１＝
真、条件２＝真に対応したSHORT JUMP命令およびLONG J
UMP 命令の有無に応じて、図７３（Ｃ）〜（Ｆ）に示さ
れたソース自動生成規則を適用してアセンブラソースを
自動生成する。

【０１６７】図７４（Ａ）に示したN+1/2 構造は図５８
に示したN+1/2 構造に対応したものである。このN+1/2
構造は、飛び越すのにLONG JUMP 命令が必要なチャート
Ｃを構造内に持っており、図７４（Ｂ）のフローチャー
トと等価である。条件１＝真、条件２＝真に対応したSH
ORT JUMP命令およびLONG JUMP 命令の有無に応じて、図
７４（Ｃ）〜（Ｆ）に示したソース自動生成規則を適用
してアセンブラソースを自動生成する。

【０１６８】図７５（Ａ）のN+1/2 構造は図５９に示し
たものである。この構造は、飛び越すのにLONG JUMP 命
令が必要なチャートＢおよびチャートＣをその構造内に
持っており、図７５（Ｂ）のフローチャートと等価であ
る。条件１＝真、条件２＝真に対応したSHORT JUMP命令
およびLONG JUMP 命令の有無に応じて、図７５（Ｃ）〜
（Ｆ）のソース自動生成規則を適用してアセンブラソー
スを自動生成する。

【０１６９】図７６（Ａ）は図６０に対応したN+1/2 構
造である。このN+1/2 構造は、飛び越すのにLONG JUMP
命令が必要なチャートＢおよびチャートＣをその構造内
に有しており、図７６（Ｂ）のフローチャートと等価で
ある。条件１＝真、条件２＝真に対応したSHORT JUMP命
令およびLONG JUMP 命令の有無に応じて、図７６（Ｃ）
〜（Ｆ）のソース自動生成規則を適用してアセンブラソ
ースを自動生成する。

【０１７０】図７７には、ジャンプ構造に対するソース
自動生成規則を示す。図７７（Ａ）は図６１に示したジ
ャンプ構造であり、それに対応したソース生成出力を図
７７（Ｂ）に示す。ジャンプ構造そのものは１行のアセ
ンブラ命令で表わされるので、飛び越すのにLONG JUMP
命令は必要ではない。しかしジャンプ命令そのものがSH
ORT JUMP命令またはLONG JUMP 命令となり得るので、図
７７（Ａ）に示されるようにジャンプ構造ボックスの左
端を太線にすることにより、採用されるジャンプ命令が
LONG JUMP 命令であることを示すように定義した。した
がってこの場合図７７（Ｂ）に示されるように、採用さ
れるジャンプ命令は文字列６（図６４参照）である。図
７８にラベル構造に対するソース自動生成規則を示す。
ラベル構造にはジャンプ命令は含まれない。そのため図
７８（Ｂ）に示されるソース自動生成規則は図２５
（Ｂ）に示される第１の実施の形態におけるソース自動
生成規則と異なるところがない。

【０１７１】図７９に、順次処理構造に対するソース生
成規則を示す。図７９（Ｂ）に示されるソース自動生成
規則は、図２６（Ｂ）に示される第１の実施の形態の生
成規則と同じである。しかしこの図７９の場合には、こ
の順次処理構造（リストＡ）を飛び越すのにLONG JUMP
命令が必要である。したがってこの順次処理構造を飛び
越すジャンプ命令があった場合には、そのジャンプ命令
をLONG JUMP 命令とする必要がある。

【０１７２】以上のような拡張された木構造チャートの
表記形式を用いて記述された木構造チャートをアセンブ
ラソースプログラムに変換するための第２の実施の形態
について説明する。ハードウエアとしては、この第２の
実施の形態は図２７に示される第１の実施の形態と同じ
ものを用いるが、しかし、図２８に示される第１の実施
の形態のテーブル４２０に代えて図８０に示すテーブル
４４０を用いる。なお図８０に示すテーブル４４０は、
Ｚ−８０のアセンブラソースプログラムを自動生成する
ために用いられるものであり、他のＣＰＵのアセンブラ
言語ソースプログラムを作成する場合には、そのアセン
ブラ言語に対応したテーブルを利用する必要がある。

【０１７３】後にこの第２の実施の形態を用いてアセン
ブラソースプログラムに変換される木構造チャートの例
を図８１に示す。この図８１の木構造チャートのチャー
ト名は「longprog」である。この木構造チャートを用い
た具体的な例については後述する。

【０１７４】図８０のテーブル４４０について以下説明
する。このテーブル４４０は、図６４のテーブル４３０
として基本的な考え方が示されたテーブルについてＺ−
８０を対象としたアセンブラ言語表現を適用したもので
ある。テーブル４４０の１行目はコメント行であって、
ソース自動生成には関係しない。

【０１７５】第２行目はアセンブラコマンド行の先頭に
挿入される行先頭文字列である。本実施の形態では文字
列「 」（スペース８個）を使用する。第３行目
はコメント行の先頭に付加するコメント文字である。本
実施の形態では「；」を使用する。第４行目はラベル行
においてラベルの後に付加する文字列を定義する。本実
施の形態では「：」を使用する。

【０１７６】第５行目〜第１５行目は、一連の条件分岐
に関するSHORT JUMP命令およびLONGJUMP 命令の定義で
ある。第５行目はSHORT JUMP命令「 JR 」、
およびLONG JUMP 命令「 JP 」を定義してい
る。条件および逆条件の両方がヌル文字で定義されてい
るため、このジャンプ命令「 JR 」および
「 JP 」は絶対ジャンプ命令であることがわ
かる。

【０１７７】第６行目と第７行目とは条件フラグ「Ｃ」
に関する条件分岐命令を定義している。条件「Ｃ」と条
件「ＮＣ」とは逆条件の関係にある。ここでは、Ｃ＝真
ならSHORT JUMP命令「 JR C,」またはLONG J
UMP 命令「 JP C,」を採用し、ＮＣ＝真ならS
HORT JUMP命令「 JR NC,」またはLONG JUMP
命令「 JP NC,」を採用する。

【０１７８】第８行目と第９行目とは条件フラグ「Ｚ」
に関する条件分岐命令を定義している。条件「Ｚ」と条
件「ＮＺ」とは逆条件の関係にある。ここでは、Ｚ＝真
ならSHORT JUMP命令「 JR Z,」またはLONG J
UMP 命令「 JP Z,」を採用し、ＮＺ＝真なら
SHORT JUMP命令「 JR NZ,」またはLONG JUMP
命令「 JP NZ,」を採用する。

【０１７９】第１０行目と第１１行目とは条件フラグ
「ＰＯ」，「ＰＥ」に関する条件分岐命令を定義してい
る。条件「ＰＯ」と条件「ＰＥ」とは逆条件の関係にあ
る。条件判断「ＰＯ」、「ＰＥ」はいずれもSHORT JUMP
命令は持たない。しかしLONG JUMP 命令はSHORT JUMP命
令として使用しても特に問題が生ずることはないので、
便宜上LONG JUMP 命令をSHORT JUMP命令としても定義し
ておく。ここではＰＯ＝真のときにはSHORT JUMP命令、
LONG JUMP 命令とも「 JP PO,」を採用し、Ｐ
Ｅ＝真ならSHORT JUMP命令、LONG JUMP 命令とも「
JP PE,」を採用するものとする。

【０１８０】第１２行目と第１３行目とは条件フラグ
「Ｐ」、「Ｍ」に関する条件分岐命令を定義している。
条件「Ｐ」と条件「Ｍ」とは逆条件の関係にある。条件
判断「Ｐ」、「Ｍ」はともにSHORT JUMP命令は持たな
い。しかしLONG JUMP 命令はSHORT JUMP命令命令として
使用しても特に問題はないので、便宜上LONG JUMP 命令
はSHORT JUMP命令としても定義しておく。ここではＰ＝
真ならSHORT JUMP命令、LONG JUMP 命令とも「
JP P,」を採用し、Ｍ＝真ならSHORT JUMP命令、LONG
JUMP 命令とも「 JP M,」を採用する。

【０１８１】第１４行目と第１５行目とは条件「B--=0
」、「B--<>0」に関する条件分岐命令を定義してい
る。条件「B--=0 」と条件「B--<>0」とは逆条件の関係
にある。ここでは、「B--=0 」＝真に対応するジャンプ
命令はSHORT JUMP命令およびLONGJUMP 命令のいずれも
ない。「B--<>0」＝真ならSHORT JUMP命令「 DJ
NZ」はあるがLONG JUMP 命令は存在しない。このため、
「B--<>0」＝真に対応するLONG JUMP 命令をソース自動
生成アルゴリズムが参照したときには、自動生成を中断
してエラーメッセージを出力するようにする。なお、条
件「B--=0 」、「B--<>0」は「Ｚ−８０のＢレジスタの
値を１引いた後のＢレジスタの値」が０であれば「B--=
0 」＝真、０でなければ「B--<>0」＝真を示す条件記述
である。

【０１８２】この第２の実施の形態の装置において、SH
ORT JUMPおよびLONG JUMP 記述がされた拡張木構造チャ
ートからアセンブラソースプログラムを自動生成するた
めの具体的な処理を図８２以下のフローチャートに示
す。なお本実施の形態ではＺ−８０のアセンブラソース
プログラムの生成について示しているが、図８０のテー
ブル４４０に代えて他のアセンブラ言語用のテーブルを
用いれば、同じフローチャートに従った処理で、別種の
アセンブラ言語用のソースプログラムを生成することが
できる。また図８３〜図１０２の処理は、第１の実施の
形態のチャートボックス解析処理と同じく、再帰呼出し
が可能な構造となっている。

【０１８３】図８２は自動生成アルゴリズムのメインプ
ログラムのフローチャートである。このフローのステッ
プＭ１〜Ｍ８はそれぞれ、図２９に示した第１の実施の
形態のメインプログラムのステップＢ１〜Ｂ８に対応
し、その内容も同一である。したがってここではこれら
についての詳しい説明は繰返さない。

【０１８４】図８３および図８４に、実際に木構造チャ
ートを解析してアセンブラソースプログラムを生成し、
ソースバッファに格納するサブルーチンであるチャート
ボックス解析処理のフローチャートを示す。図８３およ
び図８４に示したステップＮ１〜Ｎ２２はそれぞれ、図
３０および図３１に示した第１の実施の形態のチャート
ボックス解析処理の各ステップＣ１〜Ｃ２２と同じであ
る。したがって図８３および図８４についての詳細な説
明はここでは繰返さない。

【０１８５】なお本実施の形態では、木構造チャートが
LONG JUMP 構造を持つ場合にもソースプログラムを生成
できるものであるが、実際のプログラミングに当たって
は大部分の木構造がSHORT JUMP命令のみを含む場合が多
い。SHORT JUMP命令のみを用いる場合のアセンブラプロ
グラムの自動生成規則は、第１の実施の形態で使用した
フローチャートで示される処理をそのまま使用すること
ができる。したがって以下の説明では、木構造中にLONG
JUMP がない場合には第１の実施の形態で説明した対応
の構造に対する自動生成規則を流用するものとする。こ
の場合の各生成規則解釈は第１の実施の形態のものを使
用する。

【０１８６】図８５は図８３のチャートボックス解析処
理のステップＮ３でコールされる順次処理構造をアセン
ブラソースプログラムに変換するためのサブルーチン処
理のフローチャートを示す。ステップＰ１において、対
象とする順次処理ボックスにLONG JUMP 記述があるかど
うかについて判断する。LONG JUMP 記述がなければ制御
はＰ２に進み、図３２に示したSHORT JUMPのみのときの
アセンブラソースプログラム生成処理を実行する。一方
LONG JUMP 記述がある場合には制御はＰ３に進む。Ｐ３
では図７９（Ｂ）の生成規則を採用してアセンブラソー
スプログラムを生成し、ワークバッファに書込む。ステ
ップＰ２またはＰ３の後制御はＰ４に進みサブルーチン
を終了する。

【０１８７】図８６は、図８３のステップＮ５において
コールされるif then else構造をアセンブラソースプロ
グラムに変換するためのサブルーチン処理を示すフロー
チャートである。まずステップＱ１で、対象とするif t
hen else構造にLONG JUMP 記述があるかどうかについて
判断する。LONG JUMP 記述がなければ制御はステップＱ
２に進み、図３３に示したSHORT JUMPのみのときのアセ
ンブラソースプログラム生成処理を実行してステップＱ
１４に進み処理を終了する。

【０１８８】一方Ｑ１でLONG JUMP 記述があると判断さ
れた場合には、制御はＱ３に進む。Ｑ３では、条件１＝
真に対応するSHORT JUMP命令があるかどうかを判断す
る。条件１＝真に対応するSHORT JUMP命令が存在した場
合には制御はＱ４に進む。Ｑ４では後のステップＱ５で
使用するラベル名を２個新たに生成する。続いてＱ５で
は、図６５（Ｃ）に示された自動生成規則を採用してア
センブラソースプログラムを生成し、ワークバッファに
書込んだ後図８７のステップＱ１４に進んでサブルーチ
ンを終了する。

【０１８９】ステップＱ３で条件１＝真に対応するSHOR
T JUMP命令が存在しないと判定された場合には制御はス
テップＱ６に進む。Ｑ６では、条件２＝真に対応するLO
NG JUMP 命令があるかどうかについての判定が行なわれ
る。条件２＝真に対応するLONG JUMP 命令が存在する場
合には制御はＱ７に進む。Ｑ７では、後のＱ８で使用さ
れるラベル名を２個新たに生成する。次いでＱ８では、
図６５（Ｄ）に示された自動生成規則を採用してアセン
ブラソースプログラムを生成し、ワークバッファに書込
んだ後図８７のＱ１４に進んで処理を終了する。

【０１９０】Ｑ６で条件２＝真に対応するLONG JUMP 命
令が存在しないと判定された場合には図８７のＱ９に進
む。Ｑ９では、条件１＝真に対応するLONG JUMP 命令が
あるかどうかについての判定が行なわれる。条件１＝真
に対応するLONG JUMP 命令が存在する場合には制御はＱ
１０に進む。Ｑ１０では、後のＱ１１で使用されるラベ
ル名を２個新たに生成する。次いでステップＱ１１で、
図６５（Ｅ）の自動生成規則を採用してアセンブラソー
スプログラムを生成し、ワークバッファに書込んだ後Ｑ
１４に進んで処理を終了する。

【０１９１】一方Ｑ９で条件１＝真に対応するLONG JUM
P 命令が存在しないと判定された場合には制御はＱ１２
に進む。Ｑ１２では、後のＱ１３で使用されるラベル名
を３個新たに生成する。次いでＱ１３では、図６５
（Ｆ）に示された自動生成規則を採用してアセンブラソ
ースプログラムを生成し、ワークバッファに書込んだ後
Ｑ１４へ進んで処理を終了する。

【０１９２】図８８は、図８３のＮ７でコールされるif
then 構造をアセンブラソースに変換するためのサブル
ーチン処理を示すフローチャートである。図８８および
図８９における処理Ｒ１〜Ｒ１４は、基本的には図８６
および図８７の処理Ｑ１〜Ｑ１４と同様である。SHORT
JUMP命令しか存在しない場合には図３４のif then 処理
を実行する（Ｒ２）。LONG JUMP 構造が対象となるボッ
クスに含まれるときには、条件１＝真、条件２＝真に対
応するSHORT JUMP命令およびLONG JUMP 命令の有無によ
り、それぞれ図６６（Ｄ）〜（Ｇ）を採用してアセンブ
ラソースを生成し、ワークバッファに書込んだ後Ｒ１４
に制御を進めてこのサブルーチンを終了する。既に述べ
たように図８８および図８９の流れは図８６および図８
７と同様であるので、その詳細についてはここでは繰返
さない。

【０１９３】図９０〜図９２は、図８３のＮ９において
コールされる、repeat until構造をアセンブラソースプ
ログラムに変換するためのサブルーチン処理のフローチ
ャートである。ステップＳ１で、対象となるrepeat unt
il構造にLONG JUMP 記述が存在するかどうかを判断す
る。LONG JUMP 記述が存在しなければ制御はＳ２に進
み、図３５に示したSHORT JUMP命令のみのrepeat until
構造からアセンブラソースプログラムを生成するための
処理を実行してステップＳ３でこのサブルーチンを終了
する。

【０１９４】Ｓ１でLONG JUMP 記述があると判断された
場合には制御はＳ４に進む。Ｓ４では、対象となるrepe
at until構造が図６７（Ａ）に示されるボックスか否か
について判断する。ボックスが図６７（Ａ）のボックス
であれば制御はＳ６に、さもなければ制御はＳ５に進
む。

【０１９５】Ｓ６以下では、条件１＝真、条件２＝真に
対応するSHORT JUMP命令およびLONGJUMP 命令の有無に
より、それぞれ図６７（Ｃ）〜（Ｆ）の自動生成規則を
採用してアセンブラソースプログラムを生成し、ワーク
バッファに書込む（Ｓ８、Ｓ１０、Ｓ１４、Ｓ１６、Ｓ
２０、Ｓ２２、Ｓ２４、Ｓ２６）。その後制御はＳ２７
に進みこのサブルーチンは終了する。

【０１９６】一方Ｓ４でボックスが図６７（Ａ）のボッ
クスではないと判定された場合にはＳ５以下で、条件１
＝真、条件２＝真に対応するSHORT JUMP命令およびLONG
JUMP 命令の有無に従って、図６８（Ｃ）〜（Ｆ）の自
動生成規則を採用してアセンブラソースプログラムを生
成し、ワークバッファに書込む（Ｓ７、Ｓ９、Ｓ１３、
Ｓ１５、Ｓ１９、Ｓ２１、Ｓ２３、Ｓ２５）。その後制
御はＳ２７に進みこのサブルーチンは終了する。

【０１９７】図９３〜図９５は、図８３のＮ１１でコー
ルされる、do while構造をアセンブラソースプログラム
に変換するためのサブルーチン処理のフローチャートで
ある。まずＴ１で、対象とするdo while構造にLONG JUM
P 記述があるかどうかについて判定する。LONG JUMP 記
述がなければ制御はＴ２に進む。Ｔ２では図３６に示
す、SHORT JUMPのみのときのdo while処理からのアセン
ブラソース生成のための処理を実行する。その後制御は
Ｔ３に進みこのサブルーチンは終了する。

【０１９８】Ｔ１でLONG JUMP 記述があると判定された
場合には制御はＴ４に進む。Ｔ４では、対象とするdo w
hile構造のボックスが図６９（Ａ）のボックスかどうか
についての判定を行なう。図６９（Ａ）のボックスであ
れば制御はＴ６に、さもなけれが制御はＴ５にそれぞれ
進む。

【０１９９】処理対象とするdo while構造のボックスが
図６９（Ａ）のボックスの場合には、Ｔ６以下のステッ
プで、条件１＝真、条件２＝真に対応するSHORT JUMP命
令およびLONG JUMP 命令の有無により、それぞれ図６９
（Ｃ）〜（Ｆ）の自動生成規則を採用してアセンブラソ
ースプログラムを生成しワークバッファに書込む（Ｔ
８、Ｔ１０、Ｔ１４、Ｔ１６、Ｔ２０、Ｔ２２、Ｔ２
４、Ｔ２６）。この後制御はＴ２７に進みこのサブルー
チンを終了する。

【０２００】制御がＴ４からＴ５に進んだ場合には、Ｔ
５以下の処理で条件１＝真、条件２＝真に対応するSHOR
T JUMP命令およびLONG JUMP 命令の有無により、それぞ
れ図７０（Ｄ）〜（Ｇ）の自動生成規則を採用してアセ
ンブラソースプログラムを生成し、ワークバッファに書
込む（Ｔ７、Ｔ９、Ｔ１３、Ｔ１５、Ｔ１９、Ｔ２１、
Ｔ２３、Ｔ２５）。この後制御はＴ２７に進みこのサブ
ルーチンを終了する。

【０２０１】図９６〜図１０２は、図８３のＮ１３にお
いてコールされる、N+1/2 構造をアセンブラソースプロ
グラムに変換するためのサブルーチン処理のフローチャ
ートである。図９６を参照して、まずＵ１で、対象とす
るN+1/2 構造にLONG JUMP 記述があるかどうかについて
の判定を行なう。LONG JUMP 記述がなければ制御はＵ２
に進む。Ｕ２では、図３７のN+1/2 のループ処理に従っ
たアセンブラソース生成処理を実行する。この後制御は
図１０１のＵ７４に進みこのサブルーチンを終了する。

【０２０２】一方Ｕ１でLONG JUMP 記述があると判定さ
れた場合には制御はＵ３に進む。Ｕ３では、対象とする
N+1/2 構造が、図７１（Ａ）のボックスかどうかについ
ての判定を行なう。図７１（Ａ）のボックスであると判
定された場合には制御は図９７のＵ４に進む。Ｕ４以下
の処理では、条件１＝真、条件２＝真に対応するSHORT
JUMP命令およびLONG JUMP 命令の有無により、それぞれ
図７１（Ｃ）〜（Ｆ）に示される自動生成規則を採用し
てアセンブラソースプログラムを生成しワークバッファ
に書込む（Ｕ５、Ｕ６、Ｕ８、Ｕ９、Ｕ１１、Ｕ１２、
Ｕ１３、Ｕ１４）。この後制御は図１０１のＵ７４に進
みこのサブルーチンを終了する。

【０２０３】一方図９６のＵ３で、対象となるボックス
が図７１（Ａ）のボックスではないと判定された場合に
は制御はＵ１５に進む。Ｕ１５では、対象となるN+1/2
構造が図７２（Ａ）のボックスかどうかについての判定
を行なう。図７２（Ａ）のボックスであれば制御は図９
８のＵ１６に進む。Ｕ１６以下では、条件１＝真、条件
２＝真に対応するSHORT JUMP命令およびLONG JUMP 命令
の有無により、それぞれ図７２（Ｃ）〜（Ｆ）に示され
る自動生成規則を採用してアセンブラソースプログラム
を生成しワークバッファに書込む（Ｕ１７、Ｕ１８、Ｕ
２０、Ｕ２１、Ｕ２３、Ｕ２４、Ｕ２５、Ｕ２６）。こ
の後制御は図１０１のＵ７４に進みこのサブルーチンを
終了する。

【０２０４】再び図９６に戻り、Ｕ１５で対象となる構
造が図７２（Ａ）のボックスではないと判定された場合
には、制御はＵ２７に進む。Ｕ２７では、対象となるN+
1/2構造が図７３（Ａ）のボックスか否かについての判
定を行なう。図７３（Ａ）のボックスである場合には制
御は図９９のＵ２８に進む。Ｕ２８以下の処理では、条
件１＝真、条件２＝真に対応するSHORT JUMP命令および
LONG JUMP 命令の有無により、それぞれ図７３（Ｃ）〜
（Ｆ）に示された自動生成規則を採用してアセンブラソ
ースプログラムを生成してワークバッファに書込む（Ｕ
２９、Ｕ３０、Ｕ３２、Ｕ３３、Ｕ３５、Ｕ３６、Ｕ３
７、Ｕ３８）。この後このサブルーチンを終了する。

【０２０５】さらに図９６に戻り、Ｕ２７で対象となる
構造が図７３（Ａ）のボックスではないと判定された場
合には制御はＵ３９に進む。Ｕ３９では、対象となるN+
1/2構造が図７４（Ａ）のボックスか否かについての判
定を行なう。図７４（Ａ）のボックスであれば制御は図
１００のＵ４０に進む。Ｕ４０以下では、条件１＝真、
条件２＝真に対応するSHORT JUMP命令およびLONG JUMP
命令の有無により、それぞれ図７４（Ｃ）〜（Ｆ）に示
された自動生成規則を採用してアセンブラソースプログ
ラムを生成してワークバッファに書込む（Ｕ４１、Ｕ４
２、Ｕ４４、Ｕ４５、Ｕ４７、Ｕ４８、Ｕ４９、Ｕ５
０）。この後このサブルーチンを終了する。

【０２０６】再び図９６を参照して、Ｕ３９で対象とな
る構造が図７４（Ａ）のボックスではないと判定された
場合には制御はＵ５１に進む。Ｕ５１では、N+1/2 構造
が図７５（Ａ）のボックスか否かについての判定を行な
う。図７５（Ａ）のボックスであると判定された場合に
は制御は図１０１のＵ５３に進む。Ｕ５３以下では、条
件１＝真、条件２＝真に対応するSHORT JUMP命令および
LONG JUMP 命令の有無により、それぞれ図７５（Ｃ）〜
（Ｆ）に示された自動生成規則を採用してアセンブラソ
ースプログラムを生成しワークバッファに書込む（Ｕ５
５、Ｕ５７、Ｕ６１、Ｕ６３、Ｕ６７、Ｕ６９、Ｕ７
１、Ｕ７３）。この後このサブルーチンを終了する。

【０２０７】Ｕ５１において、対象となる構造が図７５
（Ａ）のボックスではないと判定された場合には制御は
図１０２のＵ５２に進む。Ｕ５２以下の処理では、条件
１＝真、条件２＝真に対応するSHORT JUMP命令およびLO
NG JUMP 命令の有無により、それぞれ図７６（Ｃ）〜
（Ｆ）に示された自動生成規則を採用してアセンブラソ
ースプログラムを生成しワークバッファに書込む（Ｕ５
４、Ｕ５６、Ｕ６０、Ｕ６２、Ｕ６６、Ｕ６８、Ｕ７
０、Ｕ７２）。この後制御はＵ７４に進みこのサブルー
チンを終了する。

【０２０８】図１０３に、図８４のＮ１５でコールされ
るジャンプ処理のサブルーチンのフローチャートを示
す。図１０３を参照して、Ｖ１において、対象とするJU
MP処理構造にLONG JUMP 記述が存在するか否かについて
の判定を行なう。LONG JUMP 記述がなければ制御はＶ２
に進み、図３８に示されるSHORT JUMPのみのときのジャ
ンプ処理を実行して処理を終了する（Ｖ４）。

【０２０９】一方LONG JUMP 記述がると判定された場合
には制御はＶ３に進む。Ｖ３では、図７７（Ｂ）に示さ
れた自動生成規則を採用してアセンブラソースプログラ
ムを生成しワークバッファに書込む。この後制御はＶ４
に進みこのサブルーチンを終了する。

【０２１０】図１０４は、図８４のＮ１７でコールされ
る、ラベル処理構造をアセンブラソースプログラムに変
換するためのサブルーチン処理のフローチャートであ
る。既に述べたようにラベル処理構造はLONG JUMP 、SH
ORT JUMPとは無関係な構造である。このためラベル処理
構造の変換では、まずステップＷ１で図７８（Ｂ）に示
された自動生成規則を採用してアセンブラソースプログ
ラムを生成しワークバッファに書込む。この後制御はＷ
２に進んでこの処理を終了する。

【０２１１】図１０５〜図１１０に、この第２の実施の
形態の装置を使用して、図８１に示す木構造チャート
「longprog」をアセンブラソースプログラムに自動変換
する経過を示す。このとき使用されるテーブルは図８０
のテーブル４４０である。

【０２１２】まず図８２に示されるメインプログラムを
起動する。そして変数初期化およびソースバッファ確保
を行なった後、図８１に示す木構造チャートのチャート
名「longprog」を読込みソースバッファに出力する。木
構造チャートのうち読込まれる部分を図１０５（Ａ）
に、ソースバッファへの出力結果を図１０５（Ｂ）に、
それぞれ示す。

【０２１３】次に図８３以下のチャートボックス解析に
移る。この図８１に示される木構造チャートの最初の木
構造は順次処理ボックスＸ１である。したがって図８５
の処理に従ってアセンブラソースプログラムを自動生成
し、ソースバッファに出力する。変換される木構造を図
１０６（Ａ）に、ソースバッファへの出力結果を図１０
６（Ｂ）にそれぞれ示す。

【０２１４】再び図８１を参照して、次に解析されるべ
き木構造はrepeat until構造Ｘ２である。この構造は図
９０〜図９２に示したフローチャートに従ってアセンブ
ラソースプログラムに変換される。図９０のＳ１におけ
る判断では、このrepeat until構造はLONG JUMP 記述さ
れた構造を内部構造に持っているため、制御はＳ４に進
む。Ｓ４の判断では、このrepeat until構造は図６７
（Ａ）のボックスであるので、制御はＳ５に進む。図８
０のテーブル４４０から、条件「B--=0 」＝真に対応す
るジャンプ命令はSHORT JUMP命令およびLONG JUMP 命令
のいずれも存在しない。また逆条件「B--<>0」＝真に対
応するジャンプ命令はLONG JUMP 命令が存在せずSHORT
JUMP命令のみ存在する。したがって制御はＳ２３および
Ｓ２５に進み、図１０７（Ｂ）に示される結果を得る。
ただし図１０７（Ａ）に示されるrepeat until構造内に
は図８１に示されるＸ３〜Ｘ１０までの木構造（「ソー
スＡ」）が含まれているため、新たに第２のワークバッ
ファを確保して図８３以下のチャートボックス解析処理
を再帰的にコールする。再帰的にコールされたチャート
ボックス解析ルーチンはＸ３〜Ｘ１０までの木構造をさ
らに解析してソース自動生成を行ない、その結果を返
す。図１０８（Ａ）は再帰的に解析されるチャートの一
部を示す。図１０８（Ｂ）は、第２のワークバッファに
出力される、図１０８（Ａ）に対応したチャート部分の
ソース解析内容である。このようにしてＸ３〜Ｘ１０ま
での木構造チャートからアセンブラソースプログラムを
自動生成し、第２のワークバッファに出力した結果を図
１０９（Ａ）に示す。

【０２１５】再帰呼出しされたチャートボックス解析ル
ーチンの終了時に、図１０９（Ａ）の結果を用いてワー
クバッファに生成されたrepeat until構造Ｘ２（図８
１）全体のアセンブラソースプログラムを図１０９
（Ｂ）に示す。このアセンブラソースプログラムは、図
８４のＮ１８に示されるように、さらにソースバッファ
に出力される。このようにして、図８１のＸ１〜Ｘ１２
までの木構造チャートから自動生成されソースファイル
に出力されたアセンブラソースプログラムが図１１０に
示したものである。これが、図８１に示す木構造チャー
トを自動変換によってＺ−８０のアセンブラソースプロ
グラムに変換したものである。

【０２１６】第３の実施形態 上の２つの実施の形態により自動生成されたソースリス
トについては、以下のような問題点が考えられる。たと
えば図１１１に示す木構造チャートをアセンブラソース
プログラムに変換する場合を考える。この場合、この木
構造チャートmultifは、構造的に同じ戻り位置を持つ２
つのif then 構造Ｙ２およびＹ３を持っている。そのた
め上述の実施の形態に従ってアセンブラソースプログラ
ムを自動生成した結果、図１１２に示すように、ソース
リストの同一位置に連続して２つのラベルmultif２およ
びmultif１が生成されることになる。

【０２１７】これら２つのラベルが重複していることに
は特別な意味はなく、むしろこれら２つのラベルはソー
スプログラムの複雑さを増し、プログラムの容量を無駄
に増加させるだけである。

【０２１８】したがってこのように同一位置にラベルが
生成された場合には、そのラベル名をどちらかに統一し
不要なラベルを削除することによって、冗長なラベルの
発生を防ぐようにする。そうすることにより、生成され
たアセンブラソースプログラムが簡略化されてより理解
しやすくなるとともに、ソースプログラムの容量が無駄
に増加することがなくなる。冗長なラベルを取除いた後
のソースリストは図１１３のようになる。

【０２１９】このように冗長なラベルを検出しラベルの
簡略化を行なう方法として、チャートボックス解析ルー
チンを図１１４および図１１５に示されるように変更す
ることが考えられる。図１１４および図１１５のチャー
トボックス解析サブルーチンが図３０および図３１に示
された第１の実施の形態のチャートボックス解析ルーチ
ンと異なるのは、ステップＣ１８の前に、ステップＣ２
３〜Ｃ２５を設けて、これにより重複したラベルを削除
するようにした点である。他の部分においては図１１４
および図１１５は図３０および図３１と同じであり、こ
こではその詳細については繰返さない。

【０２２０】特に図１１５を参照して、まずステップＣ
２３で、ワークバッファの最終行がラベル名か否かにつ
いての判定を行なう。ラベル名でなければラベルの重複
は起こり得ないから制御はＣ１８に進んでワークバッフ
ァの内容をソースバッファに書込む。一方Ｃ２３におい
てワークバッファの最終行がラベル名であると判定され
た場合には制御はＣ２４に進む。

【０２２１】Ｃ２４では、ソースバッファの次の行がラ
ベル名か否かについての判定を行なう。ソースバッファ
の次の行がラベル名でなければこの場合もラベルの重複
は起こらないので制御はＣ１８に進む。

【０２２２】ソースバッファの次の行がラベル名である
場合には制御はＣ２５に進む。Ｃ２５では、ワークバッ
ファ内のアセンブラソースプログラム中で言及されてい
るこのラベル名を、すべてＣ２４で検出されたラベル名
と一致するように変更するとともに、ワークバッファの
最終行を削除する処理を行なう。この処理の後制御をＣ
１８に進める。

【０２２３】このＣ２３〜Ｃ２５の処理をここに加える
ことにより、最終的に生成されるアセンブラソースプロ
グラムにおいて、ラベル名が無駄に重複することが避け
られる。

【０２２４】以上のように上述の実施の形態では、アセ
ンブラ言語に対応した木構造チャートの記述方法をＰＡ
Ｄチャートに対して拡張したが、他の木構造チャートに
対しても適用することができる。たとえば構造化フロー
チャート、ＳＰＤチャート、ＹＡＣＣチャート、ＨＣＰ
チャートなどが考えられる。さらに上述の実施の形態で
はアセンブラ言語についてソースプログラムを生成する
場合について説明したが、アセンブラ言語以外の非構造
化言語にも適用することができる。

【０２２５】上述の実施の形態では、木構造チャートか
らアセンブラソースプログラム自動生成を行なうとき
に、ＣＶＵやアセンブラ言語に依存せずに同じ処理手順
を用いて自動生成を行なうために、基本となる命令参照
テーブルを定めたこのテーブルは、テーブルファイルと
して自動生成プログラムとは分離した形式にして、ＣＰ
Ｕやアセンブラ言語が変わるたびにメンテナンスができ
るようにしてもよいし、ソースプログラム中にデータテ
ーブルとして固定して持たせることにより、単一のＣＰ
Ｕまたは言語の専用にしてもよい。

【図面の簡単な説明】

【図１】従来の書式によるＰＡＤチャートの一例を示す
図である。

【図２】従来の書式によるif then else構造のチャート
を示す図である。

【図３】従来の書式によるif then 構造のチャートを示
す図である。

【図４】従来の書式によるrepeat until構造のチャート
を示す図である。

【図５】従来の書式によるdo while構造のチャートを示
す図である。

【図６】従来にの書式による N＋1/2 構造のチャートを
示す図である。

【図７】従来の書式によるジャンプ構造のチャートを示
す図である。

【図８】従来の書式によるラベル構造のチャートを示す
図である。

【図９】従来の書式による順次処理のチャートを示す図
である。

【図１０】拡張された書式によるif then else構造のチ
ャートを示す図である。

【図１１】if then 構造の拡張木構造チャートを示す図
である。

【図１２】repeat until構造の拡張木構造チャートを示
す図である。

【図１３】do while構造の拡張木構造チャートを示す図
である。

【図１４】N＋1/2 構造の拡張木構造チャートを示す図
である。

【図１５】第１の実施形態で用いられるテーブルの一般
形式を示す図である。

【図１６】第１の実施形態におけるif then else構造の
アセンブラプログラム自動生成規則を示す図である。

【図１７】if then 構造のアセンブラソースプログラム
の自動生成規則を示す図である。

【図１８】repeat until構造のアセンブラソースプログ
ラムの自動生成規則を示す図である。

【図１９】repeat until構造のアセンブラソースプログ
ラムの自動生成規則を示す図である。

【図２０】do while構造のアセンブラソースプログラム
の自動生成規則を示す図である。

【図２１】do while構造のアセンブラソースプログラム
の自動生成規則を示す図である。

【図２２】N＋1/2 構造のアセンブラソースプログラム
の自動生成規則を示す図である。

【図２３】N＋1/2 構造のアセンブラソースプログラム
の自動生成規則を示す図である。

【図２４】第１の実施形態におけるジャンプ構造のアセ
ンブラソースプログラムの自動生成規則を示す図であ
る。

【図２５】第１の実施形態におけるラベル構造のアセン
ブラソースプログラムの自動生成規則を示す図である。

【図２６】第１の実施形態における順次処理構造のアセ
ンブラソースソースプログラムの自動生成規則を示す図
である。

【図２７】本発明の実施形態の装置を実現する計算機シ
ステムのブロック図である。

【図２８】第１の実施形態において用いられる具体的な
テーブルを示す図である。

【図２９】第１の実施形態のアセンブラソースプログラ
ム自動生成処理のメインプログラムフローチャートであ
る。

【図３０】チャートボックス解析サブルーチン処理のフ
ローチャートである。

【図３１】チャートボックス解析サブルーチン処理のフ
ローチャートである。

【図３２】順次処理のサブルーチンのフローチャートで
ある。

【図３３】if then else構造からのアセンブラソースプ
ログラムの自動生成サブルーチンのフローチャートであ
る。

【図３４】第１の実施形態におけるif then 構造からの
アセンブラソースプログラム生成処理のサブルーチンの
フローチャートである。

【図３５】第１の実施形態におけるrepeat until構造の
アセンブラソースプログラムの自動生成処理のサブルー
チンのフローチャートである。

【図３６】第１の実施形態におけるdo while構造のアセ
ンブラソースプログラムの自動生成処理のサブルーチン
のフローチャートである。

【図３７】第１の実施形態における N＋1/2 構造からの
アセンブラソースプログラムの自動生成処理のサブルー
チンのフローチャートである。

【図３８】第１の実施形態におけるジャンプ構造からの
アセンブラソースプログラムの自動生成処理のサブルー
チンのフローチャートである。

【図３９】第１の実施形態におけるラベル構造からのア
センブラソースプログラムの自動生成処理のサブルーチ
ンのフローチャートである。

【図４０】第１の実施形態の装置を用いてアセンブラソ
ースプログラムに変換される木構造チャートの例を示す
図である。

【図４１】図４０の木構造チャートの一部を示す木構造
チャート図である。

【図４２】図４１の木構造チャートの図式ファイルの格
納形式を示す図である。

【図４３】さらに一部の木構造チャートを示す図であ
る。

【図４４】図４３の木構造チャートの図式ファイルの格
納形式を簡略に示した図である。

【図４５】木構造チャートからのアセンブラソースプロ
グラムの自動生成の経過を示す図である。

【図４６】木構造チャートからのアセンブラソースプロ
グラムの自動生成の経過を示す図である。

【図４７】木構造チャートからのアセンブラソースプロ
グラムの自動生成の経過を示す図である。

【図４８】木構造チャートからのアセンブラソースプロ
グラムの自動生成の経過を示す図である。

【図４９】木構造チャートからのアセンブラソースプロ
グラムの自動生成の経過を示す図である。

【図５０】最終的に生成されるアセンブラソースプログ
ラムを示す図である。

【図５１】第２の実施形態におけるif then else構造の
拡張木構造チャートを示す図である。

【図５２】第２の実施形態におけるif then 構造の拡張
木構造チャートを示す図である。

【図５３】第２の実施形態におけるrepeat until構造の
拡張木構造チャートを示す図である。

【図５４】第２の実施形態におけるdo while構造の拡張
木構造チャートを示す図である。

【図５５】第２の実施形態における N＋1/2 構造の拡張
木構造チャートを示す図である。

【図５６】第２の実施形態における N＋1/2 構造の拡張
木構造チャートを示す図である。

【図５７】第２の実施形態における N＋1/2 構造の拡張
木構造チャートを示す図である。

【図５８】第２の実施形態における N＋1/2 構造の拡張
木構造チャートを示す図である。

【図５９】第２の実施形態における N＋1/2 構造の拡張
木構造チャートを示す図である。

【図６０】第２の実施形態における N＋1/2 構造の拡張
木構造チャートを示す図である。

【図６１】第２の実施形態におけるジャンプ構造の拡張
木構造チャートを示す図である。

【図６２】第２の実施形態におけるラベル構造の拡張木
構造チャートを示す図である。

【図６３】第２の実施形態における順次処理構造の拡張
木構造チャートを示す図である。

【図６４】第２の実施形態において用いられるテーブル
の一般形式を示す図である。

【図６５】第２の実施形態におけるif then else構造か
らのアセンブラソースプログラムの自動生成規則を示す
図である。

【図６６】第２の実施形態におけるif then 構造からの
アセンブラソースプログラムの自動生成規則を示す図で
ある。

【図６７】第２の実施形態におけるrepeat until構造か
らのアセンブラソースプログラムの自動生成規則を示す
図である。

【図６８】第２の実施形態におけるrepeat until構造か
らのアセンブラソースプログラムの自動生成規則を示す
図である。

【図６９】第２の実施形態におけるdo while構造からの
アセンブラソースプログラムの自動生成規則を示す図で
ある。

【図７０】第２の実施形態におけるdo while構造からの
アセンブラソースプログラムの自動生成規則を示す図で
ある。

【図７１】第２の実施形態における N＋1/2 構造からの
アセンブラソースプログラムの自動生成規則を示す図で
ある。

【図７２】第２の実施形態における N＋1/2 構造からの
アセンブラソースプログラムの自動生成規則を示す図で
ある。

【図７３】第２の実施形態における N＋1/2 構造からの
アセンブラソースプログラムの自動生成規則を示す図で
ある。

【図７４】第２の実施形態における N＋1/2 構造からの
アセンブラソースプログラムの自動生成規則を示す図で
ある。

【図７５】第２の実施形態における N＋1/2 構造からの
アセンブラソースプログラムの自動生成規則を示す図で
ある。

【図７６】第２の実施形態における N＋1/2 構造からの
アセンブラソースプログラムの自動生成規則を示す図で
ある。

【図７７】第２の実施形態におけるジャンプ構造からの
アセンブラソースプログラムの自動生成規則を示す図で
ある。

【図７８】第２の実施形態におけるラベル構造からのア
センブラソースプログラムの自動生成規則を示す図であ
る。

【図７９】第２の実施形態における順次処理構造からの
アセンブラソースプログラムの自動生成規則を示す図で
ある。

【図８０】第２の実施形態の装置において実際に用いら
れるテーブルを示す図である。

【図８１】第２の実施形態の装置を用いてアセンブラソ
ースプログラムに自動変換される木構造チャートの一例
を示す図である。

【図８２】第２の実施形態の装置におけるアセンブラソ
ースプログラムの自動生成処理のメインプログラムのフ
ローチャートである。

【図８３】第２の実施形態におけるチャートボックス解
析処理のサブルーチンのフローチャートである。

【図８４】第２の実施形態におけるチャートボックス解
析処理のサブルーチンのフローチャートである。

【図８５】第２の実施形態における順次処理構造からの
アセンブラソースプログラムの自動生成処理のサブルー
チンのフローチャートである。

【図８６】第２の実施形態におけるif then else構造か
らのアセンブラソースプログラムの自動生成処理のサブ
ルーチンのフローチャートである。

【図８７】第２の実施形態におけるif then else構造か
らのアセンブラソースプログラムの自動生成処理のサブ
ルーチンのフローチャートである。

【図８８】第２の実施形態におけるif then 構造からの
アセンブラソースプログラムの自動生成処理のサブルー
チンのフローチャートである。

【図８９】第２の実施形態におけるif then 構造からの
アセンブラソースプログラムの自動生成処理のサブルー
チンのフローチャートである。

【図９０】第２の実施形態の装置におけるrepeat until
構造からのアセンブラソースプログラムの自動生成処理
のサブルーチンのフローチャートである。

【図９１】第２の実施形態におけるrepeat until構造か
らのアセンブラソースプログラムの自動生成処理のサブ
ルーチンのフローチャートである。

【図９２】第２の実施形態におけるrepeat until構造か
らのアセンブラソースプログラムの自動生成処理のサブ
ルーチンのフローチャートである。

【図９３】第２の実施形態におけるdo while構造からの
アセンブラソースプログラムの自動生成処理のサブルー
チンのフローチャートである。

【図９４】第２の実施形態におけるdo while構造からの
アセンブラソースプログラムの自動生成処理のサブルー
チンのフローチャートである。

【図９５】第２の実施形態におけるdo while構造からの
アセンブラソースプログラムの自動生成処理のサブルー
チンのフローチャートである。

【図９６】第２の実施形態における N＋1/2 構造からの
アセンブラソースプログラムの自動生成処理のサブルー
チンのフローチャートである。

【図９７】第２の実施形態における N＋1/2 構造からの
アセンブラソースプログラムの自動生成処理のサブルー
チンのフローチャートである。

【図９８】第２の実施形態における N＋1/2 構造からの
アセンブラソースプログラムの自動生成処理のサブルー
チンのフローチャートである。

【図９９】第２の実施形態における N＋1/2 構造からの
アセンブラソースプログラムの自動生成処理のサブルー
チンのフローチャートである。

【図１００】第２の実施形態における N＋1/2 構造から
のアセンブラソースプログラムの自動生成処理のサブル
ーチンのフローチャートである。

【図１０１】第２の実施形態における N＋1/2 構造から
のアセンブラソースプログラムの自動生成処理のサブル
ーチンのフローチャートである。

【図１０２】第２の実施形態における N＋1/2 構造から
のアセンブラソースプログラムの自動生成処理のサブル
ーチンのフローチャートである。

【図１０３】第２の実施形態におけるジャンプ処理構造
からのアセンブラソースプログラムの自動生成処理のサ
ブルーチンのフローチャートである。

【図１０４】第２の実施形態におけるラベル処理構造か
らのアセンブラソースプログラムの自動生成処理のサブ
ルーチンのフローチャートである。

【図１０５】第２の実施形態の装置を用いて木構造チャ
ートからアセンブラソースプログラムを自動生成する処
理の経過を示す図である。

【図１０６】第２の実施形態の装置を用いて木構造チャ
ートからアセンブラソースプログラムを自動生成する処
理の経過を示す図である。

【図１０７】第２の実施形態の装置を用いて木構造チャ
ートからアセンブラソースプログラムを自動生成する処
理の経過を示す図である。

【図１０８】第２の実施形態の装置を用いて木構造チャ
ートからアセンブラソースプログラムを自動生成する処
理の経過を示す図である。

【図１０９】第２の実施形態の装置を用いて木構造チャ
ートからアセンブラソースプログラムを自動生成する処
理の経過を示す図である。

【図１１０】第２の実施形態の装置を用いて最終的に得
られるアセンブラソースプログラムを示す図である。

【図１１１】アセンブラソースプログラムの自動生成処
理に伴なう問題を指摘するための、木構造チャートの一
例を示す図である。

【図１１２】図１１１に示す木構造チャートから自動生
成されたアセンブラソースプログラムを示す図である。

【図１１３】図１１２のアセンブラソースプログラムか
ら、重複したラベルを削除したプログラムを示す図であ
る。

【図１１４】第３の実施形態の装置において実行される
プログラムのうち、チャートボックス解析のサブルーチ
ンのフローチャートである。

【図１１５】第３の実施形態の装置において実行される
プログラムのうち、チャートボックス解析のサブルーチ
ンのフローチャートである。

【符号の説明】

４１０ ホスト計算機 ４１２ プリンタ ４１４ ファイル装置 ４１６ ＣＲＴ端末 ４００、４３０ テーブル ４２０、４４０ Ｚ−８０用テーブル

Claims (4)

(57)【特許請求の範囲】
1. 【請求項１】 分岐に関するボックス中にソース行記述
   を許し、かつ分岐に関する各ボックスに、対応する判断
   条件の記述を許すように拡張された木構造チャートに基
   づいて、任意のアセンブラ言語のソースプログラムを生
   成するためのアセンブラ言語ソースプログラム生成装置
   であって、 目的となるアセンブラ言語の命令の記述形式を、異なる
   アセンブラ言語間で共通に定められた書式に従って記述
   したテーブルを記憶するための記憶手段と、 木構造チャートを読込んで、アセンブラ言語の種類に依
   存しない所定の変換手順に従ってアセンブラ言語のソー
   スプログラムを生成するための手段とを含み、 前記生成するための手段は、あるボックスからのソース
   プログラムの生成において、前記記憶手段に記憶された
   前記テーブル内の命令の記述形式を参照し、かつ対応す
   る前記ボックス内のソース行記述および判断条件の記述
   に基づいて、前記目的となるアセンブラ言語に適合した
   命令を生成する、アセンブラ言語ソースプログラム生成
   装置。
2. 【請求項２】 前記テーブルは、目的となるアセンブラ
   言語の、相補的な条件判断命令の相互の関係をさらに記
   述しており、 前記生成するための手段は、分岐を記述したボックスか
   らのソースプログラムの生成において、前記記憶手段に
   記憶された前記テーブル内の分岐命令の記述形式と、前
   記相補的な条件判断命令の相互の関係の記述とを参照
   し、かつ対応する前記ボックス内のソース行記述および
   判断条件の記述に基づいて、利用可能な分岐命令を定め
   ることにより、前記目的となるアセンブラ言語に適合し
   た分岐命令を生成する、請求項１に記載のアセンブラ言
   語ソースプログラム生成装置。
3. 【請求項３】 ジャンプ命令に関するボックス内にLONG
   JUMP 命令とSHORTJUMP命令との区別を記述することを
   許し、かつ分岐に関するボックス中にソース行記述を許
   すことにより、異なるアセンブラ言語について共通の形
   式で記述できるように拡張された木構造チャートに基づ
   いて、任意のアセンブラ言語のソースプログラムを生成
   するためのアセンブラ言語ソースプログラム生成装置で
   あって、 目的となるアセンブラ言語の命令の記述形式を、異なる
   アセンブラ言語間で共通に定められた書式に従って記述
   したテーブルを記憶するための記憶手段を含み、 前記テーブルは、LONG JUMP 命令とSHORT JUMP命令とを
   別個のものとして記憶しており、 前記アセンブラ言語ソースプログラム生成装置は、 木構造チャートを読込んで、アセンブラ言語の種類に依
   存せず、かつ、LONG JUMP 命令とSHORT JUMP命令とを区
   別する所定の変換手順に従ってアセンブラ言語のソース
   プログラムを生成するための手段をさらに含み、 前記生成するための手段は、あるボックスからのソース
   プログラムの生成において、前記記憶手段に記憶された
   前記テーブル内の命令の記述形式を参照し、かつ対応す
   る前記ボックス内のソース行記述とLONG JUMP 命令およ
   びSHORT JUMP命令の区別に関する記述に基づいて、前記
   目的となるアセンブラ言語に適合した命令を生成する、
   アセンブラ言語ソースプログラム生成装置。
4. 【請求項４】 条件判断に関するボックス中にソース行
   記述を許し、かつ条件判断に関するボックスに対する判
   断条件の記述を各ボックスに許すように拡張された木構
   造チャートに基づいて、任意のアセンブラ言語のソース
   プログラムを生成するためのアセンブラ言語ソースプロ
   グラム生成装置であって、 目的となるアセンブラ言語の命令の記述形式を、異なる
   アセンブラ言語間で共通に定められた書式に従って記述
   したテーブルを記憶するための記憶手段と、 木構造チャートを読込んで、アセンブラ言語の種類に依
   存しない所定の変換手順に従ってアセンブラ言語のソー
   スプログラムを生成するための手段とを含み、 前記生成するための手段は、あるボックスからのソース
   プログラムの生成において、ソースプログラム中にラベ
   ルを生成することがあり、 前記アセンブラ言語ソースプログラム生成装置はさら
   に、 前記生成するための手段によってソースプログラム中に
   重複して生成される複数個のラベルを検出するための重
   複ラベル検出手段と、 前記重複ラベル検出手段により検出された重複して生成
   される複数個のラベルのうち、あるものを残して他を削
   除するためのラベル削除手段とを含む、アセンブラ言語
   ソースプログラム生成装置。