Topspeed_JPI/JPI-1/def/pile.def

DEFINITION MODULE pile;

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

TYPE  t_ptr_element = POINTER TO t_element;
      t_element     = RECORD
                       clef : t_chaine;
                       lien : t_ptr_element;
                      END;


TYPE t_pile        = RECORD
                       debut,sommet : t_ptr_element;
                      END;


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 pile.