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 2022 : reference manual ::= reserved words link to Adacore web site.

2) Les types avec le langage Ada

Classement des types avec Ada

Classement des types avec Ada

Déclaration de types avec Ada

Déclaration de types avec Ada

3) Bibliothèques et programme principal

Les paquetages

Spécification de bibliothèque

Spécification de bibliothèque

Implémentation de bibliothèque

Implémentation de bibliothèque

Unité principale

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