La pile

Le domaine d'intérêt des travaux touchant le Génie Logiciel, il paraît bien naturel de présenter l'exemple de la pile. On s'intéresse cependant plus ici au mode d'implantation de la pile qu'à sa qualité de type abstrait de données générique.

1. Généricité en LTR3

2. La forme générique de la pile

3. Les deux instanciations

4. Conclusion

5. La représentation « textuelle »

1. Généricité en LTR3

L'exemple est présenté dans le langage LTR3, qui n'est pas générique ; mais parce qu'il est modulaire, on peut assez facilement introduire une pseudo-généricité qui semble bien suffisante. La technique consiste à définir le "module générique" en le paramétrant par un module de définition des paramètres ; chaque instanciation s'effectue alors en deux temps :

• construction du corps du module des paramètres ;
• recopie du module générique.

Par exemple :

Le module générique

• On définit complètement le module générique ;
• On "spécifie" le module des paramètres en définissant son interface – l'utilisateur connaîtra donc les paramètres à fournir pour une instanciation.

Une instanciation