Return to timing_package.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / System

Annotation of OpenXM_contrib/PHC/Ada/System/timing_package.ads, Revision 1.1.1.1

1.1       maekawa     1: with text_io;                 use text_io;
                      2:
                      3: package Timing_Package is
                      4:
                      5: -- DESCRIPTION :
                      6: --   This package allows to perform timings.
                      7:
                      8: -- ACKNOWLEGMENT :
                      9: --   Originally developed by Dave Emery (emery@aries.mitre.org),
                     10: --   but modified by me.
                     11:
                     12:   type Timing_Widget is private;
                     13:
                     14: -- OPERATIONS :
                     15:
                     16:   procedure tstart ( widget : out Timing_Widget );
                     17:
                     18:   -- DESCRIPTION : Starts the timing.
                     19:
                     20:   procedure tstop  ( widget : in out Timing_Widget );
                     21:
                     22:   -- DESCRIPTION : Stops the timing.
                     23:
                     24:   function Elapsed_Total_Time  ( widget : Timing_Widget ) return duration;
                     25:   function Elapsed_User_Time   ( widget : Timing_Widget ) return duration;
                     26:   function Elapsed_System_Time ( widget : Timing_Widget ) return duration;
                     27:
                     28:   -- DESCRIPTION : Returns elapsed time.
                     29:
                     30:   procedure print_time ( file : file_type; mach_time : duration );
                     31:
                     32:   -- DESCRIPTION :
                     33:   --   Writes the duration in the standard way.
                     34:
                     35:   procedure print_hms ( file : file_type; mach_time : duration );
                     36:
                     37:   -- DESCRIPTION :
                     38:   --   Writes the duration in a hours/minutes/seconds output format.
                     39:
                     40:   procedure print_times ( widget : Timing_Widget; tag : string := "" );
                     41:
                     42:   -- DESCRIPTION :
                     43:   --   Prints as much information as is available on standard output.
                     44:
                     45:   procedure print_times ( file : file_type;
                     46:                           widget : Timing_Widget; tag : string := "" );
                     47:
                     48:   -- DESCRIPTION :
                     49:   --   Prints as much information as is available on a file.
                     50:
                     51:   function times_to_string ( widget : Timing_Widget; delimiter : string := ":" )
                     52:                            return string;
                     53:
                     54:   -- DESCRIPTION :
                     55:   --   Returns a string with information.
                     56:
                     57: private
                     58:
                     59:   type timing_item;
                     60:   type Timing_Widget is access timing_item;
                     61:
                     62: end Timing_Package;