Утверждение (программирование)

Материал из Seo Wiki - Поисковая Оптимизация и Программирование

Перейти к: навигация, поиск

Утверждение (англ. Assertion) в программировании — предикат, размещённый в программе и указывающий на то, что разработчик имеет ввиду этот предикат в этом месте программы всегда истинным.

К примеру, следующий псевдокод содержит два утверждения:

x := 5;
{x > 0}
x := x + 1
{x > 1}

x > 0 и x > 1, и они безусловно верны в указанных точках в момент выполнения.

Примеры

Python

a = 1
b = 2
assert a==1 ## строка, реализующая утверждение
try:
    assert b==3 ## это утверждение вызовет ошибку
except AssertionError, e:
    print "b must equal 2"


de:Assertion (Informatik)

en:Assertion (computing) es:Aserción (informática) he:טענת נכונות ja:表明 nl:Assertie pl:Asercja (informatyka) uk:Твердження (програмування)

Личные инструменты

Served in 0.110 secs.