JPH03201136A - Procedure accessing source/accessed destination parameter checking system - Google Patents

Abstract

PURPOSE:To prevent the omission of checking parameters and to reduce manhour for checking by providing a compiler with an accessing source parameter information output means and an input parameter information check adding means. CONSTITUTION:At the time of detecting a procedure access, the accessing source parameter information output means 4 in the compiler 2 adds a procedure name to be accessed, the number of parameters and individual parameter types to a parameter list 6 and outputs the contents of the list 6 to an object file 3. At the time of detecting the procedure, the input parameter information check adding means 5 refers to the list 6 based upon procedure input parameter definition information and outputs an input parameter information checking object code 7 for checking a subroutine name, the number of parameters and the individual parameter types to the file 3. Consequently, whether the number of parameters and the parameter types of the accessing source coincide with that of the body side or not can be automatically checked at the time of executing a program.

Description

[Detailed Description of the Invention] [Field of Industrial Application] The present invention relates to a procedure caller/callee parameter checking method, and in particular, a method for checking caller/callee parameters of a procedure such as a subroutine or function in a compiler that compiles a source program. This invention relates to a method for checking caller/callee parameters of a procedure that checks parameters.

[Conventional technology]

In conventional technology, when using a compiler other than a compiler such as Ada that checks whether the parameters of the procedure caller and the parameters of the procedure body match, the Checking whether the number of parameters to the procedure and the type of each parameter match the number of input parameters and the type of each parameter defined in the procedure body was performed by a human visual check.

[Problem to be solved by the invention]

In the conventional procedure caller/callee parameter checking method described above, the number of parameters to the procedure in the calling program and the type of each parameter, the number of input parameters defined in the procedure body side, and the type of each parameter are checked. Since the check to see if it matches the type has been done by human visual inspection, there are disadvantages in that the check may be overlooked and it takes a lot of man-hours for the check.

In view of the above-mentioned points, it is an object of the present invention to automatically check at the time of program execution whether the number of parameters and parameter types of the procedure caller in a program match the number of parameters and parameter types of the procedure body. The object of the present invention is to provide a method for checking the caller/callee parameters of a procedure.

[Means to solve the problem]

The procedure caller/callee parameter checking method of the present invention adds the name of the procedure to be called, the number of parameters, and the type of each parameter to the parameter list when a call to the procedure is detected in the compiler that compiles the source program. a caller parameter information output means to output to an object file; and when a procedure is detected, the subroutine name is determined by referring to the parameter list based on the input parameter definition information of the procedure;
and input parameter information check addition means for outputting an object code for checking the number of parameters and the type of each parameter to the object file.

[Effect]

In the procedure caller/callee parameter checking method of the present invention, when the caller parameter information output means detects a call to a procedure, it adds the name of the procedure to be called, the number of parameters, and the type of each parameter to the parameter list and creates an object. Output to a file, and when the input parameter information check addition means detects a procedure, refer to the parameter list based on the input parameter definition information of the procedure and check the subroutine name, number of parameters, and type of each parameter. Output object code to an object file.

〔Example〕

Next, the present invention will be explained in detail with reference to the drawings.

FIG. 1 shows the procedure caller/
This is a block diagram illustrating the configuration of a callee parameter checking method. The procedure caller/callee parameter check method of this embodiment uses a source program 1 having a procedure call statement and a procedure description statement, and caller parameter information. It consists of a compiler 2 including an output means 4 and a manual parameter information check addition means 5, and an object file 3 from which a parameter list 6 and an object code 7 for checking input parameter information are output.

Next, the operation of the method for checking the caller/callee parameters of the procedure in this embodiment configured as described above will be explained.

When compiling the source program l, if the compiler 2 detects a procedure call statement, it uses the call source parameter information output means 4 to display the name of the procedure to be called, the number of parameters 9, the type of each parameter, etc. in a parameter list. 6 and output to object file 3.

In addition, when the compiler 2 detects a procedure, the compiler 2 uses the input parameter information check addition means 5 to refer to the parameter list 6 based on the input parameter definition information of the procedure and determine the subroutine name, number of parameters 2, and individual parameters. An input parameter information checking object code 7 for checking the type, etc. of is output to the object file 3.

Therefore, when one or more compiled programs are linked and executed, the procedure name and number of parameters set in the parameter list 6 are displayed.

Types of individual parameters, etc., and procedure names in the object code 7 for checking input parameter information.

Number of Parameters 1 It is checked whether the number of parameters, type of parameters, etc. of the calling source matches the number of parameters, type of parameters, etc. of the broutine main body, depending on the type of each parameter.

〔Effect of the invention〕

As explained above, the present invention provides a compiler with a caller parameter information output means and an input parameter information check addition means, adds caller parameter information to a parameter list, and outputs it to an object file.
By outputting object code for checking the number of parameters of a procedure and the types of individual parameters to an object file, you can check the number of parameters of the procedure caller, the types of individual parameters, and the procedure body when the program is executed. It is possible to automatically check whether the number of defined parameters and the types of individual parameters match, which has the effect of not omitting any checks and reducing the number of man-hours required for checking.

[Brief explanation of drawings]

FIG. 1 is a block diagram showing the configuration of a procedure caller/callee parameter checking method according to an embodiment of the present invention. In the figure, l... source program, 2... compiler, 3... object file, 4... calling source parameter information output means, 5... input parameter information check addition means, 6... parameters List, 7...Object code for checking human parameter information.

Claims (1)

[Claims] In a compiler that compiles a source program, when a call to a procedure is detected, the name of the procedure to be called, the number of parameters, and the type of each parameter are added to a parameter list and the caller parameter information is output to an object file. an output means, and an object code for checking the subroutine name, number of parameters, and type of each parameter by referring to the parameter list based on input parameter definition information of the procedure when a procedure is detected, in the object file. A caller of a procedure, characterized in that it has an output input parameter information check addition means.
Call destination parameter checking method.