Prognyelvek portál

A Turing programozási nyelv

Formája: assert állítás Az assert utasítás egy olyan állítást vezet be, amelynek teljesülnie kell lennie akkor, amikor a program futása ahhoz a ponthoz ér, ahol az állítás van. A fordító csak akkor veszi figyelembe az állítást, ha az azt befoglaló blokk a checked előtaggal van megadva, és az állítás logikai állítás. Ekkor, ha a logikai állítás kiértékelése hamis, a program futása megszakad.

További állítások invariant, pre és post kulcsszavak. A pre és post kulcsszavakkal eljárások és függvények elő- illetve utófeltételei adhatók meg; az invariant kulcsszóval pedig egy modul invariáns állítását lehet megadni (~ típus invariáns). Ha a checked opció meg van adva az állítást tartalmazó láthatósági tartományban, akkor futásidejű ellenőrzésként lefordítódnak.