NulAbsorbant

Attribut de Procedure, Fonction, d'un opérateur ou d'un constructeur. Nul est une valeur de paramètre absorbante.

Syntaxe

NulAbsorbant

Description

L'attribut NulAbsorbant signifie que la procédure, la fonction, l'opérateur ou le constructeur renvoie Nul dès lors que l'un de ses paramètres obligatoires correspondant à un objet et non à un scalaire reçoit Nul.

Cette directive d'optimisation permet d'éviter l'ajout du code vérifiant inutilement une contrainte de non nullité sur le résultat de l'appel.

Exemple


Type A

/****/


	...

	Fonction Optimiser(NulAbsorbant) F1(P1 : Nul Ou Caractere, P2 : Nul Ou Date);

	/* Nul est absorbant pour la fonction 'F1'. */

	...

	Fonction Optimiser(Invariant, NulAbsorbant) F2(P1 : Nul Ou Caractere, P2 : Nul Ou Date);

	/* Nul est absorbant pour la fonction 'F2'. Elle est aussi optimisable pour les invariants. */

	...

	Fonction F3();

	/* La fonction 'F3' n'est pas optimisable. */

	...


Fin Type

Voir aussi

Invariant pour définir une autre directive d'optimisation. Optimiser pour définir l'optimisation.

Traduction


-	-	-	-	-	-	-	-	-