DEFINITION MODULE pileter;

TYPE t_chaine = ARRAY[0..30] OF CHAR;


TYPE t_pile;      (* voici notre type opaque !!!! *)

(* Notez que le fichier d‚finition est identique au pr‚c‚dent mis … part notre
   type  opaque. Nous verrons que la partie impl‚mentation est trŠs diff‚rente.
   Nous en r‚aliserons une version diff‚rente qui utilisera les tableaux
*)


PROCEDURE cree(VAR p:t_pile);

PROCEDURE empile(VAR p:t_pile;chaine:t_chaine);

PROCEDURE depile(VAR p:t_pile);

PROCEDURE test_pile(VAR p:t_pile) : BOOLEAN;

PROCEDURE consulte(VAR p:t_pile):t_chaine;

PROCEDURE liste(VAR p :t_pile);

END pileter.