DataMuseum.dk

top - metrics - download

    Length: 1430 (0x596)
    Types: TextFile
    Names: »CHRONO_ADA«

└─⟦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 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;