Az állítás a programozásban olyan operátor , amelyben a predikátumnak ( logikai kifejezésnek) mindig igaz értékkel kell rendelkeznie a kód adott részében . A programok úgy tesztelik az állításokat, hogy ténylegesen kiértékelik a predikátumot futás közben , és ha a predikátum valójában hamis , a program szándékosan leáll, vagy kivételt dob .
Az állítások megkönnyíthetik a kód olvashatóságát, segíthetik a fordítót a kód fordításában , vagy segíthetnek a program hibáinak észlelésében .
A következő kód két állítást tartalmaz: x > 0 és x > 1, és ezek valóban igazak a futásidőben megadott pontokon:
x = 1; állítás x > 0; x++; állítás x > 1;A következő Python - kód állítása hamis, ezért kivételt dob :
a = 1 b = 2 assert a == 1 # a try utasítást megvalósító sor : assert b == 3 # ez az utasítás hibát jelez, kivéve AssertionError : print ( "b egyenlőnek kell lennie 3-mal" )