Modula-3 - ASSERT Pragma

Go to the first, previous, next, last section, table of contents.

`ASSERT` Pragma

<* ASSERT boolean-expr *>

The pragma <* ASSERT boolean-expr *> may appear anywhere a statement may appear. It is a static error if boolean-expr is not of type BOOLEAN. At runtime boolean-expr is evaluated. A FALSE value will result in a runtime check; otherwise the computation continues. Assertion checking can be disabled with the "-a" compiler switch.

Go to the first, previous, next, last section, table of contents.