JPH10177484A - 引数チェック装置 - Google Patents
引数チェック装置Info
- Publication number
- JPH10177484A JPH10177484A JP33874196A JP33874196A JPH10177484A JP H10177484 A JPH10177484 A JP H10177484A JP 33874196 A JP33874196 A JP 33874196A JP 33874196 A JP33874196 A JP 33874196A JP H10177484 A JPH10177484 A JP H10177484A
- Authority
- JP
- Japan
- Prior art keywords
- argument
- function
- type
- source code
- program source
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 230000007257 malfunction Effects 0.000 abstract description 5
- 230000006870 function Effects 0.000 description 88
- 238000000034 method Methods 0.000 description 4
- 238000010586 diagram Methods 0.000 description 2
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】
【課題】 プログラムの誤動作を防止できる引数チェッ
ク装置を得ること。 【解決手段】 本発明は、プログラムソースコード記憶
領域２１と、プログラムソースコードに含まれる関数に
おける引数の個数および型からなる関数引数テーブルを
記憶する関数引数テーブル記憶領域２２と、引数の型に
対応したデフォルト値からなるテーブルである関数引数
テーブルを記憶する引数設定値テーブル記憶領域２３
と、関数名、該関数の引数の個数および型からなる関数
引数テーブルを作成する関数引数テーブル作成部１１
と、関数呼出部の引数および型と、関数引数テーブルの
個数および型を比較して関数呼出部の引数の個数または
型に誤りがないか否かをチェックする関数引数チェック
部１２と、関数呼出部の引数の個数または型に誤りがあ
る場合誤りがある引数の型に対応したデフォルト値を関
数呼出部の引数として自動設定する関数引数自動設定部
１３とを具備している。
ク装置を得ること。 【解決手段】 本発明は、プログラムソースコード記憶
領域２１と、プログラムソースコードに含まれる関数に
おける引数の個数および型からなる関数引数テーブルを
記憶する関数引数テーブル記憶領域２２と、引数の型に
対応したデフォルト値からなるテーブルである関数引数
テーブルを記憶する引数設定値テーブル記憶領域２３
と、関数名、該関数の引数の個数および型からなる関数
引数テーブルを作成する関数引数テーブル作成部１１
と、関数呼出部の引数および型と、関数引数テーブルの
個数および型を比較して関数呼出部の引数の個数または
型に誤りがないか否かをチェックする関数引数チェック
部１２と、関数呼出部の引数の個数または型に誤りがあ
る場合誤りがある引数の型に対応したデフォルト値を関
数呼出部の引数として自動設定する関数引数自動設定部
１３とを具備している。
Description
【０００１】
【発明の属する技術分野】本発明は、コンパイル処理に
おいて引数のチェックに用いられる引数チェック装置に
関する。
おいて引数のチェックに用いられる引数チェック装置に
関する。
【０００２】
【従来の技術】データ処理装置において用いられるプロ
グラム言語、特に関数型言語においては、プログラムが
インタプリタを介して所定のデータ型の引数、引数個数
に変換され、これらを一旦記憶装置に格納した後、関数
型言語のための所定の組み込み関数ルーチンに制御を渡
して引数の処理を行うように構成されている。この種の
データ処理装置には、上述した処理に用いられる引数の
当否をチェックする機能を有する引数チェック装置（特
開昭６１−１８８６３０号公報）が用いられている。
グラム言語、特に関数型言語においては、プログラムが
インタプリタを介して所定のデータ型の引数、引数個数
に変換され、これらを一旦記憶装置に格納した後、関数
型言語のための所定の組み込み関数ルーチンに制御を渡
して引数の処理を行うように構成されている。この種の
データ処理装置には、上述した処理に用いられる引数の
当否をチェックする機能を有する引数チェック装置（特
開昭６１−１８８６３０号公報）が用いられている。
【０００３】
【発明が解決しようとする課題】ところで、従来の引数
チェック装置においては、引数の当否を高速でチェック
できるという利点を有しているが、引数に誤りがある場
合の対策について何等考慮されていない。従って、従来
の引数チェック装置においては、引数に誤りがあること
のみが判るだけで、その対策がとられていないため、結
局、プログラムの誤動作が発生するという欠点があっ
た。本発明はこのような背景の下になされたもので、プ
ログラムの誤動作を防止することができる引数チェック
装置を提供することを目的とする。
チェック装置においては、引数の当否を高速でチェック
できるという利点を有しているが、引数に誤りがある場
合の対策について何等考慮されていない。従って、従来
の引数チェック装置においては、引数に誤りがあること
のみが判るだけで、その対策がとられていないため、結
局、プログラムの誤動作が発生するという欠点があっ
た。本発明はこのような背景の下になされたもので、プ
ログラムの誤動作を防止することができる引数チェック
装置を提供することを目的とする。
【０００４】
【課題を解決するための手段】請求項１に記載の発明
は、プログラムソースコードにおける関数宣言部の引数
および型からなる関数引数テーブルを作成する関数引数
テーブル作成手段と、前記プログラムソースコードにお
ける関数呼出部の引数の個数および型が、前記関数引数
テーブルにおける前記関数宣言部の引数の個数および型
と一致しているか否かを判断する判断手段と、前記判断
手段が、一致していないと判断したとき、当該引数の型
に対応したデフォルト値を当該引数として設定する設定
手段とを具備することを特徴とする。また、請求項２に
記載の発明は、請求項１に記載の引数チェック装置にお
いて、前記関数引数テーブル作成手段の制御により、前
記関数引数テーブルを記憶する関数引数テーブル記憶手
段を具備することを特徴とする。また、請求項３に記載
の発明は、請求項１または２に記載の引数チェック装置
において、前記プログラムソースコードにおける関数呼
出部の引数の型に対応した前記デフォルト値を記憶する
引数設定値テーブル記憶手段とを具備し、前記設定手段
は、前記引数設定値テーブル記憶手段より前記デフォル
ト値を読み出し、該デフォルト値を前記当該引数として
設定することを特徴とする。
は、プログラムソースコードにおける関数宣言部の引数
および型からなる関数引数テーブルを作成する関数引数
テーブル作成手段と、前記プログラムソースコードにお
ける関数呼出部の引数の個数および型が、前記関数引数
テーブルにおける前記関数宣言部の引数の個数および型
と一致しているか否かを判断する判断手段と、前記判断
手段が、一致していないと判断したとき、当該引数の型
に対応したデフォルト値を当該引数として設定する設定
手段とを具備することを特徴とする。また、請求項２に
記載の発明は、請求項１に記載の引数チェック装置にお
いて、前記関数引数テーブル作成手段の制御により、前
記関数引数テーブルを記憶する関数引数テーブル記憶手
段を具備することを特徴とする。また、請求項３に記載
の発明は、請求項１または２に記載の引数チェック装置
において、前記プログラムソースコードにおける関数呼
出部の引数の型に対応した前記デフォルト値を記憶する
引数設定値テーブル記憶手段とを具備し、前記設定手段
は、前記引数設定値テーブル記憶手段より前記デフォル
ト値を読み出し、該デフォルト値を前記当該引数として
設定することを特徴とする。
【０００５】
【発明の実施の形態】以下、図面を参照して本発明の実
施形態について説明する。図１は本発明の一実施形態に
よる引数チェック装置の構成を示すブロック図である。
この図において、２０は、プログラムソースコード、関
数引数テーブル、引数設定値テーブルを記憶する記憶部
である。
施形態について説明する。図１は本発明の一実施形態に
よる引数チェック装置の構成を示すブロック図である。
この図において、２０は、プログラムソースコード、関
数引数テーブル、引数設定値テーブルを記憶する記憶部
である。
【０００６】ここで、上記プログラムソースコードと
は、例えば、関数型言語をいい、従って、このプログラ
ムソースコードには、関数を宣言する関数宣言部や上記
関数を呼び出す関数呼出部等が含まれている。また、上
記関数には、引数の個数および型の情報が含まれてい
る。また、関数引数テーブルとは、上記プログラムソー
スコードに含まれる関数における引数の個数および型か
らなるテーブルをいう。また、引数設定値テーブルと
は、引数の型に対応したデフォルト値からなるテーブル
という。
は、例えば、関数型言語をいい、従って、このプログラ
ムソースコードには、関数を宣言する関数宣言部や上記
関数を呼び出す関数呼出部等が含まれている。また、上
記関数には、引数の個数および型の情報が含まれてい
る。また、関数引数テーブルとは、上記プログラムソー
スコードに含まれる関数における引数の個数および型か
らなるテーブルをいう。また、引数設定値テーブルと
は、引数の型に対応したデフォルト値からなるテーブル
という。
【０００７】また、記憶部２０は、プログラムソースコ
ード記憶領域２１、関数引数テーブル記憶領域２２およ
び引数設定値テーブル記憶領域２３を有している。上記
プログラムソースコード記憶領域２１には、上述したプ
ログラムソースコードが記憶されており、関数引数テー
ブル記憶領域２２には、関数引数テーブルが記憶されて
いる。また、引数設定値テーブル記憶領域２３には、引
数設定値テーブルが記憶されている。
ード記憶領域２１、関数引数テーブル記憶領域２２およ
び引数設定値テーブル記憶領域２３を有している。上記
プログラムソースコード記憶領域２１には、上述したプ
ログラムソースコードが記憶されており、関数引数テー
ブル記憶領域２２には、関数引数テーブルが記憶されて
いる。また、引数設定値テーブル記憶領域２３には、引
数設定値テーブルが記憶されている。
【０００８】１１は、関数引数テーブル作成部であり、
プログラムソースコード記憶領域２１に記憶されている
プログラムソースコードの関数宣言部に基づいて、関数
名、該関数の引数の個数および型からなる関数引数テー
ブルを作成する。また、関数引数テーブル作成部１１
は、作成した関数引数テーブルを関数引数テーブル記憶
領域２２へ書き込む。
プログラムソースコード記憶領域２１に記憶されている
プログラムソースコードの関数宣言部に基づいて、関数
名、該関数の引数の個数および型からなる関数引数テー
ブルを作成する。また、関数引数テーブル作成部１１
は、作成した関数引数テーブルを関数引数テーブル記憶
領域２２へ書き込む。
【０００９】１２は、関数引数チェック部であり、プロ
グラムソースコード内の関数呼出部の引数の個数および
型と、関数引数テーブル記憶領域２２に記憶されている
関数引数テーブルにおける引数の個数および型とを比較
して、上記関数呼出部の引数の個数または型に誤りがな
いか否かをチェックする。１３は、関数引数自動設定部
であり、関数引数チェック部１２において、関数呼出部
の引数の個数または型に誤りがある場合、引数設定値テ
ーブル記憶領域２３より誤りがある当該引数に型に対応
したデフォルト値を引数設定値テーブル記憶領域２３か
ら読み出して、これを関数呼出部の引数として自動的に
設定する。
グラムソースコード内の関数呼出部の引数の個数および
型と、関数引数テーブル記憶領域２２に記憶されている
関数引数テーブルにおける引数の個数および型とを比較
して、上記関数呼出部の引数の個数または型に誤りがな
いか否かをチェックする。１３は、関数引数自動設定部
であり、関数引数チェック部１２において、関数呼出部
の引数の個数または型に誤りがある場合、引数設定値テ
ーブル記憶領域２３より誤りがある当該引数に型に対応
したデフォルト値を引数設定値テーブル記憶領域２３か
ら読み出して、これを関数呼出部の引数として自動的に
設定する。
【００１０】次に、上述した一実施形態による引数チェ
ック装置の動作について、図２を参照して説明する。図
２において、まず、ステップＳ１では、関数引数テーブ
ル作成部１１は、プログラムソースコード記憶領域２１
に書き込まれているプログラムソースコードの参照を開
始した後、ステップＳ２へ進む。ステップＳ２では、関
数引数テーブル作成部１１は、参照中のプログラムソー
スコードにおける関数宣言部に基づいて、関数名、該関
数の引数の個数および型からなる関数引数テーブルを作
成する。次いで、関数引数テーブル作成部１１は、作成
した上記関数引数テーブルを関数引数テーブル記憶領域
２２へ書き込む。
ック装置の動作について、図２を参照して説明する。図
２において、まず、ステップＳ１では、関数引数テーブ
ル作成部１１は、プログラムソースコード記憶領域２１
に書き込まれているプログラムソースコードの参照を開
始した後、ステップＳ２へ進む。ステップＳ２では、関
数引数テーブル作成部１１は、参照中のプログラムソー
スコードにおける関数宣言部に基づいて、関数名、該関
数の引数の個数および型からなる関数引数テーブルを作
成する。次いで、関数引数テーブル作成部１１は、作成
した上記関数引数テーブルを関数引数テーブル記憶領域
２２へ書き込む。
【００１１】ステップＳ３では、関数引数チェック部１
２は、プログラムソースコード記憶領域２１に記憶され
ているプログラムソースコードの参照を開始した後、ス
テップＳ４へ進む。ステップＳ４では、関数引数チェッ
ク部１２は、参照中のプログラムソースコードの関数呼
出部の関数名をキーとして、関数引数テーブル記憶領域
２２に記憶されている関数引数テーブルの検索を開始し
た後、ステップＳ５へ進む。
２は、プログラムソースコード記憶領域２１に記憶され
ているプログラムソースコードの参照を開始した後、ス
テップＳ４へ進む。ステップＳ４では、関数引数チェッ
ク部１２は、参照中のプログラムソースコードの関数呼
出部の関数名をキーとして、関数引数テーブル記憶領域
２２に記憶されている関数引数テーブルの検索を開始し
た後、ステップＳ５へ進む。
【００１２】ステップＳ５では、関数引数チェック部１
２は、上記プログラムソースコードの関数呼出部の関数
名が関数引数テーブルにおいて検索されたか否か、言い
換えれば、関数引数テーブルに上記関数呼出部の関数名
があるか否かを判断する。この判断結果が「ＮＯ」の場
合には、関数引数チェック部１２は、引数のチェック処
理を終了する。
２は、上記プログラムソースコードの関数呼出部の関数
名が関数引数テーブルにおいて検索されたか否か、言い
換えれば、関数引数テーブルに上記関数呼出部の関数名
があるか否かを判断する。この判断結果が「ＮＯ」の場
合には、関数引数チェック部１２は、引数のチェック処
理を終了する。
【００１３】今、関数引数テーブルに関数呼出部の関数
名があるものとすると、関数引数チェック部１２は、ス
テップＳ５の判断結果を「ＹＥＳ」として、ステップＳ
６へ進む。ステップＳ６では、関数引数チェック部１２
は、関数呼出部の当該関数の引数の個数および型と、関
数引数テーブルの当該関数の引数の個数および型とを比
較した後、ステップＳ７へ進む。
名があるものとすると、関数引数チェック部１２は、ス
テップＳ５の判断結果を「ＹＥＳ」として、ステップＳ
６へ進む。ステップＳ６では、関数引数チェック部１２
は、関数呼出部の当該関数の引数の個数および型と、関
数引数テーブルの当該関数の引数の個数および型とを比
較した後、ステップＳ７へ進む。
【００１４】ステップＳ７では、関数引数チェック部１
２は、ステップＳ６において、両引数の個数および型が
一致したか否かを判断し、この判断結果が「ＹＥＳ」の
場合、引数のチェック処理を終了する。一方、今、ステ
ップＳ７の判断結果が「ＮＯ」であるものとすると、関
数引数自動設定部１３は、ステップＳ８へ進む。
２は、ステップＳ６において、両引数の個数および型が
一致したか否かを判断し、この判断結果が「ＹＥＳ」の
場合、引数のチェック処理を終了する。一方、今、ステ
ップＳ７の判断結果が「ＮＯ」であるものとすると、関
数引数自動設定部１３は、ステップＳ８へ進む。
【００１５】ステップＳ８では、関数引数自動設定部１
３は、引数の個数または型が不一致であった、関数呼出
部の引数の型に対応したデフォルト値を、引数設定値テ
ーブル記憶領域２３より読み出す。次いで、関数引数自
動設定部１３は、該デフォルト値を関数呼出部の引数と
して設定した後、チェック処理を終了する。
３は、引数の個数または型が不一致であった、関数呼出
部の引数の型に対応したデフォルト値を、引数設定値テ
ーブル記憶領域２３より読み出す。次いで、関数引数自
動設定部１３は、該デフォルト値を関数呼出部の引数と
して設定した後、チェック処理を終了する。
【００１６】以上説明したように、本発明の一実施形態
による引数チェック装置によれば、プログラムソースコ
ードにおける、関数呼出部の引数の個数または型に誤り
がある場合、予め設定されているデフォルト値が、上記
関数呼出部の引数として自動設定されるので、プログラ
ムの誤動作を防止することができる。
による引数チェック装置によれば、プログラムソースコ
ードにおける、関数呼出部の引数の個数または型に誤り
がある場合、予め設定されているデフォルト値が、上記
関数呼出部の引数として自動設定されるので、プログラ
ムの誤動作を防止することができる。
【００１７】
【発明の効果】本発明によれば、判断手段によりプログ
ラムソースコードにおける関数呼出部の引数の個数およ
び型が、関数引数テーブルにおける前記関数宣言部の引
数の個数および型と一致していないと判断された場合、
設定手段により当該引数の型に対応したデフォルト値を
当該引数として自動的に設定されるので、プログラムの
誤動作を防止することができるという効果が得られる。
ラムソースコードにおける関数呼出部の引数の個数およ
び型が、関数引数テーブルにおける前記関数宣言部の引
数の個数および型と一致していないと判断された場合、
設定手段により当該引数の型に対応したデフォルト値を
当該引数として自動的に設定されるので、プログラムの
誤動作を防止することができるという効果が得られる。
【図１】 本発明の一実施形態による引数チェック装置
の構成を示すブロック図である。
の構成を示すブロック図である。
【図２】 同一実施形態による引数チェック装置の動作
を説明するフローチャートである。
を説明するフローチャートである。
１１ 関数引数テーブル作成部 １２ 関数引数チェック部 １３ 関数引数自動設定部 ２０ 記憶部 ２１ プログラムソースコード記憶領域 ２２ 関数引数テーブル記憶領域 ２３ 引数設定値テーブル記憶領域
Claims (3)
- 【請求項１】 プログラムソースコードにおける関数宣
言部の引数および型からなる関数引数テーブルを作成す
る関数引数テーブル作成手段と、 前記プログラムソースコードにおける関数呼出部の引数
の個数および型が、前記関数引数テーブルにおける前記
関数宣言部の引数の個数および型と一致しているか否か
を判断する判断手段と、 前記判断手段が、一致していないと判断したとき、当該
引数の型に対応したデフォルト値を当該引数として設定
する設定手段とを具備することを特徴とする引数チェッ
ク装置。 - 【請求項２】 前記関数引数テーブル作成手段の制御に
より、前記関数引数テーブルを記憶する関数引数テーブ
ル記憶手段を具備することを特徴とする請求項１に記載
の引数チェック装置。 - 【請求項３】 前記プログラムソースコードにおける関
数呼出部の引数の型に対応した前記デフォルト値を記憶
する引数設定値テーブル記憶手段とを具備し、 前記設定手段は、前記引数設定値テーブル記憶手段より
前記デフォルト値を読み出し、該デフォルト値を前記当
該引数として設定することを特徴とする請求項１または
２に記載の引数チェック装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP33874196A JPH10177484A (ja) | 1996-12-18 | 1996-12-18 | 引数チェック装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP33874196A JPH10177484A (ja) | 1996-12-18 | 1996-12-18 | 引数チェック装置 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH10177484A true JPH10177484A (ja) | 1998-06-30 |
Family
ID=18321030
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP33874196A Pending JPH10177484A (ja) | 1996-12-18 | 1996-12-18 | 引数チェック装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH10177484A (ja) |
-
1996
- 1996-12-18 JP JP33874196A patent/JPH10177484A/ja active Pending
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US7165237B2 (en) | Data store for arbitrary data types with type safe storage and retrieval | |
| JPH08234966A (ja) | ソフトウェア・パッケージがパッケージングの規則及び要件に従っているかどうかを決定するシステム及び方法 | |
| US5832273A (en) | System for deleting redundant instructions from high level language source code containing in-line assembly instructions | |
| US6820251B1 (en) | System and method for a software recovery mechanism | |
| CA2416304C (en) | System and method of verifying the authenticity of dynamically connectable executable images | |
| US7089242B1 (en) | Method, system, program, and data structure for controlling access to sensitive functions | |
| US4870573A (en) | Microcomputer capable of testing execution of a program with no branch | |
| US6785883B1 (en) | Software system for tracing data | |
| US6286136B1 (en) | Compile processing apparatus and method and program executing apparatus and method | |
| KR900006667B1 (ko) | 부분적 프로그램 결합 시스템 | |
| EP1130499A2 (en) | System and method for verifying safety of software | |
| US20040015876A1 (en) | Method and structure of implementing a safe pointer | |
| US6496975B1 (en) | Method, system, and program for performing conditional program operations | |
| JP3461185B2 (ja) | ロードモジュールへのソースコード行番号登録方法および装置 | |
| JP2731047B2 (ja) | プログラムのオペランドチェック方式 | |
| JP2797749B2 (ja) | ファイル破壊事前チェック機構 | |
| JPH06309236A (ja) | メモリの不正書込み検出回路 | |
| JPH05143310A (ja) | データ部自動生成エデイタ | |
| JP2937893B2 (ja) | 入力データのチェック方法 | |
| CN111625463B (zh) | 一种程序状态检测方法和装置 | |
| JP2533532B2 (ja) | オンラインテスト方式 | |
| KR100258094B1 (ko) | 칠에서의 프로시져/프로세스 호출시 매개변수의 모드 검사방법 | |
| JPH02195438A (ja) | マクロ展開における回帰的呼び出し検出方式 | |
| JP3604936B2 (ja) | 最適化方法，最適化装置及び記録媒体 | |
| JPH03147130A (ja) | オペレーティングシステム修正方式 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20010619 |