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 »

5. La représentation « textuelle »

La forme générique

Elle donne la structure des algorithmes qui réalisent les procédures de la pile.

BODY OF pile_générique;
   PROCEDURE Initialiser( p:INOUT pile );
   BEGIN
      {annuler-pointeur}
   END;
   PROCEDURE Mettre( p:INOUT pile; e:IN element );
   BEGIN
      {incrémenter-pointeur}
      {écrire-valeur}
   END;
   PROCEDURE Prendre( p:INOUT pile; e:OUT element );
   BEGIN
      {lire-valeur}
      {décrémenter-pointeur}
   END;
END BODY;

Les instanciations « textuelles »

(def annuler-pointeur ()
   ("p.b := 0;"))

(def annuler-pointeur ()
   ("p := nil;"))

(def incrémenter-pointeur ()
   ("p.b := p.b + 1;"))

(def incrémenter-pointeur ()
   (("VAR q:pile;")
    "NEW q;
     q.b := p;
     p := q;"))

(def décrémenter-pointeur ()
   ("p.b := p.b - 1;"))

(def décrémenter-pointeur ()
   ("p := p.b;"))

(def écrire-valeur ()
   ("p.a[p.b] := e;"))

(def écrire-valeur ()
   ("p.a := e;"))

(def lire-valeur ()
   ("e := p.a[p.b];"))

(def lire-valeur ()
   ("e := p.a;"))

Les formes « visuelles »

PROCEDURE Initialiser( p:INOUT pile);
BEGIN
   p.b := 0;
END;

PROCEDURE Initialiser( p:INOUT pile);
BEGIN
   p := nil;
END;

PROCEDURE Mettre( p:INOUT pile; e:IN element );
BEGIN
   p.b := p.b + 1;
   p.a[p.b] := e;
END;

PROCEDURE Mettre( p:INOUT pile; e:IN element );
VAR q:pile;
BEGIN
   NEW q;
   q.b := p;
   p := q;
   p.a := e;
END;

PROCEDURE Prendre( p:INOUT pile; e:OUT element );
BEGIN
   e := p.a[p.b];
   p.b := p.b - 1;
END;

PROCEDURE Prendre( p:INOUT pile; e:OUT element );
BEGIN
   e := p.a;
   p := p.b;
END;

L'instanciation est réalisée par le choix, sous l'éditeur, de l'une des deux implantations proposées : on choisit donc d'évaluer la forme générique précédente dans un contexte qui contient les définitions des textes annuler-pointeur, incrémenter-pointeur, décrémenter-pointeur, écrire-valeur et lire-valeur, celles de gauche ou de droite.