Используемые по умолчанию макрокоманды диагностики
| CHECK | Выводит заданное в аргументе условие и генерирует исключительную ситуацию, если это условие равно 0. Используйте ее для проверки
значений в функции. |
| PRECONDITION | Выводит заданное в аргументе условие и генерирует исключительную ситуацию, если это условие равно 0. Используйте ее для проверки
допустимости аргументов функции или проверки корректности вызова функции. |
| TRACE | Выводит заданное в аргументе сообщение. Используется для вывода общих сообщений, не зависящих от конкретного условия. |
| WARN | Выводит заданное сообщение, если определенное
в аргументе условие не равно 0. Используется для условного вывода сообщений. |
