package file is
maxsize_file : constant := 10;
Erreur_FileVide : exception;
Erreur_FilePleine : exception;
type int_array is array (natural range 1..maxsize_file) of integer;
type MaFile is record
data : int_array;
head, queue : natural;
size : integer;
end record;
initFile : constant MaFile := ((others => 0), 1, 1, 0);
procedure enfiler(f: in out MaFile; e : integer);
procedure defiler(f: in out MaFile);
function tete(f: in MaFile) return integer;
function fileVide(f: in MaFile) return Boolean;
function filePleine(f: in MaFile) return Boolean;
end file;