JPH07281905A - 型宣言修正装置 - Google Patents

Abstract

(57)【要約】 【目的】 本発明は、型宣言修正装置に関し、プログラ
ム中から型や添字範囲の宣言を取り出して変数構造体に
置き換えてシミュレートして最大値などを収集し、適切
な型や添字範囲に自動修正し、型や添字範囲の過大によ
るメモリ浪費を無くしたり、型や添字範囲の過少による
エラーを回避したりすることを目的とする。 【構成】 プログラム中から変数の型宣言を取り出し、
現在値および最大値の領域を持つ変数構造体２１に置き
換える変数構造体置換手段２と、この変数構造体２１に
置き換え後のプログラムに、テストデータを入力して実
行したときの最大値を最大値の領域に保存しつつシミュ
レートするシュミレータ３と、このシミュレート後の変
数構造体２１の最大値の領域から取り出した最大値をも
とにプログラム中の変数の型宣言を修正する宣言修正手
段４とを備えるように構成する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、プログラム中の型宣言
や添字範囲を自動修正する型宣言修正装置に関するもの
である。プログラミング言語において、ユーザが用いる
変数について、変数の格納領域の大きさを示す型を宣言
しなければならない。また、配列については配列の各要
素の格納領域の大きさを示す型を宣言すると同時に、配
列自身の格納領域の大きさ示す添字の大きさあるいは添
字範囲を宣言しなければならない。これらの型や添字範
囲を適切に自動修正することが望まれている。

【０００２】

【従来の技術】従来、プログラム中で変数や配列を使用
する場合、型や型と添字範囲を固定的に宣言していた。
例えば変数の型について、整数型の場合、 ・ｓｈｏｒｔ ・ｉｎｔ ・ｌｏｎｇ のいずれに固定的に宣言していた。また、実数型の場
合、 ・ｆｌｏａｔ ・ｄｏｕｂｌｅ のいずれかに固定的に宣言していた。また、配列の場
合、型は変数の場合と同様に整数型あるいは実数型につ
いて上述の中からいずれかを固定的に宣言していた。ま
た、配列の添字範囲については、最大値、あるいは最小
値と最大値を固定的に宣言するようにしていた。

【０００３】

【発明が解決しようとする課題】従来は上述したように
変数の型や配列の型については、整数型あるいは実数型
に対応して上述の中からいずれかを固定的に宣言してい
たため、型の宣言が大き過ぎた場合、無駄なメモリを使
用してしまうという問題が発生する。逆に型の宣言が小
さ過ぎた場合、領域のオーバーフローエラーが発生して
しまい、値が不正確になってしまうか、計算を実行でき
なくなってしまう問題が発生する。このために、変数や
配列の型について、大きめに宣言してしまい、メモリ資
源を無駄に使用するという問題が生じていた。

【０００４】また、配列の添字範囲についても同様に、
過大の添字範囲を宣言するとメモリ資源を無駄に使用し
てしまう問題が発生し、一方、過少の添字範囲を宣言す
るとエラーとなってしまう問題が発生する。

【０００５】このため、変数や配列の型の宣言、更に配
列の添字範囲の宣言について、適切な宣言に自動修正す
ることが望まれている。本発明は、これらの問題を解決
するため、プログラム中から型や添字範囲の宣言を取り
出して変数構造体に置き換えてシミュレートして最大値
などを収集し、適切な型や添字範囲に自動修正し、型や
添字範囲の過大によるメモリ浪費を無くしたり、型や添
字範囲の過少によるエラーを回避したりすることを目的
としている。

【０００６】

【課題を解決するための手段】図１は、本発明の原理ブ
ロック図を示す。図１において、プログラム１は、プロ
グラミング言語によってプログラムされたソースプログ
ラムである。

【０００７】変数構造体置換手段２は、プログラム１か
ら取り出した変数の型宣言、配列の型宣言、配列の添字
範囲を、変数構造体２１に置き換えるものである。変数
構造体２１は、現在値、最大値、あるいは添字範囲の最
大値（あるいは最大値と最小値）を格納する領域を持つ
ものである。

【０００８】シミュレータ３は、変数構造体２１に置き
換え後のプログラムに、テストデータを入力して実行し
たときの最大値を最大値の領域などに保存しつつシミュ
レートするものである。

【０００９】宣言修正手段４は、シミュレート後の変数
構造体２１の最大値の領域から取り出した最大値をもと
にプログラム中の変数あるいは配列の型宣言を修正した
り、最大値（あるいは最大値と最小値）の領域から取り
出した最大値（あるいは最大値と最小値）をもとにプロ
グラム中の配列の添字範囲を修正したりするものであ
る。

【００１０】コンパイラ５は、型宣言や添字範囲を修正
した後のプログラムをコンパイルするものである。実行
手段６は、コンパイル後のモジュールを実行するもので
ある。

【００１１】

【作用】本発明は、図１に示すように、変数構造体置換
手段２がプログラム中から変数の型宣言を取り出し、現
在値および最大値の領域を持つ変数構造体２１に置き換
え、シミュレータ３が変数構造体２１に置き換え後のプ
ログラムに、テストデータを入力して実行したときの最
大値を最大値の領域に保存しつつシミュレートし、宣言
修正手段４がシミュレート後の変数構造体２１の最大値
の領域から取り出した最大値をもとにプログラム中の変
数の型宣言を修正するようにしている。

【００１２】また、変数構造体置換手段２がプログラム
中から配列の型宣言を取り出し、現在値および最大値の
領域を持つ変数構造体２１に置き換え、シミュレータ３
が変数構造体２１に置き換え後のプログラムに、テスト
データを入力して実行したときの最大値を最大値の領域
に保存しつつシミュレートし、宣言修正手段４がシミュ
レート後の変数構造体２１の最大値の領域から取り出し
た最大値をもとにプログラム中の配列の型宣言を修正す
るようにしている。

【００１３】また、変数構造体置換手段２がプログラム
中から配列の添字範囲を取り出し、現在値および最大値
（あるいは最大値と最小値）の領域を持つ変数構造体２
１に置き換え、シミュレータ３が変数構造体２１に置き
換え後のプログラムに、テストデータを入力して実行し
たときの最大値（あるいは最大値と最小値）を最大値
（あるいは最大値と最小値）の領域に保存しつつシミュ
レートし、宣言修正手段４がシミュレート後の変数構造
体２１の最大値（あるいは最大値と最小値）の領域から
取り出した最大値（あるいは最大値と最小値）をもとに
プログラム中の配列の添字範囲を修正するようにしてい
る。

【００１４】また、コンパイラ５がプログラム中の型宣
言あるいは添字範囲を修正した後のプログラムをコンパ
イルして実行形式のモジュールを生成し、実行手段６が
この実行形式のモジュールを実行するようにしている。

【００１５】従って、プログラム中から型や添字範囲の
宣言を取り出して変数構造体に置き換えてシミュレート
して最大値などを収集し、適切な型や添字範囲に自動修
正し、型や添字範囲の過大によるメモリ浪費を無くした
り、型や添字範囲の過少によるエラーを回避したりする
ことが可能となる。

【００１６】

【実施例】次に、図２から図１３を用いて本発明の実施
例の構成および動作を順次詳細に説明する。

【００１７】図２は、本発明の全体動作説明フローチャ
ートを示す。これは、図１の構成の全体の動作を説明し
たものである。図２において、Ｓ１は、ソースプログラ
ムＰ０を入力する。これは、図１のプログラミングした
プログラム（ソースプログラムＰ０）１を入力する。

【００１８】Ｓ２は、ソースプログラムＰ０から型宣言
および添字範囲を取り出す。これは、例えば図４のソー
スプログラムＰ０から変数の型宣言 ・ｉｎｔ ・ｌｏｎｇ ・ｓｈｏｒｔ ・ｆｌｏａｔ ・ｄｏｕｂｌｅ や、配列の型宣言と添字範囲 ・ｉｎｔ ａ［１００］ ・ｌｏｎｇ ｂ［２００］ ・ｓｈｏｒｔ ｃ［３００］ ・ｆｌｏａｔ ｆ［２００］ ・ｄｏｕｂｌｅ ｇ［３００］ を取り出す。

【００１９】Ｓ３は、ソースプログラムＰ０内の型宣言
と配列添字範囲とを変数構造体２１に置き換えたものを
ソースプログラムＰ１とする。これは、例えば図４のソ
ースプログラムＰ０中の変数の型宣言、あるいは配列の
型宣言と添字範囲を取り出し、変数構造体２１に置き換
えたものを図示のソースプログラムＰ１とする（図４の
例では、ｖｓｉ、ｖｓｆによって置換して変数構造体２
１である旨を表現し、シミュレート時にシュミレータ３
が自動的に変数構造体２１（図３参照）に置き換え、シ
ミュレートする）。

【００２０】Ｓ４は、テストデータの入力を行う。これ
は、ソースプログラムＰ０に実行させようとするデータ
と同様のデータをテストデータとして入力する。Ｓ５
は、ソースプログラムＰ１の実行シミュレーションを行
う。これは、Ｓ４で入力されたテストデータをもとに、
シミュレータ３がソースプログラムＰ１を実行する。こ
の際、図６を用いて後述するように、変数の型宣言や配
列の型宣言と添字範囲に置換した図３の変数構造体２１
中の現在値の領域に現在の値を代入／参照して処理を実
行すると共に、そのときの最大値（あるいは最大値と最
小値）を最大値（あるいは最大値と最小値）の領域に保
存しておく。

【００２１】Ｓ６は、各変数構造体２１の最大値（最小
値）を取り出す。Ｓ７は、ソースプログラムＰ１内の変
数構造体２１を修正した型宣言と配列添字範囲とに置き
換えたものをソースプログラムＰ２とする。これは、Ｓ
６でシミュレート後の変数構造体２１の最大値（あるい
は最大値と最小値）の領域から取り出した最大値（ある
いは最大値と最小値）をもとに、最適な変数の型宣言、
配列の型宣言と添字範囲を決定し（図７から図１３を用
いて後述する）、この決定したものでソースプログラム
Ｐ１中の変数構造体２１を置き換え、ソースプログラム
Ｐ２を作成する。

【００２２】Ｓ８は、ソースプログラムＰ２のコンパイ
ルを行う。これにより、実行可能形式のモジュールがで
きたこととなる。Ｓ９は、Ｓ８でコンパイル後のＰ２を
実行する。

【００２３】以上によって、ソースプログラムＰ０の変
数の型宣言、配列の型宣言と添字範囲を取り出して変数
構造体２１に置換してソースプログラムＰ１を生成し、
このソースプログラムＰ１にテストデータを入力してシ
ミュレートしてそのときの最大値（あるいは最大値と最
小値）を当該変数構造体２１中に記憶しておき、シミュ
レート後に変数構造体２１中から取り出した最大値（あ
るいは最大値と最小値）とをもとに変数の型宣言、配列
の型宣言と添字範囲を最適に修正し、修正後のソースプ
ログラムＰ２をコンパイルして実行する。これらによ
り、ソースプログラムＰ０の変数の型宣言や配列の型宣
言と添字範囲をテストデータによって自動的に最適に修
正した後、コンパイルして実行し、型や添字範囲の過大
によるメモリ浪費を無くしたり、型や添字範囲の過少に
よるエラーを回避したりすることが可能となった。以下
順次詳細に説明する。

【００２４】図３は、本発明の変数構造体例を示す。こ
れは、記述したように、ソースプログラムから取り出し
た変数の型宣言や配列の型宣言と添字範囲を置換する変
数構造体２１の例である。

【００２５】図３の（ａ）は、変数構造体例を示す。こ
れは、図示のように、 ・現在値 ・今までの最大値 ・今までの最小値 を格納する領域を設けたものである。現在値は、変数、
配列、添字範囲が現在の値を格納する領域である。今ま
での最大値は、現在値に代入した最大値を保存する領域
である。今なでの最小値は、現在値に代入した最小値を
保存する領域である。

【００２６】図３の（ｂ）は、変換構造体例を示す。こ
れは、図示のように、 ・現在値 ・今までの最大値 ・今までの最小値 ・最新値へのポインタ ・最初の値 ・次の値 ・・・ ・最新値（＝現在値） を格納する領域を設けたものである。ここで、最新値へ
のポインタは、最初の値、次の値、・・・最新値（＝現
在値）というように時系列に全てのデータを保存したと
きに最新値を指すポインタである。これにより、時系列
に全ての現在値の領域に代入された値が保存されるの
で、シミュレート後にこの時系列のデータを順次参照し
てその値の範囲を検出することができる。

【００２７】図４は、本発明の整数と実数の型宣言の変
換例を示す。これは、ソースプログラムＰ０について、
整数の型宣言と、実数の型宣言を見つけて、変数構造体
２１に変換する様子を示す。即ち、ソースプログラムＰ
０から ・変数の整数の型宣言として、 ・ｉｎｔ ｘ ・ｌｏｎｇ ｘ ・ｓｈｏｒｔ ｚ ・配列の整数の型宣言および添字範囲として、 ・ｉｎｔ ａ［１００］ ・ｌｏｎｇ ｂ［２００］ ・ｓｈｏｒｔ ｃ［３００］ ・変数の実数の型宣言として、 ・ｆｌｏａｔ ｆｆ ・ｄｏｕｂｌｅ ｇｇ ・配列の実数の型宣言および整数の添字範囲として、 ・ｆｌｏａｔ ｆ［２００］ ・ｄｏｕｂｌｅ ｇ［３００］ を取り出し、ソースプログラムＰ１に示すようにそれぞ
れ図示のｖｓｉ、ｖｓｆを用いた記述に変換する。この
記述ｖｓｉは整数向けの変数構造体の宣言を記述したも
のであり、記述ｖｓｆは実数向けの変数構造体の宣言を
記述したものであり、シミュレータ３による実行時に、
図３の（ａ）あるいは（ｂ）に示す変数構造体２１に変
換されるものである。

【００２８】図５は、本発明の配列の添字範囲の変換例
を示す。これは、ソースプログラムＰ０について、配列
の添字範囲を見つけ、変数構造体２１に変換する様子を
示す。即ち、ソースプログラムＰ０から ・配列の添字範囲ａの添字変数ｉ ・配列の添字範囲ａの添字変数ｊ ・配列の添字範囲ｆの添字変数ｋ ・配列の添字範囲ｇの添字変数ｈ を見つけて取り出し、ソースプログラムＰ１に示すよう
にそれぞれ図示のｖｓｉ（整数向け）、ｖｓｆ（実数向
け）を用いた記述に変換する。この記述ｖｓｉは整数向
けの変数構造体の宣言を記述したものであり、記述ｖｓ
ｆは実数向けの変数構造体の宣言を記述したものであ
り、シミュレータ３による実行時に、図３の（ａ）ある
いは（ｂ）に示す変数構造体２１に変換されるものであ
る。

【００２９】次に、図６のフローチャートに示す順序に
従い、図４および図５の変数構造体２１に変換後のソー
スプログラムＰ１の実行シミュレーション例を詳細に説
明する。

【００３０】図６において、Ｓ１１は、ソースプログラ
ムＰ１の命令文を１つずつ取り出す。Ｓ１２は、取り出
した命令文を解釈し、 ・変数への値の代入命令か？ ・変数の値の参照命令か？ ・それ以外の代入命令か？ のいずれかを判別する。

【００３１】Ｓ１３は、Ｓ１２で代入命令と判別された
ので、変数構造体２１の時系列配列に値を格納する。Ｓ
１４は、変数構造体２１の現在値の欄に値を代入する。

【００３２】Ｓ１５は、代入された値が最大値か判別す
る。これは、現在値の欄に代入した値が、最大値に格納
されている値よりも大きいか判別する。ＹＥＳの場合に
は、Ｓ１６で変数構造体２１の最大値の欄に値を代入し
て最大値を更新し、Ｓ１１に戻る。一方、ＮＯの場合に
は、Ｓ１７に進む。

【００３３】Ｓ１７は、代入された値が最小値か判別す
る。これは、現在値の欄に代入した値が、最小値に格納
されている値よりも小さいか判別する。ＹＥＳの場合に
は、Ｓ１８で変数構造体２１の最小値の欄に値を代入し
て最小値を更新し、Ｓ１１に戻る。一方、ＮＯの場合に
も、Ｓ１１に戻る。

【００３４】以上のＳ１３からＳ１８によって、取り出
した命令が代入命令であった場合、現在値を変数構造体
２１の現在値の欄の代入、現在値が最大値よりも大きい
ときは変数構造体２１の最大値を更新し、現在値が最小
値よりも小さいときは変数構造体２１の最小値を更新し
て最大値／最初値を記憶しておく。

【００３５】Ｓ１９は、Ｓ１２で参照命令と判別された
ので、変数構造体２１の現在値の欄（領域）を参照し、
その値を読み出す。そして、Ｓ１１に戻る。以上のＳ１
９によって、取り出した命令が参照命令であった場合、
代入命令で代入された変数構造体２１の現在値の欄から
その値を読み出す。

【００３６】Ｓ２０は、Ｓ１２でそれ以外の命令と判別
されたので、命令文をそのまま実行する。そして、Ｓ１
１に戻る。以上のＳ２０によって、取り出した命令が代
入命令や参照命令以外であった場合、その命令をそのま
ま実行する。

【００３７】次に、図７のフローチャートに示す順序に
従い、変数の型宣言の修正するときの手順を詳細に説明
する。図７において、Ｓ２１は、もとのプログラムＰ０
を入力する。これは、例えば図４のソースプログラムＰ
０を入力する。

【００３８】Ｓ２２は、プログラムＰ０内の変数ｘを変
数構造体ｘに置き換えたソースプログラムＰ１を作成す
る（図４参照）。Ｓ２３は、ソースプログラムＰ１に対
して、テストデータを入力してシミュレーションを実行
する（図６参照）。

【００３９】Ｓ２４は、ソースプログラムＰ１内にもは
や変数構造体２１が存在するか判別する。ＮＯの場合に
は、Ｓ２５でプログラムＰ２（変数の型宣言を適切に修
正した後のソースプログラムＰ２）を出力する。一方、
ＮＯの場合には、Ｓ２６に進む。

【００４０】Ｓ２６は、ソースプログラムＰ１から変数
構造体ｘを１つ取り出す。ソースプログラムＰ０内でそ
れに対応する変数をｘと仮にここでは名づける。Ｓ２７
は、Ｐ０内のｘがｓｈｏｒｔまたはｉｎｔまたはｌｏｎ
ｇのような整数型としてソースプログラムＰ０内で型宣
言されているか判別する。ＹＥＳの場合には、Ｓ２８で
ｘの整数型宣言の修正を行い（図８を用いて後述す
る）、無駄なメモリ資源を浪費したり、過少によるエラ
ーを回避したりする。そして、Ｓ２４に戻る。一方、Ｎ
Ｏの場合には、Ｓ２９に進む。

【００４１】Ｓ２９は、Ｐ０内のｘがｆｌｏａｔまたは
ｄｏｕｂｌｅのような実数型としてソースプログラムＰ
０内で型宣言されているか判別する。ＹＥＳの場合に
は、Ｓ３０でｘの実数型宣言の修正を行う（図９を用い
て後述する）。そして、Ｓ２４に戻る。一方、ＮＯの場
合には、Ｓ２４に戻る。

【００４２】以上によって、シミュレーション後の変数
構造体２１を取り出し、対応するソースプログラムＰ０
の変数ｘが整数型（ｓｈｏｒｔ、ｉｎｔ、ｌｏｎｇ）の
場合にＳ２８でｘの整数の型宣言を修正し（図８）、変
数ｘが実数型（ｆｌｏａｔ、ｄｏｕｂｌｅ）の場合にＳ
３０でｘの実数の型宣言を修正する（図９）。これらに
より、変数の型宣言が最適に修正され、無駄なメモリ資
源を浪費したり、過少によるエラーを回避したりするこ
とが可能となる。

【００４３】図８は、本発明の整数の型宣言の修正フロ
ーチャートを示す。これは、図７のＳ２８の詳細な修正
フローチャートである。図８において、Ｓ３１は、ソー
スプログラムＰ１内の変数構造体ｘの最大値をｘｍａｘ
とする。

【００４４】Ｓ３２は、型宣言ｓｈｏｒｔで取りうる計
算機上の整数の最大値を（ｓｈｏｒｔ）とする。Ｓ３３
は、型宣言ｉｎｔで取りうる計算機上の整数の最大値を
（ｉｎｔ）とする。

【００４５】Ｓ３４は、型宣言ｌｏｎｇで取りうる計算
機上の整数の最大値を（ｌｏｎｇ）とする。Ｓ３５は、
ｘｍａｘ≦（ｓｈｏｒｔ）か判別する。ＹＥＳの場合に
は、変数構造体２１から取り出した最大値ｘｍａｘが計
算機の取りうる（ｓｈｏｒｔ）よりも小さいと判明した
ので、Ｓ３６でソースプログラムＰ２内の変数ｘの型宣
言をｓｈｏｒｔとする。即ち、 ｓｈｏｒｔ ｘ； ｉｎｔ ｘ： ｌｏｎｇ ｘ； は、ｓｈｏｒｔ ｘ；とする。そして、Ｓ３７に進む。
一方、ＮＯの場合には、Ｓ３７に進む。

【００４６】Ｓ３７は、（ｓｈｏｒｔ）≦ｘｍａｘ≦
（ｉｎｔ）か判別する。ＹＥＳの場合には、変数構造体
２１から取り出した最大値ｘｍａｘが計算機の取りうる
（ｓｈｏｒｔ）よりも大きく、（ｉｎｔ）よりも小さい
と判明したので、Ｓ３８でソースプログラムＰ２内の変
数ｘの型宣言をｉｎｔとする。即ち、 ｓｈｏｒｔ ｘ； ｉｎｔ ｘ： ｌｏｎｇ ｘ； は、ｉｎｔ ｘ；とする。そして、Ｓ３９に進む。一
方、ＮＯの場合には、Ｓ３９に進む。

【００４７】Ｓ３９は、（ｉｎｔ）≦ｘｍａｘ≦（ｌｏ
ｎｇ）か判別する。ＹＥＳの場合には、変数構造体２１
から取り出した最大値ｘｍａｘが計算機の取りうる（ｉ
ｎｔ）よりも大きく、（ｌｏｎｇ）よりも小さいと判明
したので、Ｓ４０でソースプログラムＰ２内の変数ｘの
型宣言をｌｏｎｇとする。即ち、 ｓｈｏｒｔ ｘ； ｉｎｔ ｘ： ｌｏｎｇ ｘ； は、ｌｏｎｇ ｘ；とする。そして、Ｓ４１に進む。一
方、ＮＯの場合には、Ｓ４１に進む。

【００４８】Ｓ４１は、（ｌｏｎｇ）≦ｘｍａｘか判別
する。ＹＥＳの場合には、変数構造体２１から取り出し
た最大値ｘｍａｘが計算機の取りうる（ｌｏｎｇ）より
も大きいと判明したので、Ｓ４２でユーザにその旨通知
して指示を受ける。例えば、その指示は ・テストデータを変えて再実行する ・ユーザ指示でｌｏｎｇまたはｉｎｔに型宣言する などである。そして、終了する。一方、ＮＯの場合に
は、終了する。

【００４９】以上によって、整数の型宣言は、シミュレ
ート後の変数構造体２１から取り出した最大値ｘｍａｘ
と、計算機上の整数の最大値（ｓｈｏｒｔ）、（ｉｎ
ｔ）、（ｌｏｎｇ）とを比較して必要最小限のサイズの
型宣言に自動的に修正されることとなる。

【００５０】図９は、本発明の実数の型宣言の修正フロ
ーチャートを示す。これは、図７のＳ３０の詳細な修正
フローチャートである。図９において、Ｓ５１は、ソー
スプログラムＰ１内の変数構造体ｘの最大値をｘｍａｘ
とする。

【００５１】Ｓ５２は、型宣言ｆｌｏａｔで取りうる計
算機上の整数の最大値を（ｆｌｏａｔ）とする。Ｓ５３
は、型宣言ｄｏｕｂｌｅで取りうる計算機上の整数の最
大値を（ｄｏｕｂｌｅ）とする。

【００５２】Ｓ５４は、ｘｍａｘ≦（ｆｌｏａｔ）か判
別する。ＹＥＳの場合には、変数構造体２１から取り出
した最大値ｘｍａｘが計算機の取りうる（ｆｌｏａｔ）
よりも小さいと判明したので、Ｓ５５でソースプログラ
ムＰ２内の変数ｘの型宣言をｆｌｏａｔとする。即ち、 ｆｌｏａｔ ｘ； ｄｏｕｂｌｅ ｘ： は、ｆｌｏａｔ ｘ；とする。そして、Ｓ５６に進む。
一方、ＮＯの場合には、Ｓ５６に進む。

【００５３】Ｓ５６は、（ｆｌｏａｔ）≦ｘｍａｘ≦
（ｄｏｕｂｌｅ）か判別する。ＹＥＳの場合には、変数
構造体２１から取り出した最大値ｘｍａｘが計算機の取
りうる（ｆｌｏａｔ）よりも大きく、（ｄｏｕｂｌｅ）
よりも小さいと判明したので、Ｓ５７でソースプログラ
ムＰ２内の変数ｘの型宣言をｄｏｕｂｌｅとする。即
ち、 ｆｌｏａｔ ｘ； ｄｏｕｂｌｅ ｘ： は、ｄｏｕｂｌｅ ｘ；とする。そして、Ｓ５８に進
む。一方、ＮＯの場合には、Ｓ５８に進む。

【００５４】Ｓ５８は、（ｄｏｕｂｌｅ）≦ｘｍａｘか
判別する。ＹＥＳの場合には、変数構造体２１から取り
出した最大値ｘｍａｘが計算機の取りうる（ｄｏｕｂｌ
ｅ）よりも大きいと判明したので、Ｓ５９でユーザにそ
の旨通知して指示を受ける。例えば、その指示は ・テストデータを変えて再実行する ・ユーザ指示でｆｌｏａｔまたはｄｏｕｂｌｅに型宣言
する などである。そして、終了する。一方、ＮＯの場合に
は、終了する。

【００５５】以上によって、実数の型宣言は、シミュレ
ート後の変数構造体２１から取り出した最大値ｘｍａｘ
と、計算機上の実数の最大値（ｆｌｏａｔ）、（ｄｏｕ
ｂｌｅ）とを比較して必要最小限のサイズの型宣言に自
動的に修正されることとなる。

【００５６】次に、図１０のフローチャートに示す順序
に従い、配列の型宣言の修正するときの手順を詳細に説
明する。図１０において、Ｓ６１は、もとのプログラム
Ｐ０を入力する。これは、例えば図４のソースプログラ
ムＰ０を入力する。

【００５７】Ｓ６２は、プログラムＰ０内の任意の配列
ａ［ ］の各要素ａ［ｉ］を変数構造体ａ［ｉ］に置き
換えたソースプログラムＰ１を作成する（図４参照）。
Ｓ６３は、ソースプログラムＰ１に対して、テストデー
タを入力してシミュレーションを実行する（図６参
照）。

【００５８】Ｓ６４は、ソースプログラムＰ１内に配列
（変数構造体２１）が存在するか判別する。ＮＯの場合
には、Ｓ６５でソースプログラムＰ２（配列の型宣言を
適切に修正した後のソースプログラムＰ２）を出力す
る。一方、ＮＯの場合には、Ｓ６６に進む。

【００５９】Ｓ６６は、ソースプログラムＰ１から配列
（変数構造体ｘ）を１つ取り出す。ソースプログラムＰ
０内でそれに対応する配列をａ［ ］と仮にここでは名
づける。

【００６０】Ｓ６７は、Ｐ０内のａ［ ］がｓｈｏｒｔ
またはｉｎｔまたはｌｏｎｇのような整数型としてソー
スプログラムＰ０内で型宣言されているか判別する。Ｙ
ＥＳの場合には、Ｓ６８で配列ａ［ ］の整数型宣言の
修正を行い（図１１を用いて後述する）、無駄なメモリ
資源を浪費したり、過少によるエラーを回避したりす
る。そして、Ｓ６４に戻る。一方、ＮＯの場合には、Ｓ
６９に進む。

【００６１】Ｓ６９は、Ｐ０内のａ［ ］がｆｌｏａｔ
またはｄｏｕｂｌｅのような実数型としてソースプログ
ラムＰ０内で型宣言されているか判別する。ＹＥＳの場
合には、Ｓ７０で配列ａ［ ］の実数型宣言の修正を行
う（図１２を用いて後述する）。そして、Ｓ６４に戻
る。一方、ＮＯの場合には、Ｓ６４に戻る。

【００６２】以上によって、シミュレーション後の変数
構造体２１を取り出し、対応するソースプログラムＰ０
の配列ａ［ ］が整数型（ｓｈｏｒｔ、ｉｎｔ、ｌｏｎ
ｇ）の場合にＳ６８で配列ａ［ ］の整数の型宣言を修
正し（図１１）、配列ａ［］が実数型（ｆｌｏａｔ、ｄ
ｏｕｂｌｅ）の場合にＳ７０で配列ａ［ ］の実数の型
宣言を修正する（図１２）。これらにより、配列の型宣
言が最適に修正され、無駄なメモリ資源を浪費したり、
過少によるエラーを回避したりすることが可能となる。

【００６３】図１１は、本発明の配列の整数の型宣言の
修正フローチャートを示す。これは、図１０のＳ６８の
詳細な修正フローチャートである。図１１において、Ｓ
７１は、ソースプログラムＰ１内の配列ａ［ ］（変数
構造体）の最大値の行での最大値をａｍａｘとする。

【００６４】Ｓ７２は、型宣言ｓｈｏｒｔで取りうる計
算機上の整数の最大値を（ｓｈｏｒｔ）とする。Ｓ７３
は、型宣言ｉｎｔで取りうる計算機上の整数の最大値を
（ｉｎｔ）とする。

【００６５】Ｓ７４は、型宣言ｌｏｎｇで取りうる計算
機上の整数の最大値を（ｌｏｎｇ）とする。Ｓ７５は、
ａｍａｘ≦（ｓｈｏｒｔ）か判別する。ＹＥＳの場合に
は、配列ａ（変数構造体２１）から取り出した最大値ａ
ｍａｘが計算機の取りうる（ｓｈｏｒｔ）よりも小さい
と判明したので、Ｓ７６でソースプログラムＰ２内の配
列ａ［ ］の型宣言をｓｈｏｒｔとする。即ち、 ｓｈｏｒｔ ａ［ ］； ｉｎｔ ａ［ ］： ｌｏｎｇ ａ［ ］； は、ｓｈｏｒｔ ａ［ ］；とする。そして、Ｓ７７に
進む。一方、ＮＯの場合には、Ｓ７７に進む。

【００６６】Ｓ７７は、（ｓｈｏｒｔ）≦ｘｍａｘ≦
（ｉｎｔ）か判別する。ＹＥＳの場合には、変数構造体
２１から取り出した最大値ｘｍａｘが計算機の取りうる
（ｓｈｏｒｔ）よりも大きく、（ｉｎｔ）よりも小さい
と判明したので、Ｓ７８でソースプログラムＰ２内の配
列ａ［ ］の型宣言をｉｎｔとする。即ち、 ｓｈｏｒｔ ａ［ ］； ｉｎｔ ａ［ ］： ｌｏｎｇ ａ［ ］； は、ｉｎｔ ａ［ ］；とする。そして、Ｓ７９に進
む。一方、ＮＯの場合には、Ｓ７９に進む。

【００６７】Ｓ７９は、（ｉｎｔ）≦ｘｍａｘ≦（ｌｏ
ｎｇ）か判別する。ＹＥＳの場合には、変数構造体２１
から取り出した最大値ｘｍａｘが計算機の取りうる（ｉ
ｎｔ）よりも大きく、（ｌｏｎｇ）よりも小さいと判明
したので、Ｓ８０でソースプログラムＰ２内の配列ａ
［ ］の型宣言をｌｏｎｇとする。即ち、 ｓｈｏｒｔ ａ［ ］； ｉｎｔ ａ［ ］： ｌｏｎｇ ａ［ ］； は、ｌｏｎｇ ａ［ ］；とする。そして、Ｓ８１に進
む。一方、ＮＯの場合には、Ｓ８１に進む。

【００６８】Ｓ８１は、（ｌｏｎｇ）≦ｘｍａｘか判別
する。ＹＥＳの場合には、変数構造体２１から取り出し
た最大値ｘｍａｘが計算機の取りうる（ｌｏｎｇ）より
も大きいと判明したので、Ｓ８２でユーザにその旨通知
して指示を受ける。例えば、その指示は ・テストデータを変えて再実行する ・ユーザ指示でｌｏｎｇまたはｉｎｔに型宣言する などである。そして、終了する。一方、ＮＯの場合に
は、終了する。

【００６９】以上によって、配列の整数の型宣言は、シ
ミュレート後の変数構造体２１から取り出した最大値ｘ
ｍａｘと、計算機上の整数の最大値（ｓｈｏｒｔ）、
（ｉｎｔ）、（ｌｏｎｇ）とを比較して必要最小限のサ
イズの配列の型宣言に自動的に修正されることとなる。

【００７０】図１２は、本発明の配列の実数の型宣言の
修正フローチャートを示す。これは、図１０のＳ７０の
詳細な修正フローチャートである。図１２において、Ｓ
９１は、ソースプログラムＰ１内の配列ａ［ ］の変数
構造体ｘの最大値の行での最大値をａｍａｘとする。

【００７１】Ｓ９２は、型宣言ｆｌｏａｔで取りうる計
算機上の整数の最大値を（ｆｌｏａｔ）とする。Ｓ９３
は、型宣言ｄｏｕｂｌｅで取りうる計算機上の整数の最
大値を（ｄｏｕｂｌｅ）とする。

【００７２】Ｓ９４は、ｘｍａｘ≦（ｆｌｏａｔ）か判
別する。ＹＥＳの場合には、変数構造体２１から取り出
した最大値ｘｍａｘが計算機の取りうる（ｆｌｏａｔ）
よりも小さいと判明したので、Ｓ９５でソースプログラ
ムＰ２内の配列ａ［ ］をｆｌｏａｔとする。即ち、 ｆｌｏａｔ ａ［ ］； ｄｏｕｂｌｅ ａ［ ］； は、ｆｌｏａｔ ａ［ ］；とする。そして、Ｓ９６に
進む。一方、ＮＯの場合には、Ｓ９６に進む。

【００７３】Ｓ９６は、（ｆｌｏａｔ）≦ｘｍａｘ≦
（ｄｏｕｂｌｅ）か判別する。ＹＥＳの場合には、変数
構造体２１から取り出した最大値ｘｍａｘが計算機の取
りうる（ｆｌｏａｔ）よりも大きく、（ｄｏｕｂｌｅ）
よりも小さいと判明したので、Ｓ９７でソースプログラ
ムＰ２内の配列ａ［ ］の型宣言をｄｏｕｂｌｅとす
る。即ち、 ｆｌｏａｔ ａ［ ］； ｄｏｕｂｌｅ ａ［ ］； は、ｄｏｕｂｌｅ ａ［ ］；とする。そして、Ｓ９８
に進む。一方、ＮＯの場合には、Ｓ９８に進む。

【００７４】Ｓ９８は、（ｄｏｕｂｌｅ）≦ｘｍａｘか
判別する。ＹＥＳの場合には、変数構造体２１から取り
出した最大値ｘｍａｘが計算機の取りうる（ｄｏｕｂｌ
ｅ）よりも大きいと判明したので、Ｓ５９でユーザにそ
の旨通知して指示を受ける。例えば、その指示は ・テストデータを変えて再実行する ・ユーザ指示でｆｌｏａｔまたはｄｏｕｂｌｅに型宣言
する などである。そして、終了する。一方、ＮＯの場合に
は、終了する。

【００７５】以上によって、配列の実数の型宣言は、シ
ミュレート後の変数構造体２１から取り出した最大値ｘ
ｍａｘと、計算機上の実数の最大値（ｆｌｏａｔ）、
（ｄｏｕｂｌｅ）とを比較して必要最小限のサイズの配
列の型宣言に自動的に修正されることとなる。

【００７６】図１３は、本発明の配列の添字範囲の修正
フローチャートを示す。図１３において、Ｓ１０１は、
もとのソースプログラムＰ０を入力する。Ｓ１０２は、
ソースプログラムＰ０内の任意の配列ａ［ ］に対し、
構文解析によりａ［ ］の配列添字として用いられてい
る変数を見つける。

【００７７】Ｓ１０３は、ａ［ ］の配列添字として用
いられている全ての変数ｉを、その対応する変数構造体
ｉに置き換えたものをソースプログラムＰ１とする。Ｓ
１０４は、ソースプログラムＰ１に対して、テストデー
タを入力してシミュレーションを実行する。

【００７８】Ｓ１０５は、ａ［ ］の配列添字として用
いられている全ての変数の時系列配列内の値を調べて、
その最大値をｍａｘｉとする。Ｓ１０６は、配列ａ
［ ］の大きさ宣言が、ａ［ｍａｘ］のように領域の大
きさで宣言しているか？、あるいはａ［ｍｉｎ，ｍａ
ｘ］のように、添字範囲の最小値と最大値で宣言してい
るか判別する。領域の大きさで宣言していると判別され
た場合には、Ｓ１０７でソースプログラムＰ０内の配列
ａ［ ］の大きさ宣言を、ａ［ｍａ］に置き換えたもの
を、ソースプログラムＰ２とする。ここで、ｍａは、ユ
ーザの指定によりｍａｘｉが、ｍａｘｉより少しだけ大
きな整数値である。

【００７９】また、Ｓ１０６で添字範囲の最小値と最大
値で宣言されていると判別された場合には、Ｓ１０８で
ａ［ ］の配列添字として用いられる全ての変数の時系
列配列内の値を調べて、その最小値をｍｉｎｉとする。

【００８０】Ｓ１０９は、ソースプログラムＰ０内の配
列ａ［ ］の大きさ宣言を、ａ［ｍｉ．ｍａ］に置き換
えたものを、ソースプログラムＰ２とする。ここで、ｍ
ａは、ユーザの指定によりｍａｘｉが、ｍａｘｉより少
しだけ大きな整数値である。ｍｉは、ユーザの指定によ
りｍｉｎｉかｍｉｎｉより少しだけ小さな整数値であ
る。

【００８１】Ｓ１１０は、ソースプログラムＰ２を出力
する。以上によって、配列の添字範囲の宣言は、シミュ
レート後の変数構造体２１から取り出した最大値ｘｍａ
ｘをもとに領域の大きさで宣言されている場合に添字範
囲を修正し、一方、添字範囲の最小値と最大値で宣言さ
れている場合に最大値と最小値をもとに添字範囲を修正
し、必要最小限のサイズの配列の添字範囲に自動的に修
正されることとなる。

【００８２】

【発明の効果】以上説明したように、本発明によれば、
プログラム中から型や添字範囲の宣言を取り出して変数
構造体２１置き換えてシミュレートして最大値などを収
集し、適切な型や添字範囲に自動修正する構成を採用し
ているため、型や添字範囲の過大によるメモリ浪費を無
くしたり、型や添字範囲の過少によるエラーを回避した
りすることができる。これらにより、 （１） 型宣言や配列宣言と添字範囲の宣言を行うプロ
グラミング言語で記述されたソースプログラムについ
て、予め変数値の範囲を小さく宣言してしまった結果、
生じるエラーを実際の実行時に回避できる。

【００８３】（２） また、予め変数値の範囲を大きく
宣言してしまった結果、使わないメモリの過大な専有
を、実際の実行時に回避できる。 （３） その結果、不必要なメモリ消費を無くすと共に
エラーを回避回避し、プログラム自体を小さくすること
ができる。

【図面の簡単な説明】

【図１】本発明の原理ブロック図である。

【図２】本発明の全体動作説明フローチャートである。

【図３】本発明の変数構造体例である。

【図４】本発明の整数と実数の型宣言の変換例である。

【図５】本発明の配列の添字範囲の変換例である。

【図６】本発明のプログラムＰ１の実行シミュレーショ
ン例である。

【図７】本発明の変数の型宣言の修正フローチャートで
ある。

【図８】本発明の整数の型宣言の修正フローチャートで
ある。

【図９】本発明の実数の型宣言の修正フローチャートで
ある。

【図１０】本発明の配列の型宣言の修正フローチャート
である。

【図１１】本発明の配列の整数の型宣言の修正フローチ
ャートである。

【図１２】本発明の配列の実数の型宣言の修正フローチ
ャートである。

【図１３】本発明の配列の添字範囲の修正フローチャー
トである。

【符号の説明】

１：プログラム ２：変数構造体置換手段 ２１：変数構造体 ３：シミュレータ ４：宣言修正手段 ５：コンパイラ ６：実行手段

フロントページの続き (72)発明者 村川 雅彦 神奈川県川崎市中原区上小田中1015番地 富士通株式会社内 (72)発明者 豊田 雅信 神奈川県川崎市中原区上小田中1015番地 富士通株式会社内

Claims (4)

【特許請求の範囲】
1. 【請求項１】プログラム中から変数の型宣言を取り出
   し、現在値および最大値の領域を持つ変数構造体（２
   １）に置き換える変数構造体置換手段（２）と、 この変数構造体（２１）に置き換え後のプログラムに、
   テストデータを入力して実行したときの最大値を上記最
   大値の領域に保存しつつシミュレートするシュミレータ
   （３）と、 このシミュレート後の上記変数構造体（２１）の最大値
   の領域から取り出した最大値をもとに上記プログラム中
   の変数の型宣言を修正する宣言修正手段（４）とを備え
   たことを特徴とする型宣言修正装置。
2. 【請求項２】プログラム中から配列の型宣言を取り出
   し、現在値および最大値の領域を持つ変数構造体（２
   １）に置き換える変数構造体置換手段（２）と、 この変数構造体（２１）に置き換え後のプログラムに、
   テストデータを入力して実行したときの最大値を上記最
   大値の領域に保存しつつシミュレートするシュミレータ
   （３）と、 このシミュレート後の上記変数構造体（２１）の最大値
   の領域から取り出した最大値をもとに上記プログラム中
   の配列の型宣言を修正する宣言修正手段（４）とを備え
   たことを特徴とする型宣言修正装置。
3. 【請求項３】プログラム中から配列の添字範囲を取り出
   して、現在値および添字範囲の最大値（あるいは最小値
   と最大値）の領域を持つ変数構造体（２１）に置き換え
   る変数構造体置換手段（２）と、 この変数構造体（２１）に置き換え後のプログラムに、
   テストデータを入力して実行したときの最大値（あるい
   は最大値と最小値）を上記最大値（あるいは最小値と最
   大値）の領域に保存しつつシミュレートするシュミレー
   タ（３）と、 このシミュレート後の上記変数構造体（２１）の最大値
   （あるいは最小値と最大値）の領域から取り出した最大
   値（あるいは最小値と最大値）をもとに上記プログラム
   中の配列の添字範囲を修正する宣言修正手段（４）とを
   備えたことを特徴とする型宣言修正装置。
4. 【請求項４】上記プログラム中の型宣言あるいは添字範
   囲を修正した後のプログラムをコンパイルして実行形式
   のモジュールを生成することを特徴とする請求項１また
   は請求項２または請求項３に記載の型宣言修正装置。