JPH0225929A - フラグ消去支援方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 （概　要〕 本発明は入力されたプログラムからフラグなしの変換プ
ログラムを得るのに役立つフラグ消去支援方式に関し、 プログラムの判読性向上を目的とし、 フラグを含む手続型言語記述のソースプログラムのプロ
グラムデータを可視出力装置で可視出力するプログラム
出力システムにおいて、フラグ抽出部と、抽出されたフ
ラグデータを用いてフラグ定義文データを得、最も内側
にフラグ定義文データを含む分岐文についての合流点を
分離し、当該合流点で分離された技ソースプログラム（
パス）終端に該合流点以降のソースプログラム部分の始
端を接続するステートメントコピー部と、分岐文による
択一的な選択対象パスのうちの、当該分岐文で選択され
たパス以外のパスのためのデータ及び当該分岐文のため
のデータをプログラムデータの中から消去するステート
メント削除部と、消去処理後のプログラムデータの中か
らフラグデータを消去するフラグ削除部とを設けて構成
した。

〔産業上の利用分野〕

本発明は、ソースプログラムからそのフラグなしの変換
プログラムを得るのに役立つフラグ消去支援方式に関す
る。

プログラム内蔵式のディジタル処理システムにおいては
、そのプリントは、その多くはプログラム言語で作成さ
れる。そのソースプログラムにおいても、プログラム分
岐のためにフラグが用いられる。そして、そのフラグを
用いて記述されたソースプログラムがそのプログラム処
理目的を正しく記述しているものであるか否かを理解乃
至検証しなければならないことも又、他の記述方式にな
るプログラムの場合と同様、正しい処理結果を得る上で
必要不可欠な事柄である。

上述の理解乃至検証は、プログラムのテスト。

保守（機能の削除、変更、追加）時に必要になる。

〔従来の技術］ 上述の如き記述のソースプログラム自体は、そのプログ
ラム言語の記述ルールに従って記述されるものである。

例えば、第２図又は第８図（ソースプログラムをフロー
チャート形式で表したもの）に示すようなプログラムの
理解乃至検証においては、プログラムステップの逐一の
チエツクのほか、その分岐文Ｓｔ、３２，５０２，５０
３等における分岐の仕方を規定するフラグに注意を払い
ながら、そのプログラムを辿る必要がある。従来は、こ
のチエツクを人手によっていた。

〔発明が解決しようとする課題〕

従って、記述されているプログラムステップを１つずつ
辿るという原始的な手法であり、時間がかかるばかりで
なく、記述したプログラムステップの単なるチエツクだ
けでは正しいプログラムチエツクはできず、そのチエツ
クにおいて、上述フラグに対する注意を払わなければな
らないから、その煩わしさ、そのためのチエツク者にか
かって来る負担等は言葉では言い表し難いものである。

このことは、特にプログラムステップ数が多くなる場合
に顕著に現れて来る。

本発明は、斯かる問題に鑑みて創作されたもので、プロ
グラムの判読性向上に寄与し得るフラグ消去支援方式を
従供することをその１］的とする。

［課題を解決するための手段］ 第１図は本発明の原理ブロック図を示す。この図に示さ
れるように、本発明は、フラグ抽出部１０２と、ステー
トメントコピー部１０５と、ステートメント削除部１０
６と、フラグ削除部１０７とをプログラム出力システム
内にその要部構成要素として有する。フラグ抽出部１０
２は格納装置に格納され、手続型言語記述のソースプロ
グラム内で、且つ分岐制御のためのみに用いられるフラ
グのためのデータを前記ソースプログラムのためのプロ
グラムデータの中から抽出する。ステートメントコピー
部１０５は、抽出されたフラグのためのデータを用いて
フラグ定義文を得、最も内側にフラグ定義文を含む分岐
文についての合流点を分離し、当該合流点で分離された
各技ソースプログラム（以下、パスと略称する。）のプ
ログラムデータ終端に該合流点以降のソースプログラム
部分のプログラムデータ始端をコピー（接続）する。

ステートメント削除部１０６は、フラグが参照される分
岐文によって択一的に選択対象とされるパスのうちの、
当該分岐文で選択されたパス以外のパスのためのデータ
及び当該分岐文のデータをプログラムデータの中から消
去する。フラグ削除部１０７は、前記消去処理後のソー
スプログラムに含まれるフラグデータをプログラムデー
タの中から消去する。フラグ削除部１０７における処理
完了後の変換ソースプログラムのプログラムデータは上
述本発明処理なしの場合と同様、変換プログラムをプリ
ントアウトさせるべく可視出力装置へ供給される。

〔作　用］ 本発明におけるソースプログラムのプログラムデータの
中からフラグを消去する過程を第２図の参照の下に説明
する。

第２図（その１）に示されるフローチャートで表される
ソースプログラムのプロゲラｌ、データがフラグ抽出部
１０２で用いられ、その中に含まれるフラグデータが抽
出される。

ステートメントコピー部１０５において次の処理が行な
われる。

そのフラグデータを用いて定義文データを得、フラグ定
義文データを含み最も内側に存在する分岐文（第２図の
Ｓｌ）についての合流点（第２図のＣＯ）を分離し、当
該合流点で分離されたパスのプログラムデータ終端に該
合流点以降のソースプログラム部分のプログラムデータ
始端を接続する（第２図（その２）参照）。

ステートメント削除部１０６において次の処理が行なわ
れる。

分岐文において択一的に選択対象とされるパスのうちの
、当該分岐文で選択されたパス以外のパス及び当該分岐
文のデータをソースプログラムデータの中から消去する
。例えば、第２図（その２）の左側パスにおいてはε及
びＳ２、右側パスにおいてはδ及びＳ２を消去する。

そして、これらデータの消去されたソースプログラムデ
ータの中からフラグデータの消去がフラグ削除部１０７
において行なわれる。

この最後の処理完了で、本発明の意図する変換プログラ
ムが得られる。

従って、フラグが削除されているから、プログラムの判
読性は向上する。

〔実施例］ 第３図は本発明の一実施例のハードウェアを、そして第
４図乃至第７図はそのハードウェアで実行されるプログ
ラムの処理フローの各々を示す。

それらのプログラム並びにフラグ削除部１０７のプログ
ラム及びフラグ削除部１０７から出力された変換プログ
ラム１０８をプリンタ６からプリントアウトさせるプロ
グラムが第３図のメモリ４に格納されている。いずれの
プログラムも第３図の中央処理装置（ＣＰＵ）２へメモ
リ４からパス８を介して読み出されて来て実行されるが
、第４図処理フローを実行するプログラム及びそのハー
ドウェアが第１図のフラグ抽出部１０２に対応し、第５
図及び第６図処理フローを実行するプログラム及びその
ハードウェアが第１図のステートメントコピー部１０５
に対応し、第７図処理フローを実行するプログラム及び
そのハードウェアが第１図のステートメント削除部１０
６に対応する。

フラグ抽出部１０２の処理を第４図を用いて説明する。

第４図に示されるものは、本出願人の出願になる「フラ
グ識別支援方式」　（昭和６３年３月１７日出願）につ
いての要約である。

本発明に謂うフラグも又、ソースプログラムの内部変数
の範晴に含まれることから、先ずフローチャート作成対
象のソースプログラム１０１内のプログラムデータ（以
下、特に断らない限りプログラムという。分岐分、フラ
グ定義文等についても同様。）の内部変数を抽出し、そ
の内部変数と対応位置情報（例えば、行番号）とを対に
した内部変数テーブル（第４図の１１Ｏ）を作成する（
第４図のＳＬ）。内部変数テーブル内の各変数に対して
データフロー解析（公知の技法）を行ない、着目してい
る変数によって参照され得るすべての定義を各変数毎に
求めて（第４図の３２）各変数に対する到達可能な定義
の集合のテーブル（第４図の１１２）を作成する。その
テーブル内の集合を用いて着目している変数がフラグの
定義を満たすか否かを調べる。本発明の「フラグ」は、
プログラム内のあるステップにおける処理の仕方に応じ
て他の（時系列上において後位となる）ステップでの処
理を分岐させるか否かを制御するためにのみ用いられ、
しかも、そのような分岐制御のための参照はプログラム
内部でローカルにのみ使用され、他のプログラムによる
参照は生じないという関係において用いられるものとす
る。

上述内部変数のうち、フラグの定義を満たす変数とその
変数対応の位置情報とを対にしたフラグテーブル（第４
図の１１４）を作成する（第４図の３４）。このフラグ
テーブル１１４の作成でソースプログラム中のフラグの
抽出は終了する。

なお、後述する本発明要部説明から明らかなように、そ
のフラグの所在が判別し得るならば本発明の意図すると
ころは実現し得るので、フラグの抽出は上述のところに
限定されるものではない。

ステートメントコピー部１０５はフラグの定義文を含む
分岐文の合流点を分離し、当該合流点において分離され
たパスのデータ終端に前記合流点以降のソースプログラ
ム部分のデータ始端を接続（コピー）するものであるが
、これを具体的に説明すると次のようになる。

そこでの処理が開始されると、先ず上述フラグテーブル
１１４にフラグが存在しないか否かを調べる（第５図の
Ｓｌ）、存在すると、フラグテーブル１１４からそのフ
ラグ（要素）を１つ取り出しく第６図のＳ２）、そのフ
ラグＦＬＧに対し以下の処理を開始する。

フラグＦＬＧを参照するソースプログラム中の分岐文Ｓ
の各々を求め（第５図のＳ３）、フラグ（ＦＬＧ）定義
文の集合についてのフラグ定義文テーブルを作成する（
第５図の３４）。

そのフラグ定義文テーブルからフラグ定義文を１つ取り
出しく第５図のＳ５のｎ、ｏ、Ｓ６）、そのフラグ定義
文ＤＥＦを含む分岐がソースプログラム中に存在するか
否かを調べる（第６図の５７１）。もし存在するならば
、ＤＥＦを含む最も内側の分岐文Ｓ　ＤＥＦを取り出し
く第６図の３７２）、ｓ　ｏｔｒの合流点を分離し、そ
の合流点において分離されたパスのデータ終端に当該合
流点以降のソースプログラム部分のデータ始端をコピー
（接続）しく第６図の３７３）、各パス毎に以下の処理
を行なう。

ＤＥＦ以外のフラグの定義がないならば（第６図の３７
４のｎｏ）、フラグ定義文テーブルからＤＥＦを削除す
る（第６図の８７５）ことになるが、逆にあるならば（
第６図の３７４のｙｅｓ）、その定義を新たなりＥＦと
し、その新たなりＥＦにつき第５図のステップＳ６の実
行完了で第６図に示す再帰処理の実行を行なったと同様
の再帰処理の実行に入り、第６図に沿って説明したと同
様の処理終了後に対応ＤＥＦをフラグ定義文から削除す
る（第６図の８７５）。

これらの処理を行なうことにより、そのソースプログラ
ム内のＤＥＦを含む最も内側の分岐Ｓから、順次に同様
の分岐についての分離、コピーを為して形成されるソー
スプログラムがトリー状化される。その過程における各
分離、コピー処理において、上述の如くパスの中にＤＥ
Ｆ以外のＦＬＧの定義が存在しないならば、その都度そ
の分離。

コピー処理を生ぜしめた分岐についてＤＥＦをフラグ定
義文テーブルから削除する（第６図の３７５）。

フラグ定義文テーブルから削除されたＤＥＦで参照され
る分岐文によって択一的に選択対象とされる全パスのう
ちの、当該分岐文で選択されるパス以外のパス及び当該
分岐文の消去がステートメント削除部１０６で行なわれ
る（第６図の３８）。

その詳細は第７図参照の下で後述する。

上述のＤＥＦ削除によりそれだけＤＥＦが少なくなって
いるフラグ定義文テーブルから次に処理されるべき新た
なりＥＦをフラグ定義文テーブルから取り出し、上述ス
テートメント削除部１０５及びステートメント削除部１
０６の処理に入るが、その際にフラグ定義文テーブルに
処理対象のＤＥＦが残っていなくなれば（第５図の８５
のｙｅｓ）、フラグテーブル１１４に残されていて、次
に処理されるべきフラグを取り出し、そのフラグＦＬＧ
についてのフラグ定義文テーブルを作成する上述の処理
（第５図の３２．Ｓ３．Ｓ４）を為した後、そのフラグ
定義文テーブルについての上述ステップ、即ち第５図の
３１乃至Ｓ７、及び第６図の３７１乃至Ｓ７７、及びＳ
８の処理を行なう。

このような処理を繰り返すことにより、遂にフラグテー
ブル１１４も空になるならば、ステートメントコピー部
１０５の処理終了、上述構成の下では又、即ステートメ
ント削除部１０６の処理終了となる（第５図のＳｌのｙ
ｅｓ）。

上述ステートメント削除部１０６における２つの消去処
理は次のようにして行なわれる。

前記分離、コピー処理を為したときのパスの中に、ＤＥ
Ｆ以外のフラグ定義文が存在しない場合における該分離
、コピー処理対象となった分岐文Ｓ（コピーされたもの
も含む）の値（いずれのパスに分岐するかを決める値）
の決定に与かるフラグはいずれであり（第７図の３８１
）、それらフラグが前記分離、コピー処理対象となった
分岐文Ｓの入口において如何なる値（以下、ＶＡＬと称
する。）をとり得るかについての算定を行なう。

この値は、例えば本出願人の出願になる［プログラム変
数のとり得る値の推定支援方式」　（昭和６３年３月１
８日出願）によって求められる。それを要約していえば
、上述のデータフロー解析の結果データを用いてソース
プログラム内の位置δ及び変数Ｘ（第５図についての説
明参照）に対して、位置δにおいて変数Ｘのとり得る値
の集合（の−部）を求めるものである。

求められたＶＡＬを前記分岐文Ｓ内のフラグ（ＦＬＧ）
に代入したときに、その分岐文Ｓにおいて選択されるこ
とになるパスのみを残し、当該分岐文Ｓ及びその他のパ
スすべてを消去する（第７図の３８３）。

フラグ削除部１０７はステートメント削除部１０６にお
ける処理後に、フラグを変換中のソースプログラムデー
タの中から消去する。

上述実施例におけるフラグ削除例を以下に説明する。

フラグ消去対象のソースプログラムは第８図に示すもの
であり、フラグＦＬＧは１つであるとする。

このソースプログラム中のフラグＦＬＧの各々がフラグ
抽出部１０２の処理（第４図参照）において抽出され、
フラグテーブル（フラグのリスト）（ｆ　−１ｉｓｔ＝
　［Ｆ　ＬＧ）　）が求められる。

このフラグテーブルを用いてステートメントコピー部１
０５の処理、即ち第５図の３１．３２の処理により、そ
のフラグテーブルから取り出されたＦ　Ｌ　Ｇを参照す
る（前述の値（ＶＡＬ）を分岐変数値として分岐文に与
えるＦＬＧを持つ）参照分岐文Ｓを抽出する（第５図の
３３）。参照分岐文Ｓは第８図では５０８である。そし
て、そのＦＬＧについてのフラグ定義文の集合（フラグ
定義文テーブル）ｄ−１ｉｓｔを求める（第５図の３４
）。

フラグ定義文テーブルｄ　−１ｉｓｔ＝　（５０１，５
０４，５０６１である。ｄ　　１ｉｓｔ中の５０Ｘはソ
ースプログラム内の位置（行番号）を表している。

フラグ定義文テーブルから１つのフラグ定義文５０１（
ＤＥＦ）が取り出されるが（第５図のＳ６）、そのＤＥ
Ｆ　　５０１を含む分岐文は存在しないので（第６図の
３７１のｎｏ）、フラグ定義文テーブルから次のフラグ
定義文ＤＥＦ　　５０４が取り出される（第６図のＳ５
°、Ｓ６）。そして、このＤＥＦを含む最も内側の分岐
文５０３、即ちＳ　ＤＥＦが抽出される（第６図の５７
２）。この分岐文５０３についての合流点５０９を分離
し、その分離された各パス（５１１，５１３）のプログ
ラムデータ終端に該合流点５０９以陣のソースプログラ
ム部分についてのプログラムデータ始端をコピー（接続
）する（第６図の３７３）。そのコピーした状態を示す
のが第９図である。その中の５０８゛及び５０８°゛は
第８図、即ち第９図の５０８と同じものであり、コピー
であることを示す。

そのコピーされた各パスの中にフラグ定義文５０４以外
のフラグ定義文５０６が存在するので（第６図の３７４
のｙｅｓ）、上述したフラグ定義文５０１に対して為し
たと同様の処理をフラグ定義文５０６に対し施す（第６
図の３７６．５７７（Ｓ７１．　　Ｓ７２．Ｓ７３．Ｓ
７４に対応する））。即ち、フラグ定義文５０６を含む
最も内側の分岐文５０５、即ちＳ　ＤＥＦが抽出される
（第６図の３７２参照）。そして、分岐文５０３に対し
て施したと同様の処理、即ち分岐文５０５についての合
流点５１０を分離し、分離された各パス（５１４，５１
５，５１６）のプログラムデータ終端に該合流点５１０
以降のソースプログラム部分のプログラムデータ始端を
接続する（第６図の８７３）。このコピーした状態を示
すのが第１Ｏ図である。この図は元の図のコピ一部分だ
けを示す。

こうしてトリー構造化したパス５１４，５１５．５１６
のいずれにもフラグ定義文５０６以外のフラグ定義文を
含んでいないので（第６図の３７４のｎｏ）、フラグ定
義文テーブルからフラグ定義文５０６を削除する（第６
図の８７５）。

そして、この段剥においてフラグＦＬＧが参照される（
コピーされたものを含む）全分岐文Ｓ、即ち５０８，５
０８“、５０８”、５０Ｂ”’及び５０８　””の入口
において該フラグＦＬＧが取り得る値（ＶＡＬ）を求め
る（第８図の３８１．３８２）。この段剥において、例
えば分岐文５０８゜５０８’　、５０８”、５０Ｂ”’
及び５０　Ｂ　”の各入口における値がそれぞれＦＬＧ
　（０１，ＦＬＧ（Ｏ）、ＦＬＧ　（２）、Ｆｔ、ｃ　
（１）及びＦＬＧ（１）として求められたとする。これ
らの値を対応分岐文５０８，５０８′、５０Ｂ”、５０
８°°９及び５０　Ｂ　”’に代入したとき各分岐文に
おいて分岐される（選択される）パス以外のパス並びに
各分岐文５０８，５０８’　、５０Ｂ’、５０８°″及
び５０８　””をすべて、第１０図の如（トリー状へ変
換されつつあるソースプログラム（論理的に変換前のソ
ースプログラムと等価なもの）のデータの中から消去す
る（第８図の５８３）。こうして得られる変換途中のソ
ースプログラムをフローチャート形式で表したものが第
１１図である。

こうして、ステートメント削除部１０６の処理が終了す
ると、処理は第５図のステップＳ１へ戻る。そのときに
は、この段剥では、フラグテーブルは空になっており、
ステートメントコピー部１０５の処理、従ってステート
メント削除部１０６の処理も終了する。

上述の処理を受けた変換中のソ・−スプログラムの中に
残るフラグデータがフラグ削除部１０７の処理によりそ
のソースプログラムデータの中から消去される。

このフラグ削除部１０７における処理終了で得られる変
換プログラムのデータはプリンタ６でプリントアウトさ
せると、第１２図に示す如きフローチャートで表される
如き変換プログラムの上述言語記述のプログラムが出力
される。

なお、上記実施例における再帰処理の部分を他の構成に
してもよい。

〔発明の効果〕

以上述べたように本発明によれば、フラグなしで、ソー
スプログラムに等価なプログラムを得るのに役立つから
、プログラムの理解が容易となり、判読性が格段に向上
し、プログラムの検証に要する時間の大幅な短縮となる
。

【図面の簡単な説明】

第１図は本発明の原理ブロック図、 第２図は本発明原理説明のための図、 第３図はプログラム出力システムを示す図、第４図はフ
ラグ抽出部の処理説明図、 第５図はステートメントコピー部の処理フローを示す図
、 第６図は第５図再帰処理部の処理フローを示す図、第７
図はステートメント削除部の処理フローを示す図、 第８図はソースプログラムをフローチャート形式第９図
乃至第１１図は変換中のソースプログラムをフローチャ
ート形式で示す図、 第１２図は変換プログラムをフローチャート形式％式％ 第１図、第３図乃至第７図において、 １０１はソースプログラム、 １０２はフラグ抽出部、 １０６はステートメント削除部、 １０７はフラグ削除部、 １０８は変換プログラムである。 本発明の厘埋、アロックロ 第１図 末梵明魚埋説用のｔ；めの図 第２図（王の３） ７０ロク゛うＡｆＡ／’７シ又テへ フラク°紬弘却ノヌシ埋説明図 第４図 第 図与帰処鳴都の処ｔ１０− 第６図 ステートメニトコと種部の処星フロー ズテードメニト削除都の廻−１７０− 第７図 ソース７０ロク゛う瓜 を フローチャート形“ネＳ了・足、づ１囚麦−挟中のソー
スブログラベをフロー手十−ト暦表１・・示１図支１火
中 ／−スでロク゛ラムとフロー千や一ト彩良ゴ′元１目諮

Claims (1)

【特許請求の範囲】
1. （１）１つのプログラム内で、且つ分岐制御のみに用い
   られるフラグを含む手続型言語記述のソースプログラム
   （１０１）のプログラムデータを可視出力装置で可視出
   力するプログラム出力システムにおいて、 前記プログラムデータの中からフラグデータを抽出する
   フラグ抽出部（１０２）と、 抽出されたフラグデータを用いてフラグ定義文データを
   得、最も内側にフラグ定義文データを含む分岐文につい
   ての合流点を分離し、当該合流点で分離された枝ソース
   プログラム（以下、パスと略称する。）のプログラムデ
   ータ終端に該合流点以降のソースプログラム部分のプロ
   グラムデータ始端を接続するステートメントコピー部（
   １０５）フラグデータが参照される分岐文によって択一
   的に選択対象とされるパスのうちの、当該分岐文で選択
   されたパス以外のパスのためのデータ及び当該分岐文の
   ためのデータをプログラムデータの中から消去するステ
   ートメント削除部（１０６）と、 前記消去処理後のプログラムデータの中からそこに含ま
   れているフラグデータを消去するフラグ削除部（１０７
   ）とを設け、 ソースプログラム（１０１）からフラグを除いた変換プ
   ログラムのプログラムデータを前記可視出力装置へ供給
   することを特徴とするフラグ消去支援方式。