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
|
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
|
-
-
-
-
+
+
|
-- ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF --
-- OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. --
------------------------------------------------------------------------------
------------------------------------------------------------------------------
-- Natools.Chunked_Strings.Tests is the test suite for Chunked_String. --
-- --
-- It currently contains only black-box tests (i.e. without any assumption --
-- on the internal implementaiton), taken from Unbounded_String tests in --
-- ACATS. --
-- --
-- It also provides private helper functions used in more specialized test --
-- packages. --
------------------------------------------------------------------------------
with Natools.Tests;
generic package Natools.Chunked_Strings.Tests is
pragma Preelaborate (Tests);
procedure All_Blackbox_Tests (Report : in out Natools.Tests.Reporter'Class);
procedure All_Greybox_Tests (Report : in out Natools.Tests.Reporter'Class);
procedure All_Whitebox_Tests (Report : in out Natools.Tests.Reporter'Class);
procedure All_Tests (Report : in out Natools.Tests.Reporter'Class);
private
procedure Dump (Report : in out Natools.Tests.Reporter'Class;
Dumped : in Chunked_String);
|