16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
with Natools.Chunked_Strings.Tests.Coverage;
with Natools.Chunked_Strings.Tests.CXA4010;
with Natools.Chunked_Strings.Tests.CXA4011;
with Natools.Chunked_Strings.Tests.CXA4030;
with Natools.Chunked_Strings.Tests.CXA4031;
with Natools.Chunked_Strings.Tests.CXA4032;
with Natools.Accumulators.Tests;
package body Natools.Chunked_Strings.Tests is
package NT renames Natools.Tests;
procedure All_Blackbox_Tests (Report : in out Natools.Tests.Reporter'Class)
is
|
>
|
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
with Natools.Chunked_Strings.Tests.Coverage;
with Natools.Chunked_Strings.Tests.CXA4010;
with Natools.Chunked_Strings.Tests.CXA4011;
with Natools.Chunked_Strings.Tests.CXA4030;
with Natools.Chunked_Strings.Tests.CXA4031;
with Natools.Chunked_Strings.Tests.CXA4032;
with Natools.Chunked_Strings.Tests.Memory;
with Natools.Accumulators.Tests;
package body Natools.Chunked_Strings.Tests is
package NT renames Natools.Tests;
procedure All_Blackbox_Tests (Report : in out Natools.Tests.Reporter'Class)
is
|
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
procedure Test_Coverage is new Coverage;
begin
NT.Section (Report, "Greybox tests for Chunked_Strings");
Test_Coverage (Report);
NT.End_Section (Report);
end All_Greybox_Tests;
procedure All_Tests (Report : in out Natools.Tests.Reporter'Class) is
begin
NT.Section (Report, "All tests of Chunked_Strings");
All_Blackbox_Tests (Report);
All_Greybox_Tests (Report);
NT.End_Section (Report);
end All_Tests;
procedure Dump (Report : in out Natools.Tests.Reporter'Class;
Dumped : in Chunked_String)
|
>
>
>
>
>
>
>
>
>
>
>
|
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
|
procedure Test_Coverage is new Coverage;
begin
NT.Section (Report, "Greybox tests for Chunked_Strings");
Test_Coverage (Report);
NT.End_Section (Report);
end All_Greybox_Tests;
procedure All_Whitebox_Tests (Report : in out Natools.Tests.Reporter'Class)
is
procedure Test_Memory is new Memory;
begin
NT.Section (Report, "Whitebox tests for Chunked_Strings");
Test_Memory (Report);
NT.End_Section (Report);
end All_Whitebox_Tests;
procedure All_Tests (Report : in out Natools.Tests.Reporter'Class) is
begin
NT.Section (Report, "All tests of Chunked_Strings");
All_Blackbox_Tests (Report);
All_Greybox_Tests (Report);
All_Whitebox_Tests (Report);
NT.End_Section (Report);
end All_Tests;
procedure Dump (Report : in out Natools.Tests.Reporter'Class;
Dumped : in Chunked_String)
|