Ключевое слово УТВ
Обозначает оператор проверки утверждений.
Может использоваться только в теле функции или метода.
Синтаксис:
УТВ(<логическое выражение>)
или
УТВ!(<логическое выражение>)
Второй вариант не исключает вычисления логического выражения при отключенной проверке утверждений.
Также поддерживаются варианты с заданием сообщения об ошибке, которая генерируется при нарушении утверждения:
УТВ(<логическое выражение>, <строковое выражение>)
УТВ!(<логическое выражение>, <строковое выражение>)
При отключенной проверке утверждений вычисление строкового выражения всегда исключается.
Пример:
ФУНКЦИЯ СТРОКА: ФормированиеИмени(СТРОКА: префикс; ЦЕЛОЕ: номер) // проверка предусловий УТВ(#префикс > 0, "Пустой префикс имени") // должна быть не пустая строка УТВ(номер >= 0, "Отрицательный номер") // должно быть неотрицательное число РЕЗУЛЬТАТ = префикс + СТР(номер) КОНЕЦ_ФУНКЦИИ