JPS6375835A - 目的コ−ド、プログラム・リスト及び設計文書を生成する装置 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 Ａ、産業上の利用分野 本発明は原始コード（原始プログラム〕に関する文書と
生成することに関し、特に、原始コードに埋め込まれて
いる設計文書ステートメントド抽出することに関するも
のである。

Ｂ、従来技術 ］ンピュータ・ソフトウェアに関する文書は、ソフトウ
ェアの作成後書かれるのが普通である。

この文書は、通常、ソフトウェアから分離している。但
し、ソフトウェア、特に原始コードの内部に文書と埋め
込んでおくのがプログラマ−の通常のやり方である。こ
の内部文書はコメント・ステートメントと呼ばれ、原始
コードが目的コード（目的プログラム）、即ち、機械で
実行可能なコードにコンパイルされるときに、コンパイ
ルされないテキスト情報分含む。コメント・ステートメ
ントは、通常、原始コード自体に保持されている全体的
ソフトウェアの小さな部分である。原始コード内のコメ
ントの使用に関する技術は米国特許第４４８８２５８号
に開示されている。この米国特許において説明されてい
る制御システムは、コメントが端末キーボードから入れ
られるとき、簡略コメント番号と生じる手段を有する。

コメントはプログラムとは別に記憶され且つユーザーに
対して自動的に表示される。コンピュータによって文書
と生成する従来技術の例は米国特許第４３７０７０７号
に開示されている。即ち、これは建築仕様及び指示の印
刷出力と自動的に生じるシステムを示している。このシ
ステムは複数の異なったファイルに記憶されているデー
タ分結合して所望の仕様及び指示として組立てる手段と
有する。

コンピュータ・プログラムの文書化に関する他の技術は
アイ・ビー・エム・テクニカル・ディスクロージャ・プ
レティン（Ｉ　ＢＭ　　ＴｅｃｈｎｉｃａｌＤｉｓｃｌ
ｏｓｕｒｅ　　Ｂｕｌｌｅｔｉｎ　）Ｖｏｌ、２４、Ｎ
ｏ。

１２、Ｍａｙ、１９８２の第６５４０頁の−１コアピユ
ータ・プログラム・ドキュ、メンテージョン（Ｃｏｍｐ
ｕｔｅｒ　　Ｐｒｏｇｒａｍ　　Ｄｏｃｕｍｅｎｔａｔ
ｉｏｎ）”と題する記事及びＶｏｌ、１５、Ｎ００７、
Ｄｅｃｅｍｂｅｒｓ１９７２の第２１５６〜２１５５頁
の１セルフ・ドキュメンテイング・マクロス（Ｓｅ１ｆ
−Ｄｏｃｕｍｅｎｔｉｎｇ　Ｍａｃｒｏｓ　）＝と題す
る記事において紹介されている。前者はコメント付き原
始コード分結合して文書を生成する方法と示しており、
後者は新しいマクロ命令オペランドであって、拡張され
るとき、その中の情報と含む文書を生じるものを示して
いる。

Ｃ０発明が解決しようとする問題点 従来技術では、原始コードに埋め込まれている文書に基
いて外部文書と生成することは行われていない。又、原
始コード内の文書に関して原始コード分検査することも
行われていない。本発明は、この様なことを行う新規な
装置と提供すること２目的としている。

Ｄ１問題点を解決するための手段 本発明による装置は、原始コード（原始プログラム）に
基いて、機械で実行可能な目的コード（目的プログラム
）、プログラム・リスト及び対応する設計文書を生成す
る。原始コードは、キーワード２含むインプリメンテー
ション・コードの複数のステートメントと、このインプ
リメンテーション・コードのキーワードに対応するワー
ドと含む設計文書コードの複数のステートメントとｔ含
む。該Ｒｅは原始コード分読取る入力手段と、インプリ
メンテーション−コードから目的コードと生成するコン
パイル手段とを有する。目的コードハインプリメンテー
ション・コードのキーワードから得られる実行可能な指
令を含む。プログラム・リストは原始コードにおいて出
現する順序で列挙された全てのコードのリストである。

更に、該装置は、原始コードにおいて出現する順序で全
てのキーワード及び対応する設計文書コードｌストアツ
ブすることによって設計文書と生成する。

実施例において、設計文書コードは設計コードであるこ
とを示す標識を含む。

又、実施例の装置は、インプリメンテーション・コード
が対応する設計文書コード分含むか否かを検査する検査
手段と、該検査手段の検査結果に応じて、原始コード内
で対応する設計文書コード会含まないインプリメンテー
ション・コードの位置と指示するエラー指示手段とを有
する。この実施例の場合、脱落エラーは、それが生じた
位置に設計コメント・テンプレートに挿入することによ
ってプログラム・リスト及び設計文書中に示される。

Ｅ、実施例 本発明はプログラムに関する文書？生成する。

文書の内容は最初にプログラムが作成されるときプログ
ラム・コードに埋め込まれるステートメントである。本
発明はプログラム・コードを書くのに使用される高水準
言語を、プログラム・コードにより実施されるアルゴリ
ズムと規定し且つ文書化する一連の低水準設計仕様ステ
ートメントを含むように拡張することを含む。設計仕様
ステートメントは設計コメントと呼ばれ、対応するイン
プリメンテーション・コードの目的を述べる。好ましい
実施例において、設計コメントとインプリメンテーショ
ン・コードとの対応関係は、インプリメンテーション・
コードの傍に設計コメントと置くことによって明らかに
されている。インプリメンテーション・コードのステー
トメントの目的を記述するに当り、設計コメントはコー
ド動作と記述するための高水準言語コード・ワード、即
ちキーワード会含む。キーワードはインプリメンテーシ
ョン・コードにおいて用いられているのと同じワードで
ある。

高水準言語で書かれたインプリメンテーション・コード
は、機械で実行可能なコード、即ち目的コードに変換す
る必要がある。高水準言語の原始コードと目的コードに
変換することは、コンパイラの使用によって行われる。

コンパイラは原始コードを入力として受は入れる計算機
において実行されるプログラムで１、原始プログラムの
機能？実現するように機械で実行可能な複数のステート
メントから成る目的プログラムと生成する。コンパイラ
の詳細は、例えば、１９７７年にアディソン、ウェスリ
ー、パブリッシング、カンバニイよシ発行されたエイ・
ブイ・エイハオ（Ａ、Ｖ。

Ａｈａｏ）及びジエイ・ディ・アルマン（Ｊ、Ｄ。

Ｕｌｌｍａｎ）著作の「コンパイラ設計の原理（Ｐｒｉ
ｎｃｉｐｌｅｓ　　ｏｆ　　Ｃｏｍｐｉｌｅｒ　　Ｄｅ
ｓｔｇｎ）、Ｊに記載されている。

本発明はコンパイラと用いて実現される。第１図はコン
パイラ１２を有するプロセッサ１４？示している。プロ
セッサ１４は入力として原始コードと受は取り、目的コ
ード２０、プログラム・リスト１６及び設計文書（コー
ド）１８を生成する。

従来技術においては、コンパイラは目的コード（機械で
実行可能な複数のステートメント）とプログラム・リス
トだけと生成する。本発明は現存のコンパイラと改良し
て、設計文書を別個の出力として生じることを意図した
ものである。又、本発明は、原始コードのステートメン
トに関して設計文書を検査して、設計文書中の脱落部、
あるいはインプリメンテーション・コードと対比して不
正確若しくは不整合な部分の指示を生じる手段？もたら
す。

第２図は本発明に従ったコンパイラ１２のブロック図で
ある。ブロック２２は１つの例外点を除いて通常のコン
パイラと同等の部分である。例外点は構文分析手続き２
４である。もちろん、ブロック２２外の構文）！Ｊ−２
６等も新規なものである。

構文分析手続き２４は原始ゴー１１０分受は取って、構
文ト’）　　２６に生成する。コンパイラの構文分析部
は、通常、パーサと呼ばれる。構文を分析して構文トリ
ート生成するパーサの機能は前記の文献「コンパイラ設
計の原理」の第４章及び第５章に記載されている。コン
パイラ１２は設計分析及び設計修正手続き２８において
構文トリー２６と分析して、設計修正手続文トリー３０
＝を生じる。設計修正済構文ト！Ｊ−５０の出力は設計
抽出手続き６２及び意味論的分析手続き３４の入力にな
っている。設計抽出手続き６２の出力は設計文書１８で
ある。意味論的分析手続き３４は中間言語６６と生じ、
後者は最適化手続き６８の入力になる。最適化手続き３
８の出力として生じる最適化中間言語４０はコード生成
手続き４２の入力になる。コード生成手続き４２Ｕ目的
コード２０及びプログラム・リスト１６ｉ生じる。目的
コード２０及びプログラム・リスト１６の生成は従来技
術に従って行われるので、詳しい説明は省くことにする
。一方、構文分析手続き２４における設計文書コードの
構文分析、構文に埋め込まれている設計文書コード２含
む構文）ＩＪ−２６の生成、設計文書の正確さと対応す
る原始コードに基いて検査する設計分析及び設計修正手
続き２８、設計文書コードと含む設計修正行構文トＩＪ
−３０の生成、及び設計抽出手続き３２は本発明に従っ
た新規なものである。

構文分析手続き２４は入力原始コードを調べて、そのコ
ードの複数の文字を、論理的に同じ部類に入るものと集
めた複数の群、即ちトークンに分ける。通常のトークン
は、ＦＯＲＴＲＡＮで用いられているＤｏやＩＦ等のキ
ーワード、変数名ＸやＮＵＭ等の識別子、＝や十等の演
算子記号、及び（や１等の句読記号である。これらのト
ークンは次に分析されるトークンのストリームとして供
給される。分析手続きは２つの機能と含む。第１の機能
はトークンが原始言語の仕様によって許容されるパター
ンで生じるか否かを分析する機能であシ、第２の機能は
コンパイラの後続の手続きにおいて使用すべきトークン
のトリー状構造分生じる機能である。構文トリーの生成
について説明するに当シ、幾つかの記号と使用する。な
お、構文トリーの生成に関する記号の使用態様は本発明
独特のものであるが、構文トリ−ト生成する方法自体は
当技術分野において周知のものであり、前記参考文献に
おいて詳しく説明されている。

構文トリーはブランチ・ノードとリーフ・ノードの両方
を含む。ブランチ・ノードの記号は第３Ａ図に示されて
いる。ブランチ・ノード・ブロック５０は構成の型と規
定する部分５２と３つの設計コード・ステータス・フィ
ールド５４．５６．５８とから成る。フィールド５４は
自己設計フィールドど名付けられており、構成設計仕様
が整合（Ｃ）、不整合ＣＩ）及び無しＮのいずれである
かを示す。

同様に、フィールド５６はトップ設計フィールドと名付
けられており、構成の直接構成要素に関する設計仕様が
整合しているか否かを示す。更に、フィールド５８はデ
ィープ設計フィールドと名付けられておシ、最上位レベ
ルよυ下の構成要素に関する設計仕様が整合しているか
否かを示す。ブランチ・ノード５０は、最上位のデセン
ダント（子ノードに対する接続を示す矢印６０、次位の
シブリング（兄弟）ノードに対する接続分示す矢印６２
、及びペアレント（親）ノードに対する接続と示す矢印
６４を有する。

自己設計フィールド５４は、最上位デセンダントが設計
コメントであるならば、整合（Ｃ）　ｅ示し、そうでな
ければ、無しＣＮ）’＆示すようにセットされる。

トップ設計フィールド５６は、少なくとも１つのサブト
リーがあり、全てのサブトリーがそれぞれ整合を示す自
己設計フィールドと有するならば、整合（Ｃ）を示すよ
うにセットされる。少なくとも２つのサブトリーがあり
、そのうちの少なくとも１つのサブトリーが整合と示す
自己設計フィールドと有し且つ他の少なくとも１つのサ
ブトリーが無しｔ示す自己設計フィールドを有する場合
には、トップ設計フィールド５６は不整合（Ｉ）Ｔｈ示
すようにセットされる。全くサブトリーが・無い場合又
は全てのサブトリーが無しを示す自己設計フィールド？
有する場合には、トップ設計フィールド５６は無しくＮ
Ｊ＆示すようにセントされる。

ディープ設計フィールド５８は、不整合２示すトップ設
計フィールドと有するサブトリーが全然無い場合又は不
整合と示すディープ設計フィールドを有するサブトリー
が全然無い場合には、整合と示すようにセットされる。

不整合と示すトップ設計タス・フィールド又は不整合と
示すディープ設計フィールドと有するサブトリーが１つ
でもあれば、ディープ設計フィールド５８は不整合２示
すようにセットされる。

第６Ｂ図はリーフ・ノード７０分示すものである。リー
フ・ノード７０は記号の型と規定する部分６６と記号と
含む部分６８と有する。矢印７２はリーフ・ノード７０
をペアレント・ノードに接続し、矢印７４はリーフ・ノ
ード７０と次位のシブリング・ノード（存在する場合）
に接続する。

リーフ・ノード７０及びブランチ・ノード５０は、実施
例において構文）ＩＪ　−、、構成するために用いられ
る。本文末尾の第１表はＰａ５ｃａｌで記述したソース
・コードの例示示している。なお、Ｐａ５ｃａｌに限ら
ず、任意の高水準言語が使用可能である。実際の設計文
書ステートメントは設計コメントの先頭にある！で指定
されている。第１表に示されているように、設計コメン
トの位置は高水準言語のインプリメンテーション・コー
ドに隣接している。第１表のＰａ５ｃａｌコード７６は
、”５ｅａｒｃｈ″と名付けられたサブルーチンを用い
て反復的サーチを行うための一組のコード・ステートメ
ントである。コードの先頭に感嘆符と含み、これによっ
て設計コメントであることが表示されている。又、コー
ド８２はＰａ５ｃａｌキーワード（ＩＦ）及び指定され
たとお９の設計コメントヲ含む。

構文トリーの一部分の形成と例示するために、コード８
０は第４図のブランチ・ノード及びリーフ・ノード記号
を用いて分析される。第４図において、ブランチ・ノー
ド９２は構成？ステートメントとして指定する。又、ブ
ランチ・ノード９２は無しを表わすＮにセットされた自
己設計フィールドを有する。トップ設計フィールドもＮ
である。

ディープ設計フィールドは整合と表わすＣである。

ブランチ・ノード９２は線９６によってリーフ・ノード
９４に接続されている。リーフ・ノード９４は記号がキ
ーワードであり、実際の記号が“ｃａｌｌ“であること
ｔ示している。リーフ・ノード９４は線１００によって
次位のシブリング（ノード）１０２に接続されている。

シブリング１０２は識別子“５ｅａｒｃｈ″を含み、矢
印１０４によって次位のシブリング１０６に接続されて
いる。

シブリング１０６は演算子“（″と含み、線１０８によ
って次位のシブリング１１０に接続されている。シブリ
ング１１０は識別子ＮＳを含み、線１１２によって次位
のシブリング１１４に接続されている。シブリング１１
４は演算子”）”を含み、線９８によってペアレントと
してのブランチ・ノード９２に接続されている。第１表
のコードは、第５図に示されている設計ステータス・フ
ィールドの整合情報を有する構文トリーを用いて分析さ
れる。

第１表のコード全体に関する構文トリーは第５図に示す
とおシであシ、この構文トリーを用いてコードの分析が
行われる。なお、これは第２図の構文分析手続き２４の
結果として得られる構文トＩＪ　−２６である。先ず、
第５図のノード９２の設計ステータス・フィールドにつ
いて説明する。キーワードｃａｌｌ″の前に設計ステー
トメントが存在しないので、自己設計フィールドは無し
を表わすＮｉ含む。呼出しくｃａｌｌ）ステートメント
の構成要素に関する設計ステートメントも無いので、ト
ップ設計フィールドもＮｉ含む。トップ・レベルの下に
設計構成要素が無いので、ディープ設計フィールドは整
合と表わすＣを含む。

第６Ａ図は第２図の設計分析及び設計修正手続き２８の
詳細を示す流れ図である。この手続きは第５図のノード
７６に対応する構文トリーのルート（根）から始まる。

次のステップ１２２において、現ノードがブランチか否
かと判断する。ブランチならば、線１２４を介してステ
ップ１２８へ進む。

ブランチでなければ、線１２６ｆ（介してステップ１３
０へ進み、次位の７プリ／グへ移行する。これについて
は、後で第６Ｂ図を参照して詳しく説明する。ステップ
１６０による次位のシブリングへの移行後、線１４０と
介してステップ１５２へ進み、移行手続きによりトリー
から出るべきか否かを判断する。再びステップ１２２に
戻って説明すると、現ノードがブランチの場合、ステッ
プ１２８へ進み、現ノードの自己設計フィールドがＮで
あるか否かを判断する。Ｎでなければ、ステップ１３４
は実行せず、線１５７を介してステップ１３８へ進み、
Ｎであれば、線１３２を介してステップ１３４へ進む。

ステップ１６４において、現ノードの第１のデセンダン
トとして新しいブランク設計コメント（ノード）を挿入
し、且つ現ノードの自己設計フィールドをＣに変更する
。次に、線１３６分介してステップ１３８へ進み、現ノ
ードのトップ設計フィールド又はディープ設計フィール
ドがＩであるか否か分判断する。いずれかに該当する場
合、線１４２１ｆＩ：介してステップ１４６へ進み、第
１のデセンダントへ移行する。該当しない場合、線１４
４を介してステップ１４８へ進み、後で第６Ｂ図を参照
して詳しく説明するように、次位のシブリングへ移行す
る。ステップ１４６及び１４８のいずれかの実行後、線
１５０を介して判断ステップ１５２へ進む。トリーから
出るべきでない場合、１ｍ１５６に介してステップ１２
２へ戻る。トリーから出るべきであるならば、線１５４
と介して手続きを終了する。

第６Ｂ図は第６Ａ図のステップ１３０及び１４８におけ
る次位のシブリングへの移行に関する流れ図である。ス
テップ１６０に示すように、現ノードから動作を開始し
、次のステップ１６２へ進み、次位のシブリングが有る
か否かを判断する。

有る場合、線１６４ｆｃ介してステップ１８６へ進み、
次位のシブリングへ移９、線１８４を介して移行処理を
終了する。次位のシブリングが無い場合、線１６６を介
してステップ１６８へ進ミ、ペアレント（ノード）か有
るか否かを判断する。ペアレントが無い場合、線１７２
を介してステップ１８２へ進み、トリーから出る。そし
て、線１８４を介して動作を終了する。ペアレントが有
る場合、線１７０を介してステップ１７４へ進ミ、ペア
レントへ移る。ステップ１７４の実行後、線１７６と介
してステップ１７８へ進み、トップ設計フィールド及び
ディープ設計フィールドの両方をＣにセットする。ステ
ップ１７８の実行後、線１８０を介してステップ１６２
へ戻る。

第７図は第５図の構文トリーの一部分を修正する処理と
示すものである。先ず、ブランチ・ノード７８はＮにセ
ットされた自己設計フィールド、Ｎにセットされたトッ
プ設計フィールド、及び■にセットされたディープ設計
フィールドと有するものとして規定されている。従って
、ブランチ・ノード９２はＮＮＣにセットされた設計コ
ード・ステータス・フィールドを有する。修正された構
文トリーは図示の如く追加された設計コメント７９及び
９３と含む。これらは設計コメント・テンプレートとし
て追加されておシ、図示の如く、ステートメントが設計
コード・ステートメントであることを示す感嘆符と、脱
落があったことを示すブランク・ラインとを含む。ブラ
ンチ・ノード９２′は、設計コメント９５の追加を反映
してＣに変更された自己設計フィールド分有する。同様
に、ブランチ・ノード７８′は設計コメント７９の追加
を反映してＣに変更された自己設計フィールドと、設計
コメント９３の追加を反映して共にＣに変更されたトッ
プ設計フィールド及びディープ設計フィールドと含む。

第６Ａ図及び第６Ｂ図のアルゴリズムの実行により修正
された形の第５図の構文トリーは第８＠に示されている
。図示の如く、幾つかの設計コメント・テンプレートが
構文トリーに挿入されてお）、それに応じてブランチ・
ノードの適当な設計ステータス・フィールドが修正され
ている。

第１表の原始コードについて得られるプログラム・リス
トは第２表に示されている。設計コメント・テンプレー
トの追加により、どこで追加の設計コメントが必要であ
るかをプログラマ−に指示している。

再び第２図を参照すると、設計抽出手続き３２は設計修
正済構文トリー３０（第８図に示されている）について
実行される。第９Ａ図は設計抽出手続き５２の流れ図で
ある。この手続きは、ステップ２００で示すように構文
トリーのルートから始まり、ステップ２０２へ進んで、
現ノードがブランチか否かを判断する。現ノードがブラ
ンチならば、線２０４を介してステップ２０８へ進み、
現ノードの自己設計フィールドがＣであるか否かと判断
する。自己設計フィールドがＣでなければ、線２１４分
介してステップ２２６へ進む。自己設計フィールドがＣ
ならば、線２１２と介してステップ２１８へ進み、現ノ
ードの第１のデセンダント？抽出する。このステップに
ついては、後で第９Ｃ図を参照して詳しく説明する。ス
テップ２１８の終了後、線２２２を介してステップ２２
６へ進み、現ノードのトップ設計フィールドがＣである
か否かと判断する。トップ設計フィールドがＣならば、
線２６０と介してステップ２６６へ進み、第１のデセン
ダントへ移行する。トップ設計フィールドがＣでなけれ
ば、ｍ２３２ｆ介してステップ２６８へ進み、次位のシ
ブリングへ移行する。

ステップ２６６又は２６８の終了後、線２４０を介して
ステップ２４２へ進む。再びステップ２０２の説明に戻
ると、現ノードがブランチの場合、ここから線２０６を
介してステップ２１０へ進み、現ノードがキーワードか
否かを判断する。現ワードがキーワードでなければ、線
２２７を介してステップ２２８へ進む。現ノードがキー
ワードならば、線２１６と介してステップ２２０へ進み
、現ノードの第１のデセンダントを抽出する。ステップ
２２０の終了後、線２２４を介してステップ２２８へ進
み、次位のシブリングへ移行する。ステップ２２８の終
了後、線２６４を介してステップ２４２へ進み、現ノー
ドがルートへ戻っているか否かを判断する。ルートへ戻
っていなければ、線２４６　ｆ介してステップ２０２へ
戻って処理を続ける。ルートへ戻っているならば、線２
４８分介して当手続きから出る。

ステップ２１８及び２２０の操作は書式化手続きであシ
、第９Ｂ図に詳しく示されている。この手続きを開始す
ると、先ずステップ２５０へ進み、抽出したノードの型
について判断する。ノードがキーワードだけを含むなら
ば、線２５４と介してステップ２５６へ進み、そのキー
ワードが構造の第１のキーワードであるか否かを判断す
る。第１のキーワードならば、線２６０を介してステッ
プ２６８へ進み、コンパイラが次の新しいラインの処理
へ進むべきであることを定め、且つキーワードを前の設
計コメントに整列させる。第１のキーワードでない場合
には、線２６２ｆ介してステップ２７０へ進み、コンパ
イラを次のラインへ進ませ且つキーワードを同じ構造内
の前のキーワードに整列させる。ステップ２６８又は２
７０の終了後、線２８０と介してステップ２８４へ進み
、キーワードよりも２力ラム分だけラインの字下げを行
なう。ステップ２８４の終了後、線２８６と介して当手
続きよシ出る。再びステップ２５０の説明に戻ると、抽
出したコードが設計コメントを含む場合には、線２５２
を介してステップ２５８へ進み、前に抽出した／−ドが
キーワードであるか否かを判断する。前に抽出したノー
ドがキーワードであるならば、線２６４を介してステッ
プ２７２へ進み、コンパイラはキーワードと同じライン
に留まり、キーワードに続く第２のカラムに設計コード
・ステートメントを整列させる。前に抽出したノードが
キーワードでなければ、線２６６を介してステップ２７
４へ進み、現在の字下げカラムに整列した新しいライン
を形成する。ステップ２７２又は２７４の終了後、線２
８２を介して当手続きから出る。

第９Ｃ図は第９Ａ図のステップ２２８及び２３８におけ
る次位のシブリングへの移行処理に関する流れ図である
。先ず最初のステップ２８８において、次位のシブリン
グが有るか否かと判断する。

次位のシブリングが有るならば、線２９０を介してステ
ップ２９４へ進んで、次位のシブリングへ＃９、線２９
８と介して画処理を終了する。次位のシブリングが無い
場合には、線２９２を介してステップ２９６へ進み、ペ
アレントが有るか否かと判断する。ペアレントが無けれ
ば、線３００を介して画処理を終了する。ペアレントが
有るならば、ライン３０２を介してステップ６０４へ進
み、ペアレントへ移った後、線６０６を介してステップ
２８８へ戻る。

第２図の抽出手続き６２により抽出した設計コメントは
第３表に示されている。プログラマ−がブランクを埋め
て設計コメントト完成させることによシ、原始コードの
完全な設計文書が得られる。

以上、１つの実施例について詳しく説明したが、本発明
はこれに限定されることなく、種々の態様で実施可能で
ある。

Ｆ０発明の効果 原始コードに基いて、目的コードやプログラム・リスト
のみならず、設計文書も生成することができる。又、好
ましい実施例では、原始コードのエラーと検出して指示
することができる。

第１表 １　Ｃｏｎｄｕｃｔ　１ｔｅｒａｔｉｖｅ　５ｅａｒｃ
ｈ−７６Ｒｅｐｅａｔ　−７８ ＣＡＬＬ　５ｅａｒｃｈ　（ＮＳ）：　−８０第２表 １　Ｃｏｎｄｕｃｔ　１ｔｅｒａｔｉｖｅ　５ｅａｒｃ
ｈｒｅｐｅａｔ　！□ ！□ Ｃａ１ｌ　５ｅａｒｃｈ　（ＮＳ）： ！□ ｉｆ　ｌ　５ｅａｒｃｈ　５ｕｃｃｅｅｄｓＮＳ＝Ｏ ｔｈｅｎ　ｊ　ｓｅｔ　５ｔａｔｕｓ　１ｎｄｉｃａｔ
ｏｒｓｔａｔｕｓ　：＝ｙｅｓ □！□ ｃａｌｌ　ｒｅｃｏｖｅｒ　（ＮＳ） ｕｎｔｉｌ　１ ｓｔａｔｕｓ＝ｙｅｓ 第３表 １　Ｃｏｎｄｕｃｔ　１ｔｅｒａｔｉｖｅ　５ｅａｒｃ
ｈＲＥＰＥＡＴ　！ ！ ＩＦ　ｊ　５ｅａｒｃｈ　５ｕｃｃｅｅｄｓＴＨＥＮ　
ｌ　ｓｅｔ　５ｔａｔｕｓ　１ｎｄｉｃａｔｏｒＥＬＳ
Ｅ　！ ＵＮＴＩＬ　ｊ

【図面の簡単な説明】

第１図は原始コード入力に応じて設計文書出力等と生じ
るコンパイラを有する本発明に従ったプロセッサのブロ
ック図、第２図は原始コードに応じて設計文書、目的コ
ード及びプログラム・リスト？生じるプログラムの流れ
図、第３Ａ図はブランチ・ノードの図式記号を示す図、
第６Ｂ図はり−７・ノードの図式記号を示す図、第４図
は第１表の呼出しステートメントを図式的に示す図、第
５図は第１表に例示されたパスカル・コード２図式的に
示す図、第６Ａ図は構文分析の流れ図、第６Ｂ図は第６
Ａ図の次位のシブリングへの移行ステップの流れ図、第
７図は第１表の例における呼出しステートメント中の設
計文書化コードの脱落の修正と示す図、第８図は第１表
の例に関する設計修正後の構文トリーを示す図、第９Ａ
図は設計修正後の構文トリーから設計文書コードと抽出
する手続きの流れ図、第９Ｂ図は第９Ａ図の書式化手続
きの流れ図、第９Ｃ図は第９Ａ図の抽出手続き中の次位
のシブリングへの移行ステップの流れ図である。 １０・・・・原始コード、１２・・・・コンパイラ、１
４・・・・プロセッサ、１６・・・・プログラム・リス
ト、１８・・・・設計文書、２０・・・・目的コード。 出願人インターナショナノいビジネス・マシーンズ・コ
ーポレーション代理人弁理士　　岡　　　１）　　次　
　　生（外１名） 第３Ｂ図 第３Ａ図 第６Ｂ図 １１ｅＢ図 第９Ｃ図

Claims (2)

【特許請求の範囲】
1. （１）キーワードを含むインプリメンテーション・コー
   ドの複数のステートメント及び上記キーワードに対応す
   る設計文書コードの複数のステートメントを有する原始
   プログラムを読取る入力手段と、上記インプリメンテー
   ション・コードのキーワードに基いて機械で実行可能な
   指令を含む目的コードを生成すると共に、上記原始プロ
   グラム内で出現する順序で全てのインプリメンテーショ
   ン・コードを列挙したプログラム・リストを生成するコ
   ンパイル手段と、 上記原始プログラム内で出現する順序で全てのキーワー
   ド及び対応する設計文書コードを列挙した設計文書を生
   成する抽出手段と を有し、目的コード、プログラム・リスト及び設計文書
   を生成する装置。
2. （２）上記インプリメンテーション・コードが対応する
   設計文書コードを含むか否かを検査する検査手段と、該
   検査手段の検査結果に応じて、上記原始コード内で対応
   する設計文書コードを含まないインプリメンテーション
   ・コードの位置を指示するエラー指示手段とを有し、該
   エラー指示手段の指示に従ったエラー標識を上記設計文
   書に含ませるようになっている特許請求の範囲第（１）
   項記載の装置。