ASSERTION condition

Causes an ASSERTION ON-unit to be entered.

Enabled/Disabled status

Always enabled.

Result

If there is no ASSERTION ON-unit, the application terminates, a message prints, and the ERROR condition is raised.

Raised

When the ASSERT(CONDITION) compiler option is in effect and the ASSERT statement fails, or raised by a SIGNAL ASSERTION statement.

Other information

Condition codes
430,431,432,433,434,435,436
Implicit action
Prints a message and raises the ERROR condition.
Normal return
On return from an ASSERTION ON-unit, processing resumes at the next statement immediately following the statement that raised the condition.