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

Синтаксис оператора: ASSERT условие [, сообщение]. 13

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

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

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