Revamped tests to use the basic-unit-test project

1 files changed, 0 insertions, 161 deletions

diff --git a/test/ratnest-tests-errors.adb b/test/ratnest-tests-errors.adb
deleted file mode 100644
index 136f6c9..0000000
--- a/test/ratnest-tests-errors.adb
+++ /dev/null
@@ -1,161 +0,0 @@
-
-
-separate (Ratnest.Tests)
-package body Errors is
-
-
-    function Valid_Message_Check
-        return Test_Result is
-    begin
-        if  PE.Valid_Message ("abcde") or PE.Valid_Message ("sSYM") or
-            PE.Valid_Message ("sSYMp") or PE.Valid_Message ("p345") or
-            PE.Valid_Message ("pOne") or PE.Valid_Message ("sSYMp1sNEXT") or
-            PE.Valid_Message ("sSYMp1.2") or PE.Valid_Message ("sABcDp12") or
-            not PE.Valid_Message ("sSYMp0") or not PE.Valid_Message ("sAp12") or
-            not PE.Valid_Message ("sNAMEp34sSYMp02") or not PE.Valid_Message ("") or
-            not PE.Valid_Message ("sA_Bp3") or not PE.Valid_Message ("sAp1sAp1")
-        then
-            return Fail;
-        end if;
-        return Pass;
-    end Valid_Message_Check;
-
-
-
-
-
-    function Valid_Identifier_Check
-        return Test_Result
-    is
-        Pass_Array : PE.Error_Info_Array :=
-            ((+"A", 1), (+"ABC", 2), (+"AB_CD", 3), (+"A_B_CD", 4));
-        Fail_Array : PE.Error_Info_Array :=
-            ((+"_", 1), (+"_A", 2), (+"A_", 3), (+"A__B", 4), (+"A%B", 3));
-    begin
-        for EI of Pass_Array loop
-            if  not PE.Valid_Identifier (EI.Symbol) or
-                not PE.Valid_Identifier (-EI.Symbol)
-            then
-                return Fail;
-            end if;
-        end loop;
-        for EI of Fail_Array loop
-            if  PE.Valid_Identifier (EI.Symbol) or
-                PE.Valid_Identifier (-EI.Symbol)
-            then
-                return Fail;
-            end if;
-        end loop;
-        if  not PE.Valid_Identifier_Array (Pass_Array) or
-            PE.Valid_Identifier_Array (Fail_Array)
-        then
-            return Fail;
-        end if;
-        return Pass;
-    end Valid_Identifier_Check;
-
-
-
-
-
-    function Join_Check
-        return Test_Result
-    is
-        Array_1 : PE.Error_Info_Array := ((+"A", 1), (+"B", 2));
-        Msg_1 : PE.Error_Message := PE.Encode_Array (Array_1);
-
-        Array_2 : PE.Error_Info_Array := ((+"C", 3), (+"D", 4));
-        Msg_2 : PE.Error_Message := PE.Encode_Array (Array_2);
-
-        Msg_3 : PE.Error_Message := PE.Join (Msg_1, Msg_2);
-
-        Array_4 : PE.Error_Info_Array := ((+"A", 1), (+"B", 2), (+"C", 3), (+"D", 4));
-        Msg_4 : PE.Error_Message := PE.Encode_Array (Array_4);
-
-        Array_5 : PE.Error_Info_Array := ((+"A", 1), (+"B", 4));
-        Msg_5 : PE.Error_Message := PE.Encode_Array (Array_5);
-
-        Array_6 : PE.Error_Info_Array := ((+"A", 1), (+"C", 3));
-        Msg_6 : PE.Error_Message := PE.Encode_Array (Array_6);
-
-        Msg_7 : PE.Error_Message := PE.Join (Msg_5, Msg_6);
-
-        Array_8 : PE.Error_Info_Array := ((+"A", 1), (+"B", 4), (+"C", 3));
-        Msg_8 : PE.Error_Message := PE.Encode_Array (Array_8);
-    begin
-        if Msg_3 /= Msg_4 or Msg_7 /= Msg_8 then
-            return Fail;
-        end if;
-        return Pass;
-    end Join_Check;
-
-
-
-
-
-    function Encode_1_Check
-        return Test_Result is
-    begin
-        --  Encode with a String and a Natural
-        if PE.Encode ("ABC", 15) /= "sABCp15" then
-            return Fail;
-        end if;
-        return Pass;
-    end Encode_1_Check;
-
-
-    function Encode_2_Check
-        return Test_Result is
-    begin
-        --  Encode with an Unbounded_String and a Natural
-        if PE.Encode (+"ABC", 15) /= "sABCp15" then
-            return Fail;
-        end if;
-        return Pass;
-    end Encode_2_Check;
-
-
-    function Encode_3_Check
-        return Test_Result is
-    begin
-        --  Encode with an Error_Info
-        if PE.Encode ((+"ABC", 15)) /= "sABCp15" then
-            return Fail;
-        end if;
-        return Pass;
-    end Encode_3_Check;
-
-
-    function Encode_4_Check
-        return Test_Result is
-    begin
-        --  Encode with an Error_Info_Array
-        if  PE.Encode_Array (((+"A", 3), (+"BC", 2), (+"ABC", 1), (+"B", 4))) /=
-            "sAp3sBCp2sABCp1sBp4"
-        then
-            return Fail;
-        end if;
-        return Pass;
-    end Encode_4_Check;
-
-
-
-
-
-    function Decode_Check
-        return Test_Result
-    is
-        use type PE.Error_Info_Array;
-    begin
-        if PE.Decode ("sAp1sBp3sCp10sDEFp456") /=
-            ((+"A", 1), (+"B", 3), (+"C", 10), (+"DEF", 456))
-        then
-            return Fail;
-        end if;
-        return Pass;
-    end Decode_Check;
-
-
-end Errors;
-
-