aboutsummaryrefslogtreecommitdiff
path: root/testlabel.lua
diff options
context:
space:
mode:
authorSergio Queiroz <sqmedeiros@gmail.com>2017-01-03 10:02:52 -0300
committerSergio Queiroz <sqmedeiros@gmail.com>2017-01-03 10:02:52 -0300
commitc6277dabce8428b49ff5df63b515c68a0386d9da (patch)
tree36c6ae8ace4f1da3c8342324b415cfef2a50b750 /testlabel.lua
parent2e5820c37e4e6cb2a2c01863619abd19eb5a8199 (diff)
downloadlpeglabel-c6277dabce8428b49ff5df63b515c68a0386d9da.tar.gz
lpeglabel-c6277dabce8428b49ff5df63b515c68a0386d9da.tar.bz2
lpeglabel-c6277dabce8428b49ff5df63b515c68a0386d9da.zip
Tracking the farthest failure position in case of a regular fail
Diffstat (limited to 'testlabel.lua')
-rw-r--r--testlabel.lua209
1 files changed, 137 insertions, 72 deletions
diff --git a/testlabel.lua b/testlabel.lua
index 9fcdcfc..e2833ea 100644
--- a/testlabel.lua
+++ b/testlabel.lua
@@ -2,7 +2,7 @@ local m = require 'lpeglabel'
2 2
3local p, r, l, s, serror 3local p, r, l, s, serror
4 4
5local function checkeqlab (x, ...) 5local function checklabeq (x, ...)
6 y = { ... } 6 y = { ... }
7 assert(type(x) == "table") 7 assert(type(x) == "table")
8 assert(#x == #y) 8 assert(#x == #y)
@@ -12,7 +12,7 @@ local function checkeqlab (x, ...)
12end 12end
13 13
14local function checkeq (x, y, p) 14local function checkeq (x, y, p)
15if p then print(x,y) end 15 if p then print(x,y) end
16 if type(x) ~= "table" then assert(x == y) 16 if type(x) ~= "table" then assert(x == y)
17 else 17 else
18 for k,v in pairs(x) do checkeq(v, y[k], p) end 18 for k,v in pairs(x) do checkeq(v, y[k], p) end
@@ -20,27 +20,92 @@ if p then print(x,y) end
20 end 20 end
21end 21end
22 22
23
24-- tests related to reporting the farthest failure position
25-- when a label is not thrown
26
27p = m.P"a"^0 * m.P"b" + m.P"c"
28checklabeq({4, nil, nil}, p:match("aabk"))
29checklabeq({2, nil, nil}, p:match("ck"))
30checklabeq({nil, 0, "dk"}, p:match("dk"))
31checklabeq({nil, 0, "k"}, p:match("aak"))
32
33p = (m.P"a" + m.P"c")^0 * m.P"b" + m.P"c"
34checklabeq({4, nil, nil}, p:match("aabk"))
35checklabeq({2, nil, nil}, p:match("ck"))
36checklabeq({nil, 0, "dk"}, p:match("dk"))
37checklabeq({nil, 0, "k"}, p:match("aak"))
38
39p = m.P"a"^0 * m.P"b" + m.P(1)^0 * m.P(1)
40checklabeq({4, nil, nil}, p:match("aabk"))
41checklabeq({nil, 0, ""}, p:match("ck"))
42checklabeq({nil, 0, ""}, p:match("aak"))
43
44p = m.P(1) * m.P"a" + m.P"c"
45checklabeq({3, nil, nil}, p:match("bac"))
46checklabeq({2, nil, nil}, p:match("c"))
47checklabeq({nil, 0, ""}, p:match("x"))
48checklabeq({nil, 0, "x"}, p:match("kx"))
49
50p = m.P"a"^0 * m.P(1) * m.P(1) + m.P"a"^0 * m.P"c"
51checklabeq({5, nil, nil}, p:match("aabc"))
52checklabeq({4, nil, nil}, p:match("aac"))
53checklabeq({nil, 0, ""}, p:match("aak"))
54checklabeq({nil, 0, ""}, p:match("x"))
55
56p = m.P"a"^0 * m.P(1) * m.P(1) + m.P"a"^0 * m.P"c"
57checklabeq({5, nil, nil}, p:match("aabc"))
58checklabeq({4, nil, nil}, p:match("aac"))
59checklabeq({nil, 0, ""}, p:match("aak"))
60checklabeq({nil, 0, ""}, p:match("x"))
61
62p = m.Cmt(m.P"a"^0, function() return nil end) + m.P"x"
63checklabeq({2, nil, nil}, p:match("xabc"))
64checklabeq({nil, 0, "c"}, p:match("aac"))
65checklabeq({nil, 0, "kx"}, p:match("kx"))
66
67p = m.P"b" * -m.P"a" + m.P"c"
68checklabeq({nil, 0, "a"}, p:match("ba"))
69checklabeq({nil, 0, "kx"}, p:match("kx"))
70
71p = (m.P"c" + m.P"a") * m.P("b" + m.P"d") + m.P"xxx"
72checklabeq({nil, 0, "kk"}, p:match("kk"))
73checklabeq({nil, 0, "k"}, p:match("ak"))
74checklabeq({nil, 0, "y"}, p:match("xxy"))
75checklabeq({nil, 0, "yz"}, p:match("xyz"))
76
77print"+"
78
79
23-- throws a label 80-- throws a label
24p = m.T(1) 81p = m.T(1)
25s = "abc" 82s = "abc"
26r, l, serror = p:match(s) 83r, l, serror = p:match(s)
27assert(r == nil and l == 1 and serror == "abc") 84assert(r == nil and l == 1 and serror == "abc")
28 85
29-- throws a label that is not caught by ordinary choice 86-- throws a label, choice does not catch labels
30p = m.T(1) + m.P"a" 87p = m.T(1) + m.P"a"
31r, l, serror = p:match(s) 88r, l, serror = p:match(s)
32assert(r == nil and l == 1 and serror == "abc") 89assert(r == nil and l == 1 and serror == "abc")
33 90
34-- again throws a label that is not caught by ordinary choice 91-- again throws a label that is not caught by choice
35local g = m.P{ 92local g = m.P{
36 "S", 93 "S",
37 S = m.V"A" + m.V"B", 94 S = m.V"A" + m.V"B",
38 A = m.T(1), 95 A = m.T(1),
39 B = m.P"a" 96 B = m.P"a"
40} 97}
41r, l, serror = g:match(s) 98r, l, serror = g:match(s)
42assert(r == nil and l == 1 and serror == "abc") 99assert(r == nil and l == 1 and serror == "abc")
43 100
101-- throws a label in a position that is not the farthest one
102-- but it is the position that should be reported
103p = m.P(1) * m.P"a" + m.T(11)
104checklabeq({3, nil, nil}, p:match("bac"))
105checklabeq({nil, 11, "c"}, p:match("c"))
106checklabeq({nil, 11, "x"}, p:match("x"))
107checklabeq({nil, 11, "kx"}, p:match("kx"))
108
44 109
45-- throws a label that is not caught by the recovery operator 110-- throws a label that is not caught by the recovery operator
46p = m.Rec(m.T(2), m.P"a", 1, 3) 111p = m.Rec(m.T(2), m.P"a", 1, 3)
@@ -209,10 +274,10 @@ A -> B
209B -> %1 274B -> %1
210]] 275]]
211g = m.P{ 276g = m.P{
212 "S", 277 "S",
213 S = m.Rec(m.V"A", m.P"a", 1), 278 S = m.Rec(m.V"A", m.P"a", 1),
214 A = m.V"B", 279 A = m.V"B",
215 B = m.T(1), 280 B = m.T(1),
216} 281}
217assert(g:match("ab") == 2) 282assert(g:match("ab") == 2)
218r, l, serror = g:match("bc") 283r, l, serror = g:match("bc")
@@ -225,10 +290,10 @@ A -> (B (';' / %{1}))*
225B -> 'a' 290B -> 'a'
226]] 291]]
227g = m.P{ 292g = m.P{
228 "S", 293 "S",
229 S = m.V"A", 294 S = m.V"A",
230 A = m.P(m.V"B" * (";" + m.T(1)))^0, 295 A = m.P(m.V"B" * (";" + m.T(1)))^0,
231 B = m.P'a', 296 B = m.P'a',
232} 297}
233assert(g:match("a;a;") == 5) 298assert(g:match("a;a;") == 5)
234 299
@@ -312,8 +377,8 @@ local sp = m.S" \t\n"^0
312local eq = sp * m.P"=" 377local eq = sp * m.P"="
313 378
314g = m.P{ 379g = m.P{
315 "S", 380 "S",
316 S = m.Rec( 381 S = m.Rec(
317 m.Rec( 382 m.Rec(
318 m.Rec( 383 m.Rec(
319 m.Rec(m.V"S0", m.V"ID", 1), 384 m.Rec(m.V"S0", m.V"ID", 1),
@@ -323,13 +388,13 @@ g = m.P{
323 ), 388 ),
324 m.V"U"^0 * m.V"ID" * m.V"ID", 4) 389 m.V"U"^0 * m.V"ID" * m.V"ID", 4)
325 + m.T(5), -- error 390 + m.T(5), -- error
326 S0 = m.V"S1" + m.V"S2" + #m.V"I" * m.T(3), 391 S0 = m.V"S1" + m.V"S2" + #m.V"I" * m.T(3),
327 S1 = #(m.V"ID" * eq) * m.T(2) + sp * #(m.V"ID" * -m.P(1)) * m.T(1) + #m.V"ID" * m.T(4), 392 S1 = #(m.V"ID" * eq) * m.T(2) + sp * #(m.V"ID" * -m.P(1)) * m.T(1) + #m.V"ID" * m.T(4),
328 S2 = #(m.V"U"^1 * m.V"ID") * m.T(4) + #(m.V"U"^1 * m.V"I") * m.T(3), 393 S2 = #(m.V"U"^1 * m.V"ID") * m.T(4) + #(m.V"U"^1 * m.V"I") * m.T(3),
329 ID = sp * m.P"a", 394 ID = sp * m.P"a",
330 U = sp * m.P"unsigned", 395 U = sp * m.P"unsigned",
331 I = sp * m.P"int", 396 I = sp * m.P"int",
332 Exp = sp * m.P"E", 397 Exp = sp * m.P"E",
333} 398}
334 399
335local s = "a" 400local s = "a"
@@ -411,7 +476,7 @@ S2 -> &('unsigned'+ ID) %4 / & ('unsigned'+ 'int') %3
411]] 476]]
412 477
413g = re.compile([[ 478g = re.compile([[
414 S <- S0 //{1} ID //{2} ID %s* '=' Exp //{3} U* Int ID //{4} U ID ID / %{5} 479 S <- S0 //{1} ID //{2} ID %s* '=' Exp //{3} U* Int ID //{4} U ID ID / %{5}
415 S0 <- S1 / S2 / &Int %{3} 480 S0 <- S1 / S2 / &Int %{3}
416 S1 <- &(ID %s* '=') %{2} / &(ID !.) %{1} / &ID %{4} 481 S1 <- &(ID %s* '=') %{2} / &(ID !.) %{1} / &ID %{4}
417 S2 <- &(U+ ID) %{4} / &(U+ Int) %{3} 482 S2 <- &(U+ ID) %{4} / &(U+ Int) %{3}
@@ -504,8 +569,8 @@ g = re.compile([[
504 THEN <- Sp 'then' 569 THEN <- Sp 'then'
505 UNTIL <- Sp 'until' 570 UNTIL <- Sp 'until'
506 WRITE <- Sp 'write' 571 WRITE <- Sp 'write'
507 RESERVED <- (IF / ELSE / END / READ / REPEAT / THEN / UNTIL / WRITE) ![a-z]+ 572 RESERVED <- (IF / ELSE / END / READ / REPEAT / THEN / UNTIL / WRITE) ![a-z]+
508 Sp <- (%s / %nl)* 573 Sp <- (%s / %nl)*
509]], terror) 574]], terror)
510 575
511s = [[ 576s = [[
@@ -652,15 +717,15 @@ print("+")
652 717
653p = m.Rec("a", "b", 3) 718p = m.Rec("a", "b", 3)
654assert(p:match("a") == 2) 719assert(p:match("a") == 2)
655checkeqlab({nil, 0, "b"}, p:match("b")) 720checklabeq({nil, 0, "b"}, p:match("b"))
656checkeqlab({nil, 0, "c"}, p:match("c")) 721checklabeq({nil, 0, "c"}, p:match("c"))
657 722
658p = m.Rec(m.T(3), "b", 1) 723p = m.Rec(m.T(3), "b", 1)
659checkeqlab({nil, 3, "a"}, p:match("a")) 724checklabeq({nil, 3, "a"}, p:match("a"))
660checkeqlab({nil, 3, "b"}, p:match("b")) 725checklabeq({nil, 3, "b"}, p:match("b"))
661 726
662p = m.Rec(m.T(3), "b", 3) 727p = m.Rec(m.T(3), "b", 3)
663checkeqlab({nil, 0, "a"}, p:match("a")) 728checklabeq({nil, 0, "a"}, p:match("a"))
664assert(p:match("b") == 2) 729assert(p:match("b") == 2)
665 730
666--[[ 731--[[
@@ -669,21 +734,21 @@ A -> a*b / %128
669C -> c+ 734C -> c+
670]] 735]]
671g = m.P{ 736g = m.P{
672 "S", 737 "S",
673 S = m.Rec(m.V"A", (-m.P"c" * m.P(1))^0, 128) * m.V"C", 738 S = m.Rec(m.V"A", (-m.P"c" * m.P(1))^0, 128) * m.V"C",
674 A = m.P"a"^0 * "b" + m.T(128), 739 A = m.P"a"^0 * "b" + m.T(128),
675 C = m.P"c"^1, 740 C = m.P"c"^1,
676} 741}
677 742
678assert(g:match("abc") == 4) 743assert(g:match("abc") == 4)
679assert(g:match("aabc") == 5) 744assert(g:match("aabc") == 5)
680assert(g:match("aadc") == 5) 745assert(g:match("aadc") == 5)
681assert(g:match("dc") == 3) 746assert(g:match("dc") == 3)
682checkeqlab({nil, 0, "bc"}, g:match("bbc")) 747checklabeq({nil, 0, "bc"}, g:match("bbc"))
683assert(g:match("xxc") == 4) 748assert(g:match("xxc") == 4)
684assert(g:match("c") == 2) 749assert(g:match("c") == 2)
685checkeqlab({nil, 0, ""}, g:match("fail")) 750checklabeq({nil, 0, ""}, g:match("fail"))
686checkeqlab({nil, 0, ""}, g:match("aaxx")) 751checklabeq({nil, 0, ""}, g:match("aaxx"))
687 752
688 753
689--[[ 754--[[
@@ -692,23 +757,23 @@ A -> a+ (b / ^99)
692C -> c+ 757C -> c+
693]] 758]]
694g = m.P{ 759g = m.P{
695 "S", 760 "S",
696 S = m.Rec(m.V"A", (-m.P"c" * m.P(1))^0, 99) * m.V"C", 761 S = m.Rec(m.V"A", (-m.P"c" * m.P(1))^0, 99) * m.V"C",
697 A = m.P"a"^1 * ("b" + m.T(99)), 762 A = m.P"a"^1 * ("b" + m.T(99)),
698 C = m.P"c"^1, 763 C = m.P"c"^1,
699} 764}
700 765
701assert(g:match("abc") == 4) 766assert(g:match("abc") == 4)
702assert(g:match("aabc") == 5) 767assert(g:match("aabc") == 5)
703assert(g:match("aadc") == 5) 768assert(g:match("aadc") == 5)
704checkeqlab({nil, 0, "bc"}, g:match("bc")) 769checklabeq({nil, 0, "bc"}, g:match("bc"))
705checkeqlab({nil, 0, "bbc"}, g:match("bbc")) 770checklabeq({nil, 0, "bbc"}, g:match("bbc"))
706checkeqlab({nil, 0, "b"}, g:match("abb")) 771checklabeq({nil, 0, "b"}, g:match("abb"))
707checkeqlab({nil, 0, ""}, g:match("axx")) 772checklabeq({nil, 0, ""}, g:match("axx"))
708assert(g:match("accc") == 5) 773assert(g:match("accc") == 5)
709assert(g:match("axxc") == 5) 774assert(g:match("axxc") == 5)
710checkeqlab({nil, 0, "c"}, g:match("c")) 775checklabeq({nil, 0, "c"}, g:match("c"))
711checkeqlab({nil, 0, "fail"}, g:match("fail")) 776checklabeq({nil, 0, "fail"}, g:match("fail"))
712 777
713 778
714 779
@@ -824,25 +889,25 @@ print(eval "(1+1-1*(2/2+)-():")
824print("+") 889print("+")
825 890
826local g = m.P{ 891local g = m.P{
827 "S", 892 "S",
828 S = V"End" + V'A' * V'S', 893 S = V"End" + V'A' * V'S',
829 A = P'a' + T(1), 894 A = P'a' + T(1),
830 End = P"." * (-P(1) + T(2)), 895 End = P"." * (-P(1) + T(2)),
831} 896}
832 897
833assert(g:match("a.") == 3) 898assert(g:match("a.") == 3)
834assert(g:match("aa.") == 4) 899assert(g:match("aa.") == 4)
835assert(g:match(".") == 2) 900assert(g:match(".") == 2)
836checkeqlab({nil, 1, "ba."}, g:match("ba.")) 901checklabeq({nil, 1, "ba."}, g:match("ba."))
837checkeqlab({nil, 1, "ba."}, g:match("aba.")) 902checklabeq({nil, 1, "ba."}, g:match("aba."))
838checkeqlab({nil, 1, "cba."}, g:match("cba.")) 903checklabeq({nil, 1, "cba."}, g:match("cba."))
839checkeqlab({nil, 2, "a"}, g:match("a.a")) 904checklabeq({nil, 2, "a"}, g:match("a.a"))
840 905
841 906
842local g2 = m.P{ 907local g2 = m.P{
843 "S", 908 "S",
844 S = m.Rec(g, V"B", 1), 909 S = m.Rec(g, V"B", 1),
845 B = P'b'^1 + T(3) 910 B = P'b'^1 + T(3)
846} 911}
847 912
848assert(g2:match("a.") == 3) 913assert(g2:match("a.") == 3)
@@ -850,13 +915,13 @@ assert(g2:match("aa.") == 4)
850assert(g2:match(".") == 2) 915assert(g2:match(".") == 2)
851assert(g2:match("ba.") == 4) 916assert(g2:match("ba.") == 4)
852assert(g2:match("aba.") == 5) 917assert(g2:match("aba.") == 5)
853checkeqlab({nil, 3, "cba."}, g2:match("cba.")) 918checklabeq({nil, 3, "cba."}, g2:match("cba."))
854checkeqlab({nil, 2, "a"}, g2:match("a.a")) 919checklabeq({nil, 2, "a"}, g2:match("a.a"))
855 920
856local g3 = m.P{ 921local g3 = m.P{
857 "S", 922 "S",
858 S = m.Rec(g2, V"C", 2, 3), 923 S = m.Rec(g2, V"C", 2, 3),
859 C = P'c'^1 + T(4) 924 C = P'c'^1 + T(4)
860} 925}
861 926
862assert(g3:match("a.") == 3) 927assert(g3:match("a.") == 3)
@@ -865,14 +930,14 @@ assert(g3:match(".") == 2)
865assert(g3:match("ba.") == 4) 930assert(g3:match("ba.") == 4)
866assert(g3:match("aba.") == 5) 931assert(g3:match("aba.") == 5)
867assert(g3:match("cba.") == 5) 932assert(g3:match("cba.") == 5)
868checkeqlab({nil, 4, "a"}, g3:match("a.a")) 933checklabeq({nil, 4, "a"}, g3:match("a.a"))
869checkeqlab({nil, 4, "dc"}, g3:match("dc")) 934checklabeq({nil, 4, "dc"}, g3:match("dc"))
870checkeqlab({nil, 4, "d"}, g3:match(".d")) 935checklabeq({nil, 4, "d"}, g3:match(".d"))
871 936
872 937
873-- testing more captures 938-- testing more captures
874local g = re.compile[[ 939local g = re.compile[[
875 S <- ( %s* &. {A} )* 940 S <- ( %s* &. {A} )*
876 A <- [0-9]+ / %{5} 941 A <- [0-9]+ / %{5}
877]] 942]]
878 943
@@ -886,7 +951,7 @@ checkeq({"44", "a ", "58", "123"}, {g2:match("44 a 123")})
886 951
887 952
888local g = re.compile[[ 953local g = re.compile[[
889 S <- ( %s* &. A )* 954 S <- ( %s* &. A )*
890 A <- {[0-9]+} / %{5} 955 A <- {[0-9]+} / %{5}
891]] 956]]
892 957
@@ -928,7 +993,7 @@ local function expect(patt, labname, recpatt)
928 table.insert(errors, {i, pos}) 993 table.insert(errors, {i, pos})
929 return true 994 return true
930 end 995 end
931 if not recpatt then recpatt = P"" end 996 if not recpatt then recpatt = P"" end
932 --return Rec(patt, Cmt("", recorderror) * recpatt) 997 --return Rec(patt, Cmt("", recorderror) * recpatt)
933 return patt + T(i) 998 return patt + T(i)
934end 999end
generated by cgit v1.2.3-55-g6feb (git 2.39.1) at 2025-03-17 03:09:34 +0000