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 predetermined 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.

Eine Compilerverlängerung für die Kompilierzeitüberprüfung der Programmierer-definierten Datenabhängigkeiten. Die Compilerverlängerung stellt für eine Überprüfung Aussage zur Verfügung, die als Argument einen Daten-Überprüfung Ausdruck nimmt. Der Daten-Überprüfung Ausdruck hat einen vorbestimmten Wert, wenn die Programmierer-definierte Datenabhängigkeit an in das Programm angepaßt wird. Eine Kompilierzeitstörung wird erzeugt, wenn der Daten-Überprüfung Ausdruck nicht den vorbestimmten Wert auf der Kompilation der Überprüfung Aussage hat. Die erfolgreiche Kompilation der Überprüfung Aussage ergibt nicht das Laufzeitcode- oder Laufzeitdatenverteilung Auftreten.