Welcome

Bienvenue

mignature de photo en 250 pixels de la déclinaison d'un rayon de soleil par reflect sur métal gris

Introduction au langage de programmation Ada

Présentation

Histoire

Ada est un langage de programmation portable développé par une équipe de français ayants répondu à un cahier des charges du département de la défense des Etats Unis.
Ada est le nom donné au langage en ommage à une dame considérée comme une pionnière dans la programmation qui est nommée Augusta Ada Lovelace.

Description du langage

Le langage Ada est un langage portable, orienté objet, répondant aux exigences des processus dits "temps réel".
En plus des opérateurs logiques et mathématiques d'une calculatrice, le langage Ada dispose de mots réservés permettants au programmeur de définir les types et fonctions nécessaires au déroulement de son programme.

1) Reserved Words / Mots réservés

Ada 95

Ada 95 : reference manual ::= reserved words link to Adacore web site.

2) Les types avec le langage Ada

Classement des types avec Ada

Déclaration de types avec Ada

3) Bibliothèques et programme principal

Les paquetages

Spécification de bibliothèque

Implémentation de bibliothèque

Unité principale

Sous Programme

sous_programme

4) Présentation de Gnat

Gnu Ada Translator (Gnat) est un compilateur Ada fonctionnant sur Linux, MS Windows et Apple.
Plusieurs versions spécifiques aux différents matériels sont disponibles sur le site Adacore.

Chaîne de production du logiciel

Production du logiciel

5) Programmation orientée objet avec Ada

Technologie objet

6) Algorithmie et contrôls

Programmation procédurale

7) Tâche et objet protégé

Tâche et objet protégé

8) Divers

Divers

9) Capabilité du langage Ada

la programmation orienté objet
- les articles (encapsulation)
- les types étiquetés (héritage)
- les type abstraits (polymorphisme)
la visibliité
l'iteration (loop)
l'imbrication conditionnelle. (if then elsif else)
la selection (case)
l'appel de sous routine
la notion de bibliothèque
la clause pragma
la généricité
- les types génériques
- les bibliothèques generiques

la fliiation de biblothèque
l'arithmetique
l'algebre de Bool
l'espace de nommage
la surcharge des opérateurs
la clause "separate"
la récursivité
l'abstraction de type
l'abstraction de machine
la parametrage de fonction
le traitement des exceptions
le parametrage de type
- parametre constant
les tâches
- les types tâches
- l'attente active
les objets protégés
les types protégés
les types limités
les types privés
la clause "private"
la clause "exception"

10) Mise en oeuvre

implementation

11) Spécificité du langage Ada

Le langage Ada est particulièrement adapté pour la programmation d'automate pour lesquels il est impératif de définir formellement les sections critiques.
Le typage fort du langage Ada permet de valider au moment de la compilation les contraintes énoncées par le programme et elles seront respectées lors de l'exécution du programme.

Software_Making

Gnu Ada Translator (Gnat) is an compilateur over OSx, SPARC, Linux, and Ms Windows.

index

End of document