Сцвярджэнне (праграмаванне): Розніца паміж версіямі
[недагледжаная версія] | [недагледжаная версія] |
Змесціва выдалена Змесціва дададзена
др r2.7.3) (робат дадаў: ru:Утверждение (программирование) |
VladimirZhV (размовы | уклад) др катэгорыя |
||
Радок 1:
'''Сцвярджэнне''' ({{lang-en|Assertion}}) у праграмаванні — прэдыкат, змешчаны ў [[Камп'ютарная праграма|праграме]] і ўказваючы на тое, што распрацоўшчык мае на ўвазе гэты прэдыкат у гэтым месцы праграмы заўсёды праўдзівым.
Напрыклад, наступны псеўдакод утрымлівае два сцверджання:
Радок 23:
{{compu-stub}}
▲[[Катэгорыя:Адладка праграм]]
[[de:Assertion (Informatik)]]
|