DataMuseum.dk

top - download

    Length: 1380 (0x564)
    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 Calendar;
with Text_Io;
with Expertsystem;
use Calendar;
use Expertsystem;
package body Chrono is
    package Datio is new Text_Io.Fixed_Io (Duration);
    Taille : Natural := 50;
    type Ligne is
        record
            Nom   : Natural;
            Info  : Natural;
            Debut : Time;
            Fin   : Time;
        end record;
    Times : array (1 .. Taille) of Ligne;
    Index : Natural range 1 .. Taille := 1;

    procedure Reset is
    begin
        Index := 1;
    end Reset;

    procedure Start (Nom : Natural) is
    begin
        Times (Index).Nom   := Nom;
        Times (Index).Debut := Calendar.Clock;
    end Start;

    procedure Stop (Info : Natural) is
    begin
        Times (Index).Info := Info;
        Times (Index).Fin  := Calendar.Clock;
    end Stop;

--	procedure pause;
--	procedure continue;

    procedure Next (Info : Natural) is
    begin
        Times (Index).Info := Info;
        Index              := Index + 1;
    end Next;

    procedure Display is
    begin
        Expertsystem.Put_Line ("Chronometrages : ");
        for I in 1 .. Index - 1 loop
            Expertsystem.Put (I);
            Expertsystem.Put (Times (I).Nom);
            Expertsystem.Put (Times (I).Info);
            Datio.Put (Times (I).Fin - Times (I).Debut);
            Expertsystem.Put_Line ("  ");
        end loop;
    end Display;
end Chrono;