Ett påstående i programmering är en operator där predikatet ( logiskt uttryck) alltid måste ha ett sant värde i en given del av koden . Program testar påståenden genom att faktiskt utvärdera predikatet vid körning , och om predikatet i själva verket är falskt , stoppar programmet avsiktligt eller kastar ett undantag .
Påståenden kan göra koden lättare att läsa, hjälpa kompilatorn att kompilera kod eller hjälpa till att upptäcka defekter i ett program.
Följande kod innehåller två satser: x > 0 och x > 1, och de är verkligen sanna vid de angivna punkterna vid körning:
x = 1; hävda x > 0; x++; hävda x > 1;Påståendet i följande Python -kod är falskt, så det ger ett undantag :
a = 1 b = 2 hävda a == 1 # rad som implementerar try-satsen : assert b == 3 # denna sats ger upphov till ett fel förutom AssertionError : print ( "b måste vara lika med 3" )