Используемые по умолчанию макрокоманды диагностики

Макрокоманда Назначение

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