En påstand i programmering er en operator , hvor prædikatet ( logisk udtryk) altid skal have en sand værdi i en given del af koden . Programmer tester påstande ved faktisk at evaluere prædikatet under kørsel , og hvis prædikatet faktisk er falsk , stopper programmet bevidst eller kaster en undtagelse .
Påstande kan gøre kode lettere at læse, hjælpe compileren med at kompilere kode eller hjælpe med at opdage defekter i et program.
Følgende kode indeholder to udsagn: x > 0 og x > 1, og de er faktisk sande på de angivne punkter under kørsel:
x = 1; hævde x > 0; x++; hævde x > 1;Påstanden i den følgende Python -kode er falsk, så den giver en undtagelse :
a = 1 b = 2 assert a == 1 # linje, der implementerer try-sætningen : assert b == 3 # denne erklæring vil give en fejl undtagen AssertionError : print ( "b skal være lig med 3" )