COMPILE-TIME DATA DEPENDENCY VERIFICATION

摘要

A compiler extension for the compile-time verification of programmer-defined data dependencies. The compiler extension provides for a check statement which takes as an argument a data-verification expression. The data-verification expression has a predetermined value when the programmer-defined data dependency is conformed to in the program. A compile - time error is generated if the data-verification expression does not have the predetermine d value on the compilation of the check statement. The successful compilation of the check statement does not result in run-time code or run-time data allocation occurring.