« Méthodes de génie logiciel avec Ada/Annexes » : différence entre les versions

Contenu supprimé Contenu ajouté
m Formatage, ajout de div style="text-align: center;", ajout de strong
DannyS712 (discussion | contributions)
m <source> -> <syntaxhighlight> (phab:T237267)
Ligne 7 :
=Corps maquettes de la première version=
Cette version du menu comporte une fonction Choix_Utilisateur qui renvoie successivement tous les choix possibles, puis déclenche une annulation de commande, enfin lève l'exception Program_Error de façon à terminer le programme (le programme en vraie grandeur ne se termine jamais, aussi n'y a-t-il rien de prévu à cet effet)... ce qui permet également de tester notre traite-exception de sécurité.
<sourcesyntaxhighlight lang="ada">
with ADPT; use ADPT;
package body Menu is
Ligne 96 :
end Le_Prix;
end Tarif;
</syntaxhighlight>
</source>
 
=Corps du compteur générique=
<sourcesyntaxhighlight lang="ada">
package body Compteur_Protégé_Générique is
protected Compteur is
Ligne 153 :
end Compteur;
end Compteur_Protégé_Générique;
</syntaxhighlight>
</source>
 
=Corps maquettes pour le monnayeur de deuxième niveau=
<sourcesyntaxhighlight lang="ada">
with ADPT; use ADPT;
package body Clapet is
Ligne 192 :
end Répartir;
end Monnayeur.Définition_Pièces;
</syntaxhighlight>
</source>
 
=Corps des distributeurs d'ingrédients=
<sourcesyntaxhighlight lang="ada">
with ADPT;
package body Unité_Fabrication.Distributeur_Poudre is
Ligne 218 :
end Servir_Dose;
end Unité_Fabrication.Distributeur_Liquide;
</syntaxhighlight>
</source>
 
 
Ligne 224 :
<li><strong>'''Le paquetage ADPT'''</strong></li>
=Spécification=
<sourcesyntaxhighlight lang="ada">
package ADPT is
 
Ligne 340 :
:= new ADPT_Type'(ADPT_Valeur);
end ADPT;
</syntaxhighlight>
</source>
 
=Corps=
<sourcesyntaxhighlight lang="ada">
with Ada.Text_IO;
package body ADPT is
Ligne 461 :
 
end ADPT;
</syntaxhighlight>
</source>