Formation environnement Ada, tutoriel & guide de travaux pratiques en pdf.

STYLES NORMALISÉS D’Ada

Le MRL adopte un standard consistent pour l’indentation et l’utilisation de majuscules/minuscules.

Autres styles: – usage de commentaires – choix judicieux de nom d’objets – nom de sous-programmes : verbe – restrictions sur des constructions non-sécuritaires ? Un bon style améliore la lisibilité et la maintenance ? Un bon style peut assister la portabilité et l’efficacité afmt est un utilitaire pour formater les fichiers sources d’Ada selon certaines règles d’indentation et d’utilisation des majuscules/minuscules ? Les conventions sont des abréviations des mots suivants: firstupper Première lettre des identificateurs ou mots réservés en majuscule mixed Première lettre des identificateurs ou partie des identificateurs précédé d’un _ ou mots réservés en majuscule lowercase Tout en minuscules uppercase Tout en majuscules same Mots réservés ou identificateurs non-altérés.

Options –  Convention Convention utilisée pour les identificateurs – Convention Convention utilisée pour les mots réservés –  Aide –  Conserver les chaînes et littéraux intacts –  Indentation Défini l’indentation (Défaut 2) –  LargeurLigne Défini la largeur de la ligne (Défaut 80) –  Ajouter les numéros de lignes à gauche NomFichier Nom du fichier à formater ? La sortie est dirigée sur la sortie standard [stdout] (peut être redirigée dans un fichier avec >)
with New_Alert_System; package EMERGENCY_Alert_System is type Emergency_Alert is new NEW_ALERT_SYSTEM.ALERTwith private; procedure Handlle ( EA : in out EMERGENCY_ALERT); procedure DISPLAY (EA : in EMERGENCY_ALERT; ON : in NEW_ALERT_SYSTEM.DEVICE); procedure Log ( EA : in EMERGENCY_ALERT); end EMERGENCY_ALERT_SYSTEM;
with NEW_ALERT_SYSTEM; package EMERGENCY_ALERT_SYSTEMis type EMERGENCY_ALERTis new NEW_ALERT_SYSTEM.ALERTwith private; procedure HANDLE ( EA : in out EMERGENCY_ALERT); procedure DISPLAY (EA : in EMERGENCY_ALERT; ON : in NEW_ALERT_SYSTEM.DEVICE); procedure LOG ( EA : in EMERGENCY_ALERT); end EMERGENCY_ALERT_SYSTEM.