Как работает оператор ASSERT в PostgreSQL?

Оператор ASSERT в PostgreSQL работает следующим образом: он накладывает условие в определённом месте кода. www.commandprompt.com Если код удовлетворяет этому условию, программа продолжает выполняться нормально, но если не удовлетворяет, выдаёт ошибку утверждения. www.commandprompt.com

Синтаксис оператора: ASSERT условие [, сообщение]. www.commandprompt.com neon.tech

Условие — это логическое выражение, которое, как ожидается, должно быть всегда истинным. postgrespro.ru Если это так, оператор ASSERT больше ничего не делает. postgrespro.ru Если же условие возвращает ложь или NULL, этот оператор выдаёт исключение ASSERT_FAILURE. postgrespro.ru

Сообщение — необязательный параметр. www.commandprompt.com Если его не передать в оператор, по умолчанию будет использоваться сообщение об ошибке «assertion failed» (нарушение истинности). postgrespro.ru Если же сообщение указано, оператор ASSERT покажет это сообщение. www.commandprompt.com

Оператор ASSERT предназначен для выявления программных дефектов, а не для вывода обычных ошибок (для этого используется оператор RAISE). postgrespro.ru