JP2601547B2 - 内部手続き引数検査装置 - Google Patents
内部手続き引数検査装置Info
- Publication number
- JP2601547B2 JP2601547B2 JP1244383A JP24438389A JP2601547B2 JP 2601547 B2 JP2601547 B2 JP 2601547B2 JP 1244383 A JP1244383 A JP 1244383A JP 24438389 A JP24438389 A JP 24438389A JP 2601547 B2 JP2601547 B2 JP 2601547B2
- Authority
- JP
- Japan
- Prior art keywords
- list
- argument
- subroutine
- function
- syntax tree
- 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.)
- Expired - Lifetime
Links
Landscapes
- Stored Programmes (AREA)
- Debugging And Monitoring (AREA)
- Devices For Executing Special Programs (AREA)
Description
【発明の詳細な説明】 〔概要〕 関数引用およびサブルーチン引用の内部手続きの引数
検査を行う内部手続き引数検査装置に関し、 構文解析区で関数引用およびサブルーチン引用を統一し
た式言および手続き引用局簿を用いた構文木言で表し、
これの式言から実引数簿および実引数要素簿を設定して
意味解析区で引数などの妥当性をチェックし、関数引用
およびサブルーチン引用の両者を統一して処理すること
を目的とし、 ソースプログラムの関数引用およびサブルーチン引用を
構文解析してその結果を式言および手続き引用局簿を用
いた構文木言で統一した形でそれぞれ表し、この構文木
言の式言を参照して手続き引用局簿から順次ポイントさ
れる実引数簿および実引数要素簿を統一した形でそれぞ
れ設定した構文木言を生成し、これら設定した構文木言
に基づいて内部手続きの引数検査などを統一した態様で
行うように構成する。
検査を行う内部手続き引数検査装置に関し、 構文解析区で関数引用およびサブルーチン引用を統一し
た式言および手続き引用局簿を用いた構文木言で表し、
これの式言から実引数簿および実引数要素簿を設定して
意味解析区で引数などの妥当性をチェックし、関数引用
およびサブルーチン引用の両者を統一して処理すること
を目的とし、 ソースプログラムの関数引用およびサブルーチン引用を
構文解析してその結果を式言および手続き引用局簿を用
いた構文木言で統一した形でそれぞれ表し、この構文木
言の式言を参照して手続き引用局簿から順次ポイントさ
れる実引数簿および実引数要素簿を統一した形でそれぞ
れ設定した構文木言を生成し、これら設定した構文木言
に基づいて内部手続きの引数検査などを統一した態様で
行うように構成する。
本発明は、関数引用およびサブルーチン引用の内部手
続きの引数検査を行う内部手続き引数検査装置に関する
ものである。
続きの引数検査を行う内部手続き引数検査装置に関する
ものである。
従来のFORTRANの言語仕様に内部手続きがなく、今回
のFORTRAN77Exで初めて追加され、第３図に示すよう
に、（ａ）関数引用および（ｂ）サブルーチン引用の手
続き引数のインタフェースを別々に処理していた。この
ため、構文解析区の出力インタフェースが、図示のよう
に式言を用いた（ａ）関数引用と、局簿、簿を用いた
（ｂ）サブルーチン引用（CALL文）とでは異なっていた
ため、構文解析区で別々のサブルーチンを作成して処理
すると共に、意味解析区で別々に引数検査を行わざるを
得ず、両者を統一して処理できないという問題があっ
た。
のFORTRAN77Exで初めて追加され、第３図に示すよう
に、（ａ）関数引用および（ｂ）サブルーチン引用の手
続き引数のインタフェースを別々に処理していた。この
ため、構文解析区の出力インタフェースが、図示のよう
に式言を用いた（ａ）関数引用と、局簿、簿を用いた
（ｂ）サブルーチン引用（CALL文）とでは異なっていた
ため、構文解析区で別々のサブルーチンを作成して処理
すると共に、意味解析区で別々に引数検査を行わざるを
得ず、両者を統一して処理できないという問題があっ
た。
尚、第３図構成を簡単に説明する。
第３図（イ）は、ソースプログラム例を示す。これ
は、図示のように関数引用、サブルーチン引用のソース
プログラム例を示す。
は、図示のように関数引用、サブルーチン引用のソース
プログラム例を示す。
第３図（ロ）の（ａ）関数引用は、第３図（イ）関数
引用の代入文“Ｘ＝FUN（A,B）”を構文解析し、その結
果を式言、手付き引用局簿を用いて表した構文木言であ
る。
引用の代入文“Ｘ＝FUN（A,B）”を構文解析し、その結
果を式言、手付き引用局簿を用いて表した構文木言であ
る。
第３図（ロ）の（ｂ）サブルーチン引用は、第３図
（イ）のCALL文“CALL SUB（A,B）”を構文解析し、そ
の結果を手続き引用局簿、実引数簿、実引数要素簿を用
いて表した構文木言である。
（イ）のCALL文“CALL SUB（A,B）”を構文解析し、そ
の結果を手続き引用局簿、実引数簿、実引数要素簿を用
いて表した構文木言である。
本発明は、構文解析区で関数引用およびサブルーチン
引用を統一した式言および手続き引用局簿を用いた構文
木言で表し、これの式言から実引数簿および実引数要素
簿を設定して意味解析区で引数などの妥当性をチェック
し、関数引用およびサブルーチン引用の車両を統一して
処理することを目的としている。
引用を統一した式言および手続き引用局簿を用いた構文
木言で表し、これの式言から実引数簿および実引数要素
簿を設定して意味解析区で引数などの妥当性をチェック
し、関数引用およびサブルーチン引用の車両を統一して
処理することを目的としている。
第１図を参照して課題を解決する手段を説明する。
第１図において、構文木言１は、ソースプログラムの
関数引用およびサブルーチン引用を構文解析してその結
果を式言２および手続き引用局簿３を用いて統一して表
したものである。
関数引用およびサブルーチン引用を構文解析してその結
果を式言２および手続き引用局簿３を用いて統一して表
したものである。
構文木言４は、構文大言１の式言２を参照して実引数
簿５および実引数要素簿６を用いて統一して生成したも
のである。
簿５および実引数要素簿６を用いて統一して生成したも
のである。
プログラム単位簿（子供）８は、プログラム単位簿
（親）７にリンクして内部手続きの構文解析した結果を
表したものである。
（親）７にリンクして内部手続きの構文解析した結果を
表したものである。
〔作用〕 本発明は、第１図に示すように、ソースプログラムの
関数引用およびサブルーチン引用を構文解析してその結
果を式言２および手続き引用局簿３を用いて統一した構
文木言１で表し、この構文木言１の式言２を参照して実
引数簿５および実引数要素簿６を統一した形でそれぞれ
設定した構文木言４を生成し、関数引用およびサブルー
チン引用のこれら構文木言４および内部手続きを表すプ
ログラム単位簿８の両者の引数の型、形状などを比較し
てその妥当性を統一した態様でチェックするようにして
いる。
関数引用およびサブルーチン引用を構文解析してその結
果を式言２および手続き引用局簿３を用いて統一した構
文木言１で表し、この構文木言１の式言２を参照して実
引数簿５および実引数要素簿６を統一した形でそれぞれ
設定した構文木言４を生成し、関数引用およびサブルー
チン引用のこれら構文木言４および内部手続きを表すプ
ログラム単位簿８の両者の引数の型、形状などを比較し
てその妥当性を統一した態様でチェックするようにして
いる。
従って、関数引用およびサブルーチン引用を統一した
式言２および手続き引用局簿３を用いた構文木言１で表
し、この式言２をもとに実引数簿５および実引数要素簿
６を設定して構文木言４を生成して引数の型、形状など
の妥当性をチェックすることにより、関数引用およびサ
ブルーチン引用の両者を統一して無駄を排除し、引数検
査などを迅速に処理することが可能となる。
式言２および手続き引用局簿３を用いた構文木言１で表
し、この式言２をもとに実引数簿５および実引数要素簿
６を設定して構文木言４を生成して引数の型、形状など
の妥当性をチェックすることにより、関数引用およびサ
ブルーチン引用の両者を統一して無駄を排除し、引数検
査などを迅速に処理することが可能となる。
次に、第１図および第２図を用いて本発明の１実施例
の構成および動作を順次詳細に説明する。
の構成および動作を順次詳細に説明する。
第１図（イ）は、ソースプログラム例を示す。これ
は、図示のように関数引用の代入文“Ｘ＝FUN（A,B）”
およびサブルーチン引用のCALL文“CALL SUB（A,B）”
のソースプログラム例を示す。
は、図示のように関数引用の代入文“Ｘ＝FUN（A,B）”
およびサブルーチン引用のCALL文“CALL SUB（A,B）”
のソースプログラム例を示す。
第１図（ロ）は構文解析区の出力例を示す。
第１図（ロ）の（ｂ）関数引用は、第１図（イ）関数
引用の代入文“Ｘ＝FUN（A,B）”を構文解析し、その結
果を式言２、手続き引用局簿３を用いて統一して表した
構文木言１である。詳述すれば、構文解析区でソースプ
ログラムの関数引用の代入文を構文解析してその結果
を、構文木言１の先頭に“代入文”、これから順次ポイ
ントされる第１の式言２に関数開始、第２の式言２
に“,A"、第３の式言２に“）B"というようにリンク
し、更に第１の式言２からポイントされる手続き引用局
簿３からポイントされる領域に綴り“FUN"を設定する。
引用の代入文“Ｘ＝FUN（A,B）”を構文解析し、その結
果を式言２、手続き引用局簿３を用いて統一して表した
構文木言１である。詳述すれば、構文解析区でソースプ
ログラムの関数引用の代入文を構文解析してその結果
を、構文木言１の先頭に“代入文”、これから順次ポイ
ントされる第１の式言２に関数開始、第２の式言２
に“,A"、第３の式言２に“）B"というようにリンク
し、更に第１の式言２からポイントされる手続き引用局
簿３からポイントされる領域に綴り“FUN"を設定する。
第１図（ロ）の（ａ）サブルーチン引用は、第１図
（イ）サブルーチン引用のCALL文“CALL SUB（A,B）”
を構文解析し、その結果を式言２、手続き引用局簿３を
用いて統一して表した構文木言１である。詳述すれば、
構文解析区でソースプログラムのCALL文を構文解析して
その結果を、構文木１の先頭に“CALL"、これから順次
ポイントされる第１の式言２に関数開始、第２の式言２
に“,A"、第３の式言２に“）B"というようにリンク
し、更に第１の式言２からポイントされる手続き引用局
簿３からポイントされる領域に綴り“SUB"を設定する。
（イ）サブルーチン引用のCALL文“CALL SUB（A,B）”
を構文解析し、その結果を式言２、手続き引用局簿３を
用いて統一して表した構文木言１である。詳述すれば、
構文解析区でソースプログラムのCALL文を構文解析して
その結果を、構文木１の先頭に“CALL"、これから順次
ポイントされる第１の式言２に関数開始、第２の式言２
に“,A"、第３の式言２に“）B"というようにリンク
し、更に第１の式言２からポイントされる手続き引用局
簿３からポイントされる領域に綴り“SUB"を設定する。
以上の第１図（ロ）（ｂ）関数引用の構文木言１およ
び第１図（ロ）（ａ）サブルーチン引用の構文木言１に
示すように統一して表す（インタフェースを統一する）
ことにより、同じサブルーチンによって両者の構文木言
１を生成することが可能となる。
び第１図（ロ）（ａ）サブルーチン引用の構文木言１に
示すように統一して表す（インタフェースを統一する）
ことにより、同じサブルーチンによって両者の構文木言
１を生成することが可能となる。
第１図（ハ）は、構文解析および意味解析しようとす
るソースプログラム例を示す。
るソースプログラム例を示す。
第１図（ニ）は、意味解析区における内部手続き引数
のチェック説明図を示す。
のチェック説明図を示す。
第１図（ニ）において、プログラム単位簿（親）７か
ら既述した第１図（ロ）構文木言１をリンクすると共
に、更に第１図（ハ）ソースプログラムの内部手続き
（COTAINSから始まる内部手続き）を構文解析してプロ
グラム単位簿（子供）８、仮引数簿９、仮引数要素簿10
に図示のように設定する。
ら既述した第１図（ロ）構文木言１をリンクすると共
に、更に第１図（ハ）ソースプログラムの内部手続き
（COTAINSから始まる内部手続き）を構文解析してプロ
グラム単位簿（子供）８、仮引数簿９、仮引数要素簿10
に図示のように設定する。
次に、第２図フローチャートを用いて本発明の１実施
例の構成の動作を詳細に説明する。
例の構成の動作を詳細に説明する。
第２図において、は、ソースを入力する。これは、
例えば第１図（ハ）ソースプログラムを行単位に入力す
る。
例えば第１図（ハ）ソースプログラムを行単位に入力す
る。
は、関数引用又はサブルーチン引用か否かを判別す
る。これは、で入力されたソースプログラムの構文解
析を行い、関数引用（代入文など）又はサブルーチン引
用（CALL文など）が現れたか否かを判別する。YESの場
合には、本実施例に係るを行う。NOの場合には、で
次の行についてソース入力する。
る。これは、で入力されたソースプログラムの構文解
析を行い、関数引用（代入文など）又はサブルーチン引
用（CALL文など）が現れたか否かを判別する。YESの場
合には、本実施例に係るを行う。NOの場合には、で
次の行についてソース入力する。
は、関数引用、サブルーチン引用の区別なく、簿及
び局簿を作成する。これは、例えば第１図（ロ）（ｂ）
関数引用の代入文、第１図（ロ）（ａ）サブルーチン引
用のCALL文の両者を区別することなく、統一して図示の
ように式言２、手続き引用局簿３などを持つ構文木言１
を作成する。
び局簿を作成する。これは、例えば第１図（ロ）（ｂ）
関数引用の代入文、第１図（ロ）（ａ）サブルーチン引
用のCALL文の両者を区別することなく、統一して図示の
ように式言２、手続き引用局簿３などを持つ構文木言１
を作成する。
以上の処理は、構文解析区で行われる。
は、構文木言を入力する。これは、構文解析区で作
成された構文木言１を入力する。
成された構文木言１を入力する。
は、手続き引用局簿がありか否かを判別する。これ
は、で入力された構文木言１中に手続き引用局簿３が
ありか否かを判別する。YESの場合には、を行う。NO
の場合には、を繰り返し行う。
は、で入力された構文木言１中に手続き引用局簿３が
ありか否かを判別する。YESの場合には、を行う。NO
の場合には、を繰り返し行う。
は、関数引用、サブルーチン引用の区別なく、引数
のチェック及び関数名の妥当性のチェックを行う。以下
詳述する。
のチェック及び関数名の妥当性のチェックを行う。以下
詳述する。
（１） 意味解析区の前処理として、例えば第１図
（ロ）構文木言１を入力とし、式言２を参照して第１図
（ニ）に示すように、手続き引用局簿３からポイントさ
れる実引数簿５および実引数要素簿６に図示のように実
引数の個数や、実引数などを設定する。
（ロ）構文木言１を入力とし、式言２を参照して第１図
（ニ）に示すように、手続き引用局簿３からポイントさ
れる実引数簿５および実引数要素簿６に図示のように実
引数の個数や、実引数などを設定する。
（２） 関数名の妥当性のチェックを行う。これは、例
えば第１図（ニ）のに示すように、構文木言（代入
文）１の手続き引用局簿３からポイントされる綴り“FU
N"について、プログラム単位簿（親）７から探して該当
するプログラム単位簿（子供）８の“FUN"を見つける。
見つかった場合には、当該関数名が妥当であると判断
（チェック）する。
えば第１図（ニ）のに示すように、構文木言（代入
文）１の手続き引用局簿３からポイントされる綴り“FU
N"について、プログラム単位簿（親）７から探して該当
するプログラム単位簿（子供）８の“FUN"を見つける。
見つかった場合には、当該関数名が妥当であると判断
（チェック）する。
（３） 引数などの妥当性のチェックを行う。これは、
例えば関数名の綴り“FUN"に関する実引数簿５、実引数
要素簿６の内容と、（２）で見つけた関数名の綴り“FU
N"に関する仮引数簿９、仮引数要素簿10の内容とを比較
し、個数や、FORTRAN77Exの言語仕様で決められている
実引数と仮引数との型および形状などが一致しているか
否かなどを、関数引用、サブルーチン引用の区別なく統
一的にチェックする（点線を用いて用いて示すように両
者をチェックする）。
例えば関数名の綴り“FUN"に関する実引数簿５、実引数
要素簿６の内容と、（２）で見つけた関数名の綴り“FU
N"に関する仮引数簿９、仮引数要素簿10の内容とを比較
し、個数や、FORTRAN77Exの言語仕様で決められている
実引数と仮引数との型および形状などが一致しているか
否かなどを、関数引用、サブルーチン引用の区別なく統
一的にチェックする（点線を用いて用いて示すように両
者をチェックする）。
以上の処理は、意味解析区で行われる。
以上説明したように、本発明によれば、構文解析区で
関数引用およびサブルーチン引用を統一した式言２およ
び手続き引用局簿３を用いた構文木言１で表し、これの
式言２をもとに実引数簿５および実引数要素簿６を統一
的に設定して構文木言４を生成し、これに基づいて意味
解析区で引数の型・形状などの妥当性を統一的にチェッ
クする構成を採用しているため、関数引用およびサブル
ーチン引用の両者を統一して構文解析・意味解析して無
駄を排除し、引数検査などを迅速に行うことができる。
関数引用およびサブルーチン引用を統一した式言２およ
び手続き引用局簿３を用いた構文木言１で表し、これの
式言２をもとに実引数簿５および実引数要素簿６を統一
的に設定して構文木言４を生成し、これに基づいて意味
解析区で引数の型・形状などの妥当性を統一的にチェッ
クする構成を採用しているため、関数引用およびサブル
ーチン引用の両者を統一して構文解析・意味解析して無
駄を排除し、引数検査などを迅速に行うことができる。
第１図は本発明の１実施例構成図、第２図は本発明の動
作説明フローチャート、第３図は従来技術の説明図を示
す。 図中、１、４は構文木言、２は式言、３は手続き引用局
簿、５は実引数簿、６は実引数要素簿、７はプログラム
単位簿（親）、８はプログラム単位簿（子供）、９は仮
引数簿、10は仮引数要素簿を表す。
作説明フローチャート、第３図は従来技術の説明図を示
す。 図中、１、４は構文木言、２は式言、３は手続き引用局
簿、５は実引数簿、６は実引数要素簿、７はプログラム
単位簿（親）、８はプログラム単位簿（子供）、９は仮
引数簿、10は仮引数要素簿を表す。
Claims (1)
- 【請求項１】関数引用およびサブルーチン引用の内部手
続きの引数検査を行う内部手続き引数検査装置におい
て、 ソースプログラムの関数引用およびサブルーチン引用を
構文解析してその結果を式言（２）および手続き引用局
簿（３）を用いた構文木言（１）で統一した形でそれぞ
れ表す手段と、 この構文木言（１）の式言（２）を参照して手続き引用
局簿（３）から順次ポイントされる実引数簿（５）およ
び実引数要素簿（６）を統一した形でそれぞれ設定した
構文木言（４）を生成する手段と、 これら設定された構文木言（４）に基づいて内部手続き
の引数検査などを統一した態様で行う手段と、 を備えたことを特徴とする内部手続き引数検査装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1244383A JP2601547B2 (ja) | 1989-09-20 | 1989-09-20 | 内部手続き引数検査装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1244383A JP2601547B2 (ja) | 1989-09-20 | 1989-09-20 | 内部手続き引数検査装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH03105623A JPH03105623A (ja) | 1991-05-02 |
| JP2601547B2 true JP2601547B2 (ja) | 1997-04-16 |
Family
ID=17117869
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP1244383A Expired - Lifetime JP2601547B2 (ja) | 1989-09-20 | 1989-09-20 | 内部手続き引数検査装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2601547B2 (ja) |
-
1989
- 1989-09-20 JP JP1244383A patent/JP2601547B2/ja not_active Expired - Lifetime
Also Published As
| Publication number | Publication date |
|---|---|
| JPH03105623A (ja) | 1991-05-02 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| EP1027648B1 (en) | Apparatus for semi-automated generation and application of language conformity tests | |
| JP2601547B2 (ja) | 内部手続き引数検査装置 | |
| JPH02224132A (ja) | メッセージパーサの自動発生システム | |
| JP2742280B2 (ja) | 日本語自動解析装置 | |
| JP2770555B2 (ja) | 自然言語解析システム | |
| JPH01177165A (ja) | 配列の定義／引用関係検査方式 | |
| JP3339006B2 (ja) | 機械翻訳装置における並列名詞句処理装置 | |
| JP2598082B2 (ja) | 知識処理言語のドキュメンテーション装置及びドキュメンテーション方法 | |
| JP2917786B2 (ja) | 自然言語インタフェース方式 | |
| JPH04205463A (ja) | 自然言語接続様相解析処理方法 | |
| JP3055704B2 (ja) | 事象概念解析器 | |
| JPH02205930A (ja) | インタフェースチェック処理方法 | |
| JPH06242958A (ja) | コンパイル方式 | |
| JPH0455944A (ja) | コンパイラの構文解析部の作成方法 | |
| JP2861630B2 (ja) | 接続構造解析器 | |
| KR950015127A (ko) | 칠(chill) 분리 컴파일 방법 | |
| JPH04372060A (ja) | 日本語解析装置 | |
| JPS63221476A (ja) | 自然言語処理方法 | |
| JPH05290086A (ja) | 日本語意味解析方法 | |
| JPH05204699A (ja) | デバッグ時識別子探索方式 | |
| JPH0635712A (ja) | Ｆｏｒｔｒａｎプログラムにおける手続きの自動インライン展開処理方式 | |
| JPH07225689A (ja) | モジュール機能を有する計算機言語のオブジェクトプログラム生成方法 | |
| JPH09185623A (ja) | 言語処理装置及び方法 | |
| JPH0635714A (ja) | プログラムの最適化方式 | |
| JPH0417028A (ja) | プログラム言語の翻訳編集方式 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20080129 Year of fee payment: 11 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20090129 Year of fee payment: 12 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100129 Year of fee payment: 13 |
|
| EXPY | Cancellation because of completion of term | ||
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100129 Year of fee payment: 13 |