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