1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
-
+
+
|
------------------------------------------------------------------------------
-- Copyright (c) 2011, Natacha Porté --
-- Copyright (c) 2011-2013, Natacha Porté --
-- --
-- Permission to use, copy, modify, and distribute this software for any --
-- purpose with or without fee is hereby granted, provided that the above --
-- copyright notice and this permission notice appear in all copies. --
-- --
-- THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES --
-- WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF --
-- MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR --
-- 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.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;
|
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
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
|
+
+
+
+
+
+
+
+
+
+
+
|
begin
Accumulators.Tests.Test (Report, Acc);
end;
NT.End_Section (Report);
NT.End_Section (Report);
end All_Blackbox_Tests;
procedure All_Greybox_Tests (Report : in out Natools.Tests.Reporter'Class)
is
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)
|