summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/ratnest-tests.adb1426
-rw-r--r--test/ratnest-tests.ads230
-rw-r--r--test/test_main.adb18
3 files changed, 865 insertions, 809 deletions
diff --git a/test/ratnest-tests.adb b/test/ratnest-tests.adb
index 72023d0..0603d09 100644
--- a/test/ratnest-tests.adb
+++ b/test/ratnest-tests.adb
@@ -20,793 +20,827 @@ package body Ratnest.Tests 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 Failure;
- end if;
- return Success;
- 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)
+ 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 Failure;
end if;
- end loop;
- for EI of Fail_Array loop
- if PE.Valid_Identifier (EI.Symbol) or
- PE.Valid_Identifier (-EI.Symbol)
+ return Success;
+ 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 Failure;
+ end if;
+ end loop;
+ for EI of Fail_Array loop
+ if PE.Valid_Identifier (EI.Symbol) or
+ PE.Valid_Identifier (-EI.Symbol)
+ then
+ return Failure;
+ end if;
+ end loop;
+ if not PE.Valid_Identifier_Array (Pass_Array) or
+ PE.Valid_Identifier_Array (Fail_Array)
then
return Failure;
end if;
- end loop;
- if not PE.Valid_Identifier_Array (Pass_Array) or
- PE.Valid_Identifier_Array (Fail_Array)
- then
- return Failure;
- end if;
- return Success;
- end Valid_Identifier_Check;
+ return Success;
+ 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);
+ 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);
+ 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);
+ 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_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_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);
+ 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);
+ 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 Failure;
- end if;
- return Success;
- 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 Failure;
- end if;
- return Success;
- 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 Failure;
- end if;
- return Success;
- end Encode_2_Check;
+ 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 Failure;
+ end if;
+ return Success;
+ end Join_Check;
- function Encode_3_Check
- return Test_Result is
- begin
- -- Encode with an Error_Info
- if PE.Encode ((+"ABC", 15)) /= "sABCp15" then
- return Failure;
- end if;
- return Success;
- 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 Failure;
- end if;
- return Success;
- 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 Failure;
- end if;
- return Success;
- end Decode_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 Failure;
+ end if;
+ return Success;
+ 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 Failure;
+ end if;
+ return Success;
+ 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 Failure;
+ end if;
+ return Success;
+ end Encode_3_Check;
- function Token_Adjust_Check
- return Test_Result
- is
- type My_Labels is (One, Two, Three);
- package My_Tokens is new Packrat.Tokens (My_Labels, Character, String);
- A : My_Tokens.Token;
- begin
- declare
- B : My_Tokens.Token := My_Tokens.Create (One, 1, 3, "abc");
+ function Encode_4_Check
+ return Test_Result is
begin
- A := B;
- end;
- if not A.Initialized or else A.Value /= "abc" then
- return Failure;
- end if;
- return Success;
- end Token_Adjust_Check;
-
-
- function Token_Store_Check
- return Test_Result
- is
- type My_Labels is (One, Two, Three);
- package My_Tokens is new Packrat.Tokens (My_Labels, Character, String);
-
- T : My_Tokens.Token := My_Tokens.Create (One, 1, 3, "abc");
- begin
- if not T.Initialized or else
- T.Label /= One or else
- T.Start /= 1 or else T.Finish /= 3 or else
- T.Value /= "abc"
- then
- return Failure;
- end if;
- return Success;
- end Token_Store_Check;
-
+ -- Encode with an Error_Info_Array
+ if PE.Encode_Array (((+"A", 3), (+"BC", 2), (+"ABC", 1), (+"B", 4))) /=
+ "sAp3sBCp2sABCp1sBp4"
+ then
+ return Failure;
+ end if;
+ return Success;
+ 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 Failure;
+ end if;
+ return Success;
+ end Decode_Check;
- function Lex_Sequence_Check
- return Test_Result is
- begin
- return Failure;
- end Lex_Sequence_Check;
+ end Errors;
- function Lex_Count_Check
- return Test_Result is
- begin
- return Failure;
- end Lex_Count_Check;
- function Lex_Many_Check
- return Test_Result is
- begin
- return Failure;
- end Lex_Many_Check;
+ package body Tokens is
- function Lex_Many_Until_Check
- return Test_Result is
- begin
- return Failure;
- end Lex_Many_Until_Check;
+ function Adjust_Check
+ return Test_Result
+ is
+ type My_Labels is (One, Two, Three);
+ package My_Tokens is new Packrat.Tokens (My_Labels, Character, String);
- function Lex_Satisfy_Check
- return Test_Result is
- begin
- return Failure;
- end Lex_Satisfy_Check;
+ A : My_Tokens.Token;
+ begin
+ declare
+ B : My_Tokens.Token := My_Tokens.Create (One, 1, 3, "abc");
+ begin
+ A := B;
+ end;
+ if not A.Initialized or else A.Value /= "abc" then
+ return Failure;
+ end if;
+ return Success;
+ end Adjust_Check;
- function Lex_Satisfy_With_Check
- return Test_Result is
- begin
- return Failure;
- end Lex_Satisfy_With_Check;
+ function Store_Check
+ return Test_Result
+ is
+ type My_Labels is (One, Two, Three);
+ package My_Tokens is new Packrat.Tokens (My_Labels, Character, String);
+ T : My_Tokens.Token := My_Tokens.Create (One, 1, 3, "abc");
+ begin
+ if not T.Initialized or else
+ T.Label /= One or else
+ T.Start /= 1 or else T.Finish /= 3 or else
+ T.Value /= "abc"
+ then
+ return Failure;
+ end if;
+ return Success;
+ end Store_Check;
- function Lex_Match_Check
- return Test_Result is
- begin
- return Failure;
- end Lex_Match_Check;
+ end Tokens;
- function Lex_Match_With_Check
- return Test_Result is
- begin
- return Failure;
- end Lex_Match_With_Check;
- function Lex_Multimatch_Check
- return Test_Result is
- begin
- return Failure;
- end Lex_Multimatch_Check;
- function Lex_Take_Check
- return Test_Result is
- begin
- return Failure;
- end Lex_Take_Check;
+ package body Lexer is
- function Lex_Take_While_Check
- return Test_Result is
- begin
- return Failure;
- end Lex_Take_While_Check;
+ function Sequence_Check
+ return Test_Result is
+ begin
+ return Failure;
+ end Sequence_Check;
- function Lex_Take_Until_Check
- return Test_Result is
- begin
- return Failure;
- end Lex_Take_Until_Check;
+ function Count_Check
+ return Test_Result is
+ begin
+ return Failure;
+ end Count_Check;
- function Line_Start_Check
- return Test_Result is
- begin
- return Failure;
- end Line_Start_Check;
+ function Many_Check
+ return Test_Result is
+ begin
+ return Failure;
+ end Many_Check;
- function Line_End_Check
- return Test_Result is
- begin
- return Failure;
- end Line_End_Check;
+ function Many_Until_Check
+ return Test_Result is
+ begin
+ return Failure;
+ end Many_Until_Check;
- function Input_Start_Check
- return Test_Result is
- begin
- return Failure;
- end Input_Start_Check;
+ function Satisfy_Check
+ return Test_Result is
+ begin
+ return Failure;
+ end Satisfy_Check;
- function Input_End_Check
- return Test_Result is
- begin
- return Failure;
- end Input_End_Check;
+ function Satisfy_With_Check
+ return Test_Result is
+ begin
+ return Failure;
+ end Satisfy_With_Check;
+ function Match_Check
+ return Test_Result is
+ begin
+ return Failure;
+ end Match_Check;
+ function Match_With_Check
+ return Test_Result is
+ begin
+ return Failure;
+ end Match_With_Check;
- 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 Multimatch_Check
+ return Test_Result is
+ begin
+ return Failure;
+ end Multimatch_Check;
+ function Take_Check
+ return Test_Result is
+ begin
+ return Failure;
+ end Take_Check;
- function Is_Digit_Check
- return Test_Result is
- begin
- for I in Integer range Character'Pos (Character'First) .. Character'Pos ('0') - 1 loop
- if PU.Is_Digit (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- for C in Character range '0' .. '9' loop
- if not PU.Is_Digit (C) then
- return Failure;
- end if;
- end loop;
- for I in Integer range Character'Pos ('9') + 1 .. Character'Pos (Character'Last) loop
- if PU.Is_Digit (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- return Success;
- end Is_Digit_Check;
+ function Take_While_Check
+ return Test_Result is
+ begin
+ return Failure;
+ end Take_While_Check;
- function Is_Hex_Check
- return Test_Result is
- begin
- for I in Integer range Character'Pos (Character'First) .. Character'Pos ('0') - 1 loop
- if PU.Is_Hex (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- for C in Character range '0' .. '9' loop
- if not PU.Is_Hex (C) then
- return Failure;
- end if;
- end loop;
- for I in Integer range Character'Pos ('9') + 1 .. Character'Pos ('A') - 1 loop
- if PU.Is_Hex (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- for C in Character range 'A' .. 'F' loop
- if not PU.Is_Hex (C) then
- return Failure;
- end if;
- end loop;
- for I in Integer range Character'Pos ('F') + 1 .. Character'Pos ('a') - 1 loop
- if PU.Is_Hex (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- for C in Character range 'a' .. 'f' loop
- if not PU.Is_Hex (C) then
- return Failure;
- end if;
- end loop;
- for I in Integer range Character'Pos ('f') + 1 .. Character'Pos (Character'Last) loop
- if PU.Is_Hex (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- return Success;
- end Is_Hex_Check;
+ function Take_Until_Check
+ return Test_Result is
+ begin
+ return Failure;
+ end Take_Until_Check;
- function Is_Letter_Check
- return Test_Result is
- begin
- for I in Integer range Character'Pos (Character'First) .. Character'Pos ('A') - 1 loop
- if PU.Is_Letter (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- for C in Character range 'A' .. 'Z' loop
- if not PU.Is_Letter (C) then
- return Failure;
- end if;
- end loop;
- for I in Integer range Character'Pos ('Z') + 1 .. Character'Pos ('a') - 1 loop
- if PU.Is_Letter (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- for C in Character range 'a' .. 'z' loop
- if not PU.Is_Letter (C) then
- return Failure;
- end if;
- end loop;
- for I in Integer range Character'Pos ('z') + 1 .. Character'Pos (Character'First) loop
- if PU.Is_Letter (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- return Success;
- end Is_Letter_Check;
+ function Line_Start_Check
+ return Test_Result is
+ begin
+ return Failure;
+ end Line_Start_Check;
- function Is_Alphanumeric_Check
- return Test_Result is
- begin
- for I in Integer range Character'Pos (Character'First) .. Character'Pos ('0') - 1 loop
- if PU.Is_Alphanumeric (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- for C in Character range '0' .. '9' loop
- if not PU.Is_Alphanumeric (C) then
- return Failure;
- end if;
- end loop;
- for I in Integer range Character'Pos ('9') + 1 .. Character'Pos ('A') - 1 loop
- if PU.Is_Alphanumeric (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- for C in Character range 'A' .. 'Z' loop
- if not PU.Is_Alphanumeric (C) then
- return Failure;
- end if;
- end loop;
- for I in Integer range Character'Pos ('Z') + 1 .. Character'Pos ('a') - 1 loop
- if PU.Is_Alphanumeric (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- for C in Character range 'a' .. 'z' loop
- if not PU.Is_Alphanumeric (C) then
- return Failure;
- end if;
- end loop;
- for I in Integer range Character'Pos ('z') + 1 .. Character'Pos (Character'Last) loop
- if PU.Is_Alphanumeric (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- return Success;
- end Is_Alphanumeric_Check;
+ function Line_End_Check
+ return Test_Result is
+ begin
+ return Failure;
+ end Line_End_Check;
- function Is_Punctuation_Check
- return Test_Result is
- begin
- for I in Integer range Character'Pos (Character'First) .. Character'Pos ('!') - 1 loop
- if PU.Is_Punctuation (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- for C in Character range '!' .. '/' loop
- if not PU.Is_Punctuation (C) then
- return Failure;
- end if;
- end loop;
- for I in Integer range Character'Pos ('/') + 1 .. Character'Pos (':') - 1 loop
- if PU.Is_Punctuation (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- for C in Character range ':' .. '@' loop
- if not PU.Is_Punctuation (C) then
- return Failure;
- end if;
- end loop;
- for I in Integer range Character'Pos ('@') + 1 .. Character'Pos ('[') - 1 loop
- if PU.Is_Punctuation (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- for C in Character range '[' .. '`' loop
- if not PU.Is_Punctuation (C) then
- return Failure;
- end if;
- end loop;
- for I in Integer range Character'Pos ('`') + 1 .. Character'Pos ('{') - 1 loop
- if PU.Is_Punctuation (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- for C in Character range '{' .. '~' loop
- if not PU.Is_Punctuation (C) then
- return Failure;
- end if;
- end loop;
- for I in Integer range Character'Pos ('~') + 1 .. Character'Pos (Character'Last) loop
- if PU.Is_Punctuation (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- return Success;
- end Is_Punctuation_Check;
+ function Input_Start_Check
+ return Test_Result is
+ begin
+ return Failure;
+ end Input_Start_Check;
- function Is_ASCII_Check
- return Test_Result is
- begin
- for I in Integer range Character'Pos (Character'First) .. 127 loop
- if not PU.Is_ASCII (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- for I in Integer range 128 .. Character'Pos (Character'Last) loop
- if PU.Is_ASCII (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- return Success;
- end Is_ASCII_Check;
+ function Input_End_Check
+ return Test_Result is
+ begin
+ return Failure;
+ end Input_End_Check;
- function Is_Extended_ASCII_Check
- return Test_Result is
- begin
- for I in Integer range Character'Pos (Character'First) .. 127 loop
- if PU.Is_Extended_ASCII (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- for I in Integer range 128 .. Character'Pos (Character'Last) loop
- if not PU.Is_Extended_ASCII (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- return Success;
- end Is_Extended_ASCII_Check;
-
+ end Lexer;
- function Is_Space_Check
- return Test_Result is
- begin
- for I in Integer range Character'Pos (Character'First) .. Character'Pos (' ') - 1 loop
- if PU.Is_Space (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- if not PU.Is_Space (' ') then
- return Failure;
- end if;
- for I in Integer range Character'Pos (' ') + 1 .. Character'Pos (Character'Last) loop
- if PU.Is_Space (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- return Success;
- end Is_Space_Check;
- function Is_Linespace_Check
- return Test_Result is
- begin
- for I in Integer range Character'Pos (Character'First) .. Character'Pos (Latin.HT) - 1 loop
- if PU.Is_Linespace (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- if not PU.Is_Linespace (Latin.HT) then
- return Failure;
- end if;
- for I in Integer range Character'Pos (Latin.HT) + 1 .. Character'Pos (' ') - 1 loop
- if PU.Is_Linespace (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- if not PU.Is_Linespace (' ') then
- return Failure;
- end if;
- for I in Integer range Character'Pos (' ') + 1 .. Character'Pos (Character'Last) loop
- if PU.Is_Linespace (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- return Success;
- end Is_Linespace_Check;
- function Is_End_Of_Line_Check
- return Test_Result is
- begin
- for I in Integer range Character'Pos (Character'First) .. Character'Pos (Latin.LF) - 1 loop
- if PU.Is_End_Of_Line (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- if not PU.Is_End_Of_Line (Latin.LF) then
- return Failure;
- end if;
- for I in Integer range Character'Pos (Latin.LF) + 1 .. Character'Pos (Latin.CR) - 1 loop
- if PU.Is_End_Of_Line (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- if not PU.Is_End_Of_Line (Latin.CR) then
- return Failure;
- end if;
- for I in Integer range Character'Pos (Latin.CR) + 1 .. Character'Pos (Character'Last) loop
- if PU.Is_End_Of_Line (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- return Success;
- end Is_End_Of_Line_Check;
+ package body Util is
- function Is_Whitespace_Check
- return Test_Result is
- begin
- for I in Integer range Character'Pos (Character'First) .. Character'Pos (Latin.HT) - 1 loop
- if PU.Is_Whitespace (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- for C in Character range Latin.HT .. Latin.LF loop
- if not PU.Is_Whitespace (C) then
- return Failure;
- end if;
- end loop;
- for I in Integer range Character'Pos (Latin.LF) + 1 .. Character'Pos (Latin.CR) - 1 loop
- if PU.Is_Whitespace (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- if not PU.Is_Whitespace (Latin.CR) then
- return Failure;
- end if;
- for I in Integer range Character'Pos (Latin.CR) + 1 .. Character'Pos (' ') - 1 loop
- if PU.Is_Whitespace (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- if not PU.Is_Whitespace (' ') then
- return Failure;
- end if;
- for I in Integer range Character'Pos (' ') + 1 .. Character'Pos (Character'Last) loop
- if PU.Is_Whitespace (Character'Val (I)) then
+ 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
+ for I in Integer range Character'Pos (Character'First) .. Character'Pos ('0') - 1 loop
+ if PU.Is_Digit (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ for C in Character range '0' .. '9' loop
+ if not PU.Is_Digit (C) then
+ return Failure;
+ end if;
+ end loop;
+ for I in Integer range Character'Pos ('9') + 1 .. Character'Pos (Character'Last) loop
+ if PU.Is_Digit (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ return Success;
+ end Is_Digit_Check;
+
+
+ function Is_Hex_Check
+ return Test_Result is
+ begin
+ for I in Integer range Character'Pos (Character'First) .. Character'Pos ('0') - 1 loop
+ if PU.Is_Hex (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ for C in Character range '0' .. '9' loop
+ if not PU.Is_Hex (C) then
+ return Failure;
+ end if;
+ end loop;
+ for I in Integer range Character'Pos ('9') + 1 .. Character'Pos ('A') - 1 loop
+ if PU.Is_Hex (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ for C in Character range 'A' .. 'F' loop
+ if not PU.Is_Hex (C) then
+ return Failure;
+ end if;
+ end loop;
+ for I in Integer range Character'Pos ('F') + 1 .. Character'Pos ('a') - 1 loop
+ if PU.Is_Hex (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ for C in Character range 'a' .. 'f' loop
+ if not PU.Is_Hex (C) then
+ return Failure;
+ end if;
+ end loop;
+ for I in Integer range Character'Pos ('f') + 1 .. Character'Pos (Character'Last) loop
+ if PU.Is_Hex (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ return Success;
+ end Is_Hex_Check;
+
+
+ function Is_Letter_Check
+ return Test_Result is
+ begin
+ for I in Integer range Character'Pos (Character'First) .. Character'Pos ('A') - 1 loop
+ if PU.Is_Letter (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ for C in Character range 'A' .. 'Z' loop
+ if not PU.Is_Letter (C) then
+ return Failure;
+ end if;
+ end loop;
+ for I in Integer range Character'Pos ('Z') + 1 .. Character'Pos ('a') - 1 loop
+ if PU.Is_Letter (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ for C in Character range 'a' .. 'z' loop
+ if not PU.Is_Letter (C) then
+ return Failure;
+ end if;
+ end loop;
+ for I in Integer range Character'Pos ('z') + 1 .. Character'Pos (Character'First) loop
+ if PU.Is_Letter (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ return Success;
+ end Is_Letter_Check;
+
+
+ function Is_Alphanumeric_Check
+ return Test_Result is
+ begin
+ for I in Integer range Character'Pos (Character'First) .. Character'Pos ('0') - 1 loop
+ if PU.Is_Alphanumeric (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ for C in Character range '0' .. '9' loop
+ if not PU.Is_Alphanumeric (C) then
+ return Failure;
+ end if;
+ end loop;
+ for I in Integer range Character'Pos ('9') + 1 .. Character'Pos ('A') - 1 loop
+ if PU.Is_Alphanumeric (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ for C in Character range 'A' .. 'Z' loop
+ if not PU.Is_Alphanumeric (C) then
+ return Failure;
+ end if;
+ end loop;
+ for I in Integer range Character'Pos ('Z') + 1 .. Character'Pos ('a') - 1 loop
+ if PU.Is_Alphanumeric (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ for C in Character range 'a' .. 'z' loop
+ if not PU.Is_Alphanumeric (C) then
+ return Failure;
+ end if;
+ end loop;
+ for I in Integer range Character'Pos ('z') + 1 .. Character'Pos (Character'Last) loop
+ if PU.Is_Alphanumeric (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ return Success;
+ end Is_Alphanumeric_Check;
+
+
+ function Is_Punctuation_Check
+ return Test_Result is
+ begin
+ for I in Integer range Character'Pos (Character'First) .. Character'Pos ('!') - 1 loop
+ if PU.Is_Punctuation (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ for C in Character range '!' .. '/' loop
+ if not PU.Is_Punctuation (C) then
+ return Failure;
+ end if;
+ end loop;
+ for I in Integer range Character'Pos ('/') + 1 .. Character'Pos (':') - 1 loop
+ if PU.Is_Punctuation (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ for C in Character range ':' .. '@' loop
+ if not PU.Is_Punctuation (C) then
+ return Failure;
+ end if;
+ end loop;
+ for I in Integer range Character'Pos ('@') + 1 .. Character'Pos ('[') - 1 loop
+ if PU.Is_Punctuation (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ for C in Character range '[' .. '`' loop
+ if not PU.Is_Punctuation (C) then
+ return Failure;
+ end if;
+ end loop;
+ for I in Integer range Character'Pos ('`') + 1 .. Character'Pos ('{') - 1 loop
+ if PU.Is_Punctuation (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ for C in Character range '{' .. '~' loop
+ if not PU.Is_Punctuation (C) then
+ return Failure;
+ end if;
+ end loop;
+ for I in Integer range Character'Pos ('~') + 1 .. Character'Pos (Character'Last) loop
+ if PU.Is_Punctuation (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ return Success;
+ end Is_Punctuation_Check;
+
+
+ function Is_ASCII_Check
+ return Test_Result is
+ begin
+ for I in Integer range Character'Pos (Character'First) .. 127 loop
+ if not PU.Is_ASCII (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ for I in Integer range 128 .. Character'Pos (Character'Last) loop
+ if PU.Is_ASCII (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ return Success;
+ end Is_ASCII_Check;
+
+
+ function Is_Extended_ASCII_Check
+ return Test_Result is
+ begin
+ for I in Integer range Character'Pos (Character'First) .. 127 loop
+ if PU.Is_Extended_ASCII (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ for I in Integer range 128 .. Character'Pos (Character'Last) loop
+ if not PU.Is_Extended_ASCII (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ return Success;
+ end Is_Extended_ASCII_Check;
+
+
+ function Is_Space_Check
+ return Test_Result is
+ begin
+ for I in Integer range Character'Pos (Character'First) .. Character'Pos (' ') - 1 loop
+ if PU.Is_Space (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ if not PU.Is_Space (' ') then
return Failure;
end if;
- end loop;
- return Success;
- end Is_Whitespace_Check;
+ for I in Integer range Character'Pos (' ') + 1 .. Character'Pos (Character'Last) loop
+ if PU.Is_Space (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ return Success;
+ end Is_Space_Check;
- function Not_Whitespace_Check
- return Test_Result is
- begin
- for I in Integer range Character'Pos (Character'First) .. Character'Pos (Latin.HT) - 1 loop
- if not PU.Not_Whitespace (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- for C in Character range Latin.HT .. Latin.LF loop
- if PU.Not_Whitespace (C) then
- return Failure;
- end if;
- end loop;
- for I in Integer range Character'Pos (Latin.LF) + 1 .. Character'Pos (Latin.CR) - 1 loop
- if not PU.Not_Whitespace (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- if PU.Not_Whitespace (Latin.CR) then
- return Failure;
- end if;
- for I in Integer range Character'Pos (Latin.CR) + 1 .. Character'Pos (' ') - 1 loop
- if not PU.Not_Whitespace (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- if PU.Not_Whitespace (' ') then
- return Failure;
- end if;
- for I in Integer range Character'Pos (' ') + 1 .. Character'Pos (Character'Last) loop
- if not PU.Not_Whitespace (Character'Val (I)) then
- return Failure;
- end if;
- end loop;
- return Success;
- end Not_Whitespace_Check;
+ function Is_Linespace_Check
+ return Test_Result is
+ begin
+ for I in Integer range
+ Character'Pos (Character'First) .. Character'Pos (Latin.HT) - 1
+ loop
+ if PU.Is_Linespace (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ if not PU.Is_Linespace (Latin.HT) then
+ return Failure;
+ end if;
+ for I in Integer range Character'Pos (Latin.HT) + 1 .. Character'Pos (' ') - 1 loop
+ if PU.Is_Linespace (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ if not PU.Is_Linespace (' ') then
+ return Failure;
+ end if;
+ for I in Integer range Character'Pos (' ') + 1 .. Character'Pos (Character'Last) loop
+ if PU.Is_Linespace (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ return Success;
+ end Is_Linespace_Check;
+
+
+ function Is_End_Of_Line_Check
+ return Test_Result is
+ begin
+ for I in Integer range
+ Character'Pos (Character'First) .. Character'Pos (Latin.LF) - 1
+ loop
+ if PU.Is_End_Of_Line (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ if not PU.Is_End_Of_Line (Latin.LF) then
+ return Failure;
+ end if;
+ for I in Integer range Character'Pos (Latin.LF) + 1 .. Character'Pos (Latin.CR) - 1 loop
+ if PU.Is_End_Of_Line (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ if not PU.Is_End_Of_Line (Latin.CR) then
+ return Failure;
+ end if;
+ for I in Integer range
+ Character'Pos (Latin.CR) + 1 .. Character'Pos (Character'Last)
+ loop
+ if PU.Is_End_Of_Line (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ return Success;
+ end Is_End_Of_Line_Check;
+
+
+ function Is_Whitespace_Check
+ return Test_Result is
+ begin
+ for I in Integer range
+ Character'Pos (Character'First) .. Character'Pos (Latin.HT) - 1
+ loop
+ if PU.Is_Whitespace (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ for C in Character range Latin.HT .. Latin.LF loop
+ if not PU.Is_Whitespace (C) then
+ return Failure;
+ end if;
+ end loop;
+ for I in Integer range Character'Pos (Latin.LF) + 1 .. Character'Pos (Latin.CR) - 1 loop
+ if PU.Is_Whitespace (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ if not PU.Is_Whitespace (Latin.CR) then
+ return Failure;
+ end if;
+ for I in Integer range Character'Pos (Latin.CR) + 1 .. Character'Pos (' ') - 1 loop
+ if PU.Is_Whitespace (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ if not PU.Is_Whitespace (' ') then
+ return Failure;
+ end if;
+ for I in Integer range Character'Pos (' ') + 1 .. Character'Pos (Character'Last) loop
+ if PU.Is_Whitespace (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ return Success;
+ end Is_Whitespace_Check;
+
+
+ function Not_Whitespace_Check
+ return Test_Result is
+ begin
+ for I in Integer range
+ Character'Pos (Character'First) .. Character'Pos (Latin.HT) - 1
+ loop
+ if not PU.Not_Whitespace (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ for C in Character range Latin.HT .. Latin.LF loop
+ if PU.Not_Whitespace (C) then
+ return Failure;
+ end if;
+ end loop;
+ for I in Integer range Character'Pos (Latin.LF) + 1 .. Character'Pos (Latin.CR) - 1 loop
+ if not PU.Not_Whitespace (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ if PU.Not_Whitespace (Latin.CR) then
+ return Failure;
+ end if;
+ for I in Integer range Character'Pos (Latin.CR) + 1 .. Character'Pos (' ') - 1 loop
+ if not PU.Not_Whitespace (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ if PU.Not_Whitespace (' ') then
+ return Failure;
+ end if;
+ for I in Integer range Character'Pos (' ') + 1 .. Character'Pos (Character'Last) loop
+ if not PU.Not_Whitespace (Character'Val (I)) then
+ return Failure;
+ end if;
+ end loop;
+ return Success;
+ end Not_Whitespace_Check;
+
+
+ end Util;
end Ratnest.Tests;
diff --git a/test/ratnest-tests.ads b/test/ratnest-tests.ads
index e9ea347..cc67120 100644
--- a/test/ratnest-tests.ads
+++ b/test/ratnest-tests.ads
@@ -3,114 +3,128 @@
package Ratnest.Tests is
- function Valid_Message_Check return Test_Result;
- function Valid_Identifier_Check return Test_Result;
- function Join_Check return Test_Result;
- function Encode_1_Check return Test_Result;
- function Encode_2_Check return Test_Result;
- function Encode_3_Check return Test_Result;
- function Encode_4_Check return Test_Result;
- function Decode_Check return Test_Result;
-
- Error_Tests : Test_Array :=
- ((+"Valid_Message", Valid_Message_Check'Access),
- (+"Valid_Identifier", Valid_Identifier_Check'Access),
- (+"Join", Join_Check'Access),
- (+"Encode_1", Encode_1_Check'Access),
- (+"Encode_2", Encode_2_Check'Access),
- (+"Encode_3", Encode_3_Check'Access),
- (+"Encode_4", Encode_4_Check'Access),
- (+"Decode", Decode_Check'Access));
-
-
-
-
- function Token_Adjust_Check return Test_Result;
- function Token_Store_Check return Test_Result;
-
- Token_Tests : Test_Array :=
- ((+"Adjust", Token_Adjust_Check'Access),
- (+"Storage", Token_Store_Check'Access));
-
-
-
-
- function Lex_Sequence_Check return Test_Result;
- function Lex_Count_Check return Test_Result;
- function Lex_Many_Check return Test_Result;
- function Lex_Many_Until_Check return Test_Result;
-
- function Lex_Satisfy_Check return Test_Result;
- function Lex_Satisfy_With_Check return Test_Result;
- function Lex_Match_Check return Test_Result;
- function Lex_Match_With_Check return Test_Result;
- function Lex_Multimatch_Check return Test_Result;
- function Lex_Take_Check return Test_Result;
- function Lex_Take_While_Check return Test_Result;
- function Lex_Take_Until_Check return Test_Result;
-
- function Line_Start_Check return Test_Result;
- function Line_End_Check return Test_Result;
- function Input_Start_Check return Test_Result;
- function Input_End_Check return Test_Result;
-
- Lexer_Combinator_Tests : Test_Array :=
- ((+"Sequence", Lex_Sequence_Check'Access),
- (+"Count", Lex_Count_Check'Access),
- (+"Many", Lex_Many_Check'Access),
- (+"Many_Until", Lex_Many_Until_Check'Access),
- (+"Satisfy", Lex_Satisfy_Check'Access),
- (+"Satisfy With", Lex_Satisfy_With_Check'Access),
- (+"Match", Lex_Match_Check'Access),
- (+"Match With", Lex_Match_With_Check'Access),
- (+"Multimatch", Lex_Multimatch_Check'Access),
- (+"Take", Lex_Take_Check'Access),
- (+"Take While", Lex_Take_While_Check'Access),
- (+"Take Until", Lex_Take_Until_Check'Access),
- (+"Line Start", Line_Start_Check'Access),
- (+"Line End", Line_End_Check'Access),
- (+"Input Start", Input_Start_Check'Access),
- (+"Input_End", Input_End_Check'Access));
-
-
-
-
- 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;
- function Is_Alphanumeric_Check return Test_Result;
- function Is_Punctuation_Check return Test_Result;
- function Is_ASCII_Check return Test_Result;
- function Is_Extended_ASCII_Check return Test_Result;
- function Is_Space_Check return Test_Result;
- function Is_Linespace_Check return Test_Result;
- function Is_End_Of_Line_Check return Test_Result;
- 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),
- (+"Is_Letter", Is_Letter_Check'Access),
- (+"Is_Alphanumeric", Is_Alphanumeric_Check'Access),
- (+"Is_Punctuation", Is_Punctuation_Check'Access),
- (+"Is_ASCII", Is_ASCII_Check'Access),
- (+"Is_Extended_ASCII", Is_Extended_ASCII_Check'Access),
- (+"Is_Space", Is_Space_Check'Access),
- (+"Is_Linespace", Is_Linespace_Check'Access),
- (+"Is_End_Of_Line", Is_End_Of_Line_Check'Access),
- (+"Is_Whitespace", Is_Whitespace_Check'Access),
- (+"Not_Whitespace", Not_Whitespace_Check'Access));
+ package Errors is
+
+ function Valid_Message_Check return Test_Result;
+ function Valid_Identifier_Check return Test_Result;
+ function Join_Check return Test_Result;
+ function Encode_1_Check return Test_Result;
+ function Encode_2_Check return Test_Result;
+ function Encode_3_Check return Test_Result;
+ function Encode_4_Check return Test_Result;
+ function Decode_Check return Test_Result;
+
+ Tests : Test_Array :=
+ ((+"Valid_Message", Valid_Message_Check'Access),
+ (+"Valid_Identifier", Valid_Identifier_Check'Access),
+ (+"Join", Join_Check'Access),
+ (+"Encode_1", Encode_1_Check'Access),
+ (+"Encode_2", Encode_2_Check'Access),
+ (+"Encode_3", Encode_3_Check'Access),
+ (+"Encode_4", Encode_4_Check'Access),
+ (+"Decode", Decode_Check'Access));
+
+ end Errors;
+
+
+
+
+ package Tokens is
+
+ function Adjust_Check return Test_Result;
+ function Store_Check return Test_Result;
+
+ Tests : Test_Array :=
+ ((+"Adjust", Adjust_Check'Access),
+ (+"Storage", Store_Check'Access));
+
+ end Tokens;
+
+
+
+
+ package Lexer is
+
+ function Sequence_Check return Test_Result;
+ function Count_Check return Test_Result;
+ function Many_Check return Test_Result;
+ function Many_Until_Check return Test_Result;
+
+ function Satisfy_Check return Test_Result;
+ function Satisfy_With_Check return Test_Result;
+ function Match_Check return Test_Result;
+ function Match_With_Check return Test_Result;
+ function Multimatch_Check return Test_Result;
+ function Take_Check return Test_Result;
+ function Take_While_Check return Test_Result;
+ function Take_Until_Check return Test_Result;
+
+ function Line_Start_Check return Test_Result;
+ function Line_End_Check return Test_Result;
+ function Input_Start_Check return Test_Result;
+ function Input_End_Check return Test_Result;
+
+ Combinator_Tests : Test_Array :=
+ ((+"Sequence", Sequence_Check'Access),
+ (+"Count", Count_Check'Access),
+ (+"Many", Many_Check'Access),
+ (+"Many_Until", Many_Until_Check'Access),
+ (+"Satisfy", Satisfy_Check'Access),
+ (+"Satisfy With", Satisfy_With_Check'Access),
+ (+"Match", Match_Check'Access),
+ (+"Match With", Match_With_Check'Access),
+ (+"Multimatch", Multimatch_Check'Access),
+ (+"Take", Take_Check'Access),
+ (+"Take While", Take_While_Check'Access),
+ (+"Take Until", Take_Until_Check'Access),
+ (+"Line Start", Line_Start_Check'Access),
+ (+"Line End", Line_End_Check'Access),
+ (+"Input Start", Input_Start_Check'Access),
+ (+"Input_End", Input_End_Check'Access));
+
+ end Lexer;
+
+
+
+
+ package Util 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;
+ function Is_Alphanumeric_Check return Test_Result;
+ function Is_Punctuation_Check return Test_Result;
+ function Is_ASCII_Check return Test_Result;
+ function Is_Extended_ASCII_Check return Test_Result;
+ function Is_Space_Check return Test_Result;
+ function Is_Linespace_Check return Test_Result;
+ function Is_End_Of_Line_Check return Test_Result;
+ function Is_Whitespace_Check return Test_Result;
+ function Not_Whitespace_Check return Test_Result;
+
+ Predicate_Tests : Test_Array :=
+ ((+"Is_Digit", Is_Digit_Check'Access),
+ (+"Is_Hex", Is_Hex_Check'Access),
+ (+"Is_Letter", Is_Letter_Check'Access),
+ (+"Is_Alphanumeric", Is_Alphanumeric_Check'Access),
+ (+"Is_Punctuation", Is_Punctuation_Check'Access),
+ (+"Is_ASCII", Is_ASCII_Check'Access),
+ (+"Is_Extended_ASCII", Is_Extended_ASCII_Check'Access),
+ (+"Is_Space", Is_Space_Check'Access),
+ (+"Is_Linespace", Is_Linespace_Check'Access),
+ (+"Is_End_Of_Line", Is_End_Of_Line_Check'Access),
+ (+"Is_Whitespace", Is_Whitespace_Check'Access),
+ (+"Not_Whitespace", Not_Whitespace_Check'Access));
+
+ end Util;
end Ratnest.Tests;
diff --git a/test/test_main.adb b/test/test_main.adb
index d181b3e..4915a5c 100644
--- a/test/test_main.adb
+++ b/test/test_main.adb
@@ -14,35 +14,43 @@ use
procedure Test_Main is
+
+
type My_Labels is (A, B, C);
package My_Tokens is new Packrat.Tokens (My_Labels, Character, String);
Err : Packrat.Errors.Error_Message := Packrat.Errors.Encode ("A", 1);
Tok : My_Tokens.Token := My_Tokens.Create (A, 1, 3, "abc");
+
+
begin
+
+
Put_Line ("Running tests for Packrat.Errors...");
- Run_Tests (Error_Tests);
+ Run_Tests (Errors.Tests);
New_Line;
Put_Line ("Displaying Error_Message debug string output example:");
Put (Packrat.Errors.Debug_String (Err));
New_Line;
Put_Line ("Running tests for Packrat.Tokens...");
- Run_Tests (Token_Tests);
+ Run_Tests (Tokens.Tests);
New_Line;
Put_Line ("Displaying Token debug string output example:");
Put (Tok.Debug_String);
New_Line;
Put_Line ("Running tests for Packrat.Lexer.Combinators...");
- Run_Tests (Lexer_Combinator_Tests);
+ Run_Tests (Lexer.Combinator_Tests);
New_Line;
Put_Line ("Running tests for Packrat.Util...");
Put_Line ("Testing set predicates...");
- Run_Tests (Set_Predicate_Tests);
+ Run_Tests (Util.Set_Predicate_Tests);
Put_Line ("Testing ordinary predicates...");
- Run_Tests (Util_Predicate_Tests);
+ Run_Tests (Util.Predicate_Tests);
+
+
end Test_Main;
generated by cgit (git 2.30.0) at 2024-12-22 23:17:30 +0000