Optimiser
Attribut de Procedure, Fonction, d'un opérateur ou d'un constructeur. L'appel est optimisable.
Syntaxe
Optimiser(ListeDInflexionsOptimiser)
Description
L'attribut Optimiser est une information à destination de l'optimiser d'Up ! Compiler.
Les directives d'optimisation peuvent être :
- Tenir compte des invariants lors de la preuve de programme.
- Tenir compte qu'une expression nulle passée en paramètre à un paramètre obligatoire renvoie Nul.
- Factoriser ou non le code généré.
- Factoriser ou non les chaînes de caractères constantes.
Déclarer les appels optimisables lorsqu'ils le sont permet d'améliorer la qualité du code, sa performance et la mémoire utilisée à l'exécution.
Exemple
Type A
/****/
...
Fonction Optimiser(Invariant) F1();
/* La fonction 'F1' est optimisable. */
...
Fonction F2();
/* La fonction 'F2' n'est pas optimisable. */
...
Fin Type
Voir aussi
FactoriserChaine, FactoriserCode, Invariant, NePasFactoriserChaine, NePasFactoriserCode et NulAbsorbant pour définir une directive d'optimisation.
Traduction