Syntaxe...
Description...
Exemple...
Voir aussi...
Traduction...
Attribut de Procedure, Fonction, d'un opérateur ou d'un constructeur. L'appel est optimisable par calcul des invariants.
Invariant
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.
Type A
...
/* La fonction 'F1' est optimisable pour les invariants. */
Fonction Optimiser(Invariant) F1();
...
/* La fonction 'F2' est optimisable pour les invariants. Le fait de passer Nul à l'un des paramètres renvoie Nul. */
Fonction Optimiser(Invariant, NulAbsorbant) F2(P1 : Nul Ou Caractere, P2 : Nul Ou Date);
Fonction F3();
/* La fonction 'F3' n'est pas optimisable. */
Fin Type
NichtVerandernd | NonVarying | 非变化 | NoVariando | - | - | - | - |