摘要 |
PROBLEM TO BE SOLVED: To check types of an argument and a return value in a programming language in which type restriction does not exist.SOLUTION: A type check processing embedding part 21 of a type check device 20 first generates type check processing 3 from an execution module 2 compiled by the type check processing embedding part 21 and embeds the generated type check processing 3 in the execution module 2. In execution of an execution module 4 in which the type check processing 3 is embedded, a statistical information collection part 22 collects statistical information including argument information and return value information acquired by the type check processing 3 and records the statistical information in a statistical information recording part 23. A statistical information analysis part 24 statistically analyzes a data type to the statistical information recorded in the statistical information recording part 23, and when a type error is detected, an error processing part 25 performs warning display or error notification. Thus, detection of the type error becomes possible to a programming language in which type restriction does not exist. |