Langage de programmation - Free Pascal - Référence de procédures et fonctions

ASSERT	Affirmez
Free Pascal	System

Procedure Assert(Expr:Boolean);

Procedure Assert(Expr:Boolean;Const Msg:String);

Nom	Description
Expr	Ce paramètre permet d'indiquer l'assertion. Si la valeur de cette expression est «false», l'application s'arrêtera avec erreur d'exécution 227 (Runtime error 227) et le message indiquer par le paramètre «Msg» sera afficher vers la console de sortie d'erreur. Si la valeur de cette expression est «true», le programme poursuit son exécution normalement.
Msg	Ce paramètre permet d'indiquer le message d'assertion.

Cette procédure permet de vérifier la condition spécifié.

Si l'assertion n'est pas activer au moment de la compilation, cette routine ne fait rien et aucun code n'est généré lors de son appel. On peut désactiver ou activer l'assertion à l'aide de la directive «$C» ou «$ASSERTIONS». Ce sont des directives de compilation ayant une portée globale.
Le comportement par défaut de l'appel de cette procédure peut être modifier en définissant un nouveau gestionnaire dans la variable «AssertErrorProc».
L'unité «Sysutils» remplace le gestionnaire d'exception par défaut avec «EAssertionFailed».
Cette procédure est fortement inspiré des idées de la macro «assert» du langage de programmation C.

Voici un exemple montrant une utilisation à la suite d'un test :



				
Program AssertSamples;

 
Var

 a:Integer = 10;


 b:^Integer = NIL;

 
BEGIN

 b := @a;


 Assert(b=NIL);

 WriteLn(b^);


END.

Dernière mise à jour : Samedi, le 18 juillet 2015

Section courante