JPH1185496A

JPH1185496A - オブジェクト指向プログラム作成支援装置

Info

Publication number: JPH1185496A
Application number: JP9238571A
Authority: JP
Inventors: Yuji Hotta; 勇次堀田; Shigeki Naota; 繁樹直田
Original assignee: Fujitsu Ltd
Current assignee: Fujitsu Ltd
Priority date: 1997-09-03
Filing date: 1997-09-03
Publication date: 1999-03-30
Also published as: US6237139B1

Abstract

(57)【要約】【課題】オブジェクト指向プログラムの規約を記述す
る規約情報を用いて入力プログラムを解析した結果をチ
ェックし、規約に違反している部分を指摘し、かつ修正
例を出力することができるオブジェクト指向プログラム
作成支援装置を提供する。【解決手段】オブジェクト指向プログラムを入力とし
て、入力プログラムを解析する構文解析部２と、プログ
ラムの規約を記述する規約情報を格納する格納部４と、
入力プログラムの構文解析結果と規約情報とを照合する
規約照合部５と、照合した結果に基づき修正されたプロ
グラムを出力する解析情報正規化部６とを有する

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、オブジェクト指向
プログラムの開発の生産性向上を図るオブジェクト指向
プログラム作成支援装置に関する。プログラム言語はコ
ンピュータの処理手続きを記述するためのものであり、
Ｃ言語やＣ＋＋言語などが知られている。最近は、オブ
ジェクト指向プログラムを記述するのに適したＣ＋＋言
語が広く用いられている。

【０００２】

【従来の技術】従来、作成したプログラムをコンパイラ
でコンパイルした場合、エラーメッセージが出力され
る。一般に、このエラーメッセージは、プログラム上の
エラーの位置と文法の説明程度の情報の提示である。プ
ログラム作成者は、このエラーメッセージに基づきプロ
グラムを検証し、エラーの修正を行う。

【０００３】

【発明が解決しようとする課題】しかしながら、エラー
メッセージはプログラム作成や修正のためのガイドとし
ては不十分であり、プログラム作成者に大きな負担とな
っている。また、オブジェクト指向プログラムにおいて
は、プログラムが文法的に間違いではなくても、不適切
な記述がされていた場合、上記エラーメッセージは出力
されない。したがって、オブジェクト指向プログラム中
の上記のような不適切な部分は見過ごされ、バグとして
プログラム内に残り、予期しない動きとなって現われる
場合がある。

【０００４】したがって、本発明は上記従来技術の問題
点を解決し、オブジェクト指向プログラムの規約を記述
する規約情報を用いて入力プログラムを解析した結果を
チェックし、規約に違反している部分を指摘し、かつ修
正例を出力することができるオブジェクト指向プログラ
ム作成支援装置を提供することを目的とする。

【０００５】

【課題を解決するための手段】請求項１に記載の発明
は、オブジェクト指向プログラムを入力として、入力プ
ログラムを解析する構文解析部と、プログラムの規約を
記述する規約情報を格納する格納部と、入力プログラム
の構文解析結果と規約情報とを照合する規約照合部と、
照合した結果に基づき修正されたプログラムを出力する
解析情報正規化部とを有するオブジェクト指向プログラ
ム作成支援装置である。

【０００６】請求項２に記載の発明は、規約照合部は解
析結果を利用して、グローバル変数の出現をチェック
し、チェック結果に基づき解析情報正規化部はグローバ
ル変数を使わないコード例を出力することを特徴とする
請求項１記載のオブジェクト指向プログラム作成支援装
置である。請求項３に記載の発明は、規約照合部は解析
結果を利用して、オブジェクトの生成が正しい方法で行
われているかチェックし、チェック結果に基づき解析情
報正規化部はオブジェクトの正しい生成例を出力するこ
とを特徴とする請求項１記載のオブジェクト指向プログ
ラム作成支援装置である。

【０００７】請求項４に記載の発明は、規約照合部は解
析結果を利用して、オブジェクトの破壊が正しい方法で
行われているかチェックし、チェック結果に基づき解析
情報正規化部はオブジェクトの正しい破壊例を出力する
ことを特徴とする請求項１記載のオブジェクト指向プロ
グラム作成支援装置である。請求項５に記載の発明は、
解析結果から得られるクラスオブジェクトに対するメモ
リ操作に関する情報を用いて、規約照合部はオブジェク
トの初期化が正しい方法で行われているかチェックし、
チェック結果に応じて規約照合部と解析情報正規化部は
オブジェクトの正しい初期化例を出力することを特徴と
する請求項１記載のオブジェクト指向プログラム作成支
援装置である。

【０００８】請求項６に記載の発明は、解析結果から得
られるクラスオブジェクトに対するメモリ操作に関する
情報を用いて、規約照合部はオブジェクトの複写が正し
い方法で行われているかチェックし、チェック結果に応
じて解析情報正規化部はオブジェクトの正しい複写例を
出力することを特徴とする請求項１記載のオブジェクト
指向プログラム作成支援装置である。

【０００９】請求項７に記載の発明は、規約照合部は解
析結果を利用して、オブジェクトを値渡しにしていない
かチェックし、チェック結果に基づいて解析情報正規化
部はオブジェクトを値渡しにしない修正例を出力するこ
とを特徴とする請求項１記載のオブジェクト指向プログ
ラム作成支援装置である。請求項８に記載の発明は、規
約照合部は解析結果を利用して、データメンバのクラス
外への公開がないかチェックし、チェック結果に基づい
て解析情報正規化部はデータメンバをクラス外に公開し
ない修正例を出力することを特徴とする請求項１記載の
オブジェクト指向プログラム作成支援装置である。

【００１０】請求項９に記載の発明は、規約照合部は解
析結果を利用して、メンバ関数がデータメンバのポイン
タを返していないかチェックし、チェック結果に基づい
て解析情報正規化部はメンバ関数がデータメンバのポイ
ンタを返さない修正例を出力することを特徴とする請求
項１記載のオブジェクト指向プログラム作成支援装置で
ある。

【００１１】請求項１０に記載の発明は、規約照合部は
解析結果を利用して、メンバ関数が単純なデータアクセ
ス関数になっていないかチェックし、チェック結果に基
づき解析情報正規化部はメンバ関数が単純なデータアク
セス関数にならないコード例を出力することを特徴とす
る請求項１記載のオブジェクト指向プログラム作成支援
装置である。

【００１２】請求項１１に記載の発明は、規約照合部は
解析結果を利用して、データメンバにポインタがある場
合にコピーコンストラクタが正しく定義されているかチ
ェックし、チェック結果に基づきユーザの意図を確認し
た上で、解析情報正規化部はデータメンバにポインタが
ある場合にコピーコンストラクタの正しい定義例を出力
することを特徴とする請求項１記載のオブジェクト指向
プログラム作成支援装置である。

【００１３】請求項１２に記載の発明は、規約照合部は
解析結果を利用して、データメンバにポインタがある場
合にデストラクタが正しく定義されているかチェック
し、チェック結果に基づきユーザの意図を確認した上
で、解析情報正規化部はデータメンバにポインタがある
場合にデストラクタの正しい定義例を出力することを特
徴とする請求項１記載のオブジェクト指向プログラム作
成支援装置である。

【００１４】請求項１３に記載の発明は、規約照合部は
解析結果を利用して、データメンバにポインタがある場
合に代入演算子が正しく定義されているかチェックし、
チェック結果に基づきユーザの意図を確認した上で、解
析情報正規化部はデータメンバにポインタがある場合に
代入演算子の正しい定義例を出力することを特徴とする
請求項１記載のオブジェクト指向プログラム作成支援装
置である。

【００１５】請求項１４に記載の発明は、規約照合部は
解析結果を利用して、特定のアクセス指定の継承の存在
をチェックし、チェック結果に基づき解析情報正規化部
は継承の正しい定義例を出力することを特徴とする請求
項１記載のオブジェクト指向プログラム作成支援装置で
ある。請求項１５に記載の発明は、規約照合部は解析結
果を利用して、継承した非仮想関数を再定義していない
かチェックし、チェック結果に基づき解析情報正規化部
は継承した非仮想関数を再定義しない修正例を出力する
ことを特徴とする請求項１記載のオブジェクト指向プロ
グラム作成支援装置である。

【００１６】請求項１６に記載の発明は、規約照合部は
解析結果を利用して、オブジェクトの破壊操作が継承さ
れたクラスで正しく動作されているかチェックし、チェ
ック結果に基づいて解析情報正規化部はオブジェクトの
破壊操作が継承されたクラスで正しく動作する修正例を
出力することを特徴とする請求項１記載のオブジェクト
指向プログラム作成支援装置である。

【００１７】請求項１７に記載の発明は、規約照合部は
解析結果を利用して、同じベースクラスを持つクラスを
多重継承するときに元のベースクラスを仮想ベースクラ
スとして継承しているかチェックし、チェック結果に基
づいてユーザの意図を確認した上で、解析情報正規化部
は同じベースクラスを持つクラスを多重継承するときに
元のベースクラスを仮想ベースクラスとして継承するコ
ード例を出力することを特徴とする請求項１記載のオブ
ジェクト指向プログラム作成支援装置である。

【００１８】請求項１８に記載の発明は、規約照合部は
解析結果を利用して、多重継承の指定でベースクラスが
複数並ぶときにその全てにアクセスレベルが明示してあ
るかチェックし、チェック結果に基づいてユーザの意図
を確認した上で、解析情報正規化部は多重継承の指定で
ベースクラスが複数並ぶときにその全てにアクセスレベ
ルの明示がないことを出力することを特徴とする請求項
１記載のオブジェクト指向プログラム作成支援装置であ
る。

【００１９】

【発明の実施の形態】図１は、本発明のオフジェクト指
向プログラム作成支援装置の原理を示す図である。オフ
ジェクト指向プログラム作成支援装置は、構文解析部
２、構文解析情報３及び規約情報４を格納する格納部
８、規約照合部５、解析情報正規化部６及び出力部７を
具備している。

【００２０】構文解析部２は、入力プログラム１の構文
を解析して、入力プログラムの構文解析結果を示す構文
解析情報３を出力する。規約照合部５は、構文解析情報
３と規約情報４とを照合する。解析情報正規化部６は、
規約照合部５が使った構文解析情報３と規約情報４によ
り解析した情報を正規化して、解析情報の修正例を出力
する。出力部７は、規約照合部５が照合した結果又は解
析情報正規化部６が生成した修正例を出力する。

【００２１】更に詳しく説明すると、構文解析部２は入
力プログラム１を入力して、クラス名、クラスの各デー
タメンバについて、それぞれ名前、型等を各メンバ関数
についてはパラメータの型情報や復帰情報をそれぞれ検
出する。更に、クラスの演算子、オブジェクトのメモリ
操作を実行する式、クラスの継承関係、大域変数につい
ての情報も検出し、これらを構文解析情報３としてまと
める。規約照合部５は構文解析情報３を参照しながら、
入力プログラム１のコーディングの規約となっている部
分を規約情報４と照合し、規約から外れた部分を出力部
７に出力する。また、解析情報正規化部６が構文解析情
報３中のプログラム情報を規約情報４に沿う形に正規化
することで、プログラムの修正例を出力部７に出力す
る。

【００２２】ここで、構文解析部２が出力する構文解析
情報３について、図２を参照して説明する。図２は、図
示してあるＣ＋＋で記述されたプログラム例を構文解析
した結果を示す図である。構文解析結果を示す構文解析
情報３は、グローバル情報、クラス定義情報、ベースク
ラス情報、関数定義リスト、式情報、メンバ定義表、定
義関数リスト、データ定義情報等から構成される。グロ
ーバル情報はクラス、関数、変数等の種別を含み、これ
らの定義情報が規定される。例えば、クラスの場合、ク
ラス定義情報としてメンバ定義表とベースクラスリスト
を含む。メンバ定義表は、構造体（struct) を構成する
メンバの種別、すなわちメンバ関数（手続きに相当）や
データメンバ（データ構造に相当）ごとに定義情報を含
む。メンバ関数の定義情報は関数定義リストを有する。
関数定義リストは、呼び出し形式、復帰コード返却情報
等を含む。またデータメンバはデータ定義情報として、
型やポインタを含む。またベースクラスリストは、ベー
スクラス情報として、アクセスの種別やクラスを含む。
アクセス"private" は、そのクラス内でしかアクセスで
きないことを意味する。また、アクセス"public"は他の
クラスからもアクセスできることを意味する。関数定義
リストは呼び出し形式、式情報を含む。式情報は、具体
的な式の情報を含む。

【００２３】図３は、規約情報４の構造を示す図であ
る。規約情報４は記憶部８内においては、規約構造とし
て格納されている。規約構造は、規約インデックスと処
理とを規定する。例えば、public T1 v1に対しては処理
ｐ３４の処理インデックスが規定さている。解析情報正
規化部６の正規化処理は、この処理インデックスに対応
する処理内容が記述しておき、処理インデックスが与え
られたときに記述されている処理内容を実行することで
ある。

【００２４】規約照合部５は、構文解析情報３から必要
な情報を取り出して、図３に示すようにして規約の形式
に変換する。グローバル（トップレベル）の情報とし
て、クラス、グローバル変数等がある。これらを規約項
目とよぶ。各規約項目は１個以上の複数の規約を持つ。
クラスならばクラス全般の規約があるが、そのデータメ
ンバ、メンバ関数等に関する規約として内部規約を持
つ。規約は解析情報を正規化するための処理を規定す
る。

【００２５】図４に、規約照合部５の動作を示す。この
動作を説明するために、今、図５に示す入力プログラム
例とその構文解析した結果を参照する。規約照合部５は
解析情報を読み込み（ステップ１）、解析情報の有無を
判断する（ステップ２）。図示する例の場合、ますグロ
ーバル情報からクラスＢｏｘについて処理を開始する。
次に、規約照合部５は、解析情報に対応する規約がある
かどうかを判断する（ステップ３）。クラスや関数等は
対応する変換処理を持ち、その処理の実行により解析情
報を規約形式に変換する。解析情報Ｂｏｘの場合、クラ
スに対応する処理の有無を調べ、処理がある場合にはそ
れを内部のメモリ等へ記憶しておく。次に、規約照合部
５は、変換に必要な情報を収集する（ステップ４）。ク
ラスに対応する規約形式への変換処理はＢｏｘのクラス
定義情報から情報を辿り、解析情報の規約形式（規約イ
ンデックス）への変換に必要な情報を収集する。次に、
規約照合部５は、解析情報を規約形式に変換し、規約イ
ンデックス情報生成する（ステップ５）。次に、規約照
合部５は、クラス固有の「value t 」「value x 」等
は一般的な表現形式「Ｔ１」「ｖ１」等に変換し、これ
を保存する（ステップ６）。次に、規約照合部５は、規
約構造の情報を規約インデックスで照合し、対応する正
規化処理を取り出す（ステップ７）。次に、規約照合部
５は、取り出した処理インデックスで照合し、処理内容
を取り出す（ステップ８）。そして、解析情報正規化部
６が処理内容を実行して入力プログラムを変換し、正規
化したプログラム（修正例）を生成する（ステップ
９）。最後に、この正規化したプログラムが出力部７か
ら出力される（ステップ１０）。

【００２６】次に、請求項２〜１８に対応した具体的処
理について説明する。請求項２の場合解析情報に対応す
る変換処理を実行し、規約形式に変換する。規約との照
合によりグローバル変数に関する規約が取り出される。
グローバル変数は一つのstructにまとめる規約があり、
必要なら処理を実行して修正案を通知する。

【００２７】入力例を示す。〔入力例〕 int item number＝１００; int proc( ) ｛ int num ＝item number; ・・・｝解析情報からは以下の情報を取り出す。〔解析情報〕変数名型グローバル・・・ item number int true ・・・解析結果を以下の規約形式に変換する。〔解析情報の規約形式〕規約インデックス変数対応 global T1 v1 T1：int v1：item number 規約を検索し、以下の規約構造を取り出す。〔規約構造〕規約インデックス処理 global T1 v1 p ・・処理を取り出し、実行する。〔正規化処理〕処理インデックス処理内容 p ・・グローバル変数を集めて一つのstructにまとめる・・以下に出力例を示す。〔出力例〕 struct Global ｛ static int item number；｝； int Global: :item number＝１００; int proc( ）｛ int lindex＝Global: :item number; ・・・｝以上の処理を要約すると、次の通りである。すなわち、
規約構造から「global T1 v1」の規約を獲得、グローバ
ル情報からitem numberという変数情報を獲得、変数定
義情報によりそれがグローバル変数であることが分か
る。これによりこの変数をグローバル変数の規約に適用
する。

【００２８】また、上記処理を図示すると、図６の通り
である。請求項３の場合解析情報に対応する変換処理を
実行し、規約形式に変換する。規約との照合によりオブ
ジェクト配列の生成に関する規約が取り出される。オブ
ジェクト配列はnew で生成する規約があり、必要なら処
理を実行して修正案を通知する。

【００２９】入力例を示す。〔入力例〕・・ Box *b＝(Box *)malloc(sizeof(Box)*max); ・・解析情報からは以下の情報を取り出す。〔解析情報〕式・・・ Box *b＝(Box *)malloc(sizeof(Box)*max)・・・解析結果を以下の規約形式に変換する。〔解析情報の規約形式〕規約インデックス変数対応 T1 *v1＝(T1 *)malloc(sizeof(T1)*v2) T1：Box v1：b v2：max 規約を検索し、以下の規約構造を取り出す。〔規約構造〕規約インデックス処理 T1 *v1＝(T1 *)malloc(sizeof(T1)*v2) p ・・処理を取り出し、実行する。〔正規化処理〕処理インデックス処理内容 p ・・ mallocでの領域確保をnew に置き換える・・以下に出力例を示す。〔出力例〕・・ Box *b＝new Box[max]; ・・以上の処理を要約すると、次の通りである。すなわち、
規約構造から「T1 *v1＝(T1 *)malloc(sizeof(T1)*v2)
」の規約を獲得、グローバル情報からＡという関数名
情報を獲得、関数定義情報により、Box *b＝(Box*)mall
oc(sizeof(Box)*max)という式があることが分かる。こ
れによりこの式をオブジェクト配列生成の規約に適用す
る。

【００３０】また、上記処理を図示すると、図７の通り
である。請求項４の場合解析情報に対応する変換処理を実行し、規約形式に変換
する。規約との照合によりオブジェクト配列の破壊に関
する規約が取り出される。オブジェクト配列はdelete
[ ] で破壊する規約があり、必要なら処理を実行して修
正案を通知する。

【００３１】入力例を示す。〔入力例〕 X *p＝new X[n]; ・・ delete p; 解析情報からは以下の情報を使用する。〔解析情報〕式生成 delete p new X[n] 解析結果を以下の規約形式に変換する。〔解析情報の規約形式〕規約インデックス変数対応 delete v1 new T1[v2] T1：X v1：p v2：n 規約を検索し、以下の規約構造を取り出す。〔規約構造〕規約インデックス処理 delete v1 new T1[v2] p ・・処理を取り出し、実行する。〔正規化処理〕処理インデックス処理内容 p ・・ deleteでの破壊をdelete[ ] に置き換える・・以下に出力例を示す。〔出力例〕 X *p＝new X[n]; ・・ delete [ ]p; 以上の処理を要約すると、次の通りである。すなわち、
規約構造から「delete v1 new T1[v2]」−の規約を獲
得、グローバル情報からＡという関数名情報を獲得、関
数定義情報により、delete p, X *p＝new X[n]という式
があることが分かる。これによりこの式をオブジェクト
配列破壊の規約に適用する。

【００３２】また、上記処理を図示すると、図８の通り
である。請求項５の場合解析情報に対応する変換処理を実行し、規約形式に変換
する。規約との照合によりオブジェクトの初期化に関す
る規約が取り出される。オブジェクトの初期化はコンス
トラクタで行う規約があり、必要なら処理を実行して修
正案を通知する。

【００３３】入力例を示す。〔入力例〕・・ T *p; p ＝(T *)malloc(sizeof(T)); memset(p, 0, sizeof(T)); ・・解析情報からは以下の情報を使用する。〔解析情報〕式・・・ memset(b, 0, sizeof(Box)) ・・・解析結果を以下の規約形式に変換する。〔解析情報の規約形式〕規約インデックス変数対応 memset(v1, v2, sizeof(T1)) T1：Box v1：b v2：0 規約を検索し、以下の規約構造を取り出す。〔規約構造〕規約インデックス処理 memset(v1, v2, sizeof(T1)) p ・・処理を取り出し、実行する。〔正規化処理〕処理インデックス処理内容 p ・・ memset( ) での初期化をコンストラクタに置き換える・・以下に出力例を示す。〔出力例〕 class T ｛ public: T( )｛・・｝・・｝；・・ T *p; p ＝new T( ); ・・以上の処理を要約すると、次の通りである。すなわち、
規約構造から「memset(v1, v2, sizeof(T1))」の規約を
獲得、グローバル情報からＡという関数名情報を獲得、
関数定義情報により、memset(p, 0, sizeof(T)), T *p
＝(T *)malloc(sizeof(T))という式があることが分か
る。これによりこの式をオブジェクト初期化の規約に適
用する。

【００３４】また、上記処理を図示すると、図９に示す
通りである。請求項６の場合解析情報に対応する変換処理を実行し、規約形式に変換
する。規約との照合によりオブジェクトの複写に関する
規約が取り出される。オブジェクトの複写はコピーコン
ストラクタで行う規約があり、必要なら処理を実行して
修正案を通知する。

【００３５】入力例を示す。〔入力例〕 class Box ｛ public: ・・｝；・・ Box *src, *dst; src ＝new Box( ); dst ＝new Box( ); ・・ memcpy(dst, src, sizeof(Box)); 解析情報からは以下の情報を使用する。〔解析情報〕式・・・ memcpy(dst, src, sizeof(Box)) ・・・解析結果を以下の規約形式に変換する。〔解析情報の規約形式〕規約インデックス変数対応 memcpy v1 v2 size T1 T1：Box v1：dst v2：src 規約を検索し、以下の規約構造を取り出す。〔規約構造〕規約インデックス処理 memcpy v1 v2 size T1 p ・・処理を取り出し、実行する。〔正規化処理〕処理インデックス処理内容 p ・・ memcpyでの複写をコピーコンストラクタに置き換える・・出力例を示す。〔出力例〕 class Box ｛ public: Box(const Box &b) ｛・・｝・・｝；・・ Box *src, *dst; src ＝new Box( ); ・・ dst ＝new Box(*src); 以上の処理を要約すると、次の通りである。すなわち、
規約構造から「memcpy v1 v2 size T1」の規約を獲得、
グローバル情報からＡという関数名情報を獲得、関数定
義情報によりmemcpy(dst, src,sizeof(Box), Box *src,
*dst という式があることが分かる。これによりこの式
をオブジェクト複写の規約に適用する。

【００３６】また、上記処理を図示すると、図１０に示
す通りである。請求項７の場合解析情報に対応する変換処理を実行し、規約形式に変換
する。規約との照合によりパラメタ渡しに関する規約が
取り出される。パラメタは参照渡しにする規約があり、
必要なら処理を実行して修正案を通知する。

【００３７】入力例を示す。〔入力例〕・・ T data; ・・ func(data); ・・ void func(T d) ｛・・解析情報からは以下の情報を使用する。〔解析情報〕メンバ関数名パラメータ・・・ foo proc Box b ・・・解析結果を以下の規約形式に変換する。〔解析情報の規約形式〕規約インデックス変数対応 Func Param T1 v1 T1：Box v1：b 規約を検索し、以下の規約構造を取り出す。〔規約構造〕規約インデックス処理 Func Param T1 v1 p ・・処理を取り出し、実行する。〔正規化処理〕処理インデックス処理内容 p ・・値渡しを参照渡しに・・出力例を示す。〔出力例〕・・ T data; ・・ func(data); ・・ void func(T &d) ｛・・以上の処理を要約すると、次の通りである。すなわち、
規約構造から「Func Param T1 v1」の規約を獲得、グロ
ーバル情報からＡという関数名情報を獲得、関数定義情
報によりfunc(data)という式があり、dataという変数で
呼び出していることが分かる。グローバル情報からdata
という変数名情報を獲得、変数定義情報によりdataがポ
インタでないことが分かる。これによりこの呼び出しを
パラメタ渡しの規約に適用する。

【００３８】また、上記処理を図示すると、図１１に示
す通りである。請求項８の場合解析情報に対応する変換
処理を実行し、規約形式に変換する。規約との照合によ
りデータメンバのアクセス指定に関する規約が取り出さ
れる。データメンバはprivate で定義する規約があり、
必要なら処理を実行して修正案を通知する。

【００３９】入力例を示す。〔入力例〕 class T ｛ public: int get data( ); int data; ｝; 解析情報からは以下の情報を使用する。〔解析情報〕メンバ名型アクセス指定・・・ little box Box public ・・・解析結果を以下の規約形式に変換する。〔解析情報の規約形式〕規約インデックス変数対応 public T1 v1 T1：Box v1：v1 規約を検索し、以下の規約構造を取り出す。〔規約構造〕規約インデックス処理 public T1 v1 p ・・処理を取り出し、実行する。〔正規化処理〕処理インデックス処理内容 p ・・ publicのデータメンバをprivate に・・以下に出力例を示す。〔出力例〕 class T ｛ public: int get data( ); private: int data; ｝; 以上の処理を要約すると、次の通りである。すなわち、
規約構造から「public T1 v1」の規約を獲得、グローバ
ル情報からBox というクラス名情報を獲得、クラス定義
情報からローカル情報を取り出し、ローカル情報からli
ttle box というデータメンバを取り出す。この変数定
義情報により、little box のアクセスがpublicである
ことが分かる。これによりこのデータメンバをメンバの
アクセス指定の規約に適用する。

【００４０】また、上記処理を図示すると、図１２に示
す通りである。請求項９の場合解析情報に対応する変換処理を実行し、規約形式に変換
する。規約との照合によりメンバ関数からの復帰に関す
る規約が取り出される。メンバ関数はデータメンバのポ
インタを返さないという規約があり、必要なら処理を実
行して修正案を通知する。

【００４１】入力例を示す。〔入力例〕 class T ｛ public: C *get data( ) ｛return data;｝ private: C *data; ｝; ・・ T *t＝new T( ); C *d; d ＝t. get data( ); ・・解析情報からは以下の情報を使用する。〔解析情報〕式型・・・ return little box Box ・・・解析結果を以下の規約形式に変換する。〔解析情報の規約形式〕規約インデックス変数対応 class return member v1 v1：little box 規約を検索し、以下の規約構造を取り出す。〔規約構造〕規約インデックス処理 class return member p ・・処理を取り出し、実行する。〔正規化処理〕処理インデックス処理内容 p ・・データメンバのポインタを帰しているものにconst を・・以下に出力例を示す。〔出力例〕 class T ｛ public: const C *get data( ) ｛return data;｝ private: C *data; ｝; ・・ T *t＝new T( ); const C *d; d ＝t. get data( ); ・・以上の処理を要約すると、次の通りである。すなわち、
規約構造から「class return member 」の規約を獲得、
グローバル情報からBox というクラス名情報を獲得、ク
ラス定義情報からローカル情報を取り出し、ローカル情
報からlittle box というデータメンバを取り出し、変
数定義情報からポインタ型であることが分かる。ローカ
ル情報からget 1boxというメンバ関数を取り出し、関
数定義情報から復帰値としてデータメンバlittle box
を返すことが分かる。これによりこのデータメンバ関数
の宣言をメンバ関数からの復帰の規約に適用する。

【００４２】また、上記処理を図示すると、図１３に示
す通りである。請求項１０の場合解析情報に対応する変換処理を実行し、規約形式に変換
する。規約との照合により単純なデータ設定関数に関す
る規約が取り出される。コンストラクタで設定できるも
のは設定する規約があり、必要なら処理を実行してコン
ストラクタでの設定例を通知する。

【００４３】入力例を示す。〔入力例〕 class T ｛ public: void set height(double d)｛height＝d;｝ private: double height; ｝; 解析情報からは以下の情報を使用する。〔解析情報〕メンバ関数定義型・・・ little width ＝w int ・・・解析結果を以下の規約形式に変換する。〔解析情報の規約形式〕規約インデックス変数対応 class InitialValue v1 ＝v2 v1：little width v2：w 規約を検索し、以下の規約構造を取り出す。〔規約構造〕規約インデックス処理 class InitialValue v1 ＝v2 p ・・処理を取り出し、実行する。〔正規化処理〕処理インデックス処理内容 p ・・初期値の設定をコンストラクタで・・以下に出力例を示す。〔出力例〕 class T ｛ public: T(double height) ｛height＝ height; ｝ void set height(double d)｛height＝d;｝ private: double height; ｝; 以上の処理を要約すると、次の通りである。すなわち、
規約構造から「class InitialValue v1 ＝v2」の規約を
獲得、グローバル情報からＴというクラス名情報を獲
得、クラス定義情報からローカル情報を取り出し、ロー
カル情報からheightというデータメンバがあることが分
かる。ローカル情報からset heightというメンバ関数
を取り出し、関数定義情報からheightに値を設定するだ
けの単純な設定関数であることが分かる。これによりこ
のクラスを単純なデータ設定関数の規約に適用する。

【００４４】また、上記処理を図示すると、図１4 に示
す通りである。請求項１１の場合解析情報に対応する変換処理を実行し、規約形式に変換
する。規約との照合によりポインタメンバに関する規約
が取り出される。データメンバにポインタのものがある
場合はコピーコンストラクタを正しく定義する規約があ
り、必要なら処理を実行してコピーコンストラクタの正
しい定義例を通知する。

【００４５】入力例を示す。〔入力例〕 class T ｛ private; char *label; ｝; 解析情報からは以下の情報を使用する。〔解析情報〕メンバ名型・・・ label char *・・・解析結果を以下の規約形式に変換する。〔解析情報の規約形式〕規約インデックス変数対応 class PointerMember T1 *v1 T1：char * v1 ：label 規約を検索し、以下の規約構造を取り出す。〔規約構造〕規約インデックス処理 class PointerMember T1 *v1 p1 処理を取り出し、実行する。〔正規化処理〕処理インデックス処理内容 p ・・ポインタメンバのあるクラスにコピーコンストラクタを定義・・以下に出力例を示す。〔出力例〕 class T ｛ public: T(const T &t) ｛data＝strdup(t. get label( )) ｝ char *get label( )｛return label; ｝ private: char label; ｝; 以上の処理を要約すると、次の通りである。

【００４６】規約構造から「class PointerMember T1 *
v1」の規約を獲得、グローバル情報からＴというクラス
名情報を獲得、クラス定義情報からローカル情報を取り
出し、ローカル情報からlabel というデータメンバがあ
ることが分かる。変数定義情報よりlabel がポインタで
あることが分かる。これによりこのクラスをポインタメ
ンバの規約に適用する。

【００４７】また、上記処理を図示すると、図１５に示
す通りである。請求項１２の場合解析情報に対応する変換処理を実行し、規約形式に変換
する。規約との照合によりポインタメンバに関する規約
が取り出される。データメンバにポインタのものがある
場合はデストラクタを正しく定義する規約があり、必要
なら処理を実行してデストラクタの正しい定義例を通知
する。

【００４８】入力例を示す。〔入力例〕 class T ｛ private: char *label; ｝; 解析情報からは以下の情報を使用する。〔解析情報〕メンバ名型・・・ label char *・・・解析結果を以下の規約形式に変換する。〔解析情報の規約形式〕規約インデックス変数対応 class PointerMember T1 *v1 T1：char * v1 ：label 規約を検索し、以下の規約構造を取り出す。〔規約構造〕規約インデックス処理 class PointerMember T1 *v1 p1 処理を取り出し、実行する。〔正規化処理〕処理インデックス処理内容 p ・・ポインタメンバのあるクラスにデストラクタを定義・・以下に出力例を示す。〔出力例〕 class T ｛ public: ‐T( )｛delete [ ]label;｝ private: char *label; ｝; 以上の処理を要約すると、次の通りである。すなわち、
規約構造から「class PointerMember T1 *v1」の規約を
獲得、グローバル情報からＴというクラス名情報を獲
得、クラス定義情報からローカル情報を取り出し、ロー
カル情報からlabel というデータメンバがあることが分
かる。変数定義情報よりlabel がポインタであることが
分かる。これによりこのクラスをポインタメンバの規約
に適用する。

【００４９】また、上記処理を図示すると、図１６に示
す通りである。請求項１３の場合解析情報に対応する変換処理を実行し、規約形式に変換
する。規約との照合によりポインタメンバに関する規約
が取り出される。データメンバにポインタのものがある
場合は代入演算子を正しく定義する規約があり、必要な
ら処理を実行して代入演算子の正しい定義例を通知す
る。

【００５０】入力例を示す。〔入力例〕 class T ｛ private: char *label; ｝; 解析情報からは以下の情報を使用する。〔解析情報〕メンバ名型・・・ label char *・・・解析結果を以下の規約形式に変換する。〔解析情報の規約形式〕規約インデックス変数対応 class PointerMember T1 *v1 T1：char * v1 ：label 規約を検索し、以下の規約構造を取り出す。〔規約構造〕規約インデックス処理 class PointerMember T1 *v1 p1 処理を取り出し、実行する。〔正規化処理〕処理インデックス処理内容 p ・・ポインタメンバのあるクラスに代入演算子を定義・・以下に出力例を示す。〔出力例〕 class T ｛ public: const T &operator ＝(const Box &src)｛ if(&src ! ＝this) ｛ delete [ ] label; label ＝new char[strlen(src. label)+1]; strcpy(label,src.label); ｝ return *this; ｝ pribate: char *label; ｝; 以上の処理を要約すると、次の通りである。すなわち、
規約構造から「class PointerMember T1 *v1」の規約を
獲得、グローバル情報からＴというクラス名情報を獲
得、クラス定義情報からローカル情報を取り出し、ロー
カル情報からlabel というデータメンバがあることが分
かる。変数定義情報によりlabel がポインタであること
が分かる。これによりこのクラスをポインタメンバの規
約に適用する。

【００５１】また、上記処理を図示すると、図１７に示
す通りである。請求項１４の場合解析情報に対応する変換処理を実行し、規約形式に変換
する。規約との照合により継承方法に関する規約が取り
出される。継承はpublicに行なう規約があり、必要なら
処理を実行して継承の正しい定義例を通知する。

【００５２】入力例を示す。〔入力例〕 class T ：private U ｛・・｝; 解析情報からは以下の情報を使用する。〔解析情報〕クラス名ベースクラス・・・ Box private Shape ・・・解析結果を以下の規約形式に変換する。〔解析情報の規約形式〕規約インデックス変数対応 inherit T1 private T2 T1：Box T2：Shape 規約を検索し、以下の規約構造を取り出す。〔規約構造〕規約インデックス処理 inherit T1 private p ・・処理を取り出し、実行する。〔正規化処理〕処理インデックス処理内容 p ・・ private な継承をpublicに書き換え・・以下に出力例を示す。〔出力例〕 class T ：public U｛・・｝; 以上の処理を要約すると、次の通りである。すなわち、
規約構造から「inherit T1 private T2 」の規約を獲
得、グローバル情報からBox というクラス名情報を獲
得、クラス定義情報からベースクラス情報を取り出し、
ベースクラスのアクセスがprivate であることが分か
る。これによりこのクラスを継承方法の規約に適用す
る。

【００５３】また、上記処理を図示すると、図１８に示
す通りである。請求項１５の場合解析情報に対応する変換処理を実行し、規約形式に変換
する。規約との照合により継承関数の再定義に関する規
約が取り出される。ベースクラスで非仮想関数として定
義している関数は派生クラスでは再定義しない規約があ
り、必要なら処理を実行して継承した非仮想関数を再定
義しない修正例を通知する。

【００５４】入力例を示す。〔入力例〕 class T ｛ public: int get data( ); ｝; class U : public T｛ public: int get data( ); ｝; 解析情報からは以下の情報を使用する。〔解析情報〕メンバ関数名型 virtual ・・・ get info int true ・・・解析結果を以下の規約形式に変換する。〔解析情報の規約形式〕規約インデックス変数対応 class virtual T1 f1 T1：int fi：get info 規約を検索し、以下の規約構造を取り出す。〔規約構造〕規約インデックス処理 class virtual T1 f1 p ・・処理を取り出し、実行する。〔正規化処理〕処理インデックス処理内容 p ・・継承したクラスで定義している再定義している非仮想関数の名前を変更・・以下に出力例を示す。〔出力例〕 class T ｛ public: int get data( ); ｝; class U ：public T｛ public: int Uget data( ); // 名前を変更｝; 以上の処理を要約すると、次の通りである。すなわち、
規約構造から「class virtual T1 f1 」という規約情報
を獲得、グローバル情報からＵというクラス名情報を獲
得、クラス定義情報からベースクラス情報を取り出し、
Ｔというベースクラスを持つことが分かる。ローカル情
報からget dataという関数情報を取り出し、関数定義
情報からget dataが仮想関数でないことが分かる。グ
ローバル情報からクラスＴに関するクラス情報を獲得、
クラス定義情報のローカル情報からget dataの関数情
報を取り出し、関数定義情報からget dataが仮想関数
でないことが分かる。これによりこのクラスを継承方法
の規約に適用する。

【００５５】また、上記処理を図示すると、図１９に示
す通りである。請求項１６の場合解析情報に対応する変換処理を実行し、規約形式に変換
する。規約との照合によりベースクラスのデストラクタ
に関する規約が取り出される。ベースクラスのデストラ
クタは仮想関数にする規約があり、必要なら処理を実行
してベースクラスのデストラクタを仮想関数にする修正
例を通知する。

【００５６】入力例を示す。〔入力例〕

【００５７】

【外１】

【００５８】解析情報からは以下の情報を使用する。〔解析情報〕

【００５９】

【外２】

【００６０】解析結果を以下の規約形式に変換する。〔解析情報の規約形式〕

【００６１】

【外３】

【００６２】規約を検索し、以下の規約構造を取り出
す。〔規約構造〕

【００６３】

【外４】

【００６４】処理を取り出し、実行する。〔正規化処理〕処理インデックス処理内容 p ・・ベースクラスのデストラクタを仮想関数に・・以下に出力例を示す。〔出力例〕

【００６５】

【外５】

【００６６】以上の処理を要約すると、次の通りであ
る。すなわち、規約構造から

【００６７】

【外６】

【００６８】という規約情報を獲得、グローバル情報か
らＵというクラス名情報を獲得、クラス定義情報からベ
ースクラス情報を取り出し、Ｔというベースクラスを持
つことが分かる。ローカル情報からクラスＴに関するク
ラス情報を獲得、クラス定義情報のデストラクタ情報に
より、デストラクタが仮想関数でないことが分かる。こ
れによりこのクラスをベースクラスのデストラクタの規
約に適用する。

【００６９】上記処理を図示すると、図２０に示す通り
である。請求項１７の場合解析情報に対応する変換処理を実行し、規約形式に変換
する。規約との照合により多重継承に関する規約が取り
出される。同じベースクラスを持つクラスを多重継承す
る場合はそのベースクラスで仮想ベースクラスとして定
義する規約があり、必要なら処理を実行して、同じベー
スクラスを持つベースクラスの継承を仮想ベースクラス
になるような修正例を通知する。

【００７０】入力例を示す。〔入力例〕 class A ｛・・｝; class B: public A ｛・・｝; class C: public A ｛・・｝; class D: public B, public C ｛・・｝; 解析情報からは以下の情報を使用する。〔解析情報〕クラス名ベースクラス・・・ Rectangle Box Window ・・・解析結果を以下の規約形式に変換する。〔解析情報の規約形式〕規約インデックス変数対応 T1 base T2 T3 base T4 T1: Rectangle T2: Box T3: Window T4: Shape 規約を検索し、以下の規約構造を取り出す。〔規約構造〕規約インデックス処理 T1 base T2 T3 base T4 p ・・処理を取り出し、実行する。〔正規化処理〕処理インデックス処理内容 p ・・ベースクラスの継承を仮想ベースクラスに・・以下に出力例を示す。〔出力例〕 class A ｛・・｝; class B: public virtual A ｛・・｝; class C: public virtual A ｛・・｝; class D: public B, public C ｛・・｝; 以上の処理を要約すると、次の通りである。すなわち、
規約構造から「T1 base T2 T3 base T4 」という規約情
報を獲得、グローバル情報からＤというクラス名情報を
獲得、クラス定義情報からベースクラス情報を取り出
し、Ｂ，Ｃの二つのクラスを多重継承していることが分
かる。グローバル情報からクラスＢのクラス定義情報を
獲得、ベースクラス情報からＡという非仮想ベースクラ
スを継承していることが分かる。グローバル情報からク
ラスＣのクラス定義情報を獲得、ベースクラス情報から
Ａという非仮想ベースクラスを継承していることが分か
る。これによりこれらのベースクラス（Ｂ，Ｃ）を同じ
ベースクラスを持つクラスの多重継承の規約に適用す
る。

【００７１】上記の処理を図示すると、図２１に示す通
りである。請求項１８の場合解析情報に対応する変換処理を実行し、規約形式に変換
する。規約との照合により多重継承に関する規約が取り
出される。ベースクラスのアクセスレベルは全てのベー
スクラスに付けるという規約があり、必要なら処理を実
行して、ベースクラスの指定にアクセスレベルを明示す
る修正例を通知する。

【００７２】入力例を示す。〔入力例〕 class A: public B, C｛・・｝; 解析情報からは以下の情報を使用する。〔解析情報〕クラス名ベースクラス・・・ Rectangle public Box, Window・・・解析結果を以下の規約形式に変換する。〔解析情報の規約形式〕規約インデックス変数対応 T1 base T2 T1: Rectangle T2: Window 規約を検索し、以下の規約構造を取り出す。〔規約構造〕規約インデックス処理 T1 base T2 p ・・処理を取り出し、実行する。〔正規化処理〕処理インデックス処理内容 p ・・全てのベースクラスにアクセスレベルをつける・・以下に出力例を示す。〔出力例〕 class A: public B, public C ｛・・｝; 以上の処理を要約すると、次の通りである。すなわち、
規約構造から「T1 base T2」という規約情報を獲得、グ
ローバル情報からＡというクラス名情報を獲得、クラス
定義情報からベースクラス情報を取り出し、ベースクラ
スＣにはアクセスレベルが付いていないことが分かる。
これによりこのクラスをベースクラスのアクセスレベル
の規約に適用する。

【００７３】上記の処理を図示すると、図２２に示す通
りである。最後に、本発明のオブジェクト指向プログラ
ム作成支援装置のハードウェア構成の一例を図２３を参
照して説明する。図示するコンピュータシステム１００
は、本発明のオブジェクト指向プログラム作成支援装置
のハードウェア構成を実現するためのものであり、ＣＰ
Ｕやディスクドライブ装置等を内蔵した本体部１０１、
本体部１０１からの指示により表示画面１０２ａ上に画
像やデータを表示するディスプレイ１０２、このコンピ
ュータシステム１００に種々の情報を入力するためのキ
ーボード１０３、ディスプレイ１０２の表示画面１０２
ａ上の任意の位置を指定するマウス１０４、外部のデー
タベース１０６にアクセスするモデム１０５が備えられ
ている。図４のステップ１〜ステップ１０を有するプロ
グラムを格納するディスク１１０等の可搬型記憶媒体が
本体部１０１のドライブ装置のスロットに挿入され、ダ
ウンロードされる。また、モデム１０４を使って外部の
データベース１０６からダウンロードすることでもよ
い。ダウンロードされたプログラムをＣＰＵが実行す
る。

【００７４】

【発明の効果】以上説明したように、本発明によれば、
オブジェクト指向プログラムの規約を記述する規約情報
を用いて入力プログラムを解析した結果をチェックし、
規約に違反している部分を指摘し、かつ修正例を出力す
ることができるオブジェクト指向プログラム作成支援装
置を提供することができる。

【００７５】具体的には、請求項３、５、６及び１１に
記載の発明によれば、オブジェクトの生成に関する規約
違反を検出して、適切な修正例を出力することができ
る。請求項４、１２及び１６に記載の発明によれば、オ
ブジェクトの破壊に関する規約違反を検出して、適切な
修正例を出力することができる。請求項７、８、９、１
０及び１３に記載の発明によれば、オブジェクトの参照
（操作）に関する規約違反を検出して、適切な修正例を
出力することができる。

【００７６】請求項１４、１５、１６、１７及び１８に
記載の発明によれば、オブジェクトの継承に関する規約
違反を検出して、適切な修正例を出力することができ
る。請求項２に記載の発明によれば、大域情報に関する
規約違反を検出して、適切な修正例を出力することがで
きる。

【図面の簡単な説明】

【図１】本発明の原理説明図である。

【図２】構文解析の説明図である。

【図３】規約情報の構造の説明図である。

【図４】図１に示す規約処理部の動作を示すフローチャ
ートである。

【図５】解析結果例を示す図である。

【図６】請求項２に対応した処理を示す図である。

【図７】請求項３に対応した処理を示す図である。

【図８】請求項４に対応した処理を示す図である。

【図９】請求項５に対応した処理を示す図である。

【図１０】請求項６に対応した処理を示す図である。

【図１１】請求項７に対応した処理を示す図である。

【図１２】請求項８に対応した処理を示す図である。

【図１３】請求項９に対応した処理を示す図である。

【図１４】請求項１０に対応した処理を示す図である。

【図１５】請求項１１に対応した処理を示す図である。

【図１６】請求項１２に対応した処理を示す図である。

【図１７】請求項１３に対応した処理を示す図である。

【図１８】請求項１４に対応した処理を示す図である。

【図１９】請求項１５に対応した処理を示す図である。

【図２０】請求項１６に対応した処理を示す図である。

【図２１】請求項１７に対応した処理を示す図である。

【図２２】請求項１８に対応した処理を示す図である。

【図２３】本発明のハードウェア構成の一例を示す図で
ある。

【符号の説明】

１入力プログラム２構文解析部３構文解析情報４規約情報５規約照合部６解析情報正規化部７出力部８記憶部

Claims

【特許請求の範囲】

【請求項１】オブジェクト指向プログラムを入力とし
て、入力プログラムを解析する構文解析部と、プログラ
ムの規約を記述する規約情報を格納する格納部と、入力
プログラムの構文解析結果と規約情報とを照合する規約
照合部と、照合した結果に基づき修正されたプログラム
を出力する解析情報正規化部とを有するオブジェクト指
向プログラム作成支援装置。
【請求項２】規約照合部は解析結果を利用して、グロ
ーバル変数の出現をチェックし、チェック結果に基づき
解析情報正規化部はグローバル変数を使わないコード例
を出力することを特徴とする請求項１記載のオブジェク
ト指向プログラム作成支援装置。
【請求項３】規約照合部は解析結果を利用して、オブ
ジェクトの生成が正しい方法で行われているかチェック
し、チェック結果に基づき解析情報正規化部はオブジェ
クトの正しい生成例を出力することを特徴とする請求項
１記載のオブジェクト指向プログラム作成支援装置。
【請求項４】規約照合部は解析結果を利用して、オブ
ジェクトの破壊が正しい方法で行われているかチェック
し、チェック結果に基づき解析情報正規化部はオブジェ
クトの正しい破壊例を出力することを特徴とする請求項
１記載のオブジェクト指向プログラム作成支援装置。
【請求項５】解析結果から得られるクラスオブジェク
トに対するメモリ操作に関する情報を用いて、規約照合
部はオブジェクトの初期化が正しい方法で行われている
かチェックし、チェック結果に応じて規約照合部と解析
情報正規化部はオブジェクトの正しい初期化例を出力す
ることを特徴とする請求項１記載のオブジェクト指向プ
ログラム作成支援装置。
【請求項６】解析結果から得られるクラスオブジェク
トに対するメモリ操作に関する情報を用いて、規約照合
部はオブジェクトの複写が正しい方法で行われているか
チェックし、チェック結果に応じて解析情報正規化部は
オブジェクトの正しい複写例を出力することを特徴とす
る請求項１記載のオブジェクト指向プログラム作成支援
装置。
【請求項７】規約照合部は解析結果を利用して、オブ
ジェクトを値渡しにしていないかチェックし、チェック
結果に基づいて解析情報正規化部はオブジェクトを値渡
しにしない修正例を出力することを特徴とする請求項１
記載のオブジェクト指向プログラム作成支援装置。
【請求項８】規約照合部は解析結果を利用して、デー
タメンバのクラス外への公開がないかチェックし、チェ
ック結果に基づいて解析情報正規化部はデータメンバを
クラス外に公開しない修正例を出力することを特徴とす
る請求項１記載のオブジェクト指向プログラム作成支援
装置。
【請求項９】規約照合部は解析結果を利用して、メン
バ関数がデータメンバのポインタを返していないかチェ
ックし、チェック結果に基づいて解析情報正規化部はメ
ンバ関数がデータメンバのポインタを返さない修正例を
出力することを特徴とする請求項１記載のオブジェクト
指向プログラム作成支援装置。
【請求項１０】規約照合部は解析結果を利用して、メ
ンバ関数が単純なデータアクセス関数になっていないか
チェックし、チェック結果に基づき解析情報正規化部は
メンバ関数が単純なデータアクセス関数にならないコー
ド例を出力することを特徴とする請求項１記載のオブジ
ェクト指向プログラム作成支援装置。
【請求項１１】規約照合部は解析結果を利用して、デ
ータメンバにポインタがある場合にコピーコンストラク
タが正しく定義されているかチェックし、チェック結果
に基づきユーザの意図を確認した上で、解析情報正規化
部はデータメンバにポインタがある場合にコピーコンス
トラクタの正しい定義例を出力することを特徴とする請
求項１記載のオブジェクト指向プログラム作成支援装
置。
【請求項１２】規約照合部は解析結果を利用して、デ
ータメンバにポインタがある場合にデストラクタが正し
く定義されているかチェックし、チェック結果に基づき
ユーザの意図を確認した上で、解析情報正規化部はデー
タメンバにポインタがある場合にデストラクタの正しい
定義例を出力することを特徴とする請求項１記載のオブ
ジェクト指向プログラム作成支援装置。
【請求項１３】規約照合部は解析結果を利用して、デ
ータメンバにポインタがある場合に代入演算子が正しく
定義されているかチェックし、チェック結果に基づきユ
ーザの意図を確認した上で、解析情報正規化部はデータ
メンバにポインタがある場合に代入演算子の正しい定義
例を出力することを特徴とする請求項１記載のオブジェ
クト指向プログラム作成支援装置。
【請求項１４】規約照合部は解析結果を利用して、特
定のアクセス指定の継承の存在をチェックし、チェック
結果に基づき解析情報正規化部は継承の正しい定義例を
出力することを特徴とする請求項１記載のオブジェクト
指向プログラム作成支援装置。
【請求項１５】規約照合部は解析結果を利用して、継
承した非仮想関数を再定義していないかチェックし、チ
ェック結果に基づいて解析情報正規化部は継承した非仮
想関数を再定義しない修正例を出力することを特徴とす
る請求項１記載のオブジェクト指向プログラム作成支援
装置。
【請求項１６】規約照合部は解析結果を利用して、オ
ブジェクトの破壊操作が継承されたクラスで正しく動作
されているかチェックし、チェック結果に基づいて解析
情報正規化部はオブジェクトの破壊操作が継承されたク
ラスで正しく動作する修正例を出力することを特徴とす
る請求項１記載のオブジェクト指向プログラム作成支援
装置。
【請求項１７】規約照合部は解析結果を利用して、同
じベースクラスを持つクラスを多重継承するときに元の
ベースクラスを仮想ベースクラスとして継承しているか
チェックし、チェック結果に基づいてユーザの意図を確
認した上で、解析情報正規化部は同じベースクラスを持
つクラスを多重継承するときに元のベースクラスを仮想
ベースクラスとして継承するコード例を出力することを
特徴とする請求項１記載のオブジェクト指向プログラム
作成支援装置。
【請求項１８】規約照合部は解析結果を利用して、多
重継承の指定でベースクラスが複数並ぶときにその全て
にアクセスレベルが明示してあるかチェックし、チェッ
ク結果に基づいてユーザの意図を確認した上で、解析情
報正規化部は多重継承の指定でベースクラスが複数並ぶ
ときにその全てにアクセスレベルの明示がないことを出
力することを特徴とする請求項１記載のオブジェクト指
向プログラム作成支援装置。