/* The MIT License (MIT) * * Copyright (c) 2021-2025 Rick Workman * * Permission is hereby granted, free of charge, to any person obtaining a copy * of this software and associated documentation files (the "Software"), to deal * in the Software without restriction, including without limitation the rights * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell * copies of the Software, and to permit persons to whom the Software is * furnished to do so, subject to the following conditions: * * The above copyright notice and this permission notice shall be included in all * copies or substantial portions of the Software. * * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE * SOFTWARE. */ :- module(test_pPEG, [ test_pPEG/0 ]). :- use_module(library(plunit)). %:- if(exists_source(library(pPEG))). :- if(true). :- use_module(library(strings),[string/4]). % for quasi-quoted strings :- (current_module(pPEG) -> true ; use_module(library(pPEG))). :- (current_module(rexp_pPEGxt) -> true ; reexport(library(rexp_pPEGxt),[re_match/6])). :- (current_module(csg_pPEGxt) -> true ; reexport(library(csg_pPEGxt),['@'/6])). /* :- module(pPEG,[ % module pPEG exports: peg_compile/2, % create a grammar from a source string peg_compile/3, % as above with option list peg_parse/3, % use a pPEG grammar to parse an Input string to a ptree Result peg_parse/5, % as above with unmatched residue and option list peg_grammar/1, % pPEG grammar source peg_lookup_previous/3 % used by CSG extensions to lookup previous matches ]). */ %:- set_test_options([silent(true)]). test_pPEG :- run_tests([peg_functions]). :- begin_tests(peg_functions). parse_test(Src,Input,Result,Options) :- peg_compile(Src,G,Options), peg_parse(G,Input,Result). test(identity, PG='Peg'(PRules,_)) :- % if this works, many things are already working peg_grammar(S), peg_compile(S,PG,[optimise(false)]), peg_parse(PG,S,'Peg'(PRules)). test(basic_rule, G='Peg'([rule([id("rule1"), def("="), id("Rule2_")])],_)) :- S="rule1 = Rule2_", peg_compile(S,G,[optimise(false)]). test(basic_rule_O, G='Peg'([rule(rule1, dynamic, call_O(rule('Rule2_', _, _)))],_)) :- S="rule1 = Rule2_", peg_compile(S,G,[optimise(true)]). test(basic_fail, fail) :- S="rule1 = $", peg_compile(S,_). test(dup_fail, true) :- % should succeed, Warning message only S="rule1 = 'x' rule1 = 'y'", peg_compile(S,_,[optimise(true)]). test(sq, R=rule1("a")) :- parse_test("rule1 = 'a'", "a", R, []). test(sq, fail) :- parse_test("rule1 = 'a'", "b", _R, []). test(sq, R=rule1("a")) :- parse_test("rule1 = '' 'a'", "a", R, []). test(sq, R=rule1("a")) :- parse_test("rule1 = 'a' ''", "a", R, []). test(sq, fail) :- parse_test("rule1 = 'a'", "b", _R, []). test(sq, R=rule1("a")) :- parse_test("rule1 = 'a'", "a", R, [optimise(true)]). test(sq, R = rule1("")) :- % succeed but match nothing, Residue=Input Src="rule1 = ''", Inp = "abc", peg_compile(Src,G), peg_parse(G,Inp,R,Inp,[incomplete(true)]). test(chs, R=rule1("c")) :- parse_test("rule1 = [a-z]", "c", R, []). test(chs, fail) :- parse_test("rule1 = [a-z]", "$", _R, []). test(chs, R=rule1("a")) :- parse_test("rule1 = [a-z]", "a", R, [optimise(true)]). test(chs, R=rule1("C")) :- parse_test("rule1 = ~[a-z]", "C", R, []). test(chs, fail) :- parse_test("rule1 = ~[a-z]", "c", _R, []). test(chs, R=rule1("A")) :- parse_test("rule1 = ~[a-z]", "A", R, [optimise(true)]). test(chs, fail) :- parse_test("rule1 = []", "", _R, []). test(chs, fail) :- parse_test("rule1 = []", "x", _R, []). test(dot, R=rule1("c")) :- parse_test("rule1 = .", "c", R, []). test(name, R=rule2("a")) :- parse_test("rule1 = rule2\nrule2='a'", "a", R, []). test(name, fail) :- parse_test("rule1 = rule2\nrule3='a'", "a", _R, []). test(name, R=rule2("a")) :- parse_test("rule1 = rule2\nrule2='a'", "a", R, [optimise(true)]). test(name, R="a") :- parse_test("_rule1 = rule2\nrule2='a'", "a", R, []). test(name, R='Rule1'([rule2("a")])) :- parse_test("Rule1 = rule2\nrule2='a'", "a", R, []). test(defs, R="a") :- parse_test("rule1 : rule2\nrule2='a'", "a", R, []). test(defs, R='rule1'([rule2("a")])) :- parse_test("rule1 := rule2\nrule2='a'", "a", R, []). test(defs, R='rule1'("a")) :- parse_test("rule1 =: rule2\nrule2='a'", "a", R, []). test(seq, R=rule1("ab")) :- parse_test("rule1 = 'a' 'b'", "ab", R, []). test(seq, fail) :- parse_test("rule1 = 'a' 'b'", "aa", _R, []). test(sel, R=rule1("a")) :- parse_test("rule1 = 'a' / 'b'", "a", R, []). test(sel, R=rule1("b")) :- parse_test("rule1 = 'a' / 'b'", "b", R, []). test(seq, fail) :- parse_test("rule1 = 'a' / 'b'", "c", _R, []). test(rep, R=rule1("")) :- parse_test("rule1 = 'a'*", "", R, []). test(rep, R=rule1("aaa")) :- parse_test("rule1 = 'a'*", "aaa", R, []). test(rep, fail) :- parse_test("rule1 = 'a'*", "b", _R, []). test(rep, R=rule1("aaa")) :- parse_test("rule1 = 'a'*", "aaa", R, [optimise(true)]). test(rep, R=rule1("aaa")) :- parse_test("rule1 = 'a'*3", "aaa", R, []). test(rep, fail) :- parse_test("rule1 = 'a'*2", "aaa", _R, []). test(rep, R=rule1("aaa")) :- parse_test("rule1 = 'a'*2..", "aaa", R, []). test(rep, R=rule1("aaa")) :- parse_test("rule1 = 'a'*2..4", "aaa", R, []). test(rep, R=rule1("aa")) :- parse_test("rule1 = 'a'*2..4", "aa", R, []). test(rep, R=rule1("aaaa")) :- parse_test("rule1 = 'a'*2..4", "aaaa", R, []). test(rep, fail) :- parse_test("rule1 = 'a'*2..4", "aaaaa", _R, []). test(rep, R=rule1("a")) :- parse_test("rule1 = 'a'+", "a", R, []). test(rep, R=rule1("aaa")) :- parse_test("rule1 = 'a'+", "aaa", R, []). test(rep, fail) :- parse_test("rule1 = 'a'+", "b", _R, []). test(rep, R=rule1("a")) :- parse_test("rule1 = 'a'+", "a", R, [optimise(true)]). test(rep, R=rule1("")) :- parse_test("rule1 = 'a'?", "", R, []). test(rep, R=rule1("a")) :- parse_test("rule1 = 'a'?", "a", R, []). test(rep, R=rule1("b")) :- parse_test("rule1 = 'a'? 'b'", "b", R, [optimise(true)]). test(pre, R=rule1("ab")) :- parse_test("rule1 = &'a' 'ab'", "ab", R, []). test(pre, fail) :- parse_test("rule1 = &'a' 'ba'", "ba", _R, []). test(pre, R=rule1("ba")) :- parse_test("rule1 = !'a' 'ba'", "ba", R, []). test(pre, fail) :- parse_test("rule1 = !'a' 'ab'", "ab", _R, []). test(pre, R=rule1("ba")) :- parse_test("rule1 = ~'a' 'a'", "ba", R, []). test(pre, fail) :- parse_test("rule1 = ~'a' 'a'", "aa", _R, []). test(pre, R=rule1("x")) :- parse_test("rule1 = ~[]", "x", R, []). test(pre, R=rule1("12")) :- parse_test("rule1 = _rule2 \n _rule2 = d d \n d = [0-9]", "12", R, []). test(group, R=rule1("ab")) :- parse_test("rule1 = 'a' ('b' / 'c')", "ab", R, []). test(group, R=rule1("acd")) :- parse_test("rule1 = 'a' ('b' / 'c') 'd'", "acd", R, []). test(rec, R=='Err') :- catch(parse_test("rule1=rule2\nrule2=rule1","",R,[]),error(resource_error(_),_),R='Err'). test(esc, R=rule1("\n\r\t\\\x5d")) :- parse_test("rule1 = '\n\r\t\\\x5d'", "\n\r\t\\\u005d", R, []). test(esc, R=rule1("\n\r\t\\\u005d")) :- parse_test("rule1 = '\n\r\t\\\u005d'", "\n\r\t\\\u005d", R, []). test(esc, R=rule1("\n\r\t\\\U0000005d")) :- parse_test("rule1 = '\n\r\t\\\U0000005d'", "\n\r\t\\\u005d", R, []). test(cws, R=rule1([text("abc"),text("def")])) :- parse_test("rule1 = (text _)* text = [a-z]* _ = [ \t\n\r?]*", "abc ? def \t", R, []). test(ext, R=rule1("x")) :- parse_test("rule1 = 'x'", "x", R, []). test(csg_lookup, R=elem([tag("div"), content([text(" abc "), elem([tag("p"), text("par")])])])) :- G={|string|| elem = '<' tag '>' content ' '>' content = (text / elem)* tag = [a-zA-Z]+ text = ~[<]+ |}, parse_test(G, "
abc

par

", R, []). test(csg_lookup, R=elem([tag("div"), content([text(" abc "), elem([tag("p"), text("par")])])])) :- G={|string|| elem = '<' tag '>' content ' '>' content = (text / elem)* tag = [a-zA-Z]+ text = ~[<]+ |}, parse_test(G, "
abc

par

", R, [optimise(false)]). test(csg_lookup, R='Raw'([raw("raw string")])) :- G={|string|| Raw = 'r' _fence '"' raw '"' raw = ~('"' )* _fence = '#'+ |}, parse_test(G, "r##\"raw string\"##", R, []). test(re_match, R=num("12.34e56")) :- G="num= ", parse_test(G, "12.34e56", R, []). test(t_3_misc, R=s("xyz")) :- parse_test("s=_any*_eof _any=~[] _eof=!_any", "xyz", R, []). test(t_3_misc, R=s("x,x,x")) :- parse_test("s=_x(','_x)*_x='x'/''", "x,x,x", R, []). test(t_3_misc, R=s("x,,,x,,")) :- parse_test("s=_x(','_x)*_x='x'/''", "x,,,x,,", R, []). test(t_3_misc, R=s("abc ABC aBc")) :- parse_test("s= (' '* 'abc'i)+", "abc ABC aBc", R, []). test(t_3_misc, R=s("\\n")) :- parse_test("s='\\' [nrt]", "\\n", R, []). test(t_3_misc, R=date("2021-04-05")) :- G={|string|| # test comments.... date = _year '-' _month '-' _day # ... _year = [1-2] [0-9]*3 _month = [0-1] [0-9] # comment.. _day = [0-3] [0-9] # last comment |}, parse_test(G, "2021-04-05", R, []). test(t_4_errors, R=='Err') :- catch(parse_test("s='a' x'b'x=''y'z'y=x", "ayb", R, []), error(resource_error(_),_), R='Err'). test(t_4_errors, fail) :- parse_test("s=x y z x='x'", "xxx", _R, []). test(t_4_errors, fail) :- G={|string|| date = _year '-' _month '-' _day _year = [1-2] [0-9]*3 _month = [0-1] [0-9] _day = [0-3] [0-9] |}, parse_test(G, "2021-04/05", _R, []). :- end_tests(peg_functions). :- else. test_pPEG. :- endif.