Assert

Permet de valider une assertion. En cas d'échec, déclenche une exception.

procedure Assert(test : Boolean[; message : String]);

Si test est vrai, l'exécution se poursuit. Si en revanche test est faux, une exception EAssertionFailed sera déclenchée, avec un message optionnel.

Le message d'une assertion qui a échoué inclut automatiquement des informations sur l'emplacement de l'assertion dans le code.