Invariant

Attribut de Procedure, Fonction, d'un opérateur ou d'un constructeur. L'appel est optimisable par calcul des invariants.

Syntaxe

Invariant

Description

L'attribut Invariant signifie que la procédure, la fonction, l'opérateur ou le constructeur n'effectue pas d'effet de bord sur des variables globales et calcule uniquement la valeur de retour ou les éventuelles valeurs de sorties d'après les paramètres passés.

Lorsqu'un appel est déclaré optimisable pour les invariants, deux appels successifs avec les mêmes paramètres doivent renvoyer les mêmes résultat sans effet de bord.

Exemple


Type A

/****/


	...

	Fonction Optimiser(Invariant) F1();

	/* La fonction 'F1' est optimisable pour les invariants. */

	...

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

	/* La fonction 'F2' est optimisable pour les invariants. Le fait de passer Nul à l'un des paramètres renvoie Nul. */

	...

	Fonction F3();

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

	...


Fin Type

Voir aussi

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

Traduction


-	-	-	-	-	-	-	-	-