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     ! 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;