74.5.11. assert

Používá se s výhodou při ladění programů. Jako Expression1 použijeme nějakou invariantu.

assert Expression1;
assert Expression1: Expression2;