Caractéristiques

Opérateur d'affectation

L' opérateur affectation est composé des signes suivants : ":=".

Opérateurs de la mathématique

  • Arithmétiques
  • Les functions

Les fonctions de l'algèbre de Boole

  • La négation est l inversion d'une opérande bouléene : "not"
  • Le déterminant est le teste du possible : "and"
  • Le dénominateur est la preuve de l'ensemble : "or"
  • La différence est la preuve de l'erreur : "xor"

Syntaxe

Caractère de terminaison

Le caratère terminal d'une chaîne de caratère écrite avec Ada est le point-virgule (';').

Caractère de séparation

Le caratère de séparation d'une chaîne de caractère écrite avec Ada est le point-virgule (';').

Caractère de positionnement

Le caractère de positionnement d'une chaîne de caratère écrite avec Ada est la virgule (',').

Alphabet

L'alphabet du langage Ada est Latin_1 ; (Voir le paquetage Ada.Characters.Latin_1).

Contraintes des programmes écrits avec le langage Ada

La longueur maximale d'une ligne est de deux-cents-cinquante-six catactères.

Typage fort

Le typage fort du langage Ada permet de vérifier au moment de la compilation que les contraintes énoncées par le programme serons respectées tout au long du déroulement du programme.

Les tableaux

Les types tableaux sont défini grâce au mot "array".
Ex : type Int_Table is array (positive'first .. Size) of Integer;

Les types tableaux non contraints permettent de décrire des tableaux dont les contraintes serons connues ultérieurement. Ex : type Float_Table is array (Name_Enum range <>) of Float;

Les tableaux à plusieurs dimentions

Pour spécifier un tableau à plusieurs dimension, il est nécessaire de décrire chacune des dites dimenssion.
Ex : type Table_2D is array (Positive range <>, Name_Enum range <>) of Boolean;

Spécification du type Table

Une table est un type énoncé selon l'abstraction d'une table.
Ex : 
	    
	    type Int_Table is array (Positive range <>) of Integer;

	       type Table_Record (Sise : Positive) is

	          record
                     Table : Int_Table(1..Size) := (others => 0);
                     Index : Natural := 0
                  end record;
Note : Les paramètres de type sont constant.

Mise en garde

Malgrès les informations retournées par le compilateur Gnat relatif aux avertissements de non respect des usages de la sémantique ; Il est parfois impossible de répondre objectivement à l'évocation d'un dit avertissement.
Par là, l'usage du pragma Supress_* est déplacé. Et répondre simplement à un de ces dits avertissement peut entrainer un disfonctionnement du programme.

Encouragements

Le langage Ada est un langage dit de haut niveau permettant au programmeur de se libérer des contraintes des langages dits de bas niveau.
Ainsi, L'espace mémoire alloués pour chacune des variables sera libéré automatiquement à la sortie de la section visible.
Néanmoins, l'espace mémoire alouer à des type "access" doit être libéré en faisant usage de la procédure Unchecked_Dealocation spécifiée dans la bibliothèque Ada.Finalization.

Style et documentation

Le style idéal d'un programme écrit avec Ada doit répondre à une veille de la lisibilité du programme.
Afin de maintenir un programme tout au long du cycle de vie du logiciel, il est important de choisir des noms pertinents.
Enfin, un programme bien documenté est un programme autodocumenté.
Pour assurer la lisibilité d'un programme il est important de signaler ce que fait le programme et comment il le fait.
Afin de vous orienter dans l'objectif de parfaire vos connaissances préalables à l'élaboration d'un programme ; Je vous invite à consulter cette page elements.html ; Laquelle vous apportera la notion de documentation attendu par l'utilisateur.

Commentaire

Avec Ada, le texte suivant deux caractères '-' (minus) est un commentaire.
Les commentaires sont ignorés par le compilateur.

Spécifications du langage Ada

La taille maximale d'une ligne est de 256 caractères.
Les identifiants sont appellés "litéral".
Les caractères isolés doivent être entouré du signe '''.
Les chaînes de caractère doivent être entourées du signe '"'.
Pour inclure le signe '"' vous devez doubler ce signe.
L'alphabet du langage Ada est Latin_1.
Avec le compilateur Gnat, pour utiliser les caractères accentués, vous devez ajouter l'option "-gnatW8" sur la ligne de commande gnatmake.
Le séparateur de chaînes ramplaçant l'espace est usuellement le caractère '_' (Underscore).

Bonne pratique

Exceptées les variables de type access ; Le bon sens exige d'initialiser les variables lors de leur déclaration.