DataMuseum.dk

top - metrics - download

    Length: 1429 (0x595)
    Types: TextFile
    Notes: R1k Text-file segment

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦bb6633391⟧ 
            └─⟦this⟧ 

TextFile

with calendar ; with text_io; with expertSystem;
use calendar  ; use expertSystem;



package chrono is

	procedure reset;
	procedure start(nom  : natural);
	procedure stop (info : natural);
--	procedure pause;
--	procedure continue;
	procedure next (info : natural);
	procedure display;
end chrono;

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