摘要 |
PURPOSE:To check the matching properties with no increase of the program executing time by adding a means to a linker to check the attribute of argumant/function value from the attributes stored in the object modules set at the procedure reference and procedure definition sides. CONSTITUTION:The attributes of the argument/function value are stored in the object modules 4 and 5 set at the procedure reference and procedure definition sides respectively by means of a storing means of a compiler 3. The matching properties are checked among the attributes of the argument/function value by a checking means of a linker on the attributes stored in both modules 4 and 5. In other words, the attributes of the argument/function value are stored in the modules 4 and 5 in a compiling mode. Then the matching properties are checked based on the attributes stored in the modules 4 and 5. Thus it is possible to check the matching properties for all procedure reference and also to prevent the increase of the program executing time owing to check of the matching properties.
|