POU pour vérifications implicites

Présentation

Pour proposer implicitement des fonctions de vérification, vous devez ajouter des POU spéciaux sous une application. Ces fonctions permettent de vérifier des limites de tableau et de plage, la validité des pointeurs et la présence d'une division par zéro au moment de l'exécution.

NOTE : les performances d'exécution dépendent des fonctions de vérification disponibles.

NOTE : si vous souhaitez utiliser ces fonctions pour vérifier le code de bibliothèques référencées non compilées, vous devez indiquer la chaîne Définitions compilateur checks_in_libs dans l'onglet Compiler de la boîte de dialogue Propriétés de l'application.

Pour ajouter des fonctions de surveillance sous une application, sélectionnez le nœud de l'application dans l'arborescence Applications, puis cliquez sur le signe plus de couleur verte ou exécutez la commande Ajouter un objet > POU des vérifications implicites.

La boîte de dialogue vous permet d'activer les fonctions de vérification suivantes pour l'application sélectionnée :

Lors de l'insertion d'un POU de vérification, l'option n'est plus disponible dans la boîte de dialogue, ceci afin d'éviter qu'il soit inséré deux fois. Si les différents types de POU de vérification ont déjà été ajoutés sous l'application, l'option POU pour vérifications implicites n'est plus accessible dans la boîte de dialogue Ajouter un objet.

NOTE : vous pouvez néanmoins ajouter des variables locales dans la partie déclaration d'une fonction de vérification implicite.

NOTE : suite à la suppression d'une fonction de vérification implicite (CheckBounds, par exemple) de votre application, aucun changement en ligne ne peut être effectué. Seul le téléchargement est autorisé. Vous en êtes informé par un message.