Formation syntaxe de base de ADA

Formation syntaxe de base de ADA, tutoriel & guide de travaux pratiques en pdf.

La normalisation

■ Un langage est normalisé quand il répond à des règles de syntaxes formelles reconnues et imposées par une norme
■ Un langage normalisé assure que n’importe quel programme écrit (correctement) dans ce langage pourra être compilé par n’importe quel compilateur conforme à la norme
■ La plupart des langages ne sont pas normalisés : ● C possède une norme mais qui n’est pas toujours respectée ● Java possède une norme qui n’est pas respectée par Microsoft
■ ADA est un des rares langages généraliste normalisé ● les compilateurs ADA sont certifiés par des tests de validité

Syntaxe de base de ADA

■ Le jeu de caractères de ADA est celui de la norme ISO 10646:2003
■ Les identificateurs :
■ ATTENTION : pas de différence entre majuscule et minuscule!
■ Dans les chaines de caractères on peut aussi utiliser d’autres symboles de la norme
■ Les caractères spéciaux (délimiteurs et opérateurs) :
identifier ::= letter { underline | alphanumeric }
underline ::= _
alphanumeric ::= digit | letter
digit ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
letter ::= A | B | … | Z | a | b | … | z
 » # & ‘ ( ) * + , – . / : ; < > = _ |
■ Les délimiteurs et opérateurs longs :
■ Les séparateurs sont : l’espace, la tabulation, la fin de ligne
■ Les caractères et chaînes de caractères :
■ Les commentaires : débutent par –
=> .. ** := /= >= <= << >> <>
character ::= ‘graphic_character’
string ::= « {string_element} »
string_element ::= «  » | non_quotation_mark_graphic_character
graphic_character ::= un des symboles de la norme ISO 10646:2003
non_quotation_mark_graphic_character ::= un graphic_character qui n’est pas  »
■ Les nombres :
■ Exemples :
1_000
10E4
10e+4
1000.00
1_000.000_0
2#111110_1000#
numeric ::= decimal | based
decimal ::= numeral [ .numeral ] [ exponent ]
numeral ::= digit { [underline] digit }
underline ::= _
digit ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
exponent ::= e_symbol [+] numeral | e_symbol – numeral
e_symbol ::= e | E
based ::= base # based_numeral
[.based_numeral] # exponent
base ::= numeral
based_numeral ::= extended_digit { [ underline ] extended_digit }
extended_digit ::= digit | A | B | C | D | E | F