Natools

Diff
Login

Differences From Artifact [2b967f59a6]:

To Artifact [05e270656b]:


11
12
13
14
15
16
17


18
19
20










21
22
23
24
25




































26
27
28
29
30
31
32
33
34
35

36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
-- ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES   --
-- WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN    --
-- ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF  --
-- OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.           --
------------------------------------------------------------------------------

with Natools.Time_Statistics.Coarse_Timers;



package body Natools.Time_Statistics.Tests is











   procedure Check is new NT.Generic_Check
     (Natural, "=", Natural'Image, False);

   procedure Check is new NT.Generic_Check
     (Duration, "=", Duration'Image, False);






































   -------------------------
   -- Complete Test Suite --
   -------------------------

   procedure All_Tests (Report : in out NT.Reporter'Class) is
   begin
      Summary_Accumulator (Report);
      Coarse_Timer (Report);

   end All_Tests;



   -----------------------
   -- Inidividual Tests --
   -----------------------

   procedure Coarse_Timer (Report : in out NT.Reporter'Class) is
      Test : NT.Test := Report.Item ("Coarse timer standard use");
      Total_Length : constant Duration := 0.2;
   begin
      declare
         Stats : aliased Summary;
      begin
         declare
            Actual_Auto : Coarse_Timers.Auto_Timer (Stats'Access);
            Aborted_Auto : Coarse_Timers.Auto_Timer (Stats'Access);
            Manual : Coarse_Timers.Manual_Timer (Stats'Access);

            pragma Unreferenced (Actual_Auto);
         begin

            Manual.Start;
            Check (Test, 0, Stats.Sample_Count);

            delay Total_Length / 2;

            Aborted_Auto.Cancel;
            Manual.Stop;
            Check (Test, 1, Stats.Sample_Count, "Sample count");
            Manual.Start;

            delay Total_Length / 2;

            Manual.Cancel;
            Check (Test, 1, Stats.Sample_Count, "Sample count");
         end;

         Check (Test, 2, Stats.Sample_Count, "Sample count");
      end;
   exception
      when Error : others => Test.Report_Exception (Error);
   end Coarse_Timer;


   procedure Summary_Accumulator (Report : in out NT.Reporter'Class) is
      Test : NT.Test := Report.Item ("Summary accumulator");
   begin
      declare
         Stats : Summary;
      begin







>
>



>
>
>
>
>
>
>
>
>
>





>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>










>










<

<
<
<
<
<
<
|
|
<
<
>
|
<

<

<
<
<
<
|
<
|
<
<
|
|
<
<


|








11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94

95






96
97


98
99

100

101




102

103


104
105


106
107
108
109
110
111
112
113
114
115
116
-- ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES   --
-- WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN    --
-- ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF  --
-- OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.           --
------------------------------------------------------------------------------

with Natools.Time_Statistics.Coarse_Timers;
with Natools.Time_Statistics.Fine_Timers;
with Natools.Time_Statistics.Generic_Timers;

package body Natools.Time_Statistics.Tests is

   generic
      with package Timers is new Generic_Timers (<>);
      Total_Length : in Duration;
   procedure Test_Timer (Test : in out NT.Test);


   ------------------------------
   -- Local Helper Subprograms --
   ------------------------------

   procedure Check is new NT.Generic_Check
     (Natural, "=", Natural'Image, False);

   procedure Check is new NT.Generic_Check
     (Duration, "=", Duration'Image, False);


   procedure Test_Timer (Test : in out NT.Test) is
      Stats : aliased Summary;
   begin
      declare
         Actual_Auto : Timers.Auto_Timer (Stats'Access);
         Aborted_Auto : Timers.Auto_Timer (Stats'Access);
         Manual : Timers.Manual_Timer (Stats'Access);

         pragma Unreferenced (Actual_Auto);
      begin
         Manual.Start;
         Check (Test, 0, Stats.Sample_Count);

         delay Total_Length / 2;

         Aborted_Auto.Cancel;
         Manual.Stop;
         Check (Test, 1, Stats.Sample_Count, "Sample count");
         Manual.Start;

         delay Total_Length / 2;

         Manual.Cancel;
         Check (Test, 1, Stats.Sample_Count, "Sample count");
      end;

      Check (Test, 2, Stats.Sample_Count, "Sample count");
   end Test_Timer;


   procedure Coarse_Timer is new Test_Timer (Coarse_Timers, 0.2);

   procedure Fine_Timer is new Test_Timer (Fine_Timers, 0.2);



   -------------------------
   -- Complete Test Suite --
   -------------------------

   procedure All_Tests (Report : in out NT.Reporter'Class) is
   begin
      Summary_Accumulator (Report);
      Coarse_Timer (Report);
      Fine_Timer (Report);
   end All_Tests;



   -----------------------
   -- Inidividual Tests --
   -----------------------

   procedure Coarse_Timer (Report : in out NT.Reporter'Class) is
      Test : NT.Test := Report.Item ("Coarse timer standard use");

   begin






      Coarse_Timer (Test);
   exception


      when Error : others => Test.Report_Exception (Error);
   end Coarse_Timer;








   procedure Fine_Timer (Report : in out NT.Reporter'Class) is

      Test : NT.Test := Report.Item ("Fine timer standard use");


   begin
      Fine_Timer (Test);


   exception
      when Error : others => Test.Report_Exception (Error);
   end Fine_Timer;


   procedure Summary_Accumulator (Report : in out NT.Reporter'Class) is
      Test : NT.Test := Report.Item ("Summary accumulator");
   begin
      declare
         Stats : Summary;
      begin