adacl_eastrings_test.ads

1--------------------------------------------------------------- {{{1 ----------
2--: Copyright © 2023 … 2023 Martin Krischik «krischik@users.sourceforge.net»
3------------------------------------------------------------------------------
4--: This library is free software; you can redistribute it and/or modify it
5--: under the terms of the GNU Library General Public License as published by
6--: the Free Software Foundation; either version 2 of the License, or (at your
7--: option) any later version.
8--:
9--: This library is distributed in the hope that it will be useful, but
10--: WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
11--: or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Library General Public
12--: License for more details.
13--:
14--: You should have received a copy of the GNU Library General Public License
15--: along with this library; if not, write to the Free Software Foundation,
16--: Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
17--------------------------------------------------------------- }}}1 ----------
18pragma License (Modified_Gpl);
19pragma Ada_2022;
20
21with Ada.Directories;
22with AdaCL.Assert.Arrays;
23with AdaCL.Assert.Discrete;
24with AdaCL.Assert.Pointer;
25with AdaCL.Assert;
26with AdaCL.Base;
27with AdaCL.Limited_Base;
28with AUnit.Assertions;
29with Interfaces;
30
31--
32-- Root Package for AdaCL tests
33--
34package AdaCL_EAStrings_Test is
35 package Assert is new AdaCL.Assert (Report_Assertion => AUnit.Assertions.Assert);
36
37 package Assert_File_Size is new Assert.Discrete (Discrete_Type => Ada.Directories.File_Size);
38 package Assert_Integer is new Assert.Discrete (Discrete_Type => Integer);
39 package Assert_Unsigned_16 is new Assert.Discrete (Discrete_Type => Interfaces.Unsigned_16);
40 package Assert_Unsigned_32 is new Assert.Discrete (Discrete_Type => Interfaces.Unsigned_32);
41 package Assert_Unsigned_64 is new Assert.Discrete (Discrete_Type => Interfaces.Unsigned_64);
42 package Assert_Unsigned_8 is new Assert.Discrete (Discrete_Type => Interfaces.Unsigned_8);
43
44 package Assert_String is new Assert.Arrays
45 (Element_Type => Character,
46 Index_Type => Positive,
47 Array_Type => String);
48
49 package Assert_Wide_String is new Assert.Arrays
50 (Element_Type => Wide_Character,
51 Index_Type => Positive,
52 Array_Type => Wide_String);
53
54 package Assert_Wide_Wide_String is new Assert.Arrays
55 (Element_Type => Wide_Wide_Character,
56 Index_Type => Positive,
57 Array_Type => Wide_Wide_String);
58
59 package Assert_Base is new Assert.Pointer
60 (Element_Type => AdaCL.Base.Object_Interface'Class, Element_Access => AdaCL.Base.Object_Class);
61
62 package Assert_Limited_Base is new Assert.Pointer
63 (Element_Type => AdaCL.Limited_Base.Object_Interface'Class, Element_Access => AdaCL.Limited_Base.Object_Class);
64
65 Trace_Directory : constant String := "share/AdaCL_EAStrings_Test/";
66 Trace_File : constant String := Trace_Directory & "AdaCL_EAStrings_Test.log";
67end AdaCL_EAStrings_Test;
68
69---------------------------------------------------------------- {{{ ----------
70--: vim: set textwidth=0 nowrap tabstop=8 shiftwidth=3 softtabstop=3 expandtab :
71--: vim: set filetype=ada fileencoding=utf-8 fileformat=unix foldmethod=expr :
72--: vim: set spell spelllang=en_gb