with Piles;

-- Programme de test du module Pile.
procedure Test_Piles is

	package Pile_Caractere is
		new Piles (T_Element => Character);
	use Pile_Caractere;


	-- Initialiser une pile avec 'O' puis 'K' empilés dans la pile vide.
	procedure Initialiser_Avec_OK (Pile : out T_Pile) is
	begin
		Initialiser (Pile);
		Empiler (Pile, 'O');
		Empiler (Pile, 'K');
	end Initialiser_Avec_OK;


	procedure Tester_Est_Vide is
		Pile1, Pile2 : T_Pile;
	begin
		Initialiser (Pile1);
		pragma Assert (Est_Vide (Pile1));

		Empiler (Pile1, 'A');
		pragma Assert (not Est_Vide (Pile1));

		Initialiser_Avec_OK (Pile2);
		pragma Assert (not Est_Vide (Pile2));
	end Tester_Est_Vide;


	procedure Tester_Empiler is
		Pile1 : T_Pile;
	begin
		Initialiser_Avec_OK (Pile1);

		Empiler (Pile1, 'N');
		pragma Assert ('N' = Sommet (Pile1));
	end Tester_Empiler;


	procedure Tester_Depiler is
		Pile1 : T_Pile;
	begin
		Initialiser_Avec_OK (Pile1);
		Depiler (Pile1);
		pragma Assert ('O' = Sommet (Pile1));
		Depiler (Pile1);
		pragma Assert (Est_Vide (Pile1));
	end Tester_Depiler;


begin
	Tester_Est_Vide;
	Tester_Empiler;
	Tester_Depiler;
end Test_Piles;