1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
(ns instaparse.defparser-test
(:require
#?(:clj [clojure.test :as t :refer [deftest are is]]
:cljs [cljs.test :as t :refer-macros [deftest are is]])
#?(:clj [instaparse.core :as insta :refer [defparser]]
:cljs [instaparse.core :as insta :refer-macros [defparser]])
[instaparse.combinators :as c]
[instaparse.core-test :refer [parsers-similar?]]))
(defparser p1 "S = #'a' | 'b'")
(defparser p2 [:S (c/alt (c/regexp #"a") (c/string "b"))])
(defparser p3 {:S (c/alt (c/regexp #"a") (c/string "b"))}
:start :S)
(defparser p4 "test/data/defparser_grammar.txt")
(def p5 (insta/parser "S = #'a' | 'b'"))
(deftest defparser-test-standard
(is (parsers-similar? p1 p2 p3 p4 p5))
#?(:clj
(are [x y] (thrown? y (eval (quote x)))
(instaparse.core/defparser p6 "test/data/parser_not_found.txt")
Exception
(instaparse.core/defparser p7 "test/data/defparser_grammar.txt" :no-slurp true)
Exception
;; We catch up front when someone tries to do something overly
;; complicated in the macro-time options
(instaparse.core/defparser p8 "S = #'a' | 'b'" :input-format (do :ebnf))
AssertionError)))
(defparser a1 "S = #'a' / 'b'"
:input-format :abnf)
(def a2 (insta/parser "S = #'a' / 'b'" :input-format :abnf))
(defparser a3 "S = #'a' | 'b'"
:input-format :ebnf, :string-ci true)
(deftest defparser-test-abnf
(is (parsers-similar? a1 a2 a3)))
(defparser ws1 "S = (<whitespace?> 'a')+ <whitespace?>; <whitespace> = #'\\s+'")
(defparser ws2 "S = 'a'+" :auto-whitespace :standard)
(defparser ws3 "S = 'a'+" :auto-whitespace (insta/parser "whitespace = #'\\s+'"))
(let [ws (insta/parser "whitespace = #'\\s+'")]
(defparser ws4 "S = 'a'+" :auto-whitespace ws))
(def ws5 (insta/parser "S = 'a'+" :auto-whitespace :standard))
(defparser ws6 "<whitespace> = #'\\s+'; S = (<whitespace?> 'a')+ <whitespace?>"
:start :S)
(deftest defparser-test-auto-whitespace
(is (parsers-similar? ws1 ws2 ws3 ws4 ws5 ws6)))
(defparser e1 "S = 'a'+" :output-format :enlive)
(def e2 (insta/parser "S = 'a'+" :output-format :enlive))
(deftest defparser-test-enlive
(is (parsers-similar? e1 e2))
(is (= (e2 "a") (e1 "a"))))
|
