JPH11184727A - 情報処理装置及びその方法、コンピュータ可読メモリ - Google Patents

Abstract

(57)【要約】 【課題】 プログラムのデバッグを効率的に実行するこ
とができる情報処理装置及びその方法、コンピュータ可
読メモリを提供する。 【解決手段】 プログラムのソースコード中にデバッグ
用マクロを入力装置６より挿入する。次に、デバッグ用
マクロを有効にしたソースコードのコンパイルを任意の
コンパイラで実行し、コンパイルされた実行プログラム
を、デバッグ用マクロに基づいてデバッグする。そし
て、デバッグに関する情報を表示装置８に出力する。

Description

【発明の詳細な説明】

【０００１】

【発明が属する技術分野】本発明は、プログラムをデバ
ッグする情報処理装置及びその方法、コンピュータ可読
メモリに関するものである

【従来の技術】一般にプログラムのデバッグには、シン
ボリックデバッガが使用される。シンボリックデバッガ
は、プログラム中に使用される変数、関数といったプロ
グラムを構成する基本部品に対して、プログラムソース
コードとプログラム実行中のメモリアドレスを対応づけ
るシンボルテーブルを用いて、ソースコード上でユーザ
が指示した変数、関数、関数内の特定の実行行に対し
て、ブレークポイントの設定、変数の内容表示等の機能
を備える。また、変数が構造体データであった場合、メ
ンバ毎に構造体の内容を表示する機能も通常備える。

【０００２】オブジェクト指向プログラムでは、継承等
の手段により複雑に絡み合ったプログラム構成部品（ク
ラス）を作成することも可能である。しかしながら、通
常のシンボリックデバッガでは、ユーザが定義したクラ
ス及びそれらの関係に関する詳細な情報をシンボルテー
ブル内に保持しないため、クラスのインスタンス、クラ
ス間の関係に基づくインスタンスのグループといった単
位でのデバッグは困難であるという第１の問題点があ
る。

【０００３】また、オブジェクト指向プログラムでは、
クラスのインスタンスを動的に生成、削除し、それらイ
ンスタンスをポインタでリンクして管理する場合が多
い。シンボルテーブルは、コンパイラがデバッグ対象プ
ログラムを静的に解析した結果を記録したものであり、
静的なオブジェクト（静的変数、関数定義）に関する情
報しか含まれていない。従って、動的に生成されたイン
スタンスをシンボリックデバッガ上で特定するのは困難
であるという第２の問題点がある。

【０００４】特開平５−１０８４０３では、ユーザが作
成したクラスに、デバッグ機能を備えたデバッグメソッ
ドを挿入させ、デバッグメソッドを通じて、デバッガと
のインタフェース、インスタンスの詳細な状態表示、ク
ラス間の関係に基づくインスタンスのグループ表示等を
行わせることで第１の問題点を解決する。

【０００５】特開平８−１６４２８では、独自のコンパ
イラシステムを作成することにより、デバッグ対象のグ
ローバル関数、デバッグ対象クラスのメンバ関数に対
し、デバッグ操作を受け持つウインドウシステム上のウ
インドウを作成、削除するデバッグ用命令コードを埋め
込む。そして、デバッグ対象クラス型のポインタ変数の
値を変更する箇所に、インスタンス間のリンク関係を表
現する矢印等を描画するコードを埋め込むことで第２の
問題点を解決する。

【０００６】また、特開平８−１６４２８では、デバッ
グ対象プログラム内でインスタンスが動的に作成された
場合、ウインドウシステム上に対応するウインドウを作
成する。また、インスタンスが削除された場合、同ウイ
ンドウを削除することで、プログラム内のインスタンス
と、ウインドウシステム上のウインドウを一対一に対応
づける。そして、ウインドウ上で各種デバッグ操作を受
け付け、デバッグ操作毎に定義されたコールバック関数
を呼び出し、デバッグ機能を実現する。

【０００７】

【発明が解決しようとする課題】しかしながら、特開平
５−１０８４０３では、ユーザが新規のクラスを設計す
るたびに、デバッグ機能を実現するデバッグメソッドを
実装しなければならない。また、デバッグ中にインスタ
ンスを特定するために、シンボリックデバッガの機能を
利用するため、動的に生成されたインスタンス対して利
用するのは困難である。

【０００８】また、特開平８−１６４２８では、上記デ
バッグ用命令コードを挿入する独自のコンパイラシステ
ムを作成する必要がある。従って、もし、ユーザが拡張
された言語機能を持つコンパイラを使用してプログラム
を開発している場合、または特開平８−１６４２８が実
現するデバッグ機能を備えたコンパイラがサポートされ
ていないコンピュータシステム、オペレーティングシス
テム上でプログラムを開発している場合、更に、組み込
み機器上で動作するプログラムを開発している場合は、
特開平８−１６４２８が実現するデバッグ機能の利用は
困難である。

【０００９】また、市販のコンパイラは、ベンダが指定
した構成管理ツール、エディタ、デバッガ等のツール群
と統合化されて使用されることで、生産性の高い統合開
発環境を提供する場合がある。そして、このような統合
開発環境と、特開平８−１６４２８が実現するデバッグ
機能は、上記の理由から共存させることは困難である。

【００１０】本発明は上記の問題点に鑑みてなされたも
のであり、プログラムのデバッグを効率的に実行するこ
とができる情報処理装置及びその方法、コンピュータ可
読メモリを提供することを目的とする。

【００１１】

【課題を解決するための手段】上記の目的を達成するた
めの本発明による情報処理装置は以下の構成を備える。
即ち、プログラムをデバッグする情報処理装置であっ
て、前記プログラムのソースコード中にデバッグ用マク
ロを挿入する挿入手段と、前記デバッグ用マクロを有効
にした前記ソースコードのコンパイルを任意のコンパイ
ラで実行する実行手段と、前記実行手段でコンパイルさ
れた実行プログラムを、前記デバッグ用マクロに基づい
てデバッグするデバッグ手段と、前記デバッグ手段によ
るデバッグに関する情報を出力する出力手段とを備え
る。

【００１２】また、好ましくは、前記実行手段は、前記
実行プログラムが生成するインスタンス間のリンクの変
化を引き起こすソースコード個所を前記コンパイラによ
って検出させ、前記ソースコード箇所に前記デバッグ用
マクロに基づいてデバッグ用命令コードを該コンパイラ
に挿入させる。

【００１３】また、好ましくは、前記挿入手段は、デバ
ッグ対象のプログラムのクラス定義内、クラスの実装フ
ァイル内、クラスのコンストラクタ内、デストラクタ
内、クラスを指すポインタ変数の宣言部分に、前記デバ
ッグ用マクロを挿入する。

【００１４】また、好ましくは、前記デバッグ手段は、
前記デバッグ用マクロに基づいて、前記実行プログラム
によるインスタンスの生成／削除の通知、リンクポイン
タの生成／削除／変更通知から、該プログラム内のイン
スタンスの生存状態、クラスの継承関係、インスタンス
間のリンク関係を再現する。

【００１５】また、好ましくは、前記デバッグ手段によ
って、前記実行プログラムによるインスタンスの生成と
削除、インスタンス間のリンク関係の変化を検出し、状
態変化が発生した場合は、該プログラムを一時停止させ
る。

【００１６】また、好ましくは、外部装置と通信する通
信手段を更に備え、前記通信手段を介して、前記デバッ
グ手段は、前記外部装置上のデバッグ対象の実行プログ
ラムをデバッグする。

【００１７】上記の目的を達成するための本発明による
情報処理方法は以下の構成を備える。即ち、プログラム
をデバッグする情報処理方法であって、前記プログラム
のソースコード中にデバッグ用マクロを挿入する挿入工
程と、前記デバッグ用マクロを有効にした前記ソースコ
ードのコンパイルを任意のコンパイラで実行する実行工
程と、前記実行工程でコンパイルされた実行プログラム
を、前記デバッグ用マクロに基づいてデバッグするデバ
ッグ工程と、前記デバッグ工程によるデバッグに関する
情報を出力する出力工程とを備える。

【００１８】上記の目的を達成するための本発明による
コンピュータ可読メモリは以下の構成を備える。即ち、
プログラムをデバッグする情報処理のプログラムコード
が格納されたコンピュータ可読メモリであって、前記プ
ログラムのソースコード中にデバッグ用マクロを挿入す
る挿入工程のプログラムコードと、前記デバッグ用マク
ロを有効にした前記ソースコードのコンパイルを任意の
コンパイラで実行する実行工程のプログラムコードと、
前記実行工程でコンパイルされた実行プログラムを、前
記デバッグ用マクロに基づいてデバッグするデバッグ工
程のプログラムコードと、前記デバッグ工程によるデバ
ッグに関する情報を出力する出力工程のプログラムコー
ドとを備える。

【００１９】

【発明の実施の形態】本発明の概要について、以下に説
明する。

【００２０】例えば、プログラミング言語Ｃ＋＋等の高
級プログラミング言語では、インスタンスの生成時に
は、自動的にコンストラクタ（インスタンスの初期化関
数）が呼び出される。また、インスタンスの削除時に
は、自動的にデストラクタ（インスタンスの後始末関
数）が呼び出される。本発明は、この点に注目し、本発
明では、デバッグ対象クラスのコンストラクタとデスト
ラクタのコード内に、デバッグマクロをユーザに挿入さ
せる。

【００２１】そして、このデバッグマクロは、デバッグ
モードでコンパイルすれば、インスタンスの生成と削除
をデバッガに通知する関数の呼出し命令に展開される。
また、非デバッグモードでコンパイルすれば、空文字列
に展開される。特に、デバッグマクロが挿入されたプロ
グラムを、非デバッグモードでコンパイルすれば、同デ
バッグマクロ挿入前のプログラムと同一の実行形式ファ
イルが生成される。

【００２２】また、プログラミング言語Ｃ＋＋では、
＝、＊、＝＝、−＞等の演算子の意味を多重定義するこ
とができる（つまり、プログラミング言語Ｃ＋＋は言語
の拡張機能を持つ）ことに注目し、デバッグ対象クラス
ヘのポインタ型を同クラス型を引数とするデバッグマク
ロにユーザに置換させる。

【００２３】そして、このデバッグマクロは、デバッグ
モードでコンパイルすれば、ポインタの設定及び変更を
デバッガに通知する機能を備えたテンプレートクラス型
に展開される。また、非デバッグモードでコンパイルす
れば、マクロ引数型へのポインタ型に展開される（つま
り、元に戻る）。

【００２４】そして、テンプレートクラスは、プログラ
ミング言語Ｃ＋＋で定義されているポインタ演算一式を
多重定義する。そのため、プログラミング言語Ｃ＋＋の
言語仕様により、テンプレートクラスの変数（元々は、
デバッグ対象クラスを指すポインタ変数であったもの）
に対する代入等の演算子の適用は、テンプレートクラス
が多重定義した演算子関数の呼び出し命令に置き換えら
れる。

【００２５】つまり、テンプレートクラスの多重定義演
算子関数は、ポインタ変数に対する元々の意味を変更す
ることなく、ポインタ変数値の変更（リンク変更）をデ
バッガに通知する機能を備える。

【００２６】このようなポインタ変数の意味の変更は、
プログラミング言語Ｃ＋＋の言語仕様の範囲内で行って
いるので、コンパイラ自身を別途独自に作成する必要は
ない。つまり、、非デバッグモードで上述のデバッグマ
クロが挿入されたプログラムをどのようなＣ＋＋コンパ
イラを使用してコンパイルしても、オリジナルのプログ
ラムをコンパイルしたのと同一の実行形式プログラムが
作成される。また、デバッグモードでコンパイルすれ
ば、インスタンスの生成と削除、インスタンス間のリン
ク関係の変化をデバッガに通知する機能を有する実行形
式プログラムが作成される。

【００２７】本発明のデバッガは、実行中のプログラム
が生成したインスタンス、インスタンス間のリンク関係
を再現したデータ構造（以下、オブジェクト管理情報と
称する）を管理し、表示装置にその内容をグラフィカル
に描画する機能を備える。また、実行中のプログラムか
らインスタンスの生成、インスタンスの削除、インスタ
ンス間のリンクの変化をイベントとして受け取る度に、
オブジェクト管理情報にその内容を反映し表示装置に最
新情報を描画する。

【００２８】また、本発明のデバッガは、デバッグ対象
クラスが継承関係にある場合、プログラミング言語Ｃ＋
＋では、派生クラスのインスタンスのアドレスと派生ク
ラスのインスタンスが内包する基底クラスのインスタン
スのアドレスが同一であることにまず注目する。また、
派生クラスのインスタンスが生成されるときには、基底
クラスのコンストラクタ、派生クラスのコンストラクタ
がこの順に呼び出されることに注目する。そして、イン
スタンスの生成がデバッガに通知された際、生成された
インスタンスのアドレスを調べる。このアドレスが既に
生成通知済みであるインスタンスのアドレスに一致する
ならば、同インスタンスは、派生クラスのインスタンス
生成過程において、派生クラスのコンストラクタが実行
中であることが判明する。デバッガは、この時点で、継
承関係をオブジェクト管理情報内に確立する。

【００２９】また、本発明のデバッガは、デバッグ対象
プログラムの実行時に、動的にクラスの継承関係を認識
するため、デバッグ対象プログラムを予め静的に解析す
る必要はない。

【００３０】また、本発明のデバッガは、マウスなどの
ポインティングデバイスを通じて、実行中のプログラム
が使用するクラス毎に、またはインスタンス毎にブレー
クポイントの設定をオン・オフする機能を有する。ま
た、ブレークポイントが設定されたインスタンスに対す
る削除通知イベント、リンク変更通知イベント、または
ブレークポイントが設定されたクラスに属するインスタ
ンスに対する生成通知イベント、削除通知イベント、リ
ンク変更通知イベントを受け取ると、プログラムの実行
をブロック（一時中断）する。

【００３１】また、本発明のデバッグシステムは、ソー
スレベルでデバッグマクロを挿入するという原始的な方
法を採用する。そのため、既存のどのようなＣ＋＋コン
パイラを使用しても、デバッグ機能を備えた実行形式プ
ログラムを作成することができる。同様に、既存の構成
管理ツール、デバッガ、プロファイラ、ＧＵＩビルダ等
と共用することが容易である。

【００３２】また、本発明のデバッグシステムは、デバ
ッグ対象プログラムから通信回線を通じてデバッガにイ
ンスタンスの生成と削除、リンク変更のイベントを送る
構成をとることも可能である。そのため、デバッグ対象
プログラムが、デバッガが実行されているコンピュータ
システムと異なるコンピュータシステム、あるいは、組
み込み機器に搭載されていても、通信回線を介したデバ
ッグを実現することができる。この場合も、本デバッグ
システムは、既存のＩＣＥ等のデバッグ装置と共用する
ことが容易である以下、図面を参照して本発明の好適な
実施形態を詳細に説明する。

【００３３】図１は本発明の実施形態の情報処理装置の
構成を示す図である。

【００３４】図１において、１はＣＰＵであり、以下に
説明する２〜１０の情報処理装置の各構成要素を、バス
２を介してアクセスし制御を行う。３はバス２を介して
ＣＰＵ１からアクセス可能な読み出し専用メモリ（ＲＯ
Ｍ）であり、本実施形態では、その動作を詳細に説明す
る処理プログラム３ａ及び処理プログラム３ａにより使
用されるパラメータ３ｂが格納されている。４は読み書
き可能なメモリ（ＲＡＭ）であり、ＲＡＭ４上には、上
記処理プログラム３ａにより作成／変更がなされるオブ
ジェクト管理情報４ａを格納するための領域が確保され
ている。

【００３５】５は入力インタフェースであり、キーボー
ド、マウス、タブレット等の入力装置６を介してなされ
る入力を受け取る。７は出力インタフェースであり、Ｃ
ＲＴ、ＬＣＤ等の表示装置８ａ、更には、プリンタ、プ
ロット等の記録装置８ｂを有する出力装置８に対し、デ
ータの出力を行う。９は外部記憶装置インタフェースで
あり、ＨＤ、ＦＤ、ＣＤ−ＲＯＭ、ＭＯＤ等の外部記憶
装置１０に対するデータの入出力を行うものである。

【００３６】本実施形態では、動作の詳細な説明を行う
処理プログラム３ａやパラメータ３ｂがＲＯＭ３上にあ
るものとして、オブジェクト管理情報４ａを含む処理対
象となる各データの格納領域をＲＡＭ４上にあるものと
して説明を行うが、これらは全て、外部記憶装置１０上
に配置することも可能である。また、必要に応じて、外
部記憶装置１０からＲＡＭ４上にロードし、使用するこ
ともできる。更に、ＣＰＵ１に内蔵されるキャッシュメ
モリ上に配置することも可能である。

【００３７】次に、本発明の概要について図２を用いて
説明する。

【００３８】図２は本発明の概要を説明するための図で
ある。

【００３９】図２において、１０１はプログラミング言
語Ｃ＋＋で記述されたデバッグ対象プログラムのソース
コードである。１０２はソースコード１０１から通常の
コンパイル及びリンク操作により作成した実行形式ファ
イルである。１０３はデバッグ対象プログラムのソース
コード１０１にデバッグ機能に必要なマクロ（以下、デ
バッグマクロと称する）がユーザにより挿入されたソー
スコードである。

【００４０】１０４は埋め込みソースコード１０３を非
デバッグモードでコンパイル及びリンクした実行形式フ
ァイルであり、オリジナルのソースコード１０１に対す
る実行形式ファイル１０２と同一内容を持つ。１０６は
埋め込みソースコード１０３をデバッグモードでコンパ
イル及びリンクしたデバッグ可能実行形式ファイルであ
る。このデバッグ可能実行形式ファイル１０６を、オペ
レーティングシステム上で実行することで、デバッグ対
象プログラムの実行経路におけるインスタンスの生成と
削除、インスタンス間のリンクの設定と変更をデバッガ
スレッド２０７に通知する機能を有する。

【００４１】１０５は埋め込みソースコード１０３に取
り込まれ、デバッグマクロからデバッグ機能に必要とさ
れるソースコードを生成するためのヘッダファイル（以
降、デバッグヘッダと称する）である。デバッグヘッダ
１０５は、非デバッグモードでコンパイルされる時、デ
バッグマクロをオリジナルのソースコード１０１の該当
するコード片と同一内容に変換する。また、デバッグモ
ードでコンパイルされる時、デバッグマクロをデバッグ
機能を実現するためのコード片に変換する。

【００４２】２０５はデバッガスレッド２０７のデバッ
ガスレッド初期化関数であり、デバッグ対象プログラム
のエントリ関数から呼び出される。このデバッガスレッ
ド初期化関数２０５は、デバッグ機能のグラフィカルユ
ーザインタフェースを受け持つデパッガスレッド２０７
を生成する。１０７はデバッグ対象プログラムの実行経
路において、デバッグ対象のクラスに属するインスタン
スの生成と削除の履歴、現在時点における生存中インス
タンスの状態とインスタンス間のリンク関係を再現した
オブジェクト管理情報である。

【００４３】２０８はデバッグ対象プログラムの実行経
路において、インスタンスの生成と削除、インスタンス
間のリンク設定又はリンク変更が発生した場合に呼び出
されるデバッグライブラリ関数群である。これのらのデ
バッグライブラリ関数群２０８は、デバッグ対象プログ
ラムの内部状態をオブジェクト管理情報１０７に再現
し、デバッガスレッド２０７にオブジェクト管理情報１
０７の描画要求をポストする。

【００４４】２０７はオブジェクト管理情報１０７をオ
ブジェクトウインドウ３０１内へ描画し、更に、オブジ
ェクト管理情報１０７に対するブレークポイントの設定
等のグラフィカルユーザインタフェース機能を受け持つ
デバッガスレッドである。

【００４５】次に、デバッグ対象プログラムの一例とし
て、順序木データ構造（以下、順序木クラスと称する）
と順序木の生成過程について、図３〜図１３を用いて説
明する。

【００４６】図３は本発明の実施形態の順序木クラスを
示す図である。

【００４７】図３において、列１１１はソースコード中
に現れるデータメンバ名を示す。列１１２は該当するデ
ータメンバの意味を示す。行２１１は順序木が保持する
整数要素数を管理する整数データメンバｃｏｕｎｔを示
し、行２１２は順序木のルートノードを指すポインタメ
ンバｒｏｏｔを示す。

【００４８】尚、本実施形態では、順序木クラスのイン
スタンスの生成と削除及び順序木クラスのｒｏｏｔポイ
ンタメンバはデバッグ対象に含めるものとする。

【００４９】図４は本発明の実施形態の順序木のノード
データ構造（以下、ノードクラスと称する）を示す図で
ある。

【００５０】図４において、列１１１と列１１２は、図
３と同様であるので、その説明は省略する。行２２１は
ノードが保持する整数値を格納するデータメンバｖａｌ
ｕｅである。行２２２は該ノードのｖａｌｕｅデータメ
ンバが保持する整数値の反復数、つまり、順序木がｖａ
ｌｕｅデータメンバが示す整数値をいくつ保持するかを
示す整数データメンバｃｏｕｎｔである。行２１３は順
序木において、該ノードが保持する整数値ｖａｌｕｅよ
りも小さな整数の集合を保持する部分順序木のルートノ
ードを指すポインタメンバｌｅｆｔである。行２２４は
該ノードが保持する整数値ｖａｌｕｅよりも大きな整数
の集合を保持する部分順序木のルートノードを指すポイ
ンタメンバｒｉｇｈｔである。

【００５１】尚、本実施形態では、ノードクラスのイン
スタンスの生成と削除及びノードクラスのｌｅｆｔ、ｒ
ｉｇｈｔポインタメンバはデバッグ対象に含めるものと
する。

【００５２】図５は本発明の実施形態の順序木クラスと
ノードクラスの各インスタンスがどのように結合して、
１つの順序木を構成するかを例示する図である。

【００５３】図５において、１３１は順序木クラスのイ
ンスタンス（以降、単に順序木と称する）であり、１３
２、１３３、１３４、１３５、１３６はノードクラスの
インスタンス（以降、単にノードと称する）である。

【００５４】３０１ａは順序木１３１のｃｏｕｎｔデー
タメンバに７が格納されていること、つまり、同順序木
は、７個の整数値を保持していることを示す。３０２ａ
はノード１３２が整数値３を保持することを示す。３０
３はノード１３２が保持する整数値３の反復数は２であ
ることを示す。３０４はノード１３３が整数値２を保持
することを示す。３０５はノード１３３が保持する整数
値２の反復数は１であることを示す。

【００５５】３０６はノード１３４が整数値５を保持す
ることを示す。３０７はノード１３４が保持する整数値
５の反復数は２であることを示す。３０８はノード１３
５が整数値４を保持することを示し、３０９はノード１
３５が保持する整数値４の反復数は１であることを示
す。３１０はノード１３６が整数値６を保持することを
示し、３１１はノード１３６が保持する整数値６の反復
数は１であることを示す。

【００５６】２３１は順序木１３１のｒｏｏｔポインタ
メンバに、ノード１３２を指すポインタが格納されてい
ること、つまり、順序木１３１のルートノードはノード
１３２であることを示す。

【００５７】２３２はノード１３２のｌｅｆｔポインタ
メンバに、ノード１３３を指すポインタが格納されてい
ること、つまり、ノード１３２をルートとする順序木が
保持する整数の集合において、ノード１３２が保持する
整数値３よりも小さい値がノード１３３をルートとする
部分順序木に存在することを示す（以降、ｌｅｆｔポイ
ンタメンバがノードを指すとき、左部分木が存在すると
称する）。

【００５８】２３３はノード１３２のｒｉｇｈｔポイン
タメンバに、ノード１３４を指すポインタが格納されて
いること、つまり、ノード１３２をルートとする順序木
が保持する整数の集合において、ノード１３２が保持す
る整数値３より大きい値がノード１３４をルートとする
部分順序木に存在することを示す（以降、ｒｉｇｈｔポ
インタメンバがノードを指すとき、右部分木が存在する
と称す）。

【００５９】２３４はノード１３３のｌｅｆｔポインタ
メンバがヌルポインタであること、つまり、ノード１３
３をルートとする順序木が保持する整数の集合には、ノ
ード１３３が保持する整数値２よりも小さい値は存在し
ないことを示す（以降、ｌｅｆｔポインタメンバがヌル
ポインタであるとき、左部分木が存在しないと称す
る）。

【００６０】２３５はノード１３３のｒｉｇｈｔポイン
タメンバがヌルポインタであること、つまり、ノード１
３３をルートとする順序木が保持する整数の集合にはノ
ード１３３が保持する整数値２よりも大きい値は存在し
ないことを示す（以降、ｒｉｇｈｔポインタメンバがヌ
ルポインタであるとき、右部分木が存在しないと称す
る）。

【００６１】２３６はノード１３４には左部分木が存在
することを示す。２３７はノード１３４には右部分木が
存在することを示す。また、２３８はノード１３５には
左部分木が存在しないことを示す。２３９はノード１３
５には右部分木が存在しないことを示す。また、２３０
はノード１３６には左部分木が存在しないことを示す。
２３１ａはノード１３６には右部分木が存在しないこと
を示す。

【００６２】以上説明した図５において、ノードを左か
ら右に読めば、順序木１３１は整列された整数の集合
２、３、３、４、５、５、６を保持することが分かる。

【００６３】次に、空の順序木の状態から図５に示す順
序木の状態に至る過程の一例について、図６〜図１３を
用いて説明する。尚、図６〜図１３の順序木は、それぞ
れ０個、１個、２個、３個、４個、５個、６個、７個の
整数値を保持するものとする。

【００６４】図６は本発明の実施形態の空の順序木を示
す図である。

【００６５】図６において、１３１は順序木を示す。２
４１は順序木１３１が０個の整数値を保持することを示
す。２４２は、順序木１３１のｒｏｏｔポインタメンバ
がヌルポインタであること、つまり、順序木１３１は空
であることを示す。

【００６６】図７は本発明の実施形態の図６の順序木に
整数値３を追加した後の順序木の状態を示す図である。

【００６７】図７において、１３２は順序木１３１に追
加されたノードを示す。２５１は順序木１３１が１つの
整数値を保持するように変化したことを示す。２５２は
順序木１３１のルートノードがノード１３２に変化した
ことを示す。２５３はノード１３２が整数値３を保持す
ることを示す。２５４はノード１３２が保持する整数値
３の反復数が１であることを示す。２５５、２５６はノ
ード１３２には左右の部分木が共に存在しないことを示
す。

【００６８】尚、図６の順序木に整数値３を追加する処
理は以下の手順で実行される。

【００６９】まず、最初に順序木１３１のｃｏｕｎｔデ
ータメンバをインクリメントする（ｃｏｕｎｔ値は１と
なる）。次に、順序木１３１のｒｏｏｔポインタメンバ
を調べ、それがヌルポインタであるので、そこに新規の
ノード１３２をぶら下げる。そして、ノード１３２のｖ
ａｌｕｅデータメンバ２５３に整数値３、ｃｏｕｎｔデ
ータメンバ２５４に整数値１、ｌｅｆｔポインタメンバ
２５５及びｒｉｇｈｔポインタメンバ２５６にヌルポイ
ンタを格納する。

【００７０】図８は本発明の実施形態の図７の順序木に
整数値５を追加した後の順序木の状態を示す図である。

【００７１】図８において、１３３はノード１３２に追
加されたノードである。２６７はノード１３３が整数値
５を保持することを示す。２６８はノード１３３が保持
する整数値６の反復数が１であることを示す。２６９、
２６０はノード１３３の左右の部分木が存在しないこと
を示す。２６６は、ノード１３２がノード１３３をルー
トとする右部分木を持つように変更されたことを示す。
２６１は順序木１３１が２つの整数値を保持するように
変化したことを示す。

【００７２】尚、図７の順序木に整数値５を追加する処
理は以下の手順で実行される。

【００７３】まず、最初に順序木１３１のｃｏｕｎｔデ
ータメンバをインクリメントする（ｃｏｕｎｔデータメ
ンバの値は２となる）。次に、ｒｏｏｔポインタメンバ
を調べ、それがヌルポインタでないので、ｒｏｏｔポイ
ンタメンバが指すノード１３２のｖａｌｕｅデータメン
バ２５３の値と追加する整数値５を比較する。比較の結
果、整数値５がｖａｌｕｅデータメンバ２５３より大な
ので、整数値５はノード１３２の右部分木に含まれる必
要があることが判明する。

【００７４】次に、ノード１３２のｒｉｇｈｔポインタ
メンバを調べ、それがヌルポインタなので、整数値５を
保持した新規のノード１３３を作成し、ノード１３２の
ｒｉｇｈｔポインタメンバにノード１３３を指させる。
そして、ノード１３３のｖａｌｕｅデータメンバ２６７
に整数値５、ｃｏｕｎｔデータメンバ２６８に整数値
１、ｌｅｆｔポインタメンバ２６９及びｒｉｇｈｔポイ
ンタメンバ２６０にはヌルポインタを格納する。

【００７５】図９は本発明の実施形態の図８の順序木に
整数値４を追加した後の順序木の状態を示す図である。

【００７６】図９において、１３４は順序木１３３に追
加されたノードである。２７１は順序木１３１が３つの
整数値を保持するように変化したことを示す。２７９は
ノード１３３がノード１３４をルートとする左部分木を
持つように変化したことを示す。２７１ａは、ノード１
３４が整数値４を保持することを示す。２７２はノード
１３４が保持する整数値４の反復数が１であることを示
す。２７３、２７４はノード１３４の左右の部分木が存
在しないことを示す。

【００７７】図１０は本発明の実施形態の図９の順序木
に整数値３を追加した後の順序木の状態を示す図であ
る。

【００７８】図１０において、２８１は順序木１３１が
４つの整数値を保持するように変化したことを示す。２
８４はノード１３２が保持する整数値３の反復数が２に
変化したことを示す。

【００７９】尚、図９の順序木に整数値３を追加する処
理は以下の手順で実行される。

【００８０】まず、最初に順序木１３１のｃｏｕｎｔデ
ータメンバ２８１をインクリメントする（４になる）。
次に、ｒｏｏｔポインタメンバ２５２がヌルポインタで
はないので、それが指すノード１３２のｖａｌｕｅデー
タメンバ２５３の値と追加する整数値３を比較する。比
較の結果、両者が等しいので、ノード１３２のｃｏｕｎ
ｔデータメンバ２８４をインクリメントする（２とな
る）。

【００８１】図１１は本発明の実施形態の図１０の順序
木に整数値２を追加した後の順序木の状態を示す図であ
る。

【００８２】図１２は本発明の実施形態の図１１の順序
木に整数値５を追加した後の順序木の状態を示す図であ
る。

【００８３】図１３は本発明の実施形態の図１２の順序
木に整数値６を追加した後の順序木の状態を示す図であ
る。また、図１３は、図６〜図１２の過程を経て得られ
る図５の順序木を示したものである。

【００８４】尚、図１１〜図１３の説明については、図
６〜図１０に説明した手順と同様の手順で説明されるの
で、ここでは省略する。

【００８５】次に、図５の順序木が、図６〜図１３で示
した過程に従って成長した場合のオブジェクトウインド
ウ（図２の３０１）の遷移について、図１４〜図２７を
用いて説明する。

【００８６】図１４は本発明の実施形態のオブジェクト
ウインドウの初期状態を示す図である。

【００８７】図１４において、１１０１はオブジェクト
ウインドウであり、デバッガスレッド（図２の２０７）
が表示する。

【００８８】図１５は本発明の実施形態の順序木が図６
の状態にあるときのオブジェクトウインドウの表示状態
を示す図である。

【００８９】図１５において、３１０２は、デバッグ対
象プログラムの内部状態が変化した旨をユーザに伝える
ための確認ダイアログボックスである。３１０３、３１
０４は、確認ダイアログボックス３１０２をクローズす
るためのボタンである。３２０１は、順序木のインスタ
ンス（図６の１３１）を表現するインスタンスボックス
である。

【００９０】確認ダイアログボックス３１０２は、デバ
ッグライブラリ関数群（図２の２０８）内のコードによ
り表示さるモーダルスタイルのダイアログである。ま
た、デバッグライブラリ関数群は、デバッグ対象プログ
ラムと、同一スレッドに属する。そのため、確認ダイア
ログボックス３１０２がオープンしている間、デバッグ
対象プログラムはブロックされた状態（一時停止状態）
にある。これにより、デバッグ対象プログラムの実行
と、グラフィカルユーザインタフェースを司るデバッガ
スレッド（図２の２０７）の同期を図ることができる。

【００９１】確認ダイアログボックス３１０２上のＹＥ
Ｓボタン３１０３を選択すれば、確認ダイアログボック
ス３１０２はクローズし、デバッグ対象プログラムは実
行を再開する。これに対し、ＮＯボタン３１０４を選択
した時は、デバッグ対象プログラムは強制終了させられ
る。

【００９２】インスタンスボックス３２０１に付加され
たラベル（Ｔｒｅｅ＃０）は、インスタンスが属するク
ラス名とインスタンスが生成された順番によって合成さ
れる。この場合、クラス名はＴｒｅｅであり、インスタ
ンスの生成番号は（０から数えて）０である。また、オ
ブジェクトウインドウ１１０１に最初に現れるインスタ
ンスボックス３２０１は、オブジェクトウインドウ１１
０１のクライアント領域の左上コーナーから、一定のマ
ージンをとった位置に表示される。

【００９３】図１６は本発明の実施形態の図７のＮｏｄ
ｅ＃０が作成済みで、Ｔｒｅｅ＃０のｒｏｏｔポインタ
メンバがヌルポインタの状態にあるときのオブジェクト
ウインドウを示す図である。

【００９４】図１６において、３２０２は新規作成され
たインスタンスＮｏｄｅ＃０（図７の１３２）を表現す
るインスタンスボックスである。特定のクラスに属する
インスタンスは、デフォルトでは、クラスに属する最初
のインスタンスが生成されたクラス順に、縦方向に一定
の間隔で表示される。この場合、順序木クラス（Ｔｒｅ
ｅ）のインスタンスが最初に作成されたため、順序木ク
ラスのインスタンスは全て１行目に表示され、ノードク
ラス（Ｎｏｄｅ）のインスタンスが２行目に表示され
る。

【００９５】図１７は本発明の実施形態の図７のＴｒｅ
ｅ＃０のｒｏｏｔポインタメンバにインスタンスＮｏｄ
ｅ＃０のアドレスが設定された直後の状態にあるときの
オブジェクトウインドウを示す図である。

【００９６】図１７において、３３０１はＴｒｅｅ＃０
のｒｏｏｔポインタメンバ（図７の２５２）がＮｏｄｅ
＃０（図７の１３２）を指すことを表現するリンクであ
る。リンクに付加されるラベルは、ポインタメンバ名で
あり、この場合ｒｏｏｔとなる。

【００９７】図１８は本発明の実施形態の図８のＮｏｄ
ｅ＃１が作成済みで、Ｎｏｄｅ＃０のｒｉｇｈｔポイン
タメンバがヌルポインタの状態であるときのオブジェク
トウインドウ示す図である。

【００９８】図１８において、３２０３はインスタンス
Ｎｏｄｅ＃１（図８の１３３）を表現するインスタンス
ボックスである。インスタンスボックス３２０３のデフ
ォルトの表示位置は、そのインスタンスがどのクラスに
属するかによって縦位置が決定される。また、そのイン
スタンスが、そのクラスの何番目に作成されたインスタ
ンスであるかによって横位置が決定される。この場合、
インスタンスボックス３２０３はノードクラス（Ｎｏｄ
ｅ）の２番目に作成されたインスタンスを表現するた
め、２行２列の位置に表示される。

【００９９】図１９は本発明の実施形態の図８のＮｏｄ
ｅ＃０のｒｉｇｈｔポインタメンバにＮｏｄｅ＃１のア
ドレスが設定された直後の状態であるときのオブジェク
トウインドウを示す図である。

【０１００】図１９において、３３０２はＮｏｄｅ＃０
のｒｉｇｈｔポインタメンバ（図８の２６６）がＮｏｄ
ｅ＃１が指すことを表現するリンクであり、ラベルはポ
インタメンバ名のｒｉｇｈｔである。

【０１０１】図２０は本発明の実施形態の図９のＮｏｄ
ｅ＃２が作成済みで、Ｎｏｄｅ＃１のｌｅｆｔポインタ
メンバがヌルポインタである状態のときのオブジェクト
ウインドウを示す図である。

【０１０２】図２０において、３２０４はインスタンス
Ｎｏｄｅ＃２（図９の１３４）を表現するインスタンス
ボックスである。

【０１０３】図２１は本発明の実施形態の図９のＮｏｄ
ｅ＃１のｌｅｆｔポインタメンバにＮｏｄｅ＃２のアド
レスが設定された直後の状態であるときのオブジェクト
ウインドウを示す図である。

【０１０４】図２１において、３３０３はＮｏｄｅ＃１
のｌｅｆｔポインタメンバ（図９の２７９）がＮｏｄｅ
＃２を指すことを表現するリンクであり、ラベルはポイ
ンタメンバ名のｌｅｆｔである。

【０１０５】図２２は本発明の実施形態の図１１のＮｏ
ｄｅ＃３が作成済みで、Ｎｏｄｅ＃０のｌｅｆｔポイン
タメンバがヌルポインタの状態であるときのオブジェク
トウインドウを示す図である。

【０１０６】図２２において、３２０５はインスタンス
Ｎｏｄｅ＃３（図１１の１３５）を表現するインスタン
スボックスである。尚、オブジェクトウインドウ１１０
１は、インスタンスとインスタンス間のリンク関係を表
現するためのものである。そのため、インスタンスの生
成と削除、及びリンクの設定と変更時にウインドウの表
示内容が変更される。従って、順序木が図９から図１０
の状態へ推移してもオブジェクトウインドウ１１０１の
表示内容は変化せず、また、確認ダイアログボックスも
表示されない。

【０１０７】図２３は本発明の実施形態の図１１がＮｏ
ｄｅ＃０のｌｅｆｔポインタメンバにＮｏｄｅ＃３のア
ドレスが設定された直後の状態であるときのオブジェク
トウインドウを示す図である。

【０１０８】図２３において、３３０４はＮｏｄｅ＃０
のｌｅｆｔポインタメンバ（図１１の２９５）がＮｏｄ
ｅ＃３を指すことを表現するリンクであり、ラベルはポ
インタメンバ名のｌｅｆｔである。

【０１０９】図２４は本発明の実施形態の図２３の確認
ダイアログボックスをクローズする前に（つまり、デバ
ッグ対象プログラムの実行をブロックした状態で）マウ
スドラッグによりインスタンスボックスを移動した状態
を示す図である。

【０１１０】図２４に示すように、インスタンスボック
スを移動した場合、次に作成される同クラスのインスタ
ンスは、移動したインスタンスボックスの移動前の位置
に表示される。

【０１１１】尚、オブジェクト管理情報（図２の１０
７）は、クラス毎に次に生成されるインスタンス（以
降、次生成インスタンスと称する）の表示位置を管理し
ており、インスタンスが生成されるたびに次生成インス
タンスの表示位置を一定量右方向に移動させる。また、
ユーザがオブジェクトウインドウ１１０１上で、インス
タンスボックスを移動すると、移動前のインスタンスボ
ックスの位置を、次生成インスタンスの表示位置に設定
する。

【０１１２】図２５は本発明の実施形態の図１３のＮｏ
ｄｅ＃４が作成済みで、Ｎｏｄｅ＃１のｒｉｇｈｔポイ
ンタメンバがヌルポインタの状態であるときのオブジェ
クトウインドウを示す図である。

【０１１３】図２５において、３２０６はインスタンス
Ｎｏｄｅ＃４（図１３の１３６）を表現するインスタン
スボックスである。尚、インスタンスボックス３２０６
の表示位置は、上述した次生成インスタンスの表示位置
を管理する管理アルゴリズムによって、インスタンスボ
ックス３２０５（図２３）が移動前に存在した場所とな
る。

【０１１４】図２６は本発明の実施形態の図１３のＮｏ
ｄｅ＃１のｒｉｇｈｔポインタメンバにＮｏｄｅ＃４の
アドレスが設定された直後の状態であるときのオブジェ
クトウインドウを示す図である。

【０１１５】図２６において、３３０５はＮｏｄｅ＃１
のｒｉｇｈｔポインタメンバ（図１３の１２１０）がＮ
ｏｄｅ＃４を指すことを表現するリンクであり、ラベル
はポインタメンバ名のｒｉｇｈｔである。

【０１１６】図２７は本発明の実施形態の図２６の確認
ダイアログボックスをクローズする前に、マウスドラッ
グによりインスタンスボックスを適当な位置に移動した
状態を示す図である。

【０１１７】次に、プログラミング言語Ｃ＋＋で記述さ
れたプログラムの内部状態をオブジェクト管理情報（図
２の１０７）上に再現し、オブジェクトウインドウ（図
２の３０１）に描画するメカニズムについて、図２８〜
図３９を用いて説明する。

【０１１８】図２８は本発明の実施形態のデバッグ対象
プログラムの実行経路において、デバッグ対象クラスの
インスタンス生成をオブジェクト管理情報に反映してオ
ブジェクトウインドウ上に表示させる処理を示すフロー
チャートである。

【０１１９】図２８において、左のフローチャートは、
プログラミング言語Ｃ＋＋で記述されたプログラムのイ
ンスタンス生成処理を示す。真ん中のフローチャート
は、インスタンスを初期化するためのコンストラクタが
実行する処理を示す。右端のフローチャートは、デバッ
グ対象クラスのインスタンスが生成されるたびに呼び出
されるインスタンス生成通知関数が実行する処理を示
す。

【０１２０】尚、４１１４は、インスタンス生成通知関
数を関数引数としてクラス名、インスタンスサイズ、イ
ンスタンスアドレスを受け取ることを示す。また、イン
スタンス生成通知関数は、デバッグライブラリ関数群
（図２の２０８）に含まれるライブラリ関数である。

【０１２１】左端のフローチャートにおいて、まず、最
初に新規インスタンスのためのメモリ割り当てを実行す
る（ステップＳ１０２）。次に、割り当てられたメモリ
ブロックを初期化するためにコンストラクタを呼び出す
（ステップＳ１０３）。尚、クラスがデバッグ対象であ
れば、コンストラクタは、インスタンスの生成をデバッ
ガに通知するためにユーザによって挿入されたデバッグ
マクロを含む。このデバッグマクロはデバッグモードで
コンパイルされた場合、インスタンス生成通知関数の呼
び出し命令に展開される。

【０１２２】真ん中のフローチャートに進み、デバッグ
対象クラスのコンストラクタは、インスタンス生成通知
関数をコールする（ステップＳ１０６）。次に、インス
タンスの初期化に必要なユーザオリジナルなコード群を
実行する（ステップＳ１０７）。

【０１２３】右端のフローチャートに進み、インスタン
ス生成通知関数は、関数パラメータとして受け取った情
報（クラス名、インスタンスサイズ、インスタンスアド
レス）を元に、オブジェクト管理情報（図２の１０７）
を更新する（ステップＳ１１０）。次に、デバッガスレ
ッド（図２の２０７）にオブジェクト管理情報の描画要
求メッセージをポストする（ステップＳ１１１）。次
に、ユーザにインスタンスの生成を知らせるために確認
ダイアログボックスを表示する（ステップＳ１１２）。

【０１２４】尚、確認ダイアログボックスが表示されて
いる間は、インスタンス生成通知関数に制御が戻らない
ため、デバッグ対象プログラムの実行はブロックする。
一方、描画要求メッセージを受け取ったデバッガスレッ
ドは、オブジェクト管理情報の内容をオブジェクトウイ
ンドウ（図２の３０１）内に描画する。

【０１２５】図２９は本発明の実施形態のインスタンス
生成通知関数が受け取るパラメータの意味内容を示す図
である。

【０１２６】図２９において、４１０２は生成されたイ
ンスタンスである。４１０１はインスタンス４１０２の
アドレスを示すインスタンスアドレスパラメータであ
る。４１０３はインスタンス４１０２のメモリサイズを
示すインスタンスサイズパラメータである図３０は本発
明の実施形態のデバッグ対象プログラムの実行経路にお
いて、デバッグ対象クラスのインスタンスの削除をオブ
ジェクト管理情報に反映してオブジェクトウインドウ上
に表示させる処理を示すフローチャートである。

【０１２７】図３０において、左端のフローチャートは
プログラミング言語Ｃ＋＋で記述されたプログラムのイ
ンスタンス削除処理を示す。真ん中のフローチャート
は、インスタンスの後始末を行うデストラクタが実行す
る処理を示す。右端のフローチャートはデバッグ対象の
インスタンスが削除されるたびに呼び出されるインスタ
ンス削除通知関数が実行する処理を示す。

【０１２８】尚、５１１４は、インスタンス削除通知関
数が唯一の関数パラメータとしてインスタンスアドレス
を受け取ることを示す。また、インスタンス削除通知関
数は、デバッグライブラリ関数群（図２の２０８）に含
まれるライブラリ関数である。

【０１２９】左端のフローチャートにおいて、デストラ
クタを呼び出す。（ステップＳ１２２）。次に、インス
タンスが占有していたメモリブロックを開放する（ステ
ップＳ１２３）。尚、デバッグ対象クラスのデストラク
タは、インスタンスの削除をデバッガに通知するために
ユーザによって挿入されたデバッグマクロを含む。そし
て、デバッグマクロはデバッグモードでコンパイルされ
た場合、インスタンス削除通知関数の呼出し命令に展開
される。

【０１３０】真ん中のフローチャートに進み、デストラ
クタはユーザオリジナルな後始末処理コード群を実行す
る。（ステップＳ１２６）。次に、インスタンス削除通
知関数を呼び出す（ステップＳ１２７）。

【０１３１】右端のフローチャートに進み、インスタン
ス削除通知関数は、引数で渡された情報（インスタンス
アドレス）を用いて、オブジェクト管理情報（図２の１
０７）を更新する（ステップＳ１２０）。次に、デバッ
ガスレッド（図２の２０７）にオブジェクト管理情報の
描画要求メッセージをポストする（ステップＳ１２
１）。次に、ユーザにインスタンスの削除を知らせるた
めに確認ダイアログボックスを表示する（ステップＳ１
２２ａ）。

【０１３２】尚、確認ダイアログボックスが表示されて
いる間は、インスタンス削除通知関数に制御が戻らない
ため、デバッグ対象プログラムの実行はブロックする。
一方、描画要求メッセージを受け取ったデバッガスレッ
ドは、オブジェクト管理情報の内容をオブジェクトウイ
ンドウ（図２の３０１）内に描画する。

【０１３３】以下説明する図３１、図３２は、オブジェ
クト指向プログラムでは必須の要件とされる継承関係を
プログラミング言語Ｃ＋＋が実現する方法を示す。

【０１３４】特に、プログラミング言語Ｃ＋＋では、継
承関係の継承元クラスを基底クラスと呼び、継承先クラ
スを派生クラスと呼ぶ。

【０１３５】図３１は本発明の実施形態のプログラミン
グ言語Ｃ＋＋における派生クラスのインスタンスのメモ
リ構造を示す図である。

【０１３６】図３１において、５１０２は派生クラスの
インスタンスを示す。５１０３は派生クラスのインスタ
ンス５１０２が内包している基底クラスのデータメンバ
領域を示す。５１０４は派生クラスのインスタンス５１
０２が追加したデータメンバを示す。５１０１は派生ク
ラスのインスタンス５１０２のアドレスを示す。また、
基底クラスのデータメンバ領域５１０２の開始位置は、
派生クラスのインスタンスのアドレスに等しいため、派
生クラスのインスタンスアドレス５１０１は、その内部
に含まれる基底クラスのインスタンスのアドレスに一致
する。

【０１３７】図３２は本発明の実施形態のプログラミン
グ言語Ｃ＋＋において、派生クラスのインスタンスが生
成、削除される処理を示すフローチャートである。

【０１３８】図３２（ａ）は、派生クラスのインスタン
ス生成処理を示し、図３２（ｂ）は派生クラスのインス
タンスの削除処理を示す。

【０１３９】図３２（ａ）に示す派生クラスのインスタ
ンス生成処理は、まず、最初に派生クラスのインスタン
スを格納できるだけのメモリを割り当てる（ステップＳ
１３２）。次に、基底クラスのコンストラクタを呼び出
す（ステップＳ１３３）。最後に、派生クラスのコンス
トラクタを呼び出す（ステップＳ１３４）。

【０１４０】尚、基底クラス、派生クラス共にデバッグ
対象であったならば、派生クラスのインスタンス生成に
あたって、インスタンス生成通知関数は２回呼び出され
る。図３１では、この２回のインスタンス生成通知関数
の呼び出しが、同一のインスタンスアドレスパラメータ
を持つことを示している。１回目のインスタンス生成通
知関数の呼び出しは、派生クラスが含む基底クラスのイ
ンスタンス（図３１の５１０３）に対応する。また、２
回目の呼び出しは、派生クラスのインスタンス（図３１
の５１０２）に対応する。

【０１４１】また、基底クラスのインスタンスは、派生
クラスの一部としてではなく、単独で生成される可能性
もある。基底クラスのインスタンスが単独で生成された
のか、派生クラスの一部として生成されたのかは、同一
のインスタンスアドレスを持つ派生クラスのインスタン
スに対するインスタンス生成通知関数が呼び出された時
点で、初めて知ることができる（それまでは、両者は区
別できない）。

【０１４２】図３２（ｂ）に示す派生クラスのインスタ
ンス削除処理は、まず、最初に派生クラスのデストラク
タを呼び出す（ステップＳ２０２）。次に、基底クラス
のデストラクタを呼び出す（ステップＳ２０３）。最後
に、派生クラスのインスタンスが占有していたメモリブ
ロックを開放する（ステップＳ２０４）。

【０１４３】尚、基底クラス、派生クラス共にデバッグ
対象であったならば、派生クラスのインスタンスが削除
される際、インスタンス削除通知関数は２回呼び出され
る。図３１では、２回のインスタンス削除通知関数の呼
び出しが、同一のインスタンスアドレスパラメータをも
つことを示している。１回目のインスタンス削除通知関
数の呼び出しは、派生クラスのインスタンス（図３１の
５１０２）に対応する。また、２回目の呼び出しは、派
生クラスが含む基底クラスのインスタンス（図３１の５
１０３）に対応する。

【０１４４】また、派生クラスのデストラクタは、派生
クラスが付け加えたデータメンバ（図３１の５１０４）
を後始末する関数である。従って、派生クラスのデスト
ラクタが実行されたが、未だ基底クラスのデストラクタ
が実行されていないとき、つまり、１回目のインスタン
ス削除通知関数は呼び出されたが、２回目のインスタン
ス削除通知関数が呼び出されていない状態は、派生クラ
スが追加したデータメンバ（図３１の５１０４）は破壊
されたが、派生クラスが含む基底クラスインスタンス
（図３１の５１０３）は、生存していると考えるべきで
ある。

【０１４５】図３３は本発明の実施形態のインスタンス
間のリンク関係を実現する最も一般的な方法を示す図で
ある。

【０１４６】図３３において、６１０１は他のインスタ
ンス（または自分自身）へのリンク関係を保持するリン
ク元インスタンスを示す。６１０２はリンク元インスタ
ンス６１０１によってリンク関係が設定されているリン
ク先インスタンスを示す。リンク元インスタンス６１０
１は、リンク先インスタンス６１０２のアドレスをポイ
ンタメンバ６１０３に保持する。

【０１４７】図３４は本発明の実施形態のデバッガがイ
ンスタンス間のリンク関係の変化を検出するためにリン
ク元インスタンスとポインタメンバの間にリンクポイン
タクラスのインスタンスを挟み込んだ状態を示す図であ
る。

【０１４８】リンクポインタ７０００を所謂「スマート
ポインタ」とすることで、リンク元インスタンス６１０
１からは、リンクポインタ７０００、図３３におけるポ
インタメンバ６１０３を同一に見せることができる。つ
まり、リンクポインタ７０００を挿入したことによっ
て、デバッグ対象プログラムの実行の意味が影響を受け
ることはない。

【０１４９】また、リンクポインタ７０００は、初期設
定された場合、あるいはリンク変更を要求された（別の
インスタンスを指すように要求された）場合、リンクポ
インタ７０００内部に保持するポインタメンバ６１０３
にその要求を反映させると同時に、新しいリンク先イン
スタンスのアドレスをデバッグライブラリ関数群（図２
の２０８）を通じて、オブジェクト管理情報（図２の１
０７）に反映させる。

【０１５０】図３５は本発明の実施形態のプログラミン
グ言語Ｃ＋＋で記述されたプログラムにおけるリンクポ
インタを含んだリンク元インスタンスの生成処理を示す
フローチャートである。

【０１５１】図３５において、左端のフローチャートは
リンクポインタを含むリンク元インスタンスを生成する
処理を示す。真ん中のフローチャートは、リンクポイン
タのコンストラクタが実行する処理を示す。右端のフロ
ーチャートはリンクポインタのコンストラクタから呼び
出されるリンク生成通知関数が実行する処理を示す。
尚、７１１３は、リンク生成通知関数が関数パラメータ
として、リンク名、リンクポインタアドレスを受け取る
ことを示す。また、リンク生成通知関数は、デバッグラ
イブラリ関数群（図２の２０８）に含まれるライブラリ
関数である。

【０１５２】左端のフローチャートにおいて、まず、最
初にリンク元インスタンスが使用するメモリ領域を割り
当てる（ステップＳ１４２）。次に、リンクポインタを
データメンバとして含むため、同リンクポインタのコン
ストラクタを呼び出す（ステップＳ１４３）。最後に、
リンク元インスタンス自身のコンストラクタを呼び出す
（ステップＳ１４４）。

【０１５３】真ん中のフローチャートに進み、リンクポ
インタが内包するポインタメンバ（図３４の６１０３）
にヌルポインタを初期設定する（ステップＳ１４７）。
次に、リンク生成通知関数を呼び出す（ステップＳ１４
８）。

【０１５４】右端のフローチャートに進み、リンク生成
通知関数は、引数で渡された情報（リンク名、リンクポ
インタアドレス）を元に、リンクポインタの生成をオブ
ジェクト管理情報（図２の１０７）に反映させる。

【０１５５】また、リンク元インスタンスが属するクラ
スがデバッグ対象であるならば、ステップＳ１４４のリ
ンク元インスタンスのコンストラクタ呼び出しは、デバ
ッグ対象クラスのコンストラクタ（図２８）に従うた
め、インスタンス生成通知関数（図２８）を呼び出す。

【０１５６】更に、リンク元インスタンスに対するイン
スタンス生成通知関数は、リンク元インスタンスの生成
をオブジェクト管理情報（図２の１０７）に反映させ、
デバッガスレッド（図２の２０７）に描画要求をポスト
する。一方、描画要求を受け取ったデバッガスレッド
は、最新のオブジェクト管理情報の内容をオブジェクト
ウインドウ（図２の３０１）に描画する。

【０１５７】図３６は本発明の実施形態の図３５におけ
るリンク生成通知関数のパラメータの意味を示す図であ
る。

【０１５８】図３６において、７１０１はリンク生成通
知関数のパラメータの１つ、リンクポインタアドレスを
示す。７１０３はリンクポインタアドレス７１０１によ
って指されるリンクポインタを示す。７１０２は図３４
におけるリンクポインタ７０００を含むリンク元インス
タンスを示す。

【０１５９】リンク生成通知関数（図３５）が実行され
る時には、未だ、リンク元インスタンスのコンストラク
タが呼び出されていないため（図３５のステップＳ１４
４）、リンク元インスタンス７１０２はデバッガには認
識されていない。リンク元インスタンス７１０２に対す
るインスタンス生成通知関数（図２８）が実行された時
点で始めて、リンク元インスタンス７１０２がリンクポ
インタ７１０３をデータメンバとして含むことがデバッ
ガによって認識される。

【０１６０】図３７は本発明の実施形態のリンクポイン
タを変更する操作の代表例として、リンクポインタに新
たに指すべきリンク先インスタンスのアドレスを代入す
る処理を示すフローチャートである。

【０１６１】図３７（ａ）において、左側のフローチャ
ートはリンクポインタの代入演算子関数の呼び出し処理
を示す。右側のフローチャートは、リンクポインタクラ
スが多重定義する代入演算子関数が実行する処理を示
す。図３７（ｂ）のフローチャートはリンクポインタが
指すリンク先インスタンスが変更されるたびに呼び出さ
れるリンク変更通知関数が実行する処理を示す。尚、８
１１４は、リンク変更通知関数が関数パラメータとし
て、リンクポインタアドレス、リンク先インスタンスア
ドレスを受け取ることを示す。また、リンク変更通知関
数は、デバッグライブラリ関数群（図２の２０８）に含
まれるライブラリ関数である。

【０１６２】図３７（ａ）の左側のフローチャートにお
いて、デバッグヘッダ（図２の１０５）で定義されたリ
ンクポインタクラスは代入演算子を多重定義する。その
ため、デバッグ対象プログラム内でリンクポインタヘの
代入操作が実行される場合は、必ず、リンクポインタク
ラスの代入演算子関数が呼び出される（ステップＳ１５
２）。

【０１６３】図３７（ａ）の右側のフローチャートに進
み、多重定義された代入演算子関数は、リンクポインタ
が内部的に保持するポインタメンバ（図３４の６１０
３）の値と代入演算子関数に渡された新しいポインタ値
（リンク先インスタンスアドレスパラメータ）を比較す
る（ステップＳ１５５）。両者が異なる場合（ステップ
Ｓ１５５でＹＥＳ）、内部のポインタメンバに引数で渡
されたポインタ値を設定する（ステップＳ１５６）。そ
して、リンク変更通知関数を呼び出す（ステップＳ１５
７）。一方、両者が異ならない場合（ステップＳ１５５
でＮＯ）、ステップＳ１５２に戻る。

【０１６４】図３７（ｂ）のフローチャートに進み、リ
ンク変更通知関数は、パラメータとして渡された情報
（リンクポインタアドレス、リンク先インスタンスアド
レス）を元に、オブジェクト管理情報（図２の１０７）
を更新する（ステップＳ１５０）。次に、デバッガスレ
ッド（図２の２０７）に描画要求メッセージをポストす
る（ステップＳ１５１）。次に、確認ダイアログボック
スを表示してユーザに確認を促す（ステップＳ１５２
ａ）。一方、描画要求を受け取ったデバッガスレッド
は、最新のオブジェクト管理情報をオブジェクトウイン
ドウ（図２の３０１）に描画する。

【０１６５】図３８は本発明の実施形態のリンク変更通
知関数に渡されるパラメータの意味を示す図である。

【０１６６】図３８において、８１０１はリンクポイン
タアドレスを示す。８１０２はリンク先インスタンスア
ドレスパラメータを示す。また、リンクポインタアドレ
ス８１０１は、リンク元インスタンス８１０３にデータ
メンバとして含まれるリンクポインタ８１０４を指すポ
インタである。リンク先インスタンスアドレス８１０２
は、リンクポインタ８１０４が新たに指すべきリンク先
インスタンス８０１６のアドレス値である。リンクポイ
ンタ８１０４は、それが更にデータメンバとして含むポ
インタメンバ８１０５に新しいリンク先インスタンス８
１０６のアドレスを代入する。

【０１６７】図３９は本発明の実施形態のプログラミン
グ言語Ｃ＋＋で記述されたプログラムにおけるリンクポ
インタを含んだリンク元インスタンスの削除処理を示す
フローチャートである。

【０１６８】図３９において、左端のフローチャートは
リンクポインタを含むリンク元インスタンスを削除する
処理を示す。真ん中のフローチャートは、リンクポイン
タのデストラクタが実行する処理を示す。右端のフロー
チャートはリンクポインタのデストラクタから呼び出さ
れるリンク削除通知関数が実行する処理を示す。

【０１６９】尚、９１１２は、リンク削除通知関数が唯
一の関数パラメータとして、リンクポインタアドレスを
受け取ることを示す。また、リンク削除通知関数は、デ
バッグライブラリ関数群（図２の２０８）に含まれるラ
イブラリ関数である。

【０１７０】左端のフローチャートにおいて、まず、最
初にリンク元インスタンスのデストラクタを呼び出す
（ステップＳ１６２）。次に、リンク元インスタンスが
リンクポインタをデータメンバとして含むため、同リン
クポインタのデストラクタを呼び出す（ステップＳ１６
３）。最後に、リンク元インスタンスが占有していたメ
モリ領域を開放する（ステップＳ１６４）。

【０１７１】尚、リンク元インスタンスが属するクラス
がデバッグ対象であるならば、デストラクタの処理は、
デバッグ対象クラスのデストラクタ（図３０）に従うた
めインスタンス削除通知関数を呼び出す（図３０）。

【０１７２】インスタンス削除通知関数は、リンク元イ
ンスタンスの削除をオブジェクト管理情報（図２の１０
７）に反映させ（図３０のステップＳ１２０）、デバッ
ガスレッド（図２の２０７）に描画要求をポストする
（図３０のステップＳ１２１）。一方、描画要求メッセ
ージを受け取ったデバッガスレッドは、最新のオブジェ
クト管理情報の内容をオブジェクトウインドウ（図２の
３０１）に描画する。

【０１７３】そして、真ん中のフローチャートに進み、
デバッグヘッダ（図２の１０５）で定義されたリンクポ
インタのデストラクタは、リンク削除通知関数１０９を
呼び出す（ステップＳ１６７）。

【０１７４】右端のフローチャートに進み、リンク削除
通知関数は、引数で渡された情報（リンクポインタアド
レス）を元に、リンクポインタの削除をオブジェクト管
理情報（図２の１０７）に反映させる（ステップＳ１６
０）。

【０１７５】次に、図３、図４で示した順序木をプログ
ラミング言語Ｃ＋＋で記述したプログラムのソースコー
ド（図２の１０１）の一例について、図４０、図４１
Ａ、図４１Ｂを用いて説明する。

【０１７６】図４０は本発明の実施形態の図３、図４で
示した順序木クラス、ノードクラスを定義するヘッダフ
ァイルを示す図である。

【０１７７】図４０において、第６行から第２０行まで
がノードクラスＮｏｄｅを定義し、第２２行から第４１
行までが順序木クラスＴｒｅｅを定義する。

【０１７８】第１６行から第１９行までは、ノードクラ
スＮｏｄｅのインスタンスが保持するデータメンバの宣
言であり、ノードが保持する整数値を保持するデータメ
ンバｖａｌｕｅ、ノードが保持する整数値の反復数を保
持するデータメンバｃｏｕｎｔ、左部分木を指すポイン
タメンバｌｅｆｔ、右部分木を指すポインタメンバｒｉ
ｇｈｔから構成される。特に、ｌｅｆｔポインタメン
バ、ｒｉｇｈｔポインタメンバは、ノードクラスのイン
スタンス間のリンク関係を維持するためのデータメンバ
である。

【０１７９】第１０行から第１４行までは、ノードクラ
スのメンバ関数の宣言であり、それぞれコンストラクタ
Ｎｏｄｅ、仮想デストラクタ〜Ｎｏｄｅ、該ノードをル
ートとする順序木の適切な位置に整数値を挿入するメン
バ関数ａｄｄ、該ノードをルートとする順序木が指定さ
れた整数値を何回含むかを返すメンバ関数ｓｅａｒｃ
ｈ、該ノードをルートとする順序木が含む整数の集合を
昇順にストリームに出力するメンバ関数ｐｒｉｎｔから
構成される。

【０１８０】第３９行から第４０行までは、順序木クラ
スＴｒｅｅのデータメンバの宣言であり、順序木が保持
する整数の個数を保持するデータメンバｃｏｕｎｔ、順
序木のルートノードを指すポインタメンバｒｏｏｔから
構成される。特に、ｒｏｏｔポインタメンバは、順序木
クラスのインスタンスからノードクラスのインスタンス
ヘのリンク関係を維持するためのデータメンバである。

【０１８１】第２５行から第３７行までは、順序木クラ
スＴｒｅｅのメンバ関数の宣言及び定義であり、コンス
トラクタＴｒｅｅ、仮想デストラクタ〜Ｔｒｅｅ、順序
木が保持する整数の集合を空にするメンバ関数ｃｌｅａ
ｒ、順序木に整数値を追加するメンバ関数ａｄｄ、順序
木が指定された整数値を何個含むかを返すメンバ関数ｓ
ｅａｒｃｈ、順序木が保持する整数の集合を昇順にスト
リームに出力するメンバ関数ｐｒｉｎｔから構成され
る。

【０１８２】第１行、第２行、第４３行は、同ヘッダフ
ァイルが同一実装ファイル上で２回以上コンパイルされ
ることを防ぐマクロガードである。

【０１８３】図４１Ａ、図４１Ｂは本発明の実施形態の
図３、図４で示した順序木クラス、ノードクラスを実装
する実装ファイルを示す図である。

【０１８４】図４１Ａ、図４１Ｂにおいて、第３行から
第６７行までがノードクラスＮｏｄｅのメンバ関数を定
義し、第６９行から第９９行までが順序木クラスＴｒｅ
ｅのメンバ関数を定義する。

【０１８５】第３行から第８行までは、ノードクラスの
コンストラクタの定義であり、ノードインスタンスをコ
ンストラクタ引数で指定された整数値を保持するように
初期化する。

【０１８６】第１０行から第１６行までは、ノードクラ
スのデストラクタの定義であり、該ノードをルートする
順序木全体を破壊する。

【０１８７】第１８行から第３６行までは、ノードクラ
スのａｄｄメンバ関数の定義であり、該ノードをルート
する順序木の適切な位置に、引数で指定された整数値を
挿入する。

【０１８８】第３８行から第５６行までは、ノードクラ
スのｓｅａｒｃｈメンバ関数の定義であり、該ノードを
ルートする順序木が保持する整数の集合が、引数で指定
された整数値を何個含むかを返す（特に、順序木が指定
された整数値を含まないときは、０を返す）。

【０１８９】第５８行から第６７行まではノードクラス
のｐｒｉｎｔメンバ関数の定義であり、該ノードをルー
トする順序木が保持する整数の集合を昇順に引数で指定
されたストリームに出力する。

【０１９０】第６９行から第７６行までは、順序木クラ
スのｃｌｅａｒメンバ関数の定義であり、該順序木が保
持する整数の集合を空にする。

【０１９１】第７９行目から第８５行までは、順序木ク
ラスのａｄｄメンバ関数の定義であり、引数で指定され
た整数値を該順序木が保持する整数の集合に加える。

【０１９２】第８７行から第９３行までは、順序木クラ
スのｓｅａｒｃｈメンバ関数の定義であり、該順序木が
引数で指定された整数値を何個含むかを調べる（特に、
順序木が指定された整数値を含まないときは、０を返
す）。

【０１９３】第９５行から第９９行までは、順序木クラ
スのｐｒｉｎｔメンバ関数の定義であり、該順序木が保
持する整数の集合を昇順に指定されたストリームに出力
する。

【０１９４】次に、図４０、図４１Ａ、図４１Ｂで示し
たプログラムに、デバッグマクロを挿入した後のソース
コード（図２の１０３の一例）について、図４２、図４
３Ａ〜図４３Ｃを用いて説明する。

【０１９５】図４２は本発明の実施形態の図４０で示し
たヘッダファイルにデバッグマクロを埋め込んだ状態を
示す図である。

【０１９６】尚、図４２において、デバッグ機能のため
に挿入または変更された個所はイタリックボールド体で
示す。

【０１９７】第５行は、デバッグヘッダ（図２の１０
５）の取り込み指示である。

【０１９８】第９行、第２６行は、デバッグ対象クラス
の定義内に含めなければならないＤＥＣＬＡＲＥ＿ＤＥ
ＢＵＧマクロである。このマクロの挿入により、ノード
クラスＮｏｄｅ及び順序木クラスＴｒｅｅはデバッグ対
象となる。

【０１９９】第２０行、第２１行、第４６行は、デバッ
グモードでコンパイルされた場合に、リンクポインタク
ラスに展開されるＬＩＮＫＰＴＲマクロであり、インス
タンス間のリンク関係を維持するポインタ変数の型に適
用する必要がある。また、ＬＩＮＫＰＴＲマクロは、ポ
インタ変数の型指定子がＴ*であったならば、型Ｔを引
数にとる。従って、第２０行の例では、図４０の第１８
行のポインタメンバの宣言は、「Ｎｏｄｅ*ｌｅｆｔ」
であるため、「ＬＩＮＫＰＴＲ（Ｎｏｄｅ）ｌｅｆｔ」
に変更する。

【０２００】第２９行は、デバッグモードでコンパイル
された場合、リンクポインタを初期化するためコードに
展開されるＩＮＩＴＬＩＮＫマクロであり、リンクポイ
ンタを保持するクラスのコンストラクタ定義の関数ヘッ
ダと関数本体の間に挿入する。ＩＮＩＴＬＩＮＫマクロ
の引数はリンクポインタの変数名である。尚、ＩＮＩＴ
ＬＩＮＫマクロは省略可能である。また、ＩＮＩＴＬＩ
ＮＫマクロを指定個所に挿入した場合は、オブジェクト
ウインドウ（図２の３０１）に表示されるリンクには、
リンク名としてリンクポインタの変数名が表示される
（例えば、図１７の３３０１）。ＩＮＩＴＬＩＮＫマク
ロを省略した場合は、単にリンク名が表示されないだけ
である。

【０２０１】第３１行は、デバッグモードでコンパイル
された場合に、インスタンス生成通知関数の呼出し命令
に展開されるＯＮ＿ＣＯＮＳＴＲＵＣＴマクロであり、
デバッグ対象クラスのコンストラクタ定義の最初の実行
行として挿入する必要がある。

【０２０２】第３８行は、デバッグモードでコンパイル
された場合に、インスタンス削除通知関数の呼出し命令
に展開されるＯＮ＿ＤＥＳＴＲＵＣＴマクロであり、デ
バッグ対象クラスのデストラクタ定義の最後の実行行と
して挿入する必要がある。

【０２０３】図４３Ａ〜図４３Ｃは本発明の実施形態の
図４１Ａ、図４１Ｂで示した実装ファイルにデバッグマ
クロを埋め込んだ状態を示す図である。

【０２０４】図４３Ａ〜図４３Ｃにおいて、第３行、第
７４行は、デバッグ対象クラスのクラス定義内に埋め込
んだＤＥＣＬＡＲＥ＿ＤＥＢＵＧマクロ（図４２の第９
行、第２６行）に一対一で対応するＩＭＰＬＥＭＥＮＴ
＿ＤＥＢＵＧマクロであり、デバッグ対象クラスに対し
て、クラス名を引数として、実装ファイル中に各クラス
につき一度づつ挿入しなければならない。

【０２０５】第６行は、デバッグモードでコンパイルさ
れた場合、リンクポインタを初期化するためのコードに
展開されるＩＮＩＴＬＩＮＫ、＿ＩＮＩＴＬＩＮＫマク
ロであり、リンクポインタを保持するクラスのコンスト
ラクタ定義の関数ヘッダと関数本体の間に挿入する。
尚、同一のコンストラクタにＩＮＩＴＬＩＮＫ、＿ＩＮ
ＩＴＬＩＮＫマクロを複数挿入する場合（つまり、クラ
スが複数のリンクポインタを含む場合）、最初に挿入し
たマクロはＩＮＩＴＬＩＮＫでなければならず、２番目
以降に挿入されるマクロは＿ＩＮＩＴＬＩＮＫでなけれ
ばならない。

【０２０６】第８行は、デバッグモードでコンパイルさ
れた場合に、インスタンス生成通知関数の呼出し命令に
展開されるＯＮ＿ＣＯＮＳＴＲＵＣＴマクロであり、デ
バッグ対象クラスのコンストラクタ定義の最初の実行行
として挿入する必要がある。第２０行は、デバッグモー
ドでコンパイルされた場合に、インスタンス削除通知関
数の呼出し命令に展開されるＯＮ＿ＤＥＳＴＲＵＣＴマ
クロであり、デバッグ対象クラスのデストラクタ定義の
最後の実行行として挿入する必要がある。

【０２０７】尚、ＩＮＩＴＬＩＮＫ、＿ＩＮＩＴＬＩＮ
Ｋ、ＯＮ＿ＣＯＮＳＴＲＵＣＴ、ＯＮ＿ＤＥＳＴＲＵＣ
Ｔマクロは、常にメンバ関数の定義内に挿入する。

【０２０８】次に、デバッグマクロ一式とリンクポイン
タテンプレートクラスを定義するデバッグヘッダ（図２
の１０５）について、図４４Ａ〜図４４Ｃを用いて説明
する。

【０２０９】図４４Ａ〜図４４Ｃは本発明の実施形態の
デバッグマクロ一式とリンクポインタテンプレートクラ
スを定義するデバッグヘッダを示す図である。

【０２１０】図４４Ａ〜図４４Ｃにおいて、第１行、第
２行、第１３２行は、同デバッグヘッダファイルが同一
実装ファイル上で２度以上コンパイルされることを防止
するマクロガードである。

【０２１１】第４行、第１５行、第１３０行は、デバッ
グモードでコンパイルされる場合と、非デバッグモード
でコンパイルされる場合を切り分ける条件コンパイル指
示である。そして、非デバッグモードの場合（記号常数
＿ＤＥＢＵＧが定義されていない場合）、第５行から第
１４行までがコンパイルされる。一方、デバッグモード
の場合（記号常数＿ＤＥＢＵＧが定義されている場
合）、第１６行から第１２９行までがコンパイルされ
る。

【０２１２】非デバッグモードの場合、マクロＩＮＩＴ
ＤＥＢＵＧＧＥＲ、ＤＥＣＬＡＲＥ＿ＤＥＢＵＧ、ＩＭ
ＰＬＥＭＥＮＴ＿ＤＥＢＵＧ、ＯＮ＿ＣＯＮＳＴＲＵＣ
Ｔ、ＯＮ＿ＤＥＳＴＲＵＣＴ、ＩＮＩＴＬＩＮＫ、＿Ｉ
ＮＩＴＬＩＮＫは全て空文字列に置換される。また、マ
クロＬＩＮＫＰＴＲ（Ｔ）はただのポインタＴ*に置換
される。そのため、デバッグマクロが埋め込まれた順序
木ヘッダファイル（図４２）、同実装ファイル（図４３
Ａ〜図４３Ｃ）の展開結果は、それぞれオリジナルの順
序木ヘッダファイル（図４０）、同実装ファイル（図４
１Ａ、図４１Ｂ）に一致する。

【０２１３】従って、オリジナルのソースコード（図２
の１０１）のコンパイル結果（図２の１０２）と、デバ
ッグマクロが埋め込まれたソースコード（図２の１０
３）を非デバッグモードでコンパイルした結果（図２の
１０４）は一致する。

【０２１４】第１７行から第３５行までは、デバッグモ
ードでコンパイルした場合の、デバッグマクロの定義を
示す。また、第１７行は、ＩＮＩＴＤＥＢＵＧＧＥＲマ
クロが、デバッガスレッドの初期化関数＿ＩｎｉｔＤｅ
ｂｕｇｇｅｒ（図２の２０５）の呼び出しに置換される
ことを示す。

【０２１５】第２７行、第２８行は、ＯＮ＿ＣＯＮＳＴ
ＲＵＣＴマクロが、インスタンス生成通知関数＿ＯｎＣ
ｏｎｓｔｒｕｃｔＩｎｓｔａｎｃｅ（図２８）の呼び出
し命令に置換されることを示す。

【０２１６】第３０行は、ＯＮ＿ＤＥＳＴＲＵＣＴマク
ロが、インスタンス削除通知関数＿ＯｎＤｅｓｔｒｕｃ
ｔＩｎｓｔａｎｃｅ（図３０）の呼出し命令に置換され
ることを示す。

【０２１７】第１９行から第２１行は、ＤＥＣＬＡＲＥ
＿ＤＥＢＵＧマクロが、「ｓｔａｔｉｃ ｃｏｎｓｔ
ｃｈａｒ*＿ｃｌａｓｓ＿ｎａｍｅ；ｓｔａｔｉｃ ｃ
ｏｎｓｔ ｉｎｔ＿ｉｎｓｔａｎｃｅ＿ｓｉｚｅ；」に
置換されることを示す。従って、同マクロをクラス定義
内部で使用した場合（図４２の第９行、第２６行）、ク
ラスの静的データメンバ＿ｃｌａｓｓ＿ｎａｍｅ、＿ｉ
ｎｓｔａｎｃｅ＿ｓｉｚｅの宣言となる。

【０２１８】第２３行から第２５行は、ＩＭＰＬＥＭＥ
ＮＴ＿ＤＥＢＵＧ（ｎａｍｅ）マクロが、「ｃｏｎｓｔ
ｃｈａｒ* ｎａｍｅ：：＿ｃｌａｓｓ＿ｎａｍｅ＝
“＃ｎａｍｅ”；ｃｏｎｓｔ ｉｎｔ ｎａｍｅ：：＿
ｉｎｓｔａｎｃｅ＿ｓｉｚｅ＝“ｓｉｚｅｏｆ（ｎａｍ
ｅ）”；」に置換されることを示す（但し、仮引数ｎａ
ｍｅは更に、実引数に置換される）。従って、実装ファ
イルのファイルスコープで、同マクロを使用した場合
（図４３Ａの第３行、図４３Ｂの第７４行）、実引数で
指定したクラスの静的メンバ＿ｃｌａｓｓ＿ｎａｍｅ、
＿ｉｎｓｕｔａｎｃｅ＿ｓｉｚｅの初期化を実行する。

【０２１９】第３２行は、ＬＩＮＫＰＴＲ（ｎａｍｅ）
マクロが、「＿ＬｉｎｋＰｔｒ＜ｔｙｐｅ＞」に置換さ
れることを示す（但し、仮引数ｔｙｐｅは実引数に置換
される）。ここで、＿ＬｉｎｋＰｔｒは、リンクポイン
タを実現するテンプレートクラスであり、同ヘッダファ
イルの第４６行から第１２８行までで定義される。

【０２２０】第３４行は、ＩＮＩＴＬＩＮＫ（ｎａｍ
ｅ）マクロが、「：ｎａｍｅ（“＃ｎａｍｅ”）」に置
換されることを示すが、同マクロがコンストラクタの関
数ヘッダと関数本体の間に挿入された場合（図４２の第
２９行、図４３Ａの第６行）、実引数で指定されたデー
タメンバに対するメンバイニシャライザとなる（初期値
はリンク名を表現するＡＳＣＩＩ文字列）。

【０２２１】第３５行は、＿ＩＮＩＴＬＩＮＫ（ｎａｍ
ｅ）マクロが、「，ｎａｍｅ（“＃ｎａｍｅ”）」に置
換されることを示すが、同マクロが、ＩＮＩＴＬＩＮＫ
マクロまたは、＿ＩＮＩＴＬＩＮＫマクロの直後に使用
された場合（図４３Ａの第６行）、直前のメンバイニシ
ャライザに継続するメンバイニシャライザとなる。

【０２２２】第３８行から第４３行までは、デバッグラ
イブラリ関数群（図２の２０８）が公開するライブラリ
関数のプロトタイプ宣言である。

【０２２３】第４６行から第１２８行までは、リンクポ
インタテンプレートクラスを定義する。

【０２２４】第１２４行は、リンクポインタ（図３４の
７０００）が指すインスタンスのアドレスを保持するポ
インタメンバｌｉｎｋ（図３４の６１０３）の宣言であ
る。第１２７行は、リンクポインタのＡＳＣＩＩ表示名
を保持するデータメンバｎａｍｅの宣言であり、ＩＮＩ
ＴＬＩＮＫ、＿ＩＮＩＴＬＩＮＫマクロの展開結果であ
るメンバイニシャライザにより初期化される。

【０２２５】第５５行から第６０行、第６３行から第６
８行、第７１行から第７６行目までは、リンクポインタ
のコンストラクタ（図３５）の定義である。これは、リ
ンクポインタのデータメンバを適切に初期化し、リンク
生成通知関数＿ＯｎＣｏｎｓｔｒｕｃｔＰｏｉｎｔｅｒ
（図３５）を呼び出す。

【０２２６】第７９行は、リンクポインタの仮想デスト
ラクタ（図３９）の定義であり、リンク削除通知関数＿
ＯｎＤｅｓｔｒｕｃｔＰｏｉｎｔｅｒ（図３９）を呼び
出す。

【０２２７】第８２行から第８８行までは、リンクポイ
ンタの代入演算子（＝）の多重定義関数である。これ
は、デバッグ対象の埋め込みソースコード（図２の１０
３）内で、リンクポインタを両辺とする演算子＝の使用
時に起動される。そして、右辺のリンクポインタの内容
を左辺のリンクポインタにコピーした後、左辺のリンク
ポインタに対するリンク変更通知関数＿ＯｎＭｏｄｉｆ
ｙＰｏｉｎｔｅｒ（図３７）を呼び出す。

【０２２８】第９１行は、リンクポインタ型から、リン
クポインタが指すインスタンスヘの通常のポインタ型へ
の型変換を定義する演算子関数である。これは、デバッ
グ対象の埋め込みソースコード（図２の１０３）内で、
通常のポインタ型が必要とされる個所にリンクポインタ
のインスタンスが出現した場合に起動される。そして、
リンクポインタが保持するポインタメンバｌｉｎｋの値
（つまり、リンク先インスタンスアドレス、図３４の６
１０３）を返す。

【０２２９】第９７行から第１２０行までは、リンクポ
インタをデバッグ対象プログラムからは通常のポインタ
と同一に見せる（つまり、スマートポインタを実現す
る）ための演算子の多重定義関数一式を示す。

【０２３０】第９７行は、メンバ選択演算子（−＞）の
多重定義関数である。これは、デバッグ対象の埋め込み
ソースコード（図２の１０３）内で、リンクポインタの
インスタンスを左辺とする演算子−＞の適用時に起動さ
れる。そして、リンクポインタが保持するポインタメン
バｌｉｎｋ（図３４の６１０３）を返す。

【０２３１】第１００行は、間接参照演算子（*）の多
重定義関数である。これは、デバッグ対象の埋め込みソ
ースコード（図２の１０３）内で、リンクポインタのイ
ンスタンスが後置された演算子*の適用時に起動され
る。そして、リンクポインタが保持するポインタメンバ
ｌｉｎｋが指す内容（つまり、リンク先インスタンス、
図３４の６１０２）への参照を返す。

【０２３２】第１０３行は、論理否定演算子（！）の多
重定義関数である。これは、デバッグ対象の埋め込みソ
ースコード（図２の１０３）内で、リンクポインタのイ
ンスタンスを後置した演算子！の使用時に起動される。
そして、リンクポインタが保持するポインタメンバｌｉ
ｎｋの論理否定を返す（つまり、ｌｉｎｋがヌルポイン
タのとき真を返す）。 第１０６行は、等価演算子（＝
＝）の多重定義関数である。これは、デバッグ対象プロ
グラムソース内で、リンクポインタのインスタンスを両
辺とする演算子＝＝の使用時に起動される。そして、２
つのリンクポインタが保持するポインタメンバｌｉｎｋ
の等価判定を行う（つまり２つのｌｉｎｋが同一のもの
を指せば真を返す）。

【０２３３】第１０９行は、非等価演算子（！＝）の多
重定義関数である。これは、デバッグ対象の埋め込みソ
ースコード（図２の１０３）内で、リンクポインタのイ
ンスタンスを両辺とする演算子！＝の使用時に起動され
る。そして、２つのリンクポイタが保持するポインタメ
ンバｌｉｎｋの非等価判定を行う（つまり、２つのｌｉ
ｎｋが異なるものを指せば、真を返す）。

【０２３４】第１１２行から第１２０行までは、代入演
算子（＝）の多重定義である。これは、デバッグ対象の
埋め込みソースコード（図２の１０３）内で、リンクポ
インタのインスタンスを左辺、リンクポインタが指すべ
きインスタンス型へのポインタを右辺とする演算子＝の
使用時（図３７の１０４）に適用される。そして、リン
クポインタの現在のｌｉｎｋポインタ値と代入演算の右
辺のポインタ値が異なれば、ｌｉｎｋに新しい値を設定
し、リンク変更通知関数＿ＯｎＭｏｄｉｆｙＰｏｉｎｔ
ｅｒ（図３７（ｂ））を呼び出す。

【０２３５】次に、図４２で示したデバッグマクロが埋
め込まれたヘッダファイルをデバッグモードでコンパイ
ルした際のマクロ展開結果について、図４５を用いて説
明する。

【０２３６】図４５は本発明の実施形態の図４２で示し
たデバッグマクロが埋め込まれたヘッダファイルをデバ
ッグモードでコンパイルした際のマクロ展開結果を示す
図である。

【０２３７】図４５において、第９行、第１０行は、ノ
ードクラスに対するＤＥＣＬＡＲＥ＿ＤＥＢＵＧマクロ
（図４２の第９行）の展開結果であり、ノードクラスに
静的データメンバ＿ｃｌａｓｓ＿ｎａｍｅ、＿ｉｎｓｔ
ａｎｃｅ＿ｓｉｚｅを追加する。同様に、第２７行、第
２８行は、順序木クラスに対するＤＥＣＬＡＲＥ＿ＤＥ
ＢＵＧマクロ（図４１Ａの第２６行）の展開結果であ
り、順序木クラスに静的データメンバ＿ｃｌａｓｓ＿ｎ
ａｍｅ、＿ｉｓｔａｎｃｅ＿ｓｉｚｅを追加する。尚、
＿ｃｌａｓｓ＿ｎａｍｅデータメンバは、デバッグ対象
クラスのＡＳＣＩＩ表示名を保持し、＿ｉｎｓｔａｎｃ
ｅ＿ｓｉｚｅデータメンバは、クラスのインスタンスが
占有するメモリの大きさを保持する。また、＿ｃｌａｓ
ｓ＿ｎａｍｅデータメンバ、＿ｉｓｔａｎｃｅ＿ｓｉｚ
ｅデータメンバは静的データであるから、そのクラスに
属する全インスタンスによって共有される（実際に、同
メンバは、クラスに属する全インスタンスに共通な性質
を表現している）。

【０２３８】第２１行、第２２行は、ＬＩＮＫＰＴＲマ
クロ（図４２の第２０行、第２１行）の展開結果であ
り、ノードクラスＮｏｄｅのデータメンバｌｅｆｔ、ｒ
ｉｇｈｔをＮｏｄｅ*から、Ｎｏｄｅに関するリンクポ
インタテンプレートクラス型（＿ＬｉｎｋＰｔｒ＜Ｎｏ
ｄｅ＞）に変える。同様に、第４８行は、ＬＩＮＫＰＴ
Ｒマクロ（図４２の第４６行）の展開結果であり、順序
木クラスＴｒｅｅのｒｏｏｔポインタメンバをＮｏｄｅ
*から、Ｎｏｄｅに関するリンクポインタテンプレート
クラス型（＿ＬＩＮＫＰＴＲ＜Ｎｏｄｅ＞）に変える。

【０２３９】第３１行は、ＩＮＩＴＬＩＮＫマクロ（図
４２の第２９行）の展開結果であり、順序木クラスＴｒ
ｅｅのインスタンスが保持するｒｏｏｔリンクポインタ
のＡＳＣＩＩ表示名を“ｒｏｏｔ”に初期化する。

【０２４０】第３３行は、ＯＮ＿ＣＯＮＳＴＲＵＣＴマ
クロ（図４２の第３１行）の展開結果であり、クラスの
ＡＳＣＩＩ表示名、インスタンスサイズ、生成インスタ
ンスのアドレスを引数として、インスタンス生成通知関
数＿ＯｎＣｏｎｓｔｒｕｃｔＩｎｓｔａｎｃｅを呼び出
す。

【０２４１】第４０行は、ＯＮ＿ＤＥＳＴＲＵＣＴマク
ロ（図４２の第３８行）の展開結果であり、削除される
インスタンスのアドレスを引数として、インスタンス削
除通知関数＿ＯｎＤｅｓｔｒｕｃｔＩｎｓｔａｎｃｅを
呼び出す。

【０２４２】第３５行において、式「ｒｏｏｔ＝０」の
内、左辺ｒｏｏｔはリンクポインタクラス＿ＬｉｎｋＰ
ｔｒ＜Ｎｏｄｅ＞型であり、右辺０はＮｏｄｅ*と解釈
可能である。そのため、リンクポインタクラスが多重定
義した演算子関数ｏｐｅｒａｔｏｒ＝（Ｎｏｄｅ*）
（図４４Ｃの第１１２行から第１２０行まで）が起動さ
れる。

【０２４３】この場合は、第３１行のメンバイニシャラ
イザが、リンクポインタが保持するポインタ値を０に初
期化済みであり、代入の右辺も０である。そのため、多
重定義された演算子関数ｏｐｅｒａｔｏｒ＝（Ｎｏｄｅ
*）は何もしないで単に０を返す。

【０２４４】次に、図４３Ａ〜図４３Ｃで示したデバッ
グマクロが埋め込まれた実装ファイルをデバッグモード
でコンパイルした場合のマクロ展開結果について、図４
６を用いて説明する。

【０２４５】図４６Ａ〜図４６Ｃは本発明の実施形態の
図４３Ａ〜図４３Ｃで示したデバッグマクロが埋め込ま
れた実装ファイルをデバッグモードでコンパイルした場
合のマクロ展開結果を示す図である。

【０２４６】図４６Ａ〜図４６Ｃにおいて、第３行、第
４行は、クラス名Ｎｏｄｅを引数としたＩＭＰＬＥＭＥ
ＮＴ＿ＤＥＢＵＧマクロ（図４３Ａの第３行）の展開結
果である。これは、ノードクラスＮｏｄｅの静的データ
メンバ、＿ｃｌａｓｓ＿ｎａｍｅ、＿ｉｎｓｔａｃｅ＿
ｓｉｚｅをそれぞれ、文字列“Ｎｏｄｅ”、整数値ｓｉ
ｚｅｏｆ（Ｎｏｄｅ）に初期化する。ここで、ｓｉｚｅ
ｏｆ（Ｎｏｄｅ）は、Ｎｏｄｅクラスのインスタンスが
占有するメモリサイズである（コンパイラが計算す
る）。同様に、第７５行、第７６行は、クラス名Ｔｒｅ
ｅを引数としたＩＭＰＬＥＭＥＮＴ＿ＤＥＢＵＧマクロ
（図４３Ｂの第７４行）の展開結果である。これは、順
序木クラスＴｒｅｅの静的データメンバ、＿ｃｌａｓｓ
＿ｎａｍｅ、＿ｉｓｔａｎｃｅ＿ｓｉｚｅを、それぞ
れ、文字列“Ｔｒｅｅ”、整数値ｓｉｚｅｏｆ（Ｔｒｅ
ｅ）に初期化する。

【０２４７】第７行は、ＩＮＩＴＬＩＮＫ、＿ＩＮＩＴ
ＬＩＮＫマクロ（図４３Ａの第６行）の展開結果であ
る。これは、ノードクラスＮｏｄｅのインスタンスが保
持するリンクポインタｌｅｆｔ、リンクポインタｒｉｇ
ｈｔのＡＳＣＩＩ表示名をそれぞれ、“ｌｅｆｔ”、
“ｒｉｇｈｔ”に初期化する。

【０２４８】第９行は、ＯＮ＿ＣＯＮＳＴＲＵＣＴマク
ロ（図４３Ａの第８行）の展開結果である。これは、ク
ラスのＡＳＣＩＩ表示名、インスタンスサイズ、生成さ
れたインスタンのアドレスを引数として、インスタンス
生成通知関数＿ＯｎＣｏｎｓｔｒｕｃｔＩｎｓｔａｎｃ
ｅ関数を呼び出す。

【０２４９】第２１行は、ＯＮ＿ＤＥＳＴＲＵＣＴマク
ロ（図４３Ａの第２０行）の展開結果である。これは、
削除されるインスタンスのアドレスを引数として、イン
スタンス削除通知関数＿ＯｎＤｅｓｔｒｕｃｔＩｎｓｔ
ａｎｃｅ関数を呼び出す。

【０２５０】第１２行において、式「ｌｅｆｔ＝ｒｉｇ
ｈｔ＝０」は、代入演算子が右結合であるため、「ｌｅ
ｆｔ＝（ｒｉｇｈｔ＝０）」と解釈される。また、部分
式「ｒｉｇｈｔ＝０」は、左辺がリンクポインタクラス
＿ＬｉｎｋＰｔｒ＜Ｎｏｄｅ＞のインスタンスであり、
右辺の０がＮｏｄｅ*と解釈可能であるため、リンクポ
インタクラスが多重定義した代入演算子関数ｏｐｅｒａ
ｔｏｒ＝（Ｎｏｄｅ*）が起動される（図４４Ｃの第１
１２行から第１２０行）。

【０２５１】この場合、第７行のメンバイニシャライザ
が、リンクポインタｒｉｇｈｔが保持するポインタ値を
０（ヌルポインタ）に初期化済みであり、代入の右辺も
０（ヌルポインタ）である。そのため、多重定義された
代入演算子関数は何もしないで０（ヌルポインタ）を返
す。

【０２５２】式「ｌｅｆｔ＝（ｒｉｇｈｔ＝０）」は、
部分式「ｒｉｇｈｔ＝０」の計算結果０（ヌルポイン
タ）を左辺のｌｅｆｔに代入する意味である。そして、
左辺はリンクポインタクラス＿ＬｉｎｋＰｔｒ＜Ｎｏｄ
ｅ＞のインスタンスであり、右辺０はＮｏｄｅ*と解釈
可能である。そのため、再度、リンクポインタクラスが
多重定義した代入演算子ｏｐｅｒａｔｏｒ＝（Ｎｏｄｅ
*）が起動される。

【０２５３】この場合も、第７行のメンバイニシャライ
ザが、リンクポインタｌｅｆｔが保持するポインタ値を
０（ヌルポインタ）に初期化済みであり、代入の右辺も
０（ヌルポインタ）である。そのため、多重定義された
代入演算子関数は何もしないで０（ヌルポインタ）を返
す。

【０２５４】第１８行において、式「ｄｅｌｅｔｅ ｌ
ｅｆｔ」のオペランドｌｅｆｔは、リンクポインタクラ
ス＿ＬｉｎｋＰｔｒ＜Ｎｏｄｅ＞のインスタンスであ
る。しかし、ｄｅｌｅｔｅ演算子はポインタ型の変数を
必要とするため、演算対象のｌｅｆｔは、Ｎｏｄｅ*に
変換された後、ｄｅｌｅｔｅ演算子が適用される。つま
り、リンクポインタクラスが定義した型変換演算子関数
ｏｐｅｒａｔｏｒ Ｎｏｄｅ*（）が自動的に起動され
（図４４Ｂの第９１行）、リンクポインタｌｅｆｔのポ
インタメンバｌｉｎｋに対して、ｄｅｌｅｔｅ演算子が
適用される。

【０２５５】第２０行は、ｌｅｆｔとｒｉｇｈｔの違い
を除けば、第１８行と同様に解釈、実行されるので、そ
の詳細については省略する。

【０２５６】第２８行において、ｉｆ条件の中のリンク
ポインタクラスのインスタンスｌｅｆｔはリンクポイン
タクラスが多重定義したｏｐｅｒａｔｏｒ Ｎｏｄｅ*
（）により、Ｎｏｄｅ*型に自動的に変換される。従っ
て、ｌｅｆｔが保持するポインタメンバｌｉｎｋがヌル
ポインタでなければ、ｉｆ条件は真となり、第２９行が
実行される。

【０２５７】第２９行の式「ｌｅｆｔ−＞ａｄｄ
（ｖ）」において、演算子−＞の左辺がリンクポインタ
クラスのインスタンスである。そのため、リンクポイン
タクラスが多重定義したメンバ選択演算子関数ｏｐｅｒ
ａｔｒｏ−＞（）が自動的に起動される（図４４Ｂの第
９７行）。尚、多重定義されたメンバ選択演算子関数
は、リンクポインタが保持するＮｏｄｅへのポインタ
（ｌｉｎｋの値）をリターンする。そして、この時のリ
ターン値が再帰的に演算子−＞に適用され（つまり、
（ｌｅｆｔ．ｌｉｎｋ）−＞ａｄｄ（ｖ）の意味）、結
局、ポインタメンバｌｉｎｋが指すＮｏｄｅクラスのイ
ンスタンスに対して、ａｄｄメンバ関数が起動される。

【０２５８】第３８行、第４８行、第６５行、第６６
行、第７１行、第８０行、第８２行、第９０行、第９８
行、第１０６行において、リンクポインタクラスが定義
した型変換演算子関数ｏｐｅｒａｔｏｒ Ｎｏｄｅ
*（）（図４４Ｂの第９１行）が自動的に起動される。

【０２５９】第３１行、第３８行、第８２行、第９３行
において、リンクポインタクラスが多重定義した代入演
算子関数ｏｐｅｒａｔｏｒ＝（Ｎｏｄｅ*）（図４４Ｃ
の第１１２行から第１２０行まで）が自動的に起動され
る。

【０２６０】第３６行、第４８行、第５６行、第６７
行、第７２行、第９１行、第９９行、第１０７行におい
て、リンクポインタクラスが多重定義したメンバ選択演
算子関数ｏｐｅｒａｔｏｒ−＞（）（図４４Ｂの第９７
行）が自動的に起動される。

【０２６１】このように、デバッグマクロの挿入操作以
外に、デバッグ対象プログラムのソースコードを変更す
ることなく、インスタンス間のリンク関係の初期設定と
変更をデバッガに通知する機能を有するリンクポインタ
のインスタンスを容易に挟み込むことができる（図３
４）。

【０２６２】特に、インスタンス間のリンク関係を維持
するポインタ変数の型をリンクポインタクラスに変更す
るだけで、デバッグ対象プログラムソースコード内から
インスタンス間のリンク関係の変更操作を抽出するの
は、コンパイラの役割となり、それ以上のユーザの関与
は必要とされない。

【０２６３】また、リンクポインタに対する操作は、デ
バッグ対象プログラムソース上では、同リンクポインタ
への演算子の適用及び型変換を通じて行われる。そのた
め、これら演算子と型変換を、通常のポインタ操作の意
味を保存する様に多重定義することにより、デバッグ対
象プログラムの動作は、デバッグマクロを挿入する前と
デバッグ機能を除いては同一なものとなる。

【０２６４】次に、オブジェクト管理情報（図２の１０
７）が使用するデータ構造体について、図４７〜図４９
を用いて説明する。

【０２６５】図４７は本発明の実施形態のデバッグ対象
プログラムにおいて、インスタンスが生成された履歴が
あるクラスに関する情報を管理するクラス情報構造体を
示す図である。

【０２６６】図４７において、１０１０１はクラスのＡ
ＳＣＩＩ表示名を格納するクラス名フィールドである。
１０１０２はクラスの最初のインスタンスが作成された
クラス順を示すクラスＮｏフィールドである。１０１０
４はクラスのインスタンスのデータサイズを表現するイ
ンスタンスサイズフィールドである。

【０２６７】１０１０３はクラスの基底クラスの名前を
格納する基底クラス名フィールドあり、該クラスが基底
クラスを持つならば、基底クラスのＡＳＣＩＩ表示名が
格納される。

【０２６８】１０１０５は該クラスのインスタンスの生
成数を保持する生成インスタンス数フィールドである。
１０１０６は該クラスの現在生存中のインスタンス数を
保持する生存インスタンス数フィールドである。

【０２６９】１０１０７は該クラスのインスタンスの生
成と破壊及びリンクの変更時に、確認ダイアログボック
スを表示してユーザの確認を求めるか否かを決定するブ
レークフラグフィールドである。

【０２７０】１０１０８は次に生成される該クラスに属
するインスタンスをオブジェクトウインドウ（図２の３
０１）内で表示する位置を定める次インスタンス表示位
置フィールドである。

【０２７１】図４８は本発明の実施形態のデバッグ対象
プログラムの実行経路において、現時点で生存している
インスタンスを表現するインスタンス情報構造体を示す
図である。

【０２７２】図４８において、１１１０１はインスタン
スのアドレスを格納するインスタンスアドレスフィール
ドである。１１１０２はインスタンスが属するクラスの
ＡＳＣＩＩ表示名を格納するクラス名フィールドであ
る。１１１０３は該インスタンスのメモリサイズを格納
するインスタンスサイズフィールドである。

【０２７３】１１１０４は該インスタンスが、同クラス
内で何番目に生成されたかを保持する生成Ｎｏフィール
ドである。

【０２７４】１１１０５は該インスタンスがオブジェク
トウインドウ（図２の３０１）内で表示される位置を保
持する表示位置フィールドである。

【０２７５】図４９は本発明の実施形態のデバッグ対象
プログラムの実行経路において、現時点で生存中である
リンクポインタを表現するリンク情報構造体を示す図で
ある。

【０２７６】図４９において、１２１０１はリンクポイ
ンタのアドレス（図３８の８１０１）を保持するリンク
ポインタアドレスフィールドである。１２１０２はリン
クポインタのＡＳＣＩＩ表示名を保持するリンク名フィ
ールドである。

【０２７７】１２１０３はリンク元インスタンス（図３
８の８１０３）、つまり、同リンクポインタをデータメ
ンバとして含むインスタンスのアドレス値を保持するリ
ンク元インスタンスアドレスフィールドである。但し、
リンクポインタをデータメンバとして含むインスタンス
が存在しない、または、未検出である場合は、０（ヌル
ポインタ）が格納される。

【０２７８】１２１０４はリンク先インスタンスのアド
レス（図３８の８１０２）を保持するリンク先インスタ
ンスアドレスフィールドである。特に、０（ヌルポイン
タ）が格納されている場合は、同リンクポインタが現在
何も指していないことを示す。

【０２７９】次に、オブジェクト管理情報（図２の１０
７）の詳細について、図５０〜図５２を用いて説明す
る。

【０２８０】図５０は本発明の実施形態のクラス情報構
造体の集合を管理するクラス情報テーブルを示す図であ
る。

【０２８１】図５０において、１３１０１はクラス情報
構造体のクラス名フィールド（図４７の１０１０１）が
テーブルの検索キーとして使用されることを示す。１３
１０２はクラス情報構造体のその他のフィールドがキー
に対する値項目として使用されることを示す。尚、クラ
ス情報テーブルは、クラス名フィールドをキーとしたハ
ッシュテーブルとして実現するため、キーに対する一致
検索を高速に実行することができる。

【０２８２】図５１は本発明の実施形態のインスタンス
情報構造体の集合を管理するインスタンス情報テーブル
を示す図である。

【０２８３】図５１において、１４１０１はインスタン
ス情報構造体のインスタンスアドレスフィールド（図４
８の１１１０１）がテーブルのキーとして使用されるこ
とを示す。１４１０２はインスタンス情報構造体のその
他のフィールドが、キーに対する値項目として使用され
ることを示す。尚、インスタンス情報テーブルは、イン
スタンスアドレスをキーとしたハッシュテーブルとして
実現する。

【０２８４】図５２は本発明の実施形態のリンク情報構
造体の集合を管理するリンク情報テーブルを示す図であ
る。

【０２８５】図５２において、１５１０１はリンク情報
構造体のリンクポインタアドレスフィールド（図４９の
１２１０１）がテーブルの整列キーとして使用されるこ
とを示す。１５１０２はリンク情報構造体のその他のフ
ィールドが、キーに対する値項目として使用されること
を示す。尚、リンク情報テーブルは、リンクポインタア
ドレスをキーとした順序木として実装するため、キーに
対する効率的な一致検索及び範囲検索が可能である。

【０２８６】次に、クラス情報構造体（図４７）、イン
スタンス情報構造体（図４８）、リンク情報構造体（図
４９）のフィールド間の関係について、図５３を用いて
説明する。

【０２８７】図５３は本発明の実施形態のクラス情報構
造体、インスタンス情報構造体、リンク情報構造体のフ
ィールド間の関係を示す図である。

【０２８８】図５３において、１６１０１はクラス情報
構造体を示す。１６１０２はインスタンス情報構造体を
示す。１６１０３はリンク情報構造体を示す。

【０２８９】１６２０１はクラス情報エントリの基底ク
ラスフィールドが他のクラス情報エントリのクラス名キ
ーを参照すること、つまり、基底クラス名フィールドが
空文字列でないならば、該基底クラス名をクラス名フィ
ールドの値とするクラス情報エントリが存在しなければ
ならないことを示す。

【０２９０】１６２０２はインスタンス情報エントリの
クラス名フィールドがクラス情報テーブル中のいずれか
のクラス情報エントリのクラス名キーを参照することを
示す。

【０２９１】１６２０３はリンク情報エントリのリンク
元インスタンスアドレスフィールドが０でないならば、
インスタンス情報テーブル中のいずれかのインスタンス
情報エントリのインスタンスアドレスキーを参照するこ
とを示す。

【０２９２】１６２０４はリンク情報エントリのリンク
先インスタンスアドレスフィールドが０でないならば、
インスタンス情報テーブル内のいずれかのインスタンス
情報エントリのインスタンスアドレスキーを参照するこ
とを示す。

【０２９３】次に、クラス情報テーブル（図５０）、イ
ンスタンス情報テーブル（図５１）、リンク情報テーブ
ル（図５２）の内部状態の推移例として、図３、図４で
例示した順序木クラスが図６、図７の状態を経た場合に
ついて、図５４〜図５８を用いて説明する。

【０２９４】図５４は本発明の実施形態の図６の順序木
クラスＴｒｅｅのインスタンスＴｒｅｅ＃０を生成する
過程において、リンクポインタｒｏｏｔのコンストラク
タの呼び出しが完了し、リンクポインタを含むインスタ
ンスのコンストラクタの呼び出しが実行されていない時
点の状態を示す図である。

【０２９５】図５４において、１７１０１はリンク情報
テーブルに新規登録されたリンク情報エントリを示す。

【０２９６】１７２０１はリンク情報エントリ１７１０
１のリンクポインタアドレスが１００４Ｈであることを
示す。１７２０２はリンク名がｒｏｏｔであることを示
す。１７２０３はリンク元インスタンスアドレスが未設
定であることを表現するヌルポインタであることを示
す。１７２０４はリンク先インスタンスアドレスがヌル
ポインタであること、つまり、同リンクは現在何も指し
ていないことを示す。

【０２９７】尚、リンクポインタｒｏｏｔに対するコン
ストラクタの呼び出し（図３５のステップＳ１４３）終
了時点では、リンクポインタｒｏｏｔに対するリンク生
成通知関数（図３５）は実行済みである。しかし、リン
クポインタｒｏｏｔを含むリンク元インスタンスＴｒｅ
ｅ＃０に対するコンストラクタは未実行であるため、Ｔ
ｒｅｅ＃０に対するインスタンス生成通知関数（図２
８）は未だ呼び出されていない。 従って、リンクポイ
ンタｒｏｏｔがインスタンスＴｒｅｅ＃０にデータメン
バとして含まれることは、現時点では認識されていな
い。また、このことは、リンク情報エントリ１７１０１
のリンク元インスタンスアドレスフィールド１７２０３
にヌルポインタが設定されていることによって示されて
いる。

【０２９８】図５５は本発明の実施形態の図６において
順序木クラスのインスタンスＴｒｅｅ＃０の生成が完了
した時点におけるクラス情報テーブル、インスタンス情
報テーブル、リンク情報テーブルの内部状態を示す図で
ある。

【０２９９】図５５において、１７１０２はクラス情報
テーブルに新規登録されたクラス情報エントリを示す。
１７１０３はインスタンス情報テーブルに新規登録され
たインスタンス情報エントリを示す。

【０３００】１７２０５はクラス情報エントリ１７１０
２のクラス名フィールドの値がＴｒｅｅであるとこと、
つまり、新規クラスの名前がＴｒｅｅであることを示
す。

【０３０１】１７２０６はクラス情報エントリ１７１０
２のクラスＮｏフィールドの値が０であること、つま
り、新規クラス情報はクラス情報テーブルの最初に登録
されたエントリであることを示す。

【０３０２】１７２０７はクラス情報エントリ１７１０
２の生成インスタンス数フィールドの値が１であるこ
と、つまり、クラスＴｒｅｅのインスタンスが１つ生成
された履歴があることを示す。

【０３０３】１７２０８はクラス情報エントリ１７１０
２の生存インスタンス数フィールドの値が１であるこ
と、つまり、クラスＴｒｅｅのインスタンスが現在１つ
生存していることを示す。

【０３０４】１７２０９はインスタンス情報エントリ１
７１０３のインスタンスアドレスフィールドの値が１０
００Ｈであること、つまり、新規作成されたインスタン
スはデバッグ対象プログラムのメモリアドレス１０００
Ｈの位置に存在することを示す。

【０３０５】１７２１０はインスタンス情報エントリ１
７１０３のクラス名フィールドの値がＴｒｅｅであるこ
と、つまり、作成されたインスタンスはクラスＴｒｅｅ
に属することを示す。

【０３０６】１７２１１はインスタンス情報エントリ１
７１０３のインスタンスサイズフィールドの値が８であ
ること、つまり、新規作成されたインスタンスは８バイ
トのメモリ領域を占有することを示す。

【０３０７】１７２１２はインスタンス情報エントリ１
７１０３のインスタンスＮｏフィールドの値が０、つま
り、このインスタンスがクラスＴｒｅｅの最初に生成さ
れたインスタンスであることを示す。従って、このイン
スタンスは、Ｔｒｅｅ＃０と略記することができる（ク
ラスＴｒｅｅの０番目に生成されたインスタンス）。１
７２１３はリンク情報エントリ１７１０１のリンク元イ
ンスタンスアドレスフィールドに１０００Ｈが設定され
たこと、つまり、リンク情報エントリ１７１０１が表現
するリンクポインタは、１０００Ｈ番地に存在するデバ
ッグ対象クラスのインスタンスＴｒｅｅ＃０にデータメ
ンバとして含まれることが判明したことを示す。

【０３０８】以上のことから、リンク情報１７１０１エ
ントリは、Ｔｒｅｅ＃０．ｒｏｏｔと略記することがで
きる（クラスＴｒｅｅの最初のインスタンスが含むリン
クポインタｒｏｏｔ）。

【０３０９】順序木クラスＴｒｅｅのインスタンス（図
６の１３１）を作成する処理は、インスタンス生成処理
（図２８の左端のフローチャート）に従って実行され
る。また、同処理から呼び出されるインスタンス生成通
知関数（図２８）は、図５４で示したクラス情報テーブ
ル（空のテーブル）、インスタンス情報テーブル（空の
テーブル）、リンク情報テーブルの状態を、図５５で示
した状態に以下の手順により遷移させる。

【０３１０】まず、最初に、インスタンス生成通知関数
（図２８）は、引数で受け取ったクラス名をキーとして
クラス情報テーブルを検索する。しかし、エントリが見
つからないため、新規のクラス情報エントリ１７１０２
を作成し、クラス情報テーブルに追加する。

【０３１１】次に、インスタンス生成通知関数は、引数
で受け取ったクラス名、インスタンスサイズ、インスタ
ンスアドレスを適切にフィールドに詰めたインスタンス
情報１７１０３を作成し、インスタンス情報テーブルに
追加する。

【０３１２】最後に、インスタンス生成通知関数は、生
成されたインスタンスがデータメンバとして含むリンク
ポインタを表現するリンク情報エントリ１７１０１のリ
ンク元インスタンスアドレスフィールド１７２１３を新
規生成インスタンスのアドレス値に設定する。

【０３１３】尚、リンクポインタが特定のインスタンス
に含まれるかどうかは、リンクポインタアドレスがイン
スタンスアドレス以上且つインスタンスアドレス＋イン
スタンスサイズ未満であることで判定する。

【０３１４】図５６は本発明の実施形態の図７のノード
クラスのインスタンスＮｏｄｅ＃０を生成する過程にお
いて、リンクポインタｌｅｆｔ、リンクポインタｒｉｇ
ｈｔのコンストラクタの呼び出し処理が完了し、リンク
ポインタを含むインスタンスＮｏｄｅ＃０のコンストラ
クタの呼び出し処理が未実行である状態を示す図であ
る。

【０３１５】図５６において、１７１０４、１７１０５
はリンク情報テーブルに新規登録されたリンク情報エン
トリを示す。

【０３１６】１７２１３ａはリンク情報エントリ１７１
０４のリンクポインタアドレスが２００８Ｈであること
を示す。１７２１４はリンク情報エントリ１７１０４の
リンク名がｌｅｆｔであることを示す。

【０３１７】１７２１５はリンク情報エントリ１７１０
４のリンク元インスタンスアドレスがヌルポインタ、つ
まり、該リンクポインタはデバッグ対象クラスのどのイ
ンスタンスにも現時点では含まれていないことを示す。

【０３１８】１７２１６はリンク情報エントリ１７１０
４のリンク先インスタンスアドレスがヌルポインタ、つ
まり、リンクポインタは現在何も指していないことを示
す。１７２１７はリンク情報エントリ１７１０５のリン
クポインタアドレスが２００ＣＨであることを示す。１
７２１８はリンク情報エントリ１７１０５のリンク名が
ｒｉｇｈｔであることを示す。

【０３１９】１７２１９はリンク情報エントリ１７１０
５のリンク元インスタンスアドレスがヌルポインタ、つ
まり、該リンクポインタはデバッグ対象クラスのどのイ
ンスタンスにも現時点では含まれていないことを示す。

【０３２０】１７２２０はリンク情報エントリ１７１０
５のリンク先インスタンスアドレスがヌルポインタ、つ
まり、リンクポインタは現在何も指さないことを示す。

【０３２１】図５７は本発明の実施形態の図７のノード
クラスのインスタンスＮｏｄｅ＃０の生成直後の（Ｔｒ
ｅｅ＃０のｒｏｏｔポインタには未だＮｏｄｅ＃０のア
ドレスが設定されていない）クラス情報テーブル、イン
スタンス情報テーブル、リンク情報テーブルの内部状態
を示す図である。

【０３２２】図５７において、１７１０６はクラス情報
テーブルに新規登録されたクラス情報エントリを示す。
１７１０７はインスタンス情報テーブルに新規登録され
たインスタンス情報エントリを示す。

【０３２３】１７２２１はクラス情報エントリ１７１０
６のクラス名フィールドの値がＮｏｄｅであるとこと、
つまり、新規クラスの名前がＮｏｄｅであることを示
す。

【０３２４】１７２２２はクラス情報エントリ１７１０
６のクラスＮｏフィールドの値が１であること、つま
り、新規クラスＮｏｄｅはクラス情報テーブルに（０か
ら数えて）１番目に登録されたエントリであることを示
す。

【０３２５】１７２２３はクラス情報エントリ１７１０
６の生成インスタンス数フィールドの値が１であるこ
と、つまり、クラスＮｏｄｅのインスタンスが１つ生成
された履歴が存在することを示す。

【０３２６】１７２２４はクラス情報エントリ１７１０
６の生存インスタンス数フィールドの値が１であるこ
と、つまり、クラスＮｏｄｅのインスタンスが現在１つ
生存していることを示す。

【０３２７】１７２２５はインスタンス情報エントリ１
７１０７のインスタンスアドレスフィールドの値が２０
００Ｈであること、つまり、新規作成されたインスタン
スのアドレスが２０００Ｈであることを示す。

【０３２８】１７２２６はインスタンス情報エントリ１
７１０７のクラス名フィールドの値がＮｏｄｅであるこ
と、つまり、新規作成されたインスタンスはクラスＮｏ
ｄｅに属することを示す。

【０３２９】１７２２７はインスタンス情報エントリ１
７１０７のインスタンスサイズフィールドの値が１６で
あること、つまり、新規作成されたインスタンスは１６
バイトのメモリを占有することを示す。

【０３３０】１７２２８はインスタンス情報エントリ１
７１０７のインスタンスＮｏフィールドの値が０、つま
り、このインスタンスがクラスＮｏｄｅの最初に生成さ
れたインスタンスであることを示す。従って、このイン
スタンスは、Ｎｏｄｅ＃０と略記することができる（ク
ラスＮｏｄｅの０番目に生成されたインスタンス）。１
７２１５ａ、１７２１９ａはそれぞれ、リンク情報エン
トリ１７１０４、１７１０５のリンク元インスタンスア
ドレスフィールドに２０００Ｈが設定されたこと、つま
り、リンク情報エントリ１７１０４、１７１０５が表現
するリンクポインタは、インスタンスＮｏｄｅ＃０に含
まれることが判明したことを示す。従って、リンク情報
エントリ１７１０４、１７１０５はそれぞれ、Ｎｏｄｅ
＃０．ｌｅｆｔ、Ｎｏｄｅ＃０．ｒｉｇｈｔと略記する
ことができる（クラスＮｏｄｅの０番目に生成されたイ
ンスタンスが含む、ｌｅｆｔリンクポインタと、ｒｉｇ
ｈｔリンクポインタ）。

【０３３１】図５８は本発明の実施形態の図７の順序木
において、Ｎｏｄｅ＃０のアドレスをＴｒｅｅ＃０のｒ
ｏｏｔポインタに設定した後のクラス情報テーブル、イ
ンスタンス情報テーブル、リンク情報テーブルの内部状
態を示す図である。

【０３３２】図５８において、１７２０４ａはリンク情
報エントリ１７１０１のリンク先インスタンスフィール
ドに２０００Ｈが設定されたこと、つまり、リンクポイ
ンタＴｒｅｅ＃０．ｒｏｏｔにインスタンスＮｏｄｅ＃
０のアドレスが設定されたことを示す。

【０３３３】リンクポインタＴｒｅｅ＃０．ｒｏｏｔに
インスタンスのアドレスを設定する処理は、リンクポイ
ンタヘの代入処理（図３７（ａ））によって実行されリ
ンク変更通知関数（図３７（ｂ））を呼び出す。

【０３３４】リンク変更通知関数は、引数で渡されたＴ
ｒｅｅ＃０．ｒｏｏｔのリンクポインタアドレス（１０
０４Ｈ）をキーとしてリンク情報テーブルを検索する。
そして、検索されたリンク情報エントリ１７１０１のリ
ンク先インスタンスアドレスフィールドに、同関数に引
数で渡されたリンク先インスタンスアドレス値（２００
０Ｈ、つまり、Ｎｏｄｅ＃０のアドレス）を設定する。

【０３３５】次に、基底クラスＢａｓｅと派生クラスＤ
ｅｒｉｖｅｄの生成と削除に対するクラス情報テーブ
ル、インスタンス情報テーブルの変化の過程について、
図５９〜図６４を用いて説明する。

【０３３６】図５９は本発明の実施形態のデバッグ対象
クラスＢａｓｅの最初のインスタンスが生成された直後
におけるクラス情報テーブルとインスタンス情報テーブ
ルの状態を示す図である。

【０３３７】図５９において、１８１０１は新規登録さ
れたクラス情報エントリを示す。１８１０２は新規登録
されたインスタンス情報エントリを示す。

【０３３８】１８２０１はクラス情報エントリ１８１０
１のクラス名がＢａｓｅであることを示す。１８２０２
はクラス情報エントリ１８１０１のクラスＮｏフィール
ドの値が０であること、つまり、クラス情報エントリ１
８１０１はクラス情報テーブルに最初に登録されたエン
トリであることを示す。

【０３３９】１８２０３はクラス情報エントリ１８１０
１の基底クラス名フィールドの値が空文字列であるこ
と、つまり、クラスＢａｓｅは基底クラスを持たないこ
とを示す。 １８２０４はクラス情報エントリ１８１０
１の生成インスタンス数フィールドの値が１、つまり、
クラスＢａｓｅのインスタンスが１つ作成された履歴が
あることを示す。

【０３４０】１８２０５はクラス情報エントリ１８１０
１の生存インスタンス数フィールドの値が１、つまり、
現在クラスＢａｓｅのインスタンスが１つ存在すること
を示す。

【０３４１】１８２０６はインスタンス情報エントリ１
８１０２のインスタンスアドレスフィールドが１０００
Ｈであること、つまり、該インスタンスのメモリアドレ
スが１０００Ｈであることを示す。

【０３４２】１８２０７はインスタンス情報エントリ１
８１０２のクラス名フィールドの値がＢａｓｅであるこ
と、つまり、該インスタンスはクラスＢａｓｅに属する
ことを示す。

【０３４３】１８２０８はインスタンス情報エントリ１
８１０２のインスタンスサイズフィールドの値が１０で
あること、つまり、該インスタンスが１０バイトのメモ
リ領域を占有することを示す。

【０３４４】１８２０９はインスタンス情報エントリ１
８１０２の生成Ｎｏフィールドの値が０、つまり、該イ
ンスタンスがクラスＢａｓｅの最初に生成されたインス
タンスであることを示す。

【０３４５】図６０は本発明の実施形態の図５９で示し
た状態から基底クラスＢａｓｅから派生したクラスＤｅ
ｒｉｖｅｄのインスタンス生成処理において基底クラス
Ｂａｓｅのコンストラクタ呼び出しが完了した直後の状
態を示す図である。

【０３４６】図６０において、１８１０３はインスタン
ス情報テーブルに新規登録されれたインスタンス情報エ
ントリを示す。

【０３４７】１８２１０はインスタンス情報エントリ１
８１０３のインスタンスアドレスが２０００Ｈ、つま
り、該インスタンスのメモリアドレスが２０００Ｈであ
ることを示す。

【０３４８】１８２１１はインスタンス情報エントリ１
８１０３のクラス名フィールドの値がＢａｓｅであるこ
と、つまり、該インスタンスはクラスＢａｓｅに属する
と認識されていることを示す。

【０３４９】１８２１２はインスタンス情報エントリ１
８１０３のインスタンスサイズフィールドの値が１０、
つまり、該インスタンスは１０バイトのメモリ領域を占
有すると現時点では考えられていることを示す。

【０３５０】１８２１３はインスタンス情報エントリ１
８１０３の生成Ｎｏフィールドの値が１、つまり、該イ
ンスタンスがＢａｓｅクラスの（０から数えて）１番目
のインスタンスであることを示す。

【０３５１】この段階では、派生クラスのインスタンス
の中の基底クラス部分（図３１の５１０３）だけがイン
スタンス情報テーブルに管理されている。

【０３５２】図６１は本発明の実施形態の図６０の状態
から派生クラスＤｅｒｉｖｅｄのインスタンス生成処理
において派生クラスのコンストラクタの呼び出しが完了
した時点のクラス情報テーブル、インスタンス情報テー
ブルの状態を示す図である。図６１において、１８１０
４はクラス情報テーブルに新規登録されたクラス情報エ
ントリを示す。１８２１４はクラス情報エントリ１８１
０４のクラス名がＤｅｒｉｖｅｄであることを示す。１
８２１５はクラス情報エントリ１８１０４のクラスＮｏ
が１であること、つまり、クラスＤｅｒｉｖｅｄは、
（０から数えて）１番目に認識されたクラスであること
を示す。

【０３５３】１８２１６はクラス情報エントリ１８１０
４の基底クラス名の値がＢａｓｅであること、つまり、
クラスＤｅｒｉｖｅｄは基底クラスＢａｓｅを持つこと
を示す。 １８２１７はクラス情報エントリ１８１０４
の生成インスタンス数が１、つまり、クラスＤｅｒｉｖ
ｅｄのインスタンスが１つ生成された履歴が存在するこ
とを示す。

【０３５４】１８２１８はクラス情報エントリ１８１０
４の生存インスタンス数が１、つまり、現時点におい
て、クラスＤｅｒｉｖｅｄのインスタンスが１つ存在す
ることを示す。

【０３５５】１８２１１ａはインスタンス情報エントリ
１８１０３のクラス名フィールドの値がＢａｓｅからＤ
ｅｒｉｖｅｄに変更されたこと、つまり、アドレス２０
００Ｈ番地に存在するメモリ実体が派生クラスＤｅｒｉ
ｖｅｄのインスタンスであることが、この時点で初めて
認識されたことを示す。

【０３５６】１８２１２ａは、インスタンス情報エント
リ１８１０３のインスタンスサイズが、１０から２０に
変更されたこと、つまり、アドレス２０００Ｈ番地に存
在するメモリ実体は２０バイトのメモリ領域を占有する
ことが、この時点において認識されたことを示す。

【０３５７】１８２０５ａはクラスＢａｓｅの生存イン
スタンス数に変化がないこと（２のままである）を示
す。しかし、派生クラスＤｅｒｉｖｅｄのインスタンス
内部には基底クラスのインスタンスが含まれるため、イ
ンスタンスＢａｓｅ＃０とインスタンスＤｅｒｉｖｅｄ
＃０の基底クラス部分（図３１の５１０３）の計２つの
Ｂａｓｅクラスのインスタンスが存在することを反映す
る。

【０３５８】デバッグ対象クラスのコンストラクタから
呼び出されるインスタンス生成通知関数は、以下の手順
により、生成されたインスタンスが派生クラスの場合を
処理する。

【０３５９】まず、最初に、インスタンス生成通知関数
は、インスタンスアドレスパラメータに対応するインス
タンス情報エントリが既にテーブルに存在するかどうか
を調べる。

【０３６０】もし、該当するインスタンス情報エントリ
が存在するならば、本インスタンス生成通知関数は、派
生クラスのコンストラクタ内部から呼び出されているこ
とが判明する。この場合、同一インスタンスアドレスを
持つ既存のインスタンス情報エントリのクラス名（図６
０の１８２１１）は、基底クラスの名前を格納してい
る。

【０３６１】次に、派生クラスに対するクラス情報エン
トリの基底クラス名フィールド（図６１の１８２１６）
に前記基底クラス名を設定することで、クラス情報テー
ブル内で、基底クラスと派生クラスの間の継承関係を確
立する。

【０３６２】最後に、既存のインスタンス情報エントリ
の、クラス名、インスタンスサイズ、生成Ｎｏフィール
ドを派生クラスのインスタンスを表現するように変更す
る図６２は本発明の実施形態の図６１の状態から派生ク
ラスＤｅｒｉｖｅｄのインスタンスＤｅｒｉｖｅｄ＃０
が削除される処理において派生クラスのデストラクタの
呼び出しが完了した時点での状態を示す図である。

【０３６３】図６２において、１８２１８は派生クラス
Ｄｅｒｉｖｅｄの生存インスタンス数が０に変化したこ
とを示す。

【０３６４】１８２１１ａはアドレス２０００Ｈ番地に
存在するメモリ実体がもはやＤｅｒｉｖｅｄでなく、Ｂ
ａｓｅであるという認識に代わったことを示す。この認
識の変化は、派生クラスＤｅｒｉｖｅｄが追加したデー
タメンバ（図３１の５１０４）が派生クラスのデストラ
クタによって、既に片づけられていることを表現する
（一方、基底クラスのデータメンバは基底クラスのデス
トラクタが呼び出されていないため、生存中であると考
える）。

【０３６５】１８２１２ａはアドレス２０００Ｈ番地に
存在するメモリ実体が２０バイトのままであることを示
すが、これは、派生クラスのインスタンス生成処理（図
３２（ａ））が実行したメモリ割り当て処理（図３２
（ａ））は派生クラスのインスタンスを格納するための
メモリ領域を割り当てたが、このメモリ自体は今でも存
在することを表現する。

【０３６６】１８２１３ａは、インスタンス情報エント
リ１８１０３がクラスＢａｓｅの（０から数えて）０番
目に作成されたインスタンスであることを示す。しか
し、インスタンス情報エントリ１８１０２の生成Ｎｏフ
ィールド１８２０９も同一の生成Ｎｏを持つため、Ｂａ
ｓｅクラスのインスタンス生成Ｎｏは矛盾が生じてい
る。この矛盾は、派生クラスＤｅｒｉｖｅｄのデストラ
クト処理が完了した時に解消される。

【０３６７】デバッグ対象クラスのデストラクタから呼
び出されるインスタンス削除通知関数は、以下の手順に
よって、削除されるインスタンスが派生クラスの場合を
扱う。

【０３６８】インスタンス削除通知関数は、まず、最初
に、削除すべきインスタンスを表現するインスタンス情
報エントリのクラス名フィールドをキーとしてクラス情
報テーブルを検索する。そして、検索されたクラス情報
エントリの基底クラス名が空文字列でないならば、本イ
ンスタンス削除通知関数は、派生クラスのデストラクタ
内部から呼び出されていることが判明する。

【０３６９】この場合には、インスタンス情報エントリ
をテーブルから削除してしまう代わりに、同インスタン
ス情報エントリが派生クラスが含む基底クラスインスタ
ンスを表現するようにフィールドを適切に調整する。

【０３７０】図６３は本発明の実施形態の図６２の状態
から派生クラスＤｅｒｉｖｅｄのインスタンスＤｅｒｉ
ｖｅｄ＃０が削除される処理が完了した時点でのクラス
情報テーブルとインスタンス情報テーブルの状態を示す
図である。

【０３７１】図６３において、インスタンスアドレス２
０００Ｈに対応するインスタンス情報エントリ（図６２
の１８１０３）は、インスタンス情報テーブルから削除
されている。また、１８２０５ｂは、Ｂａｓｅクラスの
生存インスタンス数が２から１に変化したことを示す。

【０３７２】図６４は本発明の実施形態の図６３の状態
から唯一のインスタンスＢａｓｅ＃０が削除された後の
状態を示す図である。

【０３７３】図６４において、インスタンスアドレス１
０００Ｈに対応するインスタンス情報エントリ（図６２
の１８１０２）がインスタンス情報テーブルから削除さ
れている。さらに１８２０５ｃは、Ｂａｓｅクラスの生
存インスタンス数が１から０に変化したことを示す。

【０３７４】尚、クラスに属するインスタンスがすべて
削除された後でも、対応するクラス情報エントリは、ク
ラス情報テーブルから削除されることはない（生成イン
スタンス数の情報はインスタンスが存在しなくなっても
必要である）。

【０３７５】次に、オブジェクト管理情報（図２の１０
７）に含まれるその他の管理情報について、図６５を用
いて説明する。

【０３７６】図６５は本発明の実施形態のオブジェクト
管理情報に含まれるその他の管理情報を示す図である。

【０３７７】図６５において、１９１０１はクラス情報
テーブルに含まれるエントリ数を保持するクラス数変数
である。１９１０２、１９１０３はオブジェクトウイン
ドウに表示されるインスタンスボックスの表示間隔であ
る。１９１０４は第１行に表示されるインスタンスボッ
クスとオブジェクトウインドウの上辺間のマージン値を
保持し、１９１０５は同左マージン値を保持する。

【０３７８】次に、クラス情報テーブル、インスタンス
情報テーブル、リンク情報テーブルに新規登録されるエ
ントリの初期値について、図６６〜図６８を用いて説明
する。

【０３７９】図６６は本発明の実施形態のインスタンス
生成通知関数が新規のクラス情報エントリをクラス情報
テーブルに追加する際の初期値を示す図である。

【０３８０】図６６において、２０１０１はクラス名フ
ィールドがインスタンス生成通知関数のクラス名引数の
値に初期化されることを示す。２０１０２はクラスＮｏ
フィールドがクラス数変数（図６５の１９１０１）の現
在値、つまり、クラス情報テーブルのエントリ数に初期
化されることを示す。

【０３８１】２０１０３は基底クラス名フィールドが空
文字列に初期化されることを示す。２０１０４はインス
タンスサイズフィールドがインスタンス生成関数の同引
数の値に初期化されることを示す。

【０３８２】２０１０５、２０１０６は生成／生存イン
スタンス数フィールドが０に初期化されることを示す。
２０１０７はブレークフラグフィールドがオン状態に初
期化されることを示す。

【０３８３】２０１０８は次生成インスタンスの表示位
置フィールドが、行位置はクラス数変数（図６５の１９
１０１）の値に、列位置が０に初期化されることを示
す。

【０３８４】図６７は本発明の実施形態のインスタンス
生成通知関数が新規のインスタンス情報エントリをイン
スタンス情報テーブルに追加する際の初期値を示す図で
ある。

【０３８５】図６７において、２１１０１、２１１０
２、２１１０３はインスタンスアドレス、クラス名、イ
ンスタンスサイズフィールドがインスタンス生成通知関
数の対応する引数の値に初期化されることを示す。

【０３８６】２１１０４、２１１０５は生成Ｎｏフィー
ルド、表示位置フィールドが、インスタンス生成通知関
数のクラス名引数の値にマッチするクラス情報エントリ
の生成インスタンスＮｏ、次生成インスタンスの表示位
置フィールドの値に初期化されることを示す。

【０３８７】図６８は本発明の実施形態のリンク生成通
知関数がリンク情報テーブルに追加するリンク情報エン
トリの初期値を示す図である。

【０３８８】図６８において、２２１０１、２２１０
２、２２１０４はリンクポインタアドレス、リンク名、
リンク先インスタンスアドレスフィールドが、リンク生
成通知関数の対応する引数の値に初期化されることを示
す。

【０３８９】２２１０３はリンク元インスタンスアドレ
スフィールドがヌルポインタに初期化されることを示
す。

【０３９０】次に、インスタンス生成通知関数が実行す
る処理の詳細について、図６９を用いて説明する。

【０３９１】図６９は本発明の実施形態のインスタンス
生成通知関数が実行する処理の詳細を示すフローチャー
トである。

【０３９２】図６９において、インスタンス生成通知関
数は、まず、最初に、ステップＳ１１０２で、デバッガ
スレッドとの競合を避けるため、オブジェクト管理情報
への排他アクセスのためのセマフォを獲得する。

【０３９３】次に、ステップＳ１１０３で、関数引数と
して渡されたクラス名をキーとしてクラス情報テーブル
を検索する。ステップＳ１１０４で、クラス名がクラス
情報テーブルに存在するか否かを判定する。クラス名が
クラス情報テーブルに存在する場合（ステップＳ１１０
４でＹＥＳ）、ステップＳ１１０６に進む。一方、クラ
ス名がクラス情報テーブルに存在しない場合（ステップ
Ｓ１１０４でＮＯ）、ステップＳ１１０５に進む。

【０３９４】ステップＳ１１０５で、図６６で示した初
期値を持つ新規のクラス情報エントリをクラス情報テー
ブルに追加する（以降、新規のクラス情報エントリ若し
くは、キー検索の結果得られたクラス情報エントリを、
以下の説明では単にクラス情報エントリと称する）。

【０３９５】次に、ステップＳ１１０６で、関数引数と
して渡されたインスタンスアドレスをキーとしてインス
タンス情報テーブルを検索する。ステップＳ１１０７
で、インスタンスアドレスがインスタンス情報テーブル
に存在するか否かを判定する。インスタンスアドレスが
インスタンス情報テーブルに存在する場合（ステップＳ
１１０７でＹＥＳ）、ステップＳ１１０９に進む。尚、
本実施形態のインスタンス生成通知関数は、基底クラス
部分が既にインスタンス情報テーブルに登録済みである
ような派生クラスのコンストラクタ内部から呼び出され
たことが判明する。

【０３９６】ステップＳ１１０９で、ステップＳ１１０
６で検索されたインスタンス情報エントリのクラス名
を、クラス情報エントリの基底クラス名に設定する。次
に、ステップＳ１１１０で、インスタンス情報エントリ
のクラス名、インスタンスサイズフィールドを関数引数
で指定された対応する値に変更する。次に、ステップＳ
１１１１で、インスタンス情報エントリの生成Ｎｏ、表
示位置フィールドをクラス情報エントリの生成インスタ
ンス数、次インスタンスの表示位置フィールドからそれ
ぞれコピーする。これにより、同インスタンス情報エン
トリは、派生クラスのインスタンスを表現するように変
更される。

【０３９７】一方、ステップＳ１１０７において、イン
スタンスアドレスがインスタンス情報テーブルに存在し
ない場合（ステップＳ１１０７でＮＯ）、ステップＳ１
１０８に進む。尚、この場合の生成されたインスタンス
は基底クラスを持たないクラスのインスタンスである。

【０３９８】そして、ステップＳ１１０８で、図６７で
示した初期値を持った新規のインスタンス情報エントリ
をインスタンス情報テーブルに追加する。

【０３９９】次に、ステップＳ１１１２で、クラス情報
エントリの生成インスタンス数フィールド、生存インス
タンスフィールド、次インスタンスの表示位置の列位置
をそれぞれインクリメントする。次に、ステップＳ１１
１３で、生成されたインスタンスがデータメンバとして
含むリンクポインタを表現するリンク情報エントリのリ
ンク元インスタンスアドレスに関数引数で渡されたイン
スタンスアドレス値を設定する。この処理は、リンクポ
インタアドレスフィールドが、生成インスタンスのイン
スタンスアドレス値以上、且つインスタンスアドレス値
＋インスタンスサイズ値未満であるようなリンク情報を
リンク情報テーブルから範囲検索する。そして、該当す
るリンク情報エントリのリンク元インスタンスアドレス
フィールドを設定することで実現する。

【０４００】次に、ステップＳ１１１４で、クラス情報
エントリのブレークフラグの値を獲得する。

【０４０１】以上の処理によって、オブジェクト管理情
報へのアクセスが終了する。そして、ステップＳ１１１
５で、ステップＳ１１０２で獲得したセマフォを開放す
る。最後に、ステップＳ１１１６で、デバッガスレッド
にオブジェクト管理情報の描画要求メッセージをポスト
する。そして、ステップＳ１１１７で、ステップＳ１１
１４が取得したブレークフラグがＯＮの時、確認ダイア
ログボックスを表示する。また、もしユーザがＮＯボタ
ンを選択したならば、アプリケーションを強制終了す
る。

【０４０２】次に、インスタンス削除通知関数が実行す
る処理の詳細について、図７０を用いて説明する。

【０４０３】図７０は本発明の実施形態のインスタンス
削除通知関数が実行する処理の詳細を示すフローチャー
トである。

【０４０４】図７０において、インスタンス削除通知関
数は、まず、最初に、ステップＳ２１０２で、オブジェ
クト管理情報への排他アクセス権を得るためのセマフォ
を獲得する。

【０４０５】次に、ステップＳ２１０３で、関数引数で
渡されたインスタンスアドレスをキーとしてインスタン
ス情報テーブルを検索する。ステップＳ２１０４で、イ
ンスタンスアドレスがインスタンス情報テーブルに存在
するか否かを判定する。インスタンスアドレスがインス
タンス情報テーブルに存在しない場合（ステップＳ２１
０４でＮＯ）、ステップＳ２１１５に進む。この場合、
オブジェクト管理情報に不整合が存在するため、ステッ
プＳ２１１５で、ステップＳ２１０２で獲得したセマフ
ォを開放する。次に、ステップＳ２１１８で、適切なエ
ラーダイアログを表示し、関数からリターンする。

【０４０６】一方、インスタンスアドレスがインスタン
ス情報テーブルに存在する場合（ステップＳ２１０４で
ＹＥＳ）、ステップＳ２１０５に進む。ステップＳ２１
０５で、ステップＳ２１０３で検索したインスタンス情
報エントリのクラス名をキーとしてクラス情報テーブル
を検索する。ステップＳ２１０６で、クラス名がクラス
情報テーブルに存在するか否かを判定する。クラス名が
クラス情報テーブルに存在しない場合（ステップＳ２１
０６でＮＯ）、ステップＳ２１１５に進む。この場合、
オブジェクト管理情報に不整合が存在するため、ステッ
プＳ２１１５で、ステップＳ２１０２で獲得したセマフ
ォを開放する。次に、ステップＳ２１１８で、適切なエ
ラーダイアログを表示し、関数からリターンする。

【０４０７】一方、クラス名がクラス情報テーブルに存
在する場合（ステップＳ２１０６でＹＥＳ）、ステップ
Ｓ２１０７に進む。ステップＳ２１０７で、ステップＳ
２１０５で検索したクラス情報エントリの生存インスタ
ンス数をデクリメントする。次に、ステップＳ２１０８
で、クラス情報エントリの基底クラス名、ブレークフラ
グを獲得する。

【０４０８】次に、獲得した基底クラス名が空文字列で
あるか否かを判定する。空文字列でない場合、ステップ
Ｓ２１１０に進む。この場合、インスタンス削除通知関
数は、派生クラスのデストラクタ内部から呼び出された
ことが判明する。そして、ステップＳ２１１０で、イン
スタンス情報エントリのクラス名フィールドにクラス情
報の基底クラス名を設定する。次に、ステップＳ２１１
４で、ステップＳ２１０２で獲得したセマフォを開放
し、関数からリターンする。

【０４０９】一方、空文字列である場合、ステップＳ２
１１１に進む。この場合、インスタンス削除通知関数
は、基底クラスを持たないクラスのデストラクタ内部か
ら呼び出されたことが判明する。そして、ステップＳ２
１１１で、削除されるインスタンスがデータメンバとし
て保持するリンクポインタを表現したリンク情報エント
リのリンク元インスタンスアドレスフィールドの値を０
（ヌルポインタ）に設定する。この処理は、削除される
インスタンスのインスタンスアドレス以上、且つインス
タンスアドレス＋インスタンスサイズ未満のリンクポイ
ンタアドレスフィールド値を持つリンク情報を範囲検索
することで達成される。

【０４１０】次に、ステップＳ２１１２で、ステップＳ
２１０３で獲得したインスタンス情報エントリをインス
タンス情報テーブルから削除する。

【０４１１】以上の処理によって、オブジェクト管理情
報へのアクセスが終了したので、ステップＳ２１１３
で、ステップＳ２１０２で獲得したセマフォを開放す
る。次に、ステップＳ２１１６で、デバッガスレッドに
オブジェクト管理情報の描画要求メッセージをポストす
る。

【０４１２】最後に、ステップＳ２１１７で、ステップ
Ｓ２１０８で獲得したブレークフラグがＯＮであれば確
認ダイアログボックスを表示する。一方、ユーザがＮＯ
ボタンを選択したならばアプリケーションを強制終了さ
せ、ＹＥＳボタンを選択したならば、関数からリターン
する。

【０４１３】次に、リンク生成通知関数が実行する処理
の詳細について、図７１を用いて説明する。

【０４１４】図７１は本発明の実施形態のリンク生成通
知関数が実行する処理の詳細を示すフローチャートであ
る。

【０４１５】図７１において、リンク生成通知関数は、
まず、最初に、ステップＳ３１０２で、オブジェクト管
理情報への排他アクセスセマフォを獲得する。

【０４１６】次に、ステップＳ３１０３で、図６８で示
した初期値を持つ新規のリンク情報エントリをリンク情
報テーブルに追加する。

【０４１７】最後に、ステップＳ３１０４で、ステップ
Ｓ３１０２で獲得したセマフォを開放し、リターンす
る。

【０４１８】次に、リンク生成通知関数が実行する処理
の詳細について、図７２を用いて説明する。

【０４１９】図７２は本発明の実施形態のリンク削除通
知関数が実行する処理の詳細を示すフローチャートであ
る。

【０４２０】図７２において、リンク削除通知関数は、
まず、最初に、ステップＳ４１０２で、オブジェクト管
理情報への排他アクセスセマフォを獲得する。

【０４２１】次に、ステップＳ４１０３で、関数引数で
指定されたリンクポインタアドレスをキーとしてリンク
情報テーブルを検索し、一致したエントリをテーブルか
ら削除する。

【０４２２】最後に、ステップＳ４１０４で、ステップ
Ｓ４１０２で獲得したセマフォを開放し、リターンす
る。

【０４２３】次に、リンク変更通知関数が実行する処理
の詳細について、図７３を用いて説明する。

【０４２４】図７３は本発明の実施形態のリンク変更通
知関数が実行する処理の詳細を示すフローチャートであ
る。

【０４２５】図７３において、リンク変更通知関数は、
まず、最初に、ステップＳ５１０２で、デバッガスレッ
ドとの競合を避けるため、オブジェクト管理情報への排
他アクセスセマフォを獲得する。

【０４２６】次に、ステップＳ５１０３で、関数引数で
渡されたリンクポインタアドレスをキーとしてリンク情
報テーブルを検索する。そして、ステップＳ５１０４
で、リンクポインタアドレスがリンク情報テーブルに存
在するか否かを判定する。リンクポインタアドレスがリ
ンク情報テーブルに存在しない場合（ステップＳ５１０
４でＮＯ）、ステップＳ５１１４に進む。この場合、オ
ブジェクト管理情報に不整合が存在するため、ステップ
Ｓ５１１４で、ステップＳ５１０２で獲得したセマフォ
を開放する。次に、ステップＳ５１１７で、適切なエラ
ーダイアログを表示し、関数からリターンする。

【０４２７】一方、リンクポインタアドレスがリンク情
報テーブルに存在する場合（ステップＳ５１０４でＹＥ
Ｓ）、ステップＳ５１０５に進む。そして、ステップＳ
５１１５で、ステップＳ５１０３で検索されたリンク情
報エントリのリンク先インスタンスアドレスフィールド
を関数引数で指定された該当する値に変更する。

【０４２８】次に、ステップＳ５１０６で、リンク情報
エントリのリンク元インスタンスアドレスフィールドを
調べる。リンク元インスタンスアドレスフィールドに設
定されている値が０（ヌルポインタ値）である場合、ス
テップＳ５１１２に進む。この場合、リンク情報エント
リは、デバッグ対象クラスのインスタンスのデータメン
バとしては含まれていないため、ステップＳ５１１２
で、ステップＳ５１０２で獲得したセマフォを開放し、
関数からリターンする。

【０４２９】一方、リンク元インスタンスフィールドに
設定されている値が非０である場合、ステップＳ５１０
７に進む。この場合、リンクポインタを含むインスタン
スに関する情報を得るため、ステップＳ５１０７で、リ
ンク元インスタンスアドレスをキーとしてインスタンス
情報テーブルを検索する。そして、ステップＳ５１０８
で、リンク元インスタンスアドレスがインスタンス情報
テーブルに存在するか否かを判定する。リンク元インス
タンスアドレスがインスタンス情報テーブルに存在しな
い場合（ステップＳ５１０８でＮＯ）、ステップＳ５１
１４に進む。この場合、オブジェクト管理情報にデータ
の不整合が存在するため、ステップＳ５１１４で、ステ
ップＳ５１０２で獲得したセマフォを開放する。次に、
ステップＳ５１１７で、適切なエラーダイアログを表示
し、関数から直ちにリターンする。

【０４３０】一方、リンク元インスタンスアドレスがイ
ンスタンス情報テーブルに存在する場合（ステップＳ５
１０８でＹＥＳ）、ステップＳ５１０９に進む。そし
て、ステップＳ５１０９で、インスタンス情報エントリ
のクラス名をキーとしてクラス情報テーブルを検索す
る。そして、ステップＳ５１１０で、クラス名がクラス
情報テーブルに存在するか否かを判定する。クラス名が
クラス情報テーブルに存在しない場合（ステップＳ５１
１０でＮＯ）、ステップＳ５１１４に進む。この場合、
オブジェクト管理情報にデータの不整合が存在するた
め、ステップＳ５１１４で、ステップＳ５１０２で獲得
したセマフォを開放する。次に、ステップＳ５１１７
で、適切なエラーダイアログを表示し、関数からリター
ンする。

【０４３１】一方、クラス名がクラス情報テーブルに存
在する場合（ステップＳ５１１０でＹＥＳ）、ステップ
Ｓ５１１１に進む。そして、ステップＳ５１１１で、ク
ラス情報エントリのブレークフラグを獲得する。

【０４３２】以上の処理によって、オブジェクト管理情
報へのアクセスが終了したので、ステップＳ５１１３
で、ステップＳ５１０２で獲得したセマフォを開放す
る。その後、最新のオブジェクト管理情報の内容をオブ
ジェクトウインドウ内に描画させるために、ステップＳ
５１１５で、デバッガスレッドに描画要求メッセージを
ポストする。

【０４３３】最後に、ステップＳ５１１６で、ステップ
Ｓ５１１１で獲得したブレークフラグがＯＮであれば、
ユーザに確認を求めるため、確認ダイアログボックスを
表示する。一方、ユーザがＮＯボタンを選択すれば、ア
プリケーションを強制終了させる。そうでなければ、関
数からリターンする。

【０４３４】次に、デバッガスレッドが実行する処理の
詳細について、図７４を用いて説明する。

【０４３５】図７４は本発明の実施形態のデバッガスレ
ッドが実行する処理の詳細を示すフローチャートであ
る。

【０４３６】図７４において、デバッガスレッドは起動
後、まず、最初に、ステップＳ６１０２で、オブジェク
トウインドウを作成し、メッセージループ処理に入る。

【０４３７】メッセージループでは、ステップＳ６１０
３で、メッセージが到着すればそのメッセージを獲得す
る。次に、ステップＳ６１０４で、獲得したメッセージ
が終了メッセージであるか否かを判定する。獲得したメ
ッセージが終了メッセージである場合（ステップＳ６１
０４でＹＥＳ）、スレッドを終了する。一方、獲得した
メッセージが終了メッセージでない場合（ステップＳ６
１０３でＮＯ）、ステップＳ６１０６に進む。

【０４３８】次に、ステップＳ６１０６で、獲得したメ
ッセージが示すメッセージコードによる分岐を行う。獲
得したメッセージが描画要求メッセージである場合、ス
テップＳ６１０７に進む。まず、ステップＳ６１０７
で、オブジェクト管理情報への排他アクセスセマフォを
獲得する。次に、ステップＳ６１１０で、インスタンス
情報テーブル内の全エントリを、クラス名、生成Ｎｏ、
表示位置フィールドの内容に従ってオブジェクトウイン
ドウ内にインスタンスボックスとして描画する。

【０４３９】次に、ステップＳ６１１２で、リンク情報
テーブル内の全エントリを、リンク元インスタンスアド
レス、リンク先インスタンスアドレスフィールドの値か
らインスタンス情報テーブルを検索することで、リンク
元及びリンク先インスタンスの表示位置を獲得する。更
に、リンク情報エントリのリンク名フィールドの値を用
いてリンク（矢印線）を描画する。但し、この描画処理
は、リンク元インスタンスフィールド及び、リンク先イ
ンスタンスフィールドの値がともに有効なポインタ値
（ヌルポインタ以外）を持つリンク情報についてのみ行
う。

【０４４０】以上の処理によって、オブジェクト管理情
報へのアクセスが終了するので、ステップＳ６１１４
で、ステップＳ６１０７で獲得したセマフォを開放し、
メッセージループに戻る（ステップＳ６１０３に戻
る）。

【０４４１】一方、ステップＳ６１０６において、獲得
したメッセージがマウスボタンの押下メッセージである
場合、ステップＳ６１０８に進む。まず、ステップＳ６
１０８で、オブジェクト管理情報への排他アクセスセマ
フォを獲得する。次に、ステップＳ６１１１で、インス
タンス情報を全検索する。そして、ステップＳ６１１３
で、マウス位置がインスタンスの表示額域と重なるイン
スタンスが存在するか否かを判定する。マウス位置がイ
ンスタンスの表示額域と重なるインスタンスが存在しな
い場合（ステップＳ６１１３でＮＯ）、ステップＳ６１
２１に進む。そして、ステップＳ６１２１で、ステップ
Ｓ６１０８で獲得したセマフォを開放し、メッセージル
ープに戻る（ステップＳ６１０３に戻る）。

【０４４２】一方、マウス位置に表示額域を持つインス
タンスの領域と重なるインスタンスが存在する場合（ス
テップＳ６１１３でＹＥＳ）、ステップＳ６１１５に進
む。そして、ステップＳ６１１５で、インスタンス情報
エントリのクラス名をキーとしてクラス情報テーブルを
検索する。そして、ステップＳ６１１６で、クラス名が
クラス情報テーブルに存在する否かを判定する。クラス
名がクラス情報テーブルに存在しない場合（ステップＳ
６１１６でＮＯ）、ステップＳ６１２１に進む。そし
て、ステップＳ６１２１で、ステップＳ６１０８で獲得
したセマフォを開放し、メッセージループに戻る（ステ
ップＳ６１０３に戻る）。

【０４４３】一方、クラス名がクラス情報テーブルに存
在する場合（ステップＳ６１１６でＹＥＳ）、ステップ
Ｓ６１１７に進む。そして、ステップＳ６１１７で、マ
ウスボタンが開放されるまでマウスの移動をトラッキン
グする。尚、マウス移動のトラッキング中に、デバッグ
対象アプリケーションが、オブジェクト管理情報を変更
するような処理を行った（例えば、デバッグ対象クラス
のインスタンスの生成または削除）場合でも、ステップ
Ｓ６１０８でオブジェクト管理情報の排他アクセスセマ
フォを獲得しているため、デバッガ対象プログラムはブ
ロックし、オブジェクト管理情報が変更されることはな
い。

【０４４４】次に、マウスボタンが開放されたならば、
ステップＳ６１１８で、ステップＳ６１１５で検索され
たクラス情報エントリの次インスタンスの表示位置をマ
ウスボタンの押下位置に変更する。次に、ステップＳ６
１１９で、ステップＳ６１１１で検索されしたインスタ
ンス情報エントリの表示位置をマウスボタンの開放位置
に変更する。次に、ステップＳ６１２０で、描画要求メ
ッセージを自分自身に発行する。

【０４４５】以上の処理によって、オブジェクト管理情
報へのアクセスが終了するので、ステップＳ６１２１
で、ステップ６１０８で獲得したセマフォを開放し、メ
ッセージループヘ戻る（ステップＳ６１０３に戻る）。
但し、ステップＳ６１２０で自分自身に描画要求を発行
しているため、ステップＳ６１０３は後程、描画要求メ
ッセージを受け取ることになる。

【０４４６】一方、ステップＳ６１０６において、獲得
したメッセージが描画要求メッセージでもマウスボタン
の押下メッセージでもない場合は、ステップＳ６１０９
に進む。そして、ステップＳ６１０９で、ウインドウシ
ステムによって定められたデフォルト処理を実行し、メ
ッセージループに戻る（ステップＳ６１０３に戻る）。

【０４４７】以上説明したように、本実施形態によれ
ば、プログラムにわずかなデバッグ用マクロを挿入する
だけで、インスタンスの生成、削除、インスタンス間の
リンク関係に関するデバッグが可能なプログラムに換
え、且つ、任意のＣ＋＋コンパイラによって実行形式フ
ァイルを生成させることが可能である。

【０４４８】特に、インスタンス間のリンク関係を維持
するポインタの型を、デバッグ機能を実現するためのユ
ーザ定義型に変更するだけで、同ポインタヘの初期設定
及び値変更を行うコード部分を検出するのは、コンパイ
ラの役割となるため、特別なプログラム解析ツールを用
意する必要はない。

【０４４９】また、既存のデバッガと共用することに対
する制約事項は存在せず、インスタンスの生成、削除、
インスタンス間のリンク関係以外に関するデバッグ機能
は、既存のデバッガの機能を使うことが可能である。 ［他の実施形態］図７５は本発明の他の実施形態の構成
を示す図である。

【０４５０】図７５において、３０１０１はデバッグ対
象のプログラムである。３０１０２はデバッグ対象プロ
グラム３０１０１が、デバッグ対象クラスのインスタン
スを生成、削除した場合、またはインスタンス間のリン
クを変更した場合に呼び出されるスタブ関数群である。
そして、このスタブ関数群３０１０２は、デバッグ対象
プログラム３０１０１のインスタンスの生成、削除、イ
ンスタンス間のリンクの変更を通信回線３０２０１を介
してデバッグライブラリ３０１０３に通知する。

【０４５１】スタブ関数群３０１０２は、通知イベント
をデバッグライブラリ３０１０３に送出した後、同デバ
ッグライブラリから肯定応答を受け取るまでブロックす
る。３０１０３はスタブ関数群３０１０２から、インス
タンスの生成と削除、リンク変更情報を通知イベントと
して受け取り、同イベント内容をオブジェクト管理情報
３０３０１に反映させ、ＧＵＩ部３０１０４に描画要求
を発行するデバッグライブラリ関数群である。

【０４５２】デバッグライブラリ関数群３０１０３は、
図２のデバッグライブラリ関数群２０８と同一の機能を
有する。尚、デバッグライブラリは、イベントのパラメ
ータとして受け取ったインスタンスアドレスを調べ、該
インスタンスのブレークフラグがオンの場合は、確認ダ
イアログボックスを表示し、ユーザ確認を求める。

【０４５３】デバッグライブラリ関数群３０１０３は、
その後、スタブ関数群３０１０２に肯定応答を返し、デ
バッグ対象プログラム３０１０１の実行を再開させる
（従って、確認ダイアログボックスをオープンしている
間は、デバッグ対象プログラム３０１０１はブロックす
る）。

【０４５４】３０３０１はデバッグ対象プログラム３０
１０１の内部状態を再現したオブジェクト管理情報であ
る。３０１０４はオブジェクト管理情報３０３０１をオ
ブジェクトウインドウ３０２０３にグラフィカルに表示
する。そして、ポインティングデバイス３０２０２か
ら、ブレークポイントの設定、解除、インスタンス表示
位置の変更などのコマンドを受け取るＧＵＩ機能を受け
持つ。

【０４５５】以上説明したように、他の実施形態によれ
ば、デバッガへのインスタンスの生成と削除、インスタ
ンス間のリンクの変更通知を通信回線を介して発送する
構成にすることで、デバッガが動作する環境と、デバッ
グ対象プログラムの動作する環境を別々にすることが可
能であり、特に、組み込み用途のプログラムのデバッグ
にも使用可能である。

【０４５６】尚、本発明は、複数の機器（例えばホスト
コンピュータ、インタフェース機器、リーダ、プリンタ
など）から構成されるシステムに適用しても、一つの機
器からなる装置（例えば、複写機、ファクシミリ装置な
ど）に適用してもよい。

【０４５７】また、本発明の目的は、前述した実施形態
の機能を実現するソフトウェアのプログラムコードを記
録した記憶媒体を、システムあるいは装置に供給し、そ
のシステムあるいは装置のコンピュータ（またはＣＰＵ
やＭＰＵ）が記憶媒体に格納されたプログラムコードを
読出し実行することによっても、達成されることは言う
までもない。

【０４５８】この場合、記憶媒体から読出されたプログ
ラムコード自体が前述した実施形態の機能を実現するこ
とになり、そのプログラムコードを記憶した記憶媒体は
本発明を構成することになる。

【０４５９】プログラムコードを供給するための記憶媒
体としては、例えば、フロッピディスク、ハードディス
ク、光ディスク、光磁気ディスク、ＣＤ−ＲＯＭ、ＣＤ
−Ｒ、磁気テープ、不揮発性のメモリカード、ＲＯＭな
どを用いることができる。

【０４６０】また、コンピュータが読出したプログラム
コードを実行することにより、前述した実施形態の機能
が実現されるだけでなく、そのプログラムコードの指示
に基づき、コンピュータ上で稼働しているＯＳ（オペレ
ーティングシステム）などが実際の処理の一部または全
部を行い、その処理によって前述した実施形態の機能が
実現される場合も含まれることは言うまでもない。

【０４６１】更に、記憶媒体から読出されたプログラム
コードが、コンピュータに挿入された機能拡張ボードや
コンピュータに接続された機能拡張ユニットに備わるメ
モリに書込まれた後、そのプログラムコードの指示に基
づき、その機能拡張ボードや機能拡張ユニットに備わる
ＣＰＵなどが実際の処理の一部または全部を行い、その
処理によって前述した実施形態の機能が実現される場合
も含まれることは言うまでもない。

【０４６２】

【発明の効果】以上説明したように、本発明によれば、
プログラムのデバッグを効率的に実行することができる
情報処理装置及びその方法、コンピュータ可読メモリを
提供できる。

【０４６３】

【図面の簡単な説明】

【図１】本発明の実施形態の情報処理装置の構成を示す
図である。

【図２】本発明の概要を説明するための図である。

【図３】本発明の実施形態の順序木クラスを示す図であ
る。

【図４】本発明の実施形態の順序木のノードデータ構造
を示す図である。

【図５】本発明の実施形態の順序木クラスとノードクラ
スの各インスタンスがどのように結合して、１つの順序
木を構成するかを例示する図である。

【図６】本発明の実施形態の空の順序木を示す図であ
る。

【図７】本発明の実施形態の図６の順序木に整数値３を
追加した後の順序木の状態を示す図である。

【図８】本発明の実施形態の図７の順序木に整数値５を
追加した後の順序木の状態を示す図である。

【図９】本発明の実施形態の図８の順序木に整数値４を
追加した後の順序木の状態を示す図である。

【図１０】本発明の実施形態の図９の順序木に整数値３
を追加した後の順序木の状態を示す図である。

【図１１】本発明の実施形態の図１０の順序木に整数値
２を追加した後の順序木の状態を示す図である。

【図１２】本発明の実施形態の図１１の順序木に整数値
５を追加した後の順序木の状態を示す図である。

【図１３】本発明の実施形態の図１２の順序木に整数値
６を追加した後の順序木の状態を示す図である。

【図１４】本発明の実施形態のオブジェクトウインドウ
の初期状態を示す図である。

【図１５】本発明の実施形態の順序木が図６の状態にあ
るときのオブジェクトウインドウの表示状態を示す図で
ある。

【図１６】本発明の実施形態の図７のＮｏｄｅ＃０が作
成済みで、Ｔｒｅｅ＃０のｒｏｏｔポインタメンバがヌ
ルポインタの状態にあるときのオブジェクトウインドウ
を示す図である。

【図１７】本発明の実施形態の図７のＴｒｅｅ＃０のｒ
ｏｏｔポインタメンバにインスタンスＮｏｄｅ＃０のア
ドレスが設定された直後の状態にあるときのオブジェク
トウインドウを示す図である。

【図１８】本発明の実施形態の図８のＮｏｄｅ＃１が作
成済みで、Ｎｏｄｅ＃０のｒｉｇｈｔポインタメンバが
ヌルポインタの状態であるときのオブジェクトウインド
ウ示す図である。

【図１９】本発明の実施形態の図８のＮｏｄｅ＃０のｒ
ｉｇｈｔポインタメンバにＮｏｄｅ＃１のアドレスが設
定された直後の状態であるときのオブジェクトウインド
ウを示す図である。

【図２０】本発明の実施形態の図９のＮｏｄｅ＃２が作
成済みで、Ｎｏｄｅ＃１のｌｅｆｔポインタメンバがヌ
ルポインタである状態のときのオブジェクトウインドウ
を示す図である。

【図２１】本発明の実施形態の図９のＮｏｄｅ＃１のｌ
ｅｆｔポインタメンバにＮｏｄｅ＃２のアドレスが設定
された直後の状態であるときのオブジェクトウインドウ
を示す図である。

【図２２】本発明の実施形態の図１１のＮｏｄｅ＃３が
作成済みで、Ｎｏｄｅ＃０のｌｅｆｔポインタメンバが
ヌルポインタの状態であるときのオブジェクトウインド
ウを示す図である。

【図２３】本発明の実施形態の図１１がＮｏｄｅ＃０の
ｌｅｆｔポインタメンバにＮｏｄｅ＃３のアドレスが設
定された直後の状態であるときのオブジェクトウインド
ウを示す図である。

【図２４】本発明の実施形態の図２３の確認ダイアログ
ボックスをクローズする前にマウスドラッグによりイン
スタンスボックスを移動した状態を示す図である。

【図２５】本発明の実施形態の図１３のＮｏｄｅ＃４が
作成済みで、Ｎｏｄｅ＃１のｒｉｇｈｔポインタメンバ
がヌルポインタの状態であるときのオブジェクトウイン
ドウを示す図である。

【図２６】本発明の実施形態の図１３のＮｏｄｅ＃１の
ｒｉｇｈｔポインタメンバにＮｏｄｅ＃４のアドレスが
設定された直後の状態であるときのオブジェクトウイン
ドウを示す図である。

【図２７】本発明の実施形態の図２６の確認ダイアログ
ボックスをクローズする前に、マウスドラッグによりイ
ンスタンスボックスを適当な位置に移動した状態を示す
図である。

【図２８】本発明の実施形態のデバッグ対象プログラム
の実行経路において、デバッグ対象クラスのインスタン
ス生成をオブジェクト管理情報に反映してオブジェクト
ウインドウ上に表示させる処理を示すフローチャートで
ある。

【図２９】本発明の実施形態のインスタンス生成通知関
数が受け取るパラメータの意味内容を示す図である。

【図３０】本発明の実施形態のデバッグ対象プログラム
の実行経路において、デバッグ対象クラスのインスタン
スの削除をオブジェクト管理情報に反映してオブジェク
トウインドウ上に表示させる処理を示すフローチャート
である。

【図３１】本発明の実施形態のプログラミング言語Ｃ＋
＋における派生クラスのインスタンスのメモリ構造を示
す図である。

【図３２】本発明の実施形態のプログラミング言語Ｃ＋
＋において、派生クラスのインスタンスが生成、削除さ
れる処理を示すフローチャートである。

【図３３】本発明の実施形態のインスタンス間のリンク
関係を実現する最も一般的な方法を示す図である。

【図３４】本発明の実施形態のデバッガがインスタンス
間のリンク関係の変化を検出するためにリンク元インス
タンスとポインタメンバの間にリンクポインタクラスの
インスタンスを挟み込んだ状態を示す図である。

【図３５】本発明の実施形態のプログラミング言語Ｃ＋
＋で記述されたプログラムにおけるリンクポインタを含
んだリンク元インスタンスの生成処理を示すフローチャ
ートである。

【図３６】本発明の実施形態の図３５におけるリンク生
成通知関数のパラメータの意味を示す図である。

【図３７】本発明の実施形態のリンクポインタを変更す
る操作の代表例として、リンクポインタに新たに指すべ
きリンク先インスタンスのアドレスを代入する処理を示
すフローチャートである。

【図３８】本発明の実施形態のリンク変更通知関数に渡
されるパラメータの意味を示す図である。

【図３９】本発明の実施形態のプログラミング言語Ｃ＋
＋で記述されたプログラムにおけるリンクポインタを含
んだリンク元インスタンスの削除処理を示すフローチャ
ートである。

【図４０】本発明の実施形態の図３、図４で示した順序
木クラス、ノードクラスを定義するヘッダファイルを示
す図である。

【図４１Ａ】本発明の実施形態の図３、図４で示した順
序木クラス、ノードクラスを実装する実装ファイルを示
す図である。

【図４１Ｂ】本発明の実施形態の図３、図４で示した順
序木クラス、ノードクラスを実装する実装ファイルを示
す図である。

【図４２】本発明の実施形態の図４０で示したヘッダフ
ァイルにデバッグマクロを埋め込んだ状態を示す図であ
る。

【図４３Ａ】本発明の実施形態の図４１Ａ、図４１Ｂで
示した実装ファイルにデバッグマクロを埋め込んだ状態
を示す図である。

【図４３Ｂ】本発明の実施形態の図４１Ａ、図４１Ｂで
示した実装ファイルにデバッグマクロを埋め込んだ状態
を示す図である。

【図４３Ｃ】本発明の実施形態の図４１Ａ、図４１Ｂで
示した実装ファイルにデバッグマクロを埋め込んだ状態
を示す図である。

【図４４Ａ】本発明の実施形態のデバッグマクロ一式と
リンクポインタテンプレートクラスを定義するデバッグ
ヘッダを示す図である。

【図４４Ｂ】本発明の実施形態のデバッグマクロ一式と
リンクポインタテンプレートクラスを定義するデバッグ
ヘッダを示す図である。

【図４４Ｃ】本発明の実施形態のデバッグマクロ一式と
リンクポインタテンプレートクラスを定義するデバッグ
ヘッダを示す図である。

【図４５】本発明の実施形態の図４２で示したデバッグ
マクロが埋め込まれたヘッダファイルをデバッグモード
でコンパイルした際のマクロ展開結果を示す図である。

【図４６Ａ】本発明の実施形態の図４３Ａ〜図４３Ｃで
示したデバッグマクロが埋め込まれた実装ファイルをデ
バッグモードでコンパイルした場合のマクロ展開結果を
示す図である。

【図４６Ｂ】本発明の実施形態の図４３Ａ〜図４３Ｃで
示したデバッグマクロが埋め込まれた実装ファイルをデ
バッグモードでコンパイルした場合のマクロ展開結果を
示す図である。

【図４６Ｃ】本発明の実施形態の図４３Ａ〜図４３Ｃで
示したデバッグマクロが埋め込まれた実装ファイルをデ
バッグモードでコンパイルした場合のマクロ展開結果を
示す図である。

【図４７】本発明の実施形態のデバッグ対象プログラム
において、インスタンスが生成された履歴があるクラス
に関する情報を管理するクラス情報構造体を示す図であ
る。

【図４８】本発明の実施形態のデバッグ対象プログラム
の実行経路において、現時点で生存しているインスタン
スを表現するインスタンス情報構造体を示す図である。

【図４９】本発明の実施形態のデバッグ対象プログラム
の実行経路において、現時点で生存中であるリンクポイ
ンタを表現するリンク情報構造体を示す図である。

【図５０】本発明の実施形態のクラス情報構造体の集合
を管理するクラス情報テーブルを示す図である。

【図５１】本発明の実施形態のインスタンス情報構造体
の集合を管理するインスタンス情報テーブルを示す図で
ある。

【図５２】本発明の実施形態のリンク情報構造体の集合
を管理するリンク情報テーブルを示す図である。

【図５３】本発明の実施形態のクラス情報構造体、イン
スタンス情報構造体、リンク情報構造体のフィールド間
の関係を示す図である。

【図５４】本発明の実施形態の図６の順序木クラスＴｒ
ｅｅのインスタンスＴｒｅｅ＃０を生成する過程におい
て、リンクポインタｒｏｏｔのコンストラクタの呼び出
しが完了し、リンクポインタを含むインスタンスのコン
ストラクタの呼び出しが実行されていない時点の状態を
示す図である。

【図５５】本発明の実施形態の図６において順序木クラ
スのインスタンスＴｒｅｅ＃０の生成が完了した時点に
おけるクラス情報テーブル、インスタンス情報テーブ
ル、リンク情報テーブルの内部状態を示す図である。

【図５６】本発明の実施形態の図７のノードクラスのイ
ンスタンスＮｏｄｅ＃０を生成する過程において、リン
クポインタｌｅｆｔ、リンクポインタｒｉｇｈｔのコン
ストラクタの呼び出し処理が完了し、リンクポインタを
含むインスタンスＮｏｄｅ＃０のコンストラクタの呼び
出し処理が未実行である状態を示す図である。

【図５７】本発明の実施形態の図７のノードクラスのイ
ンスタンスＮｏｄｅ＃０の生成直後のクラス情報テーブ
ル、インスタンス情報テーブル、リンク情報テーブルの
内部状態を示す図である。

【図５８】本発明の実施形態の図７の順序木において、
Ｎｏｄｅ＃０のアドレスをＴｒｅｅ＃０のｒｏｏｔポイ
ンタに設定した後のクラス情報テーブル、インスタンス
情報テーブル、リンク情報テーブルの内部状態を示す図
である。

【図５９】本発明の実施形態のデバッグ対象クラスＢａ
ｓｅの最初のインスタンスが生成された直後におけるク
ラス情報テーブルとインスタンス情報テーブルの状態を
示す図である。

【図６０】本発明の実施形態の図５９で示した状態から
基底クラスＢａｓｅから派生したクラスＤｅｒｉｖｅｄ
のインスタンス生成処理において基底クラスＢａｓｅの
コンストラクタ呼び出しが完了した直後の状態を示す図
である。

【図６１】本発明の実施形態の図６０の状態から派生ク
ラスＤｅｒｉｖｅｄのインスタンス生成処理において派
生クラスのコンストラクタの呼び出しが完了した時点の
クラス情報テーブル、インスタンス情報テーブルの状態
を示す図である。

【図６２】本発明の実施形態の図６１の状態から派生ク
ラスＤｅｒｉｖｅｄのインスタンスＤｅｒｉｖｅｄ＃０
が削除される処理において派生クラスのデストラクタの
呼び出しが完了した時点での状態を示す図である。

【図６３】本発明の実施形態の図６２の状態から派生ク
ラスＤｅｒｉｖｅｄのインスタンスＤｅｒｉｖｅｄ＃０
が削除される処理が完了した時点でのクラス情報テーブ
ルとインスタンス情報テーブルの状態を示す図である。

【図６４】本発明の実施形態の図６３の状態から唯一の
インスタンスＢａｓｅ＃０が削除された後の状態を示す
図である。

【図６５】本発明の実施形態のオブジェクト管理情報に
含まれるその他の管理情報を示す図である。

【図６６】本発明の実施形態のインスタンス生成通知関
数が新規のクラス情報エントリをクラス情報テーブルに
追加する際の初期値を示す図である。

【図６７】本発明の実施形態のインスタンス生成通知関
数が新規のインスタンス情報エントリをインスタンス情
報テーブルに追加する際の初期値を示す図である。

【図６８】本発明の実施形態のリンク生成通知関数がリ
ンク情報テーブルに追加するリンク情報エントリの初期
値を示す図である。

【図６９】本発明の実施形態のインスタンス生成通知関
数が実行する処理の詳細を示すフローチャートである。

【図７０】本発明の実施形態のインスタンス削除通知関
数が実行する処理の詳細を示すフローチャートである。

【図７１】本発明の実施形態のリンク生成通知関数が実
行する処理の詳細を示すフローチャートである。

【図７２】本発明の実施形態のリンク削除通知関数が実
行する処理の詳細を示すフローチャートである。

【図７３】本発明の実施形態のリンク変更通知関数が実
行する処理の詳細を示すフローチャートである。

【図７４】本発明の実施形態のデバッガスレッドが実行
する処理の詳細を示すフローチャートである。

【図７５】本発明の他の実施形態の構成を示す図であ
る。

【符号の説明】

１ ＣＰＵ ２ バス ３ ＲＯＭ ３ａ 処理プログラム ３ｂ パラメータ ４ ＲＡＭ ４ａ オブジェクト管理情報 ５ 入力インタフェース ６ 入力装置 ７ 出力インタフェース ８ 出力装置 ９ 外部記憶装置インタフェース １０ 外部記憶装置

フロントページの続き (72)発明者 平原 厚志 東京都大田区下丸子３丁目30番２号 キヤ ノン株式会社内

Claims (13)

【特許請求の範囲】
1. 【請求項１】 プログラムをデバッグする情報処理装置
   であって、 前記プログラムのソースコード中にデバッグ用マクロを
   挿入する挿入手段と、 前記デバッグ用マクロを有効にした前記ソースコードの
   コンパイルを任意のコンパイラで実行する実行手段と、 前記実行手段でコンパイルされた実行プログラムを、前
   記デバッグ用マクロに基づいてデバッグするデバッグ手
   段と、 前記デバッグ手段によるデバッグに関する情報を出力す
   る出力手段とを備えることを特徴とする情報処理装置。
2. 【請求項２】 前記実行手段は、前記実行プログラムが
   生成するインスタンス間のリンクの変化を引き起こすソ
   ースコード個所を前記コンパイラによって検出させ、前
   記ソースコード箇所に前記デバッグ用マクロに基づいて
   デバッグ用命令コードを該コンパイラに挿入させること
   を特徴とする請求項１に記載の情報処理装置。
3. 【請求項３】 前記挿入手段は、デバッグ対象のプログ
   ラムのクラス定義内、クラスの実装ファイル内、クラス
   のコンストラクタ内、デストラクタ内、クラスを指すポ
   インタ変数の宣言部分に、前記デバッグ用マクロを挿入
   することを特徴とする請求項１に記載の情報処理装置。
4. 【請求項４】 前記デバッグ手段は、前記デバッグ用マ
   クロに基づいて、前記実行プログラムによるインスタン
   スの生成／削除の通知、リンクポインタの生成／削除／
   変更通知から、該プログラム内のインスタンスの生存状
   態、クラスの継承関係、インスタンス間のリンク関係を
   再現することを特徴とする請求項１に記載の情報処理装
   置。
5. 【請求項５】 前記デバッグ手段によって、前記実行プ
   ログラムによるインスタンスの生成と削除、インスタン
   ス間のリンク関係の変化を検出し、状態変化が発生した
   場合は、該プログラムを一時停止させることを特徴とす
   る請求項１に記載の情報処理装置。
6. 【請求項６】 外部装置と通信する通信手段を更に備
   え、 前記通信手段を介して、前記デバッグ手段は、前記外部
   装置上のデバッグ対象の実行プログラムをデバッグする
   ことを特徴とする請求項１に記載の情報処理装置。
7. 【請求項７】 プログラムをデバッグする情報処理方法
   であって、 前記プログラムのソースコード中にデバッグ用マクロを
   挿入する挿入工程と、 前記デバッグ用マクロを有効にした前記ソースコードの
   コンパイルを任意のコンパイラで実行する実行工程と、 前記実行工程でコンパイルされた実行プログラムを、前
   記デバッグ用マクロに基づいてデバッグするデバッグ工
   程と、 前記デバッグ工程によるデバッグに関する情報を出力す
   る出力工程とを備えることを特徴とする情報処理方法。
8. 【請求項８】 前記実行工程は、前記実行プログラムが
   生成するインスタンス間のリンクの変化を引き起こすソ
   ースコード個所を前記コンパイラによって検出させ、前
   記ソースコード箇所に前記デバッグ用マクロに基づいて
   デバッグ用命令コードを該コンパイラに挿入させること
   を特徴とする請求項７に記載の情報処理方法。
9. 【請求項９】 前記挿入工程は、デバッグ対象のプログ
   ラムのクラス定義内、クラスの実装ファイル内、クラス
   のコンストラクタ内、デストラクタ内、クラスを指すポ
   インタ変数の宣言部分に、前記デバッグ用マクロを挿入
   することを特徴とする請求項７に記載の情報処理方法。
10. 【請求項１０】 前記デバッグ工程は、前記デバッグ用
    マクロに基づいて、前記実行プログラムによるインスタ
    ンスの生成／削除の通知、リンクポインタの生成／削除
    ／変更通知から、該プログラム内のインスタンスの生存
    状態、クラスの継承関係、インスタンス間のリンク関係
    を再現することを特徴とする請求項７に記載の情報処理
    方法。
11. 【請求項１１】 前記デバッグ工程によって、前記実行
    プログラムによるインスタンスの生成と削除、インスタ
    ンス間のリンク関係の変化を検出し、状態変化が発生し
    た場合は、該プログラムを一時停止させることを特徴と
    する請求項７に記載の情報処理方法。
12. 【請求項１２】 外部装置と通信回線を介して通信する
    通信工程を更に備え、 前記通信回線を介して、前記デバッグ手段は、前記外部
    装置上のデバッグ対象の実行プログラムをデバッグする
    ことを特徴とする請求項７に記載の情報処理方法。
13. 【請求項１３】 プログラムをデバッグする情報処理の
    プログラムコードが格納されたコンピュータ可読メモリ
    であって、 前記プログラムのソースコード中にデバッグ用マクロを
    挿入する挿入工程のプログラムコードと、 前記デバッグ用マクロを有効にした前記ソースコードの
    コンパイルを任意のコンパイラで実行する実行工程のプ
    ログラムコードと、 前記実行工程でコンパイルされた実行プログラムを、前
    記デバッグ用マクロに基づいてデバッグするデバッグ工
    程のプログラムコードと、 前記デバッグ工程によるデバッグに関する情報を出力す
    る出力工程のプログラムコードとを備えることを特徴と
    するコンピュータ可読メモリ。