diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/ratnest-tests.adb | 25 |
1 files changed, 21 insertions, 4 deletions
diff --git a/test/ratnest-tests.adb b/test/ratnest-tests.adb index 0fac8cd..6f649d9 100644 --- a/test/ratnest-tests.adb +++ b/test/ratnest-tests.adb @@ -379,7 +379,17 @@ package body Ratnest.Tests is function Many_0 is new Strombo.Many (Match_A); function Many_4 is new Strombo.Many (Match_A, 4); - Test_Str : String := "aaabbaaaaabaa"; + function Match_B is new Strombo.Match ('b'); + function Match_C is new Strombo.Match ('c'); + function Seq_Abc is new Strombo.Sequence + ((Match_A'Unrestricted_Access, + Match_B'Unrestricted_Access, + Match_C'Unrestricted_Access)); + function Many_Seq_0 is new Strombo.Many (Seq_Abc); + function Many_Seq_4 is new Strombo.Many (Seq_Abc, 4); + + Test_Str : String := "aaabbaaaaabaa"; + Test_Str2 : String := "aababcabcab"; Result1 : Slexy.Combinator_Result := Slexy.Create_Result (3, Packrat.Success, "aaa"); @@ -392,11 +402,18 @@ package body Ratnest.Tests is Result5 : Slexy.Combinator_Result := Slexy.Empty_Fail; Result6 : Slexy.Combinator_Result := Slexy.Create_Result (2, Packrat.Needs_More, "aa"); + Result7 : Slexy.Combinator_Result := + Slexy.Create_Result (0, Packrat.Success, ""); + Result8 : Slexy.Combinator_Result := + Slexy.Create_Result (6, Packrat.Optional_More, "abcabc"); + Result9 : Slexy.Combinator_Result := + Slexy.Create_Result (6, Packrat.Needs_More, "abcabc"); begin if Many_0 (Test_Str, 1) /= Result1 or Many_4 (Test_Str, 1) /= Result4 or - Many_4 (Test_Str, 6) /= Result3 or Many_0 (Test_Str, 4) /= Result5 or + Many_4 (Test_Str, 6) /= Result3 or Many_0 (Test_Str, 4) /= Result7 or Many_0 (Test_Str, 12) /= Result2 or Many_4 (Test_Str, 12) /= Result6 or - Many_0 (Test_Str, Test_Str'Last + 5) /= Result5 + Many_0 (Test_Str, Test_Str'Last + 5) /= Result5 or + Many_Seq_0 (Test_Str2, 4) /= Result8 or Many_Seq_4 (Test_Str2, 4) /= Result9 then return Fail; end if; @@ -418,7 +435,7 @@ package body Ratnest.Tests is Result2 : Slexy.Combinator_Result := Slexy.Create_Result (3, Packrat.Success, "aaa"); Result3 : Slexy.Combinator_Result := - Slexy.Create_Result (3, Packrat.Optional_More, "aaa"); + Slexy.Create_Result (3, Packrat.Needs_More, "aaa"); Result4 : Slexy.Combinator_Result := Slexy.Empty_Fail; begin if Many_Until_0 (Test_Str, 1) /= Result1 or |