JPH02240729A - Static check system for transfer of parameter of inter-program connection function - Google Patents
Static check system for transfer of parameter of inter-program connection functionInfo
- Publication number
- JPH02240729A JPH02240729A JP6187289A JP6187289A JPH02240729A JP H02240729 A JPH02240729 A JP H02240729A JP 6187289 A JP6187289 A JP 6187289A JP 6187289 A JP6187289 A JP 6187289A JP H02240729 A JPH02240729 A JP H02240729A
- Authority
- JP
- Japan
- Prior art keywords
- parameter information
- program
- calling
- parameters
- side parameter
- 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
- 230000003068 static effect Effects 0.000 title claims abstract description 24
- 238000012546 transfer Methods 0.000 title abstract description 3
- 230000006870 function Effects 0.000 claims abstract description 20
- 238000000034 method Methods 0.000 claims description 12
- 238000004891 communication Methods 0.000 claims description 6
- 238000012545 processing Methods 0.000 claims description 6
- 238000013519 translation Methods 0.000 abstract description 14
- 238000012360 testing method Methods 0.000 description 6
- 238000010586 diagram Methods 0.000 description 3
- 238000012552 review Methods 0.000 description 3
- 230000000694 effects Effects 0.000 description 2
- 230000008676 import Effects 0.000 description 2
- 238000005516 engineering process Methods 0.000 description 1
Landscapes
- Devices For Executing Special Programs (AREA)
- Stored Programmes (AREA)
Abstract
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明はプログラム間連絡機能のパラメータ受け渡し方
式に関し、特にプログラム間で受け渡されるパラメータ
（媒介変数）の妥当性を検査するプログラム間連絡機能
のパラメータ受け渡しにおける静的チエツク方式に関す
る。[Detailed Description of the Invention] [Field of Industrial Application] The present invention relates to a parameter passing method for a communication function between programs, and in particular, a method for passing parameters between programs. Concerning static check method in parameter passing.
計算機システム上のプログラミング言語に用意されてい
るプログラム間連絡機能を使用して利用者が作成したプ
ログラム間でパラメータの受け渡しが行われる場合、通
常の使用形態においては、呼出し側プログラムの呼出し
命令で指定されたパラメータの個数１桁数および属性と
、被呼出し側プログラムの入口点で指定されたパラメー
タの個数９桁数および属性とが一敗することが自然であ
る。When parameters are passed between programs created by users using the program-to-program communication function provided in the programming language of the computer system, in normal usage, parameters are specified in the calling command of the calling program. It is natural that the one-digit number of parameters specified and the attributes specified at the entry point of the called program will be different from the nine-digit number and attributes of the parameters specified at the entry point of the called program.
従来、この種のプログラム間連絡機能のパラメータ受け
渡しにおけるパラメータの妥当性の検査は、計算機を用
いた検査が行われずにプログラム作成者によるコーディ
ングレビューのみが行われるか、プログラム走行テスト
における全バス走行テストによる動的な方法で行われる
かしていた。Conventionally, the validity of parameters in parameter passing for this type of program-to-program communication function has been checked only by a coding review by the program creator without using a computer, or by a complete bus running test in a program running test. This is done in a dynamic way.
上述した従来のプログラム間連絡機能のパラメータ受け
渡しにおけるチエツク方式では、パラメータ受け渡しに
おけるパラメータの妥当性の検査が、プログラム作成者
によるコーディングレビューとしてプログラム作成者の
責任となっていたか、あるいはプログラム走行テストに
おける全バス走行テストによる動的な方法で行われてい
たので、プログラム開発時に十分な検査を行うことが困
難であるという欠点がある。In the above-mentioned conventional checking method for parameter passing in the program-to-program communication function, checking the validity of parameters during parameter passing was the responsibility of the program creator as a coding review by the program creator, or it was the responsibility of the program creator to check the validity of the parameters during parameter passing. Since this was done in a dynamic manner using bus running tests, there is a drawback in that it is difficult to perform sufficient testing during program development.
本発明の目的は、上述の点に鑑み、利用者が作成したプ
ログラム間のパラメータの受け渡しにおいてパラメータ
の個数５桁数および属性に関する妥当性の検査をプログ
ラム開発時に厳密に行うことができるプログラム間連絡
機能のパラメータ受け渡しにおける静的チエツク方式を
提供することにある。In view of the above-mentioned points, an object of the present invention is to provide inter-program communication that allows the validity of the five-digit number of parameters and attributes to be strictly checked at the time of program development when exchanging parameters between programs created by users. The objective is to provide a static check method for passing function parameters.
本発明のプログラム間連絡機能のパラメータ受け渡しに
おける静的チエツク方式は、計算機システム上のプログ
ラミング言語が他のプログラムとの連絡機能を有し前記
プログラミング言語の変数に桁数および属性という共通
した概念が存在しかつ静的リンカによってプログラム間
の連絡機能の解決を行う言語処理系において、呼出し側
プログラムの呼出し命令をフェッチする呼出し命令フェ
ッチ手段と、この呼出し命令フェッチ手段によりフェッ
チされた呼出し命令のもつパラメータの個数２桁数およ
び属性を呼出し側パラメータ情報として取り込む呼出し
側パラメータ情報取込み手段と、この呼出し側パラメー
タ情報取込み手段により取り込まれた呼出し側パラメー
タ情報をオブジェクトプログラム上に設定する呼出し側
パラメータ情報設定手段と、被呼出し側プログラムの入
口点をフェッチする入口点フェッチ手段と、この入口点
フェッチ手段によりフェッチされた入口点のもつパラメ
ータの個数９桁数および属性を受取り側パラメータ情報
として取り込む受取り側パラメータ情報取込み手段と、
この受取り側パラメータ情報取込み手段により取り込ま
れた受取り側パラメータ情報をオブジェクトプログラム
上に設定する受取り側パラメータ情報設定手段とを備え
るプログラミング言語の翻訳機構と、このプログラミン
グ言語の翻訳機構により生成されたオブジェクトプログ
ラム上の呼出し側パラメータ情報と受取り側パラメータ
情報とを比較して呼出し側プログラムの呼出し命令に指
定されたパラメータの個数。The static check method for parameter passing of the program-to-program communication function of the present invention is such that the programming language on the computer system has a communication function with other programs, and the variables of the programming language have a common concept of number of digits and attributes. In a language processing system that uses a static linker to resolve the communication function between programs, there is a calling instruction fetching means for fetching the calling instruction of the calling program, and a parameter of the calling instruction fetched by this calling instruction fetching means. a calling side parameter information importing means for taking in a two-digit number and attributes as calling side parameter information; and a calling side parameter information setting means for setting the calling side parameter information taken in by the calling side parameter information importing means on an object program. , an entry point fetch means for fetching the entry point of the called program, and a receiving side parameter information importer for taking in the 9-digit number of parameters and attributes of the entry point fetched by this entry point fetching means as receiving side parameter information. means and
a programming language translation mechanism comprising a receiving side parameter information setting means for setting the receiving side parameter information imported by the receiving side parameter information importing means on the object program; and an object program generated by the programming language translation mechanism. The number of parameters specified in the calling command of the calling program by comparing the calling side parameter information and the receiving side parameter information above.
桁数および属性と被呼出し側プログラムの入口点に指定
されたパラメータの個数２桁数および属性との間の関係
を解析するパラメータ情報解析手段と、このパラメータ
情報解析手段により解析されたパラメータ情報解析結果
を表示するパラメータ情報解析結果表示手段とを備える
静的リンカとを有する。Parameter information analysis means for analyzing the relationship between the number of digits and attributes and the number of digits and attributes specified at the entry point of the called program; and parameter information analysis analyzed by the parameter information analysis means. and a static linker comprising parameter information analysis result display means for displaying the results.
本発明のプログラム間連絡機能のパラメータ受け渡しに
おける静的チエツク方式では、プログラミング言語の翻
訳機構の呼出し命令フェッチ手段が呼出し側プログラム
の呼出し命令をフェッチし、呼出し側パラメータ情報取
込み手段が呼出し命令フェッチ手段によりフェッチされ
た呼出し命令のもつパラメータの個数２桁数および属性
を呼出し側パラメータ情報として取り込み、呼出し側パ
ラメータ情報設定手段が呼出し側パラメータ情報取込み
手段により取り込まれた呼出し側パラメータ情報をオブ
ジェクトプログラム上に設定し、入口点フェッチ手段が
被呼出し側プログラムの入口点をフェッチし、受取り側
パラメータ情報取込み手段が入口点フェッチ手段により
フェッチされた人口点のもつパラメータの個数１桁数お
よび属性を受取り側パラメータ情報として取り込み、受
取り側パラメータ情報設定手段が受取り側パラメータ情
報取込み手段により取り込まれた受取り側パラメータ情
報をオブジェクトプログラム上に設定し、静的リンカの
パラメータ情報解析手段がプログラミング言語の翻訳機
構により生成されたオブジェクトプログラム上の呼出し
側パラメータ情報と受取り側パラメータ情報とを比較し
て呼出し側プログラムの呼出し命令に指定されたパラメ
ータの個数０桁数および属性と被呼出し側プログラムの
入口点に指定されたパラメータの個数９桁数および属性
との間の関係を解析し、パラメータ情報解析結果表示手
段がパラメータ情報解析手段により解析されたパラメー
タ情報解析結果を表示する。In the static check method for parameter passing of the program-to-program communication function of the present invention, the calling instruction fetching means of the programming language translation mechanism fetches the calling instruction of the calling program, and the calling side parameter information fetching means uses the calling instruction fetching means. The two-digit number of parameters and attributes of the fetched calling instruction are taken in as calling side parameter information, and the calling side parameter information setting means sets the calling side parameter information taken in by the calling side parameter information taking means on the object program. Then, the entry point fetching means fetches the entry point of the called program, and the receiving side parameter information importing means receives the one-digit number of parameters and attributes of the population point fetched by the entry point fetching means as the receiving side parameter information. The receiving side parameter information setting means sets the receiving side parameter information taken in by the receiving side parameter information importing means on the object program, and the parameter information analysis means of the static linker generates the information by the translation mechanism of the programming language. Compare the calling side parameter information and the receiving side parameter information on the object program to determine the number of digits and attributes of parameters specified in the calling command of the calling program and the parameters specified at the entry point of the called program. The relationship between the nine-digit number and the attribute is analyzed, and the parameter information analysis result display means displays the parameter information analysis result analyzed by the parameter information analysis means.
次に、本発明について図面を参照して詳細に説明する。 Next, the present invention will be explained in detail with reference to the drawings.
第１図は、本発明のプログラム間連絡機能のパラメータ
受け渡しにおける静的チエツク方式の一実施例の構成を
示すブロック図である。本実施例のプログラム間連絡機
能のパラメータ受け渡しにおける静的チエツク方式は、
ソースプログラムｌと、プログラミング言語の翻訳機構
２と、オブジェクトプログラム１４と、静的リンカ１５
と、パラメータ情報解析結果２１と、ロードモジュール
２２とから、その主要部が構成されている。FIG. 1 is a block diagram showing the configuration of an embodiment of the static check method for parameter transfer of the inter-program communication function of the present invention. The static check method for passing parameters in the program-to-program communication function of this embodiment is as follows:
Source program l, programming language translation mechanism 2, object program 14, and static linker 15
, the parameter information analysis result 21 , and the load module 22 .
プログラミング言語の翻訳機構２は、字句解析手段３と
、構文解析手段４と、意味解析手段５と、コード生成手
段６と、オブジェクト出力手段７と、呼出し命令フェッ
チ手段８と、呼出し側パラメータ情報取込み手段９と、
呼出し側パラメータ情報設定手段ｌＯと、入口点フェッ
チ手段１１と、受取り側パラメータ情報取込み手段１２
と、受取り側パラメータ情報設定手段１３とを含んで構
成されている。The programming language translation mechanism 2 includes a lexical analysis means 3, a syntactic analysis means 4, a semantic analysis means 5, a code generation means 6, an object output means 7, a call instruction fetch means 8, and a caller parameter information acquisition unit. means 9;
Calling side parameter information setting means lO, entry point fetching means 11, and receiving side parameter information importing means 12
and receiving side parameter information setting means 13.
なお、第１図中において、複数のプログラミング言語の
翻訳機構２が図示されているのは、少なくとも呼出し側
のソースプログラムｌの翻訳および被呼出し側のソース
プログラム１の翻訳が行われなければならないことを表
すためである。Note that in FIG. 1, the translation mechanism 2 for multiple programming languages is shown because at least the source program 1 on the calling side and the source program 1 on the called side must be translated. This is to represent.
静的リンカ１５は、オブジェクト入力手段１６と、リン
ク処理手段１７と、ロードモジュール出力手段１８と、
パラメータ情報解析手段１９と、パラメータ情報解析結
果表示手段２０とを含んで構成されている。The static linker 15 includes an object input means 16, a link processing means 17, a load module output means 18,
It is configured to include a parameter information analysis means 19 and a parameter information analysis result display means 20.
第２図を参照すると、オブジェクトプログラム１４に設
定される呼出し側パラメータ情報２３〜２４は、呼出し
先の入口基（プログラム名）と、パラメータの個数と、
パラメータの桁数と、パラメータの属性とをそれぞれ含
んでいる。なお、第２図に示す呼出し側パラメータ情報
２３〜２４は、呼出し側のソースプログラムｌ内にＮ（
正整数）個の呼出し命令があり、それぞれの呼出し命令
にパラメータがｎｉ （ｉ−１，・・・、Ｎ）個ある
場合の呼出し側パラメータ情報を示している。Referring to FIG. 2, the caller parameter information 23 to 24 set in the object program 14 includes the entry base (program name) of the called destination, the number of parameters,
Each includes the number of digits of the parameter and the attribute of the parameter. Note that the calling side parameter information 23 to 24 shown in FIG.
This shows caller parameter information when there are (positive integer) calling instructions and each calling instruction has ni (i-1, . . . , N) parameters.
第３図を参照すると、オブジェクトプログラム１４に設
定される受取り側パラメータ情報２５〜２６は、入口点
の入口基と、パラメータの個数と、パラメータの桁数と
、パラメータの属性とをそれぞれ含んでいる。なお、第
３図に示す受取り側パラメータ情報２５〜２６は、被呼
出し側のソースプログラムｌ内にＭ（正整数）個の入口
点があり、それぞれの入口点にパラメータがｍｔ（ｉ−
１，・・・、Ｍ）個ある場合の受取り側パラメータ情報
を示している。Referring to FIG. 3, the receiving side parameter information 25 to 26 set in the object program 14 includes the entry base of the entry point, the number of parameters, the number of digits of the parameter, and the attribute of the parameter, respectively. . Note that the receiving side parameter information 25 to 26 shown in FIG.
1, . . . , M) receiving side parameter information is shown.
次に、このように構成された本実施例のプログラム間連
絡機能のパラメータ受け渡しにおける静的チエツク方式
の動作について説明する。Next, a description will be given of the operation of the static check method in parameter passing of the program-to-program communication function of this embodiment configured as described above.
プログラミング言語の翻訳機構２は、ソースプログラム
１を、字句解析手段３により字句解析し、構文解析手段
４により構文解析し、意味解析手段５により意味解析し
、コード生成手段６によりコード生成し、オブジェクト
出力手段７によりオブジェクトプログラム１４を出力す
る。A programming language translation mechanism 2 performs lexical analysis of a source program 1 using a lexical analysis means 3, syntactic analysis using a syntactic analysis means 4, semantic analysis using a semantic analysis means 5, code generation using a code generation means 6, and converts a source program 1 into an object. The object program 14 is outputted by the output means 7.
また、プログラミング言語の翻訳機構２では、字句解析
手段３による字句解析時に、呼出し命令フェッチ手段８
が、呼出し側のソースプログラム１のすべての呼出し命
令のパラメータ情報をオブジェクトプログラム１４上に
設定するために、呼出し側のソースプログラム１中の呼
出し命令を認識して取り込む。In addition, in the programming language translation mechanism 2, when the lexical analysis means 3 performs lexical analysis, the calling instruction fetching means 8
recognizes and imports the calling instructions in the calling source program 1 in order to set parameter information of all calling instructions in the calling source program 1 on the object program 14 .
呼出し側パラメータ情報取込み手段９は、呼出し命令フ
ェッチ手段８により取り込まれた呼出し命令のパラメー
タを解読し、パラメータの個数。The calling side parameter information fetching means 9 decodes the parameters of the calling instruction fetched by the calling instruction fetching means 8, and determines the number of parameters.
桁数および属性をパラメータ情報として取り込む。Import the number of digits and attributes as parameter information.
呼出し側パラメータ情報設定手段１０は、呼出し側パラ
メータ情報取込み手段９により取り込まれたパラメータ
の個数２桁数および属性を呼出し先の入口基（プログラ
ム名）を付して呼出し側パラメータ情報２３〜２４とし
てオブジェクト出力手段７を介してオブジェクトプログ
ラム１４に設定する。The calling side parameter information setting means 10 adds the two-digit number and attributes of the parameters taken in by the calling side parameter information taking means 9 and the entry base (program name) of the called party as calling side parameter information 23 to 24. It is set in the object program 14 via the object output means 7.
また、プログラミング言語の翻訳機構２では、字句解析
手段３による字句解析時に、入口点フェッチ手段１１が
、被呼出し側のソースプログラム１のすべての入口点の
パラメータ情報をオブジェクトプログラム１４上に設定
するために、被呼出し側のソースプログラム！中の入口
点を認識して取り込む。Furthermore, in the programming language translation mechanism 2, when the lexical analysis unit 3 performs lexical analysis, the entry point fetch unit 11 sets parameter information of all entry points of the called source program 1 on the object program 14. , the source program of the called party! Recognize and capture entry points inside.
受取り側パラメータ情報取込み手段１２は、入口点フェ
ッチ手段１１により取り込まれた人口点のパラメータを
解読し、パラメータの個数１桁数および属性をパラメー
タ情報として取り込む。The receiving side parameter information importing means 12 decodes the parameters of the population point taken in by the entry point fetching means 11, and takes in the one-digit number of parameters and attributes as parameter information.
受取り側パラメータ情報設定手段１３は、受取り側パラ
メータ情報取込み手段１２により取り込まれたパラメー
タの個数１桁数および属性を入口点の入口基を付して受
取り側パラメータ情報２５〜２６としてオブジェクト出
力手段７を介してオブジェクトプログラム１４に設定す
る。The receiving side parameter information setting means 13 adds the one-digit number and attribute of the parameters imported by the receiving side parameter information importing means 12 with the entry base of the entry point, and outputs the object output means 7 as receiving side parameter information 25 to 26. is set in the object program 14 via.
以上の結果、オブジェクトプログラム１４上にプログラ
ム間連絡機能のパラメータ受け渡しにおける静的チエツ
クのための呼出し側パラメータ情報２３〜２４および受
取り側パラメータ情報２５〜２６が設定される。As a result of the above, the calling side parameter information 23-24 and the receiving side parameter information 25-26 are set on the object program 14 for the static check in the parameter exchange of the inter-program communication function.
静的リンカ１５は、オブジェクト入力手段１６により複
数のオブジェクトプログラム１４を入力し、リンク処理
手段１７によりリンク処理を行って、ロードモジュール
出力手段１８によりロードモジュール２２を出力する。The static linker 15 inputs a plurality of object programs 14 through an object input means 16, performs link processing through a link processing means 17, and outputs a load module 22 through a load module output means 18.
また、静的リンカ５では、オブジェクト入力手段１６に
よるオブジェクトプログラム１４の入力時に、パラメー
タ情報解析手段１９が、オブジェクトプログラム１４上
の呼出し側パラメータ情報２３〜２４および受取り側パ
ラメータ情報２５〜２６を取り込んで、同一の入口基を
有する呼出し側パラメータ情報２３〜２４と受取り側パ
ラメータ情報２５〜２６との間でパラメータの個数、パ
ラメータの桁数およびパラメータの属性の整合性（一致
）を検査する。Further, in the static linker 5, when the object program 14 is input by the object input means 16, the parameter information analysis means 19 takes in the calling side parameter information 23-24 and the receiving side parameter information 25-26 on the object program 14. , the number of parameters, the number of digits of the parameters, and the consistency (match) of the parameter attributes are checked between the calling side parameter information 23-24 and the receiving side parameter information 25-26, which have the same entry group.
パラメータ情報解析結果表示手段２０は、パラメータ情
報解析手段１９によるパラメータ情報解析結果２１をデ
イスプレィ装置等に表示する。The parameter information analysis result display means 20 displays the parameter information analysis result 21 by the parameter information analysis means 19 on a display device or the like.
以上の結果、利用者は、パラメータ情報解析結果２１を
見ることにより、ロードモジュール２２（プログラム）
の実行以前にプログラム間連絡機能のパラメータ受け渡
しにおけるパラメータの個数。As a result of the above, the user can read the load module 22 (program) by looking at the parameter information analysis result 21.
The number of parameters in the parameter passing of the program-to-program communication function before execution.
桁数および属性に関する妥当性をチエツクすることがで
きる。Validity regarding number of digits and attributes can be checked.
以上説明したように本発明は、プログラミング言語の翻
訳機構において呼出し側パラメータ情報および受取り側
パラメータ情報を生成してオブジェクトプログラム上に
付加し、静的リンカにおいて呼出し側パラメータ情報と
受取り側パラメータ情報とを比較してプログラム間連絡
機能におけるパラメータの受け渡しの整合性を厳密にチ
エツクすることにより、プログラム作成者によるコーデ
ィングレビューあるいはプログラム走行テストにおける
全バス走行テストによる方法によらずに、プログラム開
発時に利用者が作成したプログラム間のパラメータの受
け渡しにおいてパラメータの個数１桁数および属性に関
する妥当性の検査を厳密に行うことができるという効果
がある。As explained above, the present invention generates caller parameter information and receiver parameter information in a programming language translation mechanism, adds them to an object program, and adds the caller parameter information and receiver parameter information in a static linker. By comparing and strictly checking the consistency of parameter passing in the communication function between programs, users can easily check the consistency of parameter passing during program development, without relying on coding reviews by program creators or full bus running tests in program running tests. This has the advantage that the validity of the one-digit number of parameters and attributes can be strictly checked when passing parameters between created programs.
第１図は本発明のプログラム間連絡機能のパラメータ受
け渡しにおける静的チエツク方式の一実施例の構成を示
すブロック図、
第２図は第１図中のプログラミング言語の翻訳機構が生
成するオブジェクトプログラムに設定される呼出し側パ
ラメータ情報の内容を示す図、第３図は第１図中のプロ
グラミング言語の翻訳機構が生成するオブジェクトプロ
グラムに設定される受取り側パラメータ情報の内容を示
す図である。
図において、
１・・・ソースプログラム、
２・・・プログラミング言語の翻訳機構、３・・・字句
解析手段、
４・・・構文解析手段、
５・・・意味解析手段、
６・・・コード生成手段、
７・・・オブジェクト出力手段、
８・・・呼出し命令フェッチ手段、
９・・・呼出し側パラメータ情報取込み手段、ｌＯ・・
・呼出し側パラメータ情報設定手段、１１・・・入口点
フェッチ手段、
１２・・・受取り側パラメータ情報取込み手段、１３・
・・受取り側パラメータ情報設定手段、１４・・・オブ
ジェクトプログラム、
１５・・・静的リンカ、
１６・・・オブジェクト入力手段、
１７・・・リンク処理手段、
１８・・・ロードモジュール出力手段、１９・・・パラ
メータ情報解析手段、
２０・・・パラメータ情報解析結果表示手段、２１・・
・パラメータ情報解析結果、
２２・・・ロードモジュール、
２３〜２４・呼出し側パラメータ情報、２５〜２６・受
取り側パラメータ情報である。FIG. 1 is a block diagram showing the configuration of an embodiment of the static check method for parameter passing of the program-to-program communication function of the present invention. FIG. FIG. 3 is a diagram showing the contents of the receiving side parameter information set in the object program generated by the programming language translation mechanism in FIG. 1. In the figure, 1... Source program, 2... Programming language translation mechanism, 3... Lexical analysis means, 4... Syntactic analysis means, 5... Semantic analysis means, 6... Code generation. Means, 7...Object output means, 8...Calling instruction fetching means, 9...Calling side parameter information acquisition means, lO...
- Calling side parameter information setting means, 11... Entry point fetching means, 12... Receiving side parameter information importing means, 13.
... Receiving side parameter information setting means, 14... Object program, 15... Static linker, 16... Object input means, 17... Link processing means, 18... Load module output means, 19 ...Parameter information analysis means, 20...Parameter information analysis result display means, 21...
・Parameter information analysis result, 22...Load module, 23-24・Calling side parameter information, 25-26・Receiving side parameter information.
Claims (1)
ムとの連絡機能を有し前記プログラミング言語の変数に
桁数および属性という共通した概念が存在しかつ静的リ
ンカによってプログラム間の連絡機能の解決を行う言語
処理系において、呼出し側プログラムの呼出し命令をフ
ェッチする呼出し命令フェッチ手段と、この呼出し命令
フェッチ手段によりフェッチされた呼出し命令のもつパ
ラメータの個数、桁数および属性を呼出し側パラメータ
情報として取り込む呼出し側パラメータ情報取込み手段
と、この呼出し側パラメータ情報取込み手段により取り
込まれた呼出し側パラメータ情報をオブジェクトプログ
ラム上に設定する呼出し側パラメータ情報設定手段と、
被呼出し側プログラムの入口点をフェッチする入口点フ
ェッチ手段と、この入口点フェッチ手段によりフェッチ
された入口点のもつパラメータの個数、桁数および属性
を受取り側パラメータ情報として取り込む受取り側パラ
メータ情報取込み手段と、この受取り側パラメータ情報
取込み手段により取り込まれた受取り側パラメータ情報
をオブジェクトプログラム上に設定する受取り側パラメ
ータ情報設定手段とを備えるプログラミング言語の翻訳
機構と、このプログラミング言語の翻訳機構により生成
されたオブジェクトプログラム上の呼出し側パラメータ
情報と受取り側パラメータ情報とを比較して呼出し側プ
ログラムの呼出し命令に指定されたパラメータの個数、
桁数および属性と被呼出し側プログラムの入口点に指定
されたパラメータの個数、桁数および属性との間の関係
を解析するパラメータ情報解析手段と、このパラメータ
情報解析手段により解析されたパラメータ情報解析結果
を表示するパラメータ情報解析結果表示手段とを備える
静的リンカと、 を有することを特徴とするプログラム間連絡機能のパラ
メータ受け渡しにおける静的チェック方式。[Claims] A programming language on a computer system has a communication function with other programs, and the variables of the programming language have a common concept of number of digits and attributes, and a static linker has a communication function between programs. In a language processing system that solves the problem, there is a calling instruction fetching means that fetches the calling instruction of the calling program, and the number of parameters, number of digits, and attributes of the calling instruction fetched by this calling instruction fetching means. a calling side parameter information setting means for setting the calling side parameter information taken in by the calling side parameter information taking means on the object program;
Entrance point fetching means for fetching the entry point of the called program; and receiving side parameter information importing means for taking in the number, number of digits, and attributes of the parameters of the entry point fetched by the entry point fetching means as receiving side parameter information. and a receiving-side parameter information setting means for setting the receiving-side parameter information imported by the receiving-side parameter information importing means on the object program; The number of parameters specified in the calling command of the calling program by comparing the calling side parameter information and the receiving side parameter information on the object program,
parameter information analysis means for analyzing the relationship between the number of digits and attributes and the number, number of digits, and attributes of parameters specified at the entry point of the called program; and parameter information analysis analyzed by the parameter information analysis means. 1. A static check method in parameter passing of a program-to-program communication function, comprising: a static linker comprising a parameter information analysis result display means for displaying a result;
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP6187289A JPH02240729A (en) | 1989-03-14 | 1989-03-14 | Static check system for transfer of parameter of inter-program connection function |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP6187289A JPH02240729A (en) | 1989-03-14 | 1989-03-14 | Static check system for transfer of parameter of inter-program connection function |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH02240729A true JPH02240729A (en) | 1990-09-25 |
Family
ID=13183651
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP6187289A Pending JPH02240729A (en) | 1989-03-14 | 1989-03-14 | Static check system for transfer of parameter of inter-program connection function |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH02240729A (en) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2001100998A (en) * | 1999-09-29 | 2001-04-13 | Hitachi Software Eng Co Ltd | Computer system |
| US7272821B2 (en) | 2003-08-25 | 2007-09-18 | Tech Mahindra Limited | System and method of universal programming language conversion |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS57113149A (en) * | 1980-12-29 | 1982-07-14 | Fujitsu Ltd | Interprogram control system |
| JPS6393044A (en) * | 1986-10-07 | 1988-04-23 | Mitsubishi Electric Corp | Program translation/compiling connection system |
| JPS63147232A (en) * | 1986-12-10 | 1988-06-20 | Nec Corp | Inspection system for matchability |
-
1989
- 1989-03-14 JP JP6187289A patent/JPH02240729A/en active Pending
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS57113149A (en) * | 1980-12-29 | 1982-07-14 | Fujitsu Ltd | Interprogram control system |
| JPS6393044A (en) * | 1986-10-07 | 1988-04-23 | Mitsubishi Electric Corp | Program translation/compiling connection system |
| JPS63147232A (en) * | 1986-12-10 | 1988-06-20 | Nec Corp | Inspection system for matchability |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2001100998A (en) * | 1999-09-29 | 2001-04-13 | Hitachi Software Eng Co Ltd | Computer system |
| US7272821B2 (en) | 2003-08-25 | 2007-09-18 | Tech Mahindra Limited | System and method of universal programming language conversion |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5287444A (en) | Message processing system | |
| US6163858A (en) | Diagnostic methodology for debugging integrated software | |
| JP3612294B2 (en) | Debugging method and debugging device | |
| CN107861728A (en) | Method from traditional program language to modern procedures language conversion and its system for | |
| JPH05505274A (en) | System and method for automatically interfacing calling standards between two dissimilar program units | |
| EP0430182B1 (en) | Method for assembly language programming potential error detection sensing apparent inconsistency with a previous operation | |
| Van Deursen et al. | Type inference for COBOL systems | |
| US20050216897A1 (en) | Converter, automation device with a converter, and a development environment having an automation device with converter | |
| JPH02240729A (en) | Static check system for transfer of parameter of inter-program connection function | |
| CN109542827A (en) | General purpose simulation, system and medium based on model | |
| JPH06195216A (en) | Automatic generation device for verification program | |
| JPH09288580A (en) | Device and method for optimizing source program | |
| CN113704618B (en) | Data processing method, device, equipment and medium based on deep learning model | |
| US5029170A (en) | Assembly language programming potential error detection scheme which recognizes incorrect symbolic or literal address constructs | |
| Porkoláb et al. | Comparison of Object-Oriented and Paradigm Independent Software Complexity Metrics | |
| Wegener et al. | XML TPS data exchange | |
| JPH04211831A (en) | Program verifying method, and trace data displaying method and compiling method for the same | |
| CN118259646A (en) | Diagnostic program generation method and device and vehicle | |
| CN117609721A (en) | SQL data analysis method and system based on Fidelius | |
| CN117349357A (en) | Medical system data debugging method and device | |
| Tang | A preprocessor and a database generator for automated program testing | |
| KR970024717A (en) | Command Analysis Method of Control Station System | |
| CN116069633A (en) | Code checking method and device, electronic equipment and storage medium | |
| Rudd et al. | Program Development | |
| JPH11219289A (en) | Object-oriented program quality evaluation device |