verify

The verify is a compiler built-in tool for verifying a condition, that must result true. Otherwise, the program terminates with stack trace and a diagnostic message.

Syntax

verify(p != null);

verify(p != null, "Verification Failed: the pointer p must not be null.");