Prädikate

Prädikate sind zwischen Schrägstrichen / / stehende Ausdrücke, die zum Zeitpunkt der Prüfpunktauslösung ausgewertet werden, um festzustellen, ob die zugehörigen Aktionen ausgeführt werden sollen. Prädikate sind das wichtigste bedingte Konstrukt für die Bildung komplexerer Kontrollflüsse in einem D-Programm. Sie können für jeden Prüfpunkt den Prädikatteil der Prüfpunktklausel ganz auslassen. In diesem Fall werden die Aktionen bei der Auslösung des Prüfpunkts immer ausgeführt.

Prädikatausdrücke akzeptieren alle bisher beschriebenen D-Operatoren und können sich auf beliebige D-Datenobjekte wie zum Beispiel Variablen und Konstanten beziehen. Der Prädikatausdruck muss einen Wert des Integer- oder Zeigertyps ergeben, sodass er als wahr oder falsch interpretiert werden kann. Wie bei allen D-Ausdrücken wird ein Nullwert als falsch und ein Wert ungleich Null als wahr interpretiert.