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 pour vérifications implicites.

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

Catégorie	Fonctions ajoutées
Contrôle limites	CheckBounds (pour les tableaux)
Vérification des divisions	CheckDivDInt CheckDivLInt CheckDivReal CheckDivLreal
Contrôle plages	CheckRangeSigned CheckRangeUnsigned
Vérification de limite basse	CheckLRangeSigned CheckLRangeUnsigned
Vérification de pointeur	CheckPointer

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.

ATTENTION
	FONCTIONNEMENT INCORRECT Ne modifiez pas la partie déclarative d'une fonction de vérification implicite afin de ne pas compromettre son intégrité fonctionnelle. Le non-respect de ces instructions peut provoquer des blessures ou des dommages matériels.

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é. Un message correspondant s'affiche.