Tests for Packrat.Util set predicates

3 files changed, 129 insertions, 4 deletions

diff --git a/test/ratnest-tests.adb b/test/ratnest-tests.adb
index 2479998..3309b2a 100644
--- a/test/ratnest-tests.adb
+++ b/test/ratnest-tests.adb
@@ -3,6 +3,7 @@
 with
 
     Ada.Characters.Latin_1,
+    Ada.Strings.Maps,
     Packrat.Util;
 
 
@@ -10,11 +11,126 @@ package body Ratnest.Tests is
 
 
     package Latin renames Ada.Characters.Latin_1;
+    package Strmaps renames Ada.Strings.Maps;
     package PU renames Packrat.Util;
 
 
 
 
+
+    function In_Set_Check
+        return Test_Result
+    is
+        use type Strmaps.Character_Set;
+        Set_1 : Strmaps.Character_Set := Strmaps.To_Set ("abcxyz");
+        Set_2 : Strmaps.Character_Set := Strmaps.To_Set ("!""#$");
+        function Func_1 is new PU.In_Set (Set_1);
+        function Func_2 is new PU.In_Set (Set_2);
+    begin
+        --  Func_1 testing
+        for I in Integer range Character'Pos (Character'First) .. Character'Pos ('a') - 1 loop
+            if Func_1 (Character'Val (I)) then
+                return Failure;
+            end if;
+        end loop;
+        for C in Character range 'a' .. 'c' loop
+            if not Func_1 (C) then
+                return Failure;
+            end if;
+        end loop;
+        for I in Integer range Character'Pos ('c') + 1 .. Character'Pos ('x') - 1 loop
+            if Func_1 (Character'Val (I)) then
+                return Failure;
+            end if;
+        end loop;
+        for C in Character range 'x' .. 'z' loop
+            if not Func_1 (C) then
+                return Failure;
+            end if;
+        end loop;
+        for I in Integer range Character'Pos ('z') + 1 .. Character'Pos (Character'Last) loop
+            if Func_1 (Character'Val (I)) then
+                return Failure;
+            end if;
+        end loop;
+        --  Func_2 testing
+        for I in Integer range Character'Pos (Character'First) .. Character'Pos ('!') - 1 loop
+            if Func_2 (Character'Val (I)) then
+                return Failure;
+            end if;
+        end loop;
+        for C in Character range '!' .. '$' loop
+            if not Func_2 (C) then
+                return Failure;
+            end if;
+        end loop;
+        for I in Integer range Character'Pos ('$') + 1 .. Character'Pos (Character'Last) loop
+            if Func_2 (Character'Val (I)) then
+                return Failure;
+            end if;
+        end loop;
+        return Success;
+    end In_Set_Check;
+
+
+    function Not_In_Set_Check
+        return Test_Result
+    is
+        use type Strmaps.Character_Set;
+        Set_1 : Strmaps.Character_Set := Strmaps.To_Set ("abcxyz");
+        Set_2 : Strmaps.Character_Set := Strmaps.To_Set ("!""#$");
+        function Func_1 is new PU.Not_In_Set (Set_1);
+        function Func_2 is new PU.Not_In_Set (Set_2);
+    begin
+        --  Func_1 testing
+        for I in Integer range Character'Pos (Character'First) .. Character'Pos ('a') - 1 loop
+            if not Func_1 (Character'Val (I)) then
+                return Failure;
+            end if;
+        end loop;
+        for C in Character range 'a' .. 'c' loop
+            if Func_1 (C) then
+                return Failure;
+            end if;
+        end loop;
+        for I in Integer range Character'Pos ('c') + 1 .. Character'Pos ('x') - 1 loop
+            if not Func_1 (Character'Val (I)) then
+                return Failure;
+            end if;
+        end loop;
+        for C in Character range 'x' .. 'z' loop
+            if Func_1 (C) then
+                return Failure;
+            end if;
+        end loop;
+        for I in Integer range Character'Pos ('z') + 1 .. Character'Pos (Character'Last) loop
+            if not Func_1 (Character'Val (I)) then
+                return Failure;
+            end if;
+        end loop;
+        --  Func_2 testing
+        for I in Integer range Character'Pos (Character'First) .. Character'Pos ('!') - 1 loop
+            if not Func_2 (Character'Val (I)) then
+                return Failure;
+            end if;
+        end loop;
+        for C in Character range '!' .. '$' loop
+            if Func_2 (C) then
+                return Failure;
+            end if;
+        end loop;
+        for I in Integer range Character'Pos ('$') + 1 .. Character'Pos (Character'Last) loop
+            if not Func_2 (Character'Val (I)) then
+                return Failure;
+            end if;
+        end loop;
+        return Success;
+    end Not_In_Set_Check;
+
+
+
+
+
     function Is_Digit_Check
         return Test_Result is
     begin
diff --git a/test/ratnest-tests.ads b/test/ratnest-tests.ads
index c0be0a9..fdcbe71 100644
--- a/test/ratnest-tests.ads
+++ b/test/ratnest-tests.ads
@@ -3,6 +3,16 @@
 package Ratnest.Tests is
 
 
+    function In_Set_Check return Test_Result;
+    function Not_In_Set_Check return Test_Result;
+
+    Set_Predicate_Tests : Test_Array :=
+       ((+"In_Set", In_Set_Check'Access),
+        (+"Not_In_Set", Not_In_Set_Check'Access));
+
+
+
+
     function Is_Digit_Check return Test_Result;
     function Is_Hex_Check return Test_Result;
     function Is_Letter_Check return Test_Result;
@@ -16,7 +26,6 @@ package Ratnest.Tests is
     function Is_Whitespace_Check return Test_Result;
     function Not_Whitespace_Check return Test_Result;
 
-
     Util_Predicate_Tests : Test_Array :=
        ((+"Is_Digit", Is_Digit_Check'Access),
         (+"Is_Hex", Is_Hex_Check'Access),
@@ -32,9 +41,6 @@ package Ratnest.Tests is
         (+"Not_Whitespace", Not_Whitespace_Check'Access));
 
 
-private
-
-
 end Ratnest.Tests;
 
 
diff --git a/test/test_main.adb b/test/test_main.adb
index 417ae7d..3ab5269 100644
--- a/test/test_main.adb
+++ b/test/test_main.adb
@@ -15,6 +15,9 @@ use
 procedure Test_Main is
 begin
     Put_Line ("Running tests for Packrat.Util...");
+    Put_Line ("Testing set predicates...");
+    Run_Tests (Set_Predicate_Tests);
+    Put_Line ("Testing ordinary predicates...");
     Run_Tests (Util_Predicate_Tests);
 end Test_Main;