Сцвярджэнне, праграмаванне

З пляцоўкі Вікіпедыя
Перайсці да: рух, знайсці

Сцвярджэнне (англ.: 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 3"