strona6

with Ada.Command_Line, Ada.Text_IO, Ada.Integer_Text_IO, Ada.Float_Text_IO, Ada.Exceptions, Ada.Unchecked_Deallocation, Zadania, Bufor, Semafor_Bin;

use Ada.Command_Line, Ada.Text_IO, Ada.Integer_Text_IO, Ada.Float_Text_IO, Ada.Exceptions, Zadania, Bufor, Semafor_Bin;

procedure Main is

    procedure Free is new Ada.Unchecked_Deallocation
        (Bufor_Obj, Bufor_Obj_Acc);

    procedure Free is new Ada.Unchecked_Deallocation
        (Semafor_Bin.Semafor_Bin, Semafor_Bin.Semafor_Bin_Acc);

    prod1 : Producent(1);
    prod2 : Producent(2);
    prod3 : Producent(3);
    kons1 : Konsument(1);
    kons2 : Konsument(2);

begin
    licnik_prod := 20;
    licnik_kons := 30;

    buf_acc := new Bufor_Obj(5);
    sem_bin_acc := new Semafor_Bin.Semafor_Bin(1);

    buf_acc.Start;

    prod1.Start;
    prod2.Start;
    prod3.Start;
    kons1.Start;
    kons2.Start;

    prod1.Stop;
    prod2.Stop;
    prod3.Stop;
    kons1.Stop;
    kons2.Stop;

    buf_acc.Stop;

    free(buf_acc);
    free(sem_bin_acc);

    put("Koniec programu");
    new_line;
end Main;