DataMuseum.dk

top - download

    Length: 1305 (0x519)
    Types: TextFile
    Names: »B«

└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
    └─ ⟦124ff5788⟧ »DATA« 
        └─⟦this⟧ 
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─ ⟦6f12a12be⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─ ⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Text_Io;
package body Essai_Tache is


    procedure Travail is
    begin
        Text_Io.Put_Line ("Je Travail");
    end Travail;


    task Tache is  
        entry Marche;
        entry Arret;
        entry Fin;
    end Tache;

    task body Tache is
        En_Marche : Boolean := False;
        La_Fin    : Boolean := False;
    begin
        loop
            select
                when En_Marche =>
                    accept Arret do
                        En_Marche := False;
                    end Arret;

            or

                when not En_Marche =>
                    accept Marche do
                        En_Marche := True;
                    end Marche;

            or
                accept Fin do
                    La_Fin := True;
                end Fin;


            else

                if En_Marche then
                    Travail;
                end if;

                if La_Fin then
                    exit;
                end if;

            end select;

        end loop;
    end Tache;


    procedure Essai is
    begin

        Tache.Marche;
        delay Duration (2);
        Tache.Arret;
        delay Duration (3);
        Tache.Marche;
        delay Duration (2);
        Tache.Arret;  
        Tache.Fin;


    end Essai;
end Essai_Tache;