утверждение

Also known as assertion statement

предикат в программе, указывающий на то, что разработчик предполагает этот предикат в этом месте программы всегда истинным

Wikidata facts

Show 1 more fact

Stack Exchange tag: stackoverflow.com/tags/assertions

Sources (2)

via Wikidata · CC0

Article · Русский

Утверждение (англ. assertion) в программировании — оператор, в котором предикат (логическое выражение) должен иметь всегда истинное значение в данной части кода. Программы проверяют утверждения, фактически оценивая предикат во время выполнения кода, и, если в действительности предикат ложен, программа преднамеренно останавливается или генерирует исключение. Утверждения могут делать код удобнее для прочтения, помогать компилятору скомпилировать код или обнаружить дефекты в программе.

Abstract from DBpedia / Wikipedia · CC BY-SA