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
|
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
-
-
-
-
+
+
+
+
+
+
-
-
-
-
-
-
-
-
+
+
-
-
-
-
-
+
|
procedure Reset (S : in out Bounded_String) is
begin
S.Size := 0;
end Reset;
procedure Check
(Test : in out NT.Test;
Found : in Bounded_String;
Expected : in String;
Context : in String := "") is
begin
if Get (Found) /= Expected then
if Context /= "" then
Test.Fail (Context
& ": found """ & Get (Found) & """, expected """
& Expected & '"');
else
Test.Fail ("Found """ & Get (Found) & """, expected """
& Expected & '"');
end if;
end if;
end Check;
|
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
|
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
|
-
+
|
-- Beat: set at 0.0, finalized at 4.5, run at 1.0, 2.0, 3.0, 4.0.
-- Test_Entry: set at 0.5, reset at 4.0, run at 1.5, 2.5, 3.5.
-- Beat: set at 4.5, finalized at 9.5, run at 5.0, 6.0, 7.0, 8.0, 9.0.
-- Slow: set at 4.5, finalized at 9.5, run at 6.5, 8.5.
-- Fast: set at 6.5, reset at 8.0,
-- run at 6.7, 6.9, 7.1, 7.3, 7.5, 7.7, 7.9
Check (Test, Log, ".1.1.1.|..sff.fffff.s.");
Check (Test, Get (Log), ".1.1.1.|..sff.fffff.s.");
exception
when Error : others => Test.Report_Exception (Error);
end Basic_Usage;
procedure Delete_While_Busy (Report : in out NT.Reporter'Class) is
Test : NT.Test := Report.Item ("Delete entry while callback is running");
|
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
|
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
|
-
+
-
+
|
(Backend => Log'Access,
Open => '(',
Close => ')',
Wait => Total / 4));
delay Total / 4;
end;
Check (Test, Log, "(", "Before wait");
Check (Test, Get (Log), "(", "Before wait");
delay Total / 2;
Check (Test, Log, "()", "After wait");
Check (Test, Get (Log), "()", "After wait");
exception
when Error : others => Test.Report_Exception (Error);
end Delete_While_Busy;
procedure Insert_While_Busy (Report : in out NT.Reporter'Class) is
Test : NT.Test := Report.Item ("Insert entry while callback is running");
|
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
|
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
|
-
+
|
-- Timeline: 0 . 1/8 . 1/4 . 3/8 . 1/2 . 5/8 . 3/4 . 7/8 . 1
-- Set: L S
-- Finalize: *
-- Ticks: L L S L S L S L S L
-- Run: <----L---->S <----L---->S <----L---->
delay Total / 8;
Check (Test, Log, "().().()");
Check (Test, Get (Log), "().().()");
exception
when Error : others => Test.Report_Exception (Error);
end Insert_While_Busy;
procedure Time_Collision (Report : in out NT.Reporter'Class) is
Test : NT.Test := Report.Item ("Simultaneous activation of events");
|
237
238
239
240
241
242
243
244
245
246
247
248
249
|
229
230
231
232
233
234
235
236
237
238
239
240
241
|
-
+
|
(Common, Test_Callback'(Backend => Log'Access, Symbol => '2'));
Third.Set
((Origin => Common.Origin, Period => 2 * Common.Period),
Test_Callback'(Backend => Log'Access, Symbol => '3'));
delay Total - Tick / 2;
end;
Check (Test, Log, "12312123");
Check (Test, Get (Log), "12312123");
exception
when Error : others => Test.Report_Exception (Error);
end Time_Collision;
end Natools.Cron.Tests;
|