La programmation en ADA

Résumé du document

Cours d'informatique sur la programmation en ADA. De la simple déclaration de variable à la création de paquetage générique de sous programme, de type énuméré, discret etc. Tout ce qui est nécessaire pour débuter en ADA et s'améliorer. Document de 4300 mots environ.

Extraits

[...] Voici la définition d'un tableau d'entier de 100 cases. type indice is range ( 100) ; type mes_tableaux is array(indice) of integer ; - Les tableaux non contraints : La taille du tableau est seulement connue à l'exécution du programme. type mes_tableaux is array(integer range [...]

[...] Le paramètre in est le paramètre par défaut, quand aucun paramètre n'est spécifié. Les paramètres in sont des paramètres constants, qui sont dupliqués à l'entrée du sous-programme. Les paramètres out sont affectés une seule fois à la fin et ne sont pas lisibles dans le sous-programme. Les paramètres in out, quant à eux, des paramètres constants, qui sont dupliqués à l'entrée du sous-programme, puis affecté à la fin une seule fois Appel de sous-programme L'appel de sous-programme fait correspondre les paramètres réels aux paramètres formels. [...]

[...] En tant que tels, les paquetages supportent directement les principes d'abstraction de données et de dissimulation d'information Définition Comme toute unité de programme, le paquetage consiste en une spécification et un corps. La spécification constitue le contrat du programmeur avec le client du paquetage. Le client n'a jamais besoin de voir le corps de paquetage, qui contient l'implémentation de la spécification, aussi ces deux parties de programmes sont-elles séparées ! Considérons l'exemple d'un paquetages piles définissant une pile abstraite. On donne tout d'abord sa spécification. [...]

[...] procedure my_recevoir(valeur : out character) is . with terminal ; package my_terminal is new terminal(envoyer my_envoyer, recevoir my_recevoir) ; with my_terminal ; use my_terminal ; . - On donne deux exemples mettant en évidence les problèmes de surcharge ; dans le premier cas, le client doit obligatoirement redéfinir la fonction ; dans le second, il peut choisir d'utiliser la définition visible (standard ou pas), si il en existe une. with function : in integer) ; with function : in integer) is [...]

[...] function pgcd (alpha, beta : in nombres) return nombres is déclarations locales diviseur : nombres abs(alpha) ; dividende : nombres abs(beta) ; reste : nombres ; begin algorithme d'Euclide pour le pgcd while diviseur 0 loop reste dividende mod diviseur ; dividende diviseur ; diviseur reste ; end loop ; return dividende ; end pgcd ; 2 Procédure Une procédure peut n'avoir aucun paramètre. à la différence des fonctions, ses paramètres peuvent être des trois types (cf. section suivante). procedure faire_tourner (points : in out coordonnees ; angle : in radians) is déclarations locales begin suite d'instructions end faire_tourner ; 3 Paramètres entrée / sortie Les termes in (entrée), out (sortie) et in out (entrée-sortie) spécifient le mode ou la direction du flot de données par rapport au sous-programme. [...]