5.6.1 C*$* [no]assertions

The C*$* assertions directive tells KAP to accept assertions. The C*$* no assertions directive tells KAP to ignore assertions. The C*$* no assertions directive disables assertions until the next C*$* assertions directive, or the end of the program unit.

Individual assertions are explained in Chapter 6.

Copyright © Digital Equipment Corporation. 1997. All Rights Reserved.