]> gitweb.factorcode.org Git - factor.git/blob - unmaintained/regexp4/regexp4-tests.factor
Fix Windows bootstrap
[factor.git] / unmaintained / regexp4 / regexp4-tests.factor
1 USING: regexp4 tools.test kernel ;
2 IN: regexp4-tests
3
4 [ f ] [ "b" "a*" <regexp> matches? ] unit-test
5 [ t ] [ "" "a*" <regexp> matches? ] unit-test
6 [ t ] [ "a" "a*" <regexp> matches? ] unit-test
7 [ t ] [ "aaaaaaa" "a*"  <regexp> matches? ] unit-test
8 [ f ] [ "ab" "a*" <regexp> matches? ] unit-test
9
10 [ t ] [ "abc" "abc" <regexp> matches? ] unit-test
11 [ t ] [ "a" "a|b|c" <regexp> matches? ] unit-test
12 [ t ] [ "b" "a|b|c" <regexp> matches? ] unit-test
13 [ t ] [ "c" "a|b|c" <regexp> matches? ] unit-test
14 [ f ] [ "c" "d|e|f" <regexp> matches? ] unit-test
15
16 [ f ] [ "aa" "a|b|c" <regexp> matches? ] unit-test
17 [ f ] [ "bb" "a|b|c" <regexp> matches? ] unit-test
18 [ f ] [ "cc" "a|b|c" <regexp> matches? ] unit-test
19 [ f ] [ "cc" "d|e|f" <regexp> matches? ] unit-test
20
21 [ f ] [ "" "a+" <regexp> matches? ] unit-test
22 [ t ] [ "a" "a+" <regexp> matches? ] unit-test
23 [ t ] [ "aa" "a+" <regexp> matches? ] unit-test
24
25 [ t ] [ "" "a?" <regexp> matches? ] unit-test
26 [ t ] [ "a" "a?" <regexp> matches? ] unit-test
27 [ f ] [ "aa" "a?" <regexp> matches? ] unit-test
28
29 [ f ] [ "" "." <regexp> matches? ] unit-test
30 [ t ] [ "a" "." <regexp> matches? ] unit-test
31 [ t ] [ "." "." <regexp> matches? ] unit-test
32 ! [ f ] [ "\n" "." <regexp> matches? ] unit-test
33
34 [ f ] [ "" ".+" <regexp> matches? ] unit-test
35 [ t ] [ "a" ".+" <regexp> matches? ] unit-test
36 [ t ] [ "ab" ".+" <regexp> matches? ] unit-test
37
38
39 [ t ] [ "" "a|b*|c+|d?" <regexp> matches? ] unit-test
40 [ t ] [ "a" "a|b*|c+|d?" <regexp> matches? ] unit-test
41 [ t ] [ "c" "a|b*|c+|d?" <regexp> matches? ] unit-test
42 [ t ] [ "cc" "a|b*|c+|d?" <regexp> matches? ] unit-test
43 [ f ] [ "ccd" "a|b*|c+|d?" <regexp> matches? ] unit-test
44 [ t ] [ "d" "a|b*|c+|d?" <regexp> matches? ] unit-test
45
46 [ t ] [ "foo" "foo|bar" <regexp> matches? ] unit-test
47 [ t ] [ "bar" "foo|bar" <regexp> matches? ] unit-test
48 [ f ] [ "foobar" "foo|bar" <regexp> matches? ] unit-test
49
50 [ f ] [ "" "(a)" <regexp> matches? ] unit-test
51 [ t ] [ "a" "(a)" <regexp> matches? ] unit-test
52 [ f ] [ "aa" "(a)" <regexp> matches? ] unit-test
53 [ t ] [ "aa" "(a*)" <regexp> matches? ] unit-test
54
55 [ f ] [ "aababaaabbac" "(a|b)+" <regexp> matches? ] unit-test
56 [ t ] [ "ababaaabba" "(a|b)+" <regexp> matches? ] unit-test
57
58 [ f ] [ "" "a{1}" <regexp> matches? ] unit-test
59 [ t ] [ "a" "a{1}" <regexp> matches? ] unit-test
60 [ f ] [ "aa" "a{1}" <regexp> matches? ] unit-test
61
62 [ f ] [ "a" "a{2,}" <regexp> matches? ] unit-test
63 [ t ] [ "aaa" "a{2,}" <regexp> matches? ] unit-test
64 [ t ] [ "aaaa" "a{2,}" <regexp> matches? ] unit-test
65 [ t ] [ "aaaaa" "a{2,}" <regexp> matches? ] unit-test
66
67 [ t ] [ "" "a{,2}" <regexp> matches? ] unit-test
68 [ t ] [ "a" "a{,2}" <regexp> matches? ] unit-test
69 [ t ] [ "aa" "a{,2}" <regexp> matches? ] unit-test
70 [ f ] [ "aaa" "a{,2}" <regexp> matches? ] unit-test
71 [ f ] [ "aaaa" "a{,2}" <regexp> matches? ] unit-test
72 [ f ] [ "aaaaa" "a{,2}" <regexp> matches? ] unit-test
73
74 [ f ] [ "" "a{1,3}" <regexp> matches? ] unit-test
75 [ t ] [ "a" "a{1,3}" <regexp> matches? ] unit-test
76 [ t ] [ "aa" "a{1,3}" <regexp> matches? ] unit-test
77 [ t ] [ "aaa" "a{1,3}" <regexp> matches? ] unit-test
78 [ f ] [ "aaaa" "a{1,3}" <regexp> matches? ] unit-test
79
80 [ f ] [ "" "[a]" <regexp> matches? ] unit-test
81 [ t ] [ "a" "[a]" <regexp> matches? ] unit-test
82 [ t ] [ "a" "[abc]" <regexp> matches? ] unit-test
83 [ f ] [ "b" "[a]" <regexp> matches? ] unit-test
84 [ f ] [ "d" "[abc]" <regexp> matches? ] unit-test
85 [ t ] [ "ab" "[abc]{1,2}" <regexp> matches? ] unit-test
86 [ f ] [ "abc" "[abc]{1,2}" <regexp> matches? ] unit-test
87
88 [ f ] [ "" "[^a]" <regexp> matches? ] unit-test
89 [ f ] [ "a" "[^a]" <regexp> matches? ] unit-test
90 [ f ] [ "a" "[^abc]" <regexp> matches? ] unit-test
91 [ t ] [ "b" "[^a]" <regexp> matches? ] unit-test
92 [ t ] [ "d" "[^abc]" <regexp> matches? ] unit-test
93 [ f ] [ "ab" "[^abc]{1,2}" <regexp> matches? ] unit-test
94 [ f ] [ "abc" "[^abc]{1,2}" <regexp> matches? ] unit-test
95
96 [ t ] [ "]" "[]]" <regexp> matches? ] unit-test
97 [ f ] [ "]" "[^]]" <regexp> matches? ] unit-test
98 [ t ] [ "a" "[^]]" <regexp> matches? ] unit-test
99
100 [ t ] [ "^" "[^]" <regexp> matches? ] must-fail
101 [ t ] [ "^" "[]^]" <regexp> matches? ] unit-test
102 [ t ] [ "]" "[]^]" <regexp> matches? ] unit-test
103
104 [ t ] [ "[" "[[]" <regexp> matches? ] unit-test
105 [ f ] [ "^" "[^^]" <regexp> matches? ] unit-test
106 [ t ] [ "a" "[^^]" <regexp> matches? ] unit-test
107
108 [ t ] [ "-" "[-]" <regexp> matches? ] unit-test
109 [ f ] [ "a" "[-]" <regexp> matches? ] unit-test
110 [ f ] [ "-" "[^-]" <regexp> matches? ] unit-test
111 [ t ] [ "a" "[^-]" <regexp> matches? ] unit-test
112
113 [ t ] [ "-" "[-a]" <regexp> matches? ] unit-test
114 [ t ] [ "a" "[-a]" <regexp> matches? ] unit-test
115 [ t ] [ "-" "[a-]" <regexp> matches? ] unit-test
116 [ t ] [ "a" "[a-]" <regexp> matches? ] unit-test
117 [ f ] [ "b" "[a-]" <regexp> matches? ] unit-test
118 [ f ] [ "-" "[^-]" <regexp> matches? ] unit-test
119 [ t ] [ "a" "[^-]" <regexp> matches? ] unit-test
120
121 [ f ] [ "-" "[a-c]" <regexp> matches? ] unit-test
122 [ t ] [ "-" "[^a-c]" <regexp> matches? ] unit-test
123 [ t ] [ "b" "[a-c]" <regexp> matches? ] unit-test
124 [ f ] [ "b" "[^a-c]" <regexp> matches? ] unit-test
125
126 [ t ] [ "-" "[a-c-]" <regexp> matches? ] unit-test
127 [ f ] [ "-" "[^a-c-]" <regexp> matches? ] unit-test
128
129 [ t ] [ "\\" "[\\\\]" <regexp> matches? ] unit-test
130 [ f ] [ "a" "[\\\\]" <regexp> matches? ] unit-test
131 [ f ] [ "\\" "[^\\\\]" <regexp> matches? ] unit-test
132 [ t ] [ "a" "[^\\\\]" <regexp> matches? ] unit-test
133
134 [ t ] [ "0" "[\\d]" <regexp> matches? ] unit-test
135 [ f ] [ "a" "[\\d]" <regexp> matches? ] unit-test
136 [ f ] [ "0" "[^\\d]" <regexp> matches? ] unit-test
137 [ t ] [ "a" "[^\\d]" <regexp> matches? ] unit-test
138
139 [ t ] [ "a" "[a-z]{1,}|[A-Z]{2,4}|b*|c|(f|g)*" <regexp> matches? ] unit-test
140 [ t ] [ "a" "[a-z]{1,2}|[A-Z]{3,3}|b*|c|(f|g)*" <regexp> matches? ] unit-test
141 [ t ] [ "a" "[a-z]{1,2}|[A-Z]{3,3}" <regexp> matches? ] unit-test
142
143 [ t ] [ "1000" "\\d{4,6}" <regexp> matches? ] unit-test
144 [ t ] [ "1000" "[0-9]{4,6}" <regexp> matches? ] unit-test
145
146 [ t ] [ "abc" "\\p{Lower}{3}" <regexp> matches? ] unit-test
147 [ f ] [ "ABC" "\\p{Lower}{3}" <regexp> matches? ] unit-test
148 [ t ] [ "ABC" "\\p{Upper}{3}" <regexp> matches? ] unit-test
149 [ f ] [ "abc" "\\p{Upper}{3}" <regexp> matches? ] unit-test
150
151 [ f ] [ "abc" "[\\p{Upper}]{3}" <regexp> matches? ] unit-test
152 [ t ] [ "ABC" "[\\p{Upper}]{3}" <regexp> matches? ] unit-test
153
154 [ t ] [ "" "\\Q\\E" <regexp> matches? ] unit-test
155 [ f ] [ "a" "\\Q\\E" <regexp> matches? ] unit-test
156 [ t ] [ "|*+" "\\Q|*+\\E" <regexp> matches? ] unit-test
157 [ f ] [ "abc" "\\Q|*+\\E" <regexp> matches? ] unit-test
158 [ t ] [ "s" "\\Qs\\E" <regexp> matches? ] unit-test
159
160 [ t ] [ "S" "\\0123" <regexp> matches? ] unit-test
161 [ t ] [ "SXY" "\\0123XY" <regexp> matches? ] unit-test
162 [ t ] [ "x" "\\x78" <regexp> matches? ] unit-test
163 [ f ] [ "y" "\\x78" <regexp> matches? ] unit-test
164 [ t ] [ "x" "\\u000078" <regexp> matches? ] unit-test
165 [ f ] [ "y" "\\u000078" <regexp> matches? ] unit-test
166
167 [ t ] [ "ab" "a+b" <regexp> matches? ] unit-test
168 [ f ] [ "b" "a+b" <regexp> matches? ] unit-test
169 [ t ] [ "aab" "a+b" <regexp> matches? ] unit-test
170 [ f ] [ "abb" "a+b" <regexp> matches? ] unit-test
171
172 [ t ] [ "abbbb" "ab*" <regexp> matches? ] unit-test
173 [ t ] [ "a" "ab*" <regexp> matches? ] unit-test
174 [ f ] [ "abab" "ab*" <regexp> matches? ] unit-test
175
176 [ f ] [ "x" "\\." <regexp> matches? ] unit-test
177 [ t ] [ "." "\\." <regexp> matches? ] unit-test
178
179 [ t ] [ "aaaab" "a+ab" <regexp> matches? ] unit-test
180 [ f ] [ "aaaxb" "a+ab" <regexp> matches? ] unit-test
181 [ t ] [ "aaacb" "a+cb" <regexp> matches? ] unit-test
182 [ f ] [ "aaaab" "a++ab" <regexp> matches? ] unit-test
183 [ t ] [ "aaacb" "a++cb" <regexp> matches? ] unit-test
184
185 [ 3 ] [ "aaacb" "a*" <regexp> match-head ] unit-test
186 [ 1 ] [ "aaacb" "a+?" <regexp> match-head ] unit-test
187 [ 2 ] [ "aaacb" "aa?" <regexp> match-head ] unit-test
188 [ 1 ] [ "aaacb" "aa??" <regexp> match-head ] unit-test
189 [ 3 ] [ "aacb" "aa?c" <regexp> match-head ] unit-test
190 [ 3 ] [ "aacb" "aa??c" <regexp> match-head ] unit-test
191
192 ! [ t ] [ "aaa" "AAA" t <regexp> matches? ] unit-test
193 ! [ f ] [ "aax" "AAA" t <regexp> matches? ] unit-test
194 ! [ t ] [ "aaa" "A*" t <regexp> matches? ] unit-test
195 ! [ f ] [ "aaba" "A*" t <regexp> matches? ] unit-test
196 ! [ t ] [ "b" "[AB]" t <regexp> matches? ] unit-test
197 ! [ f ] [ "c" "[AB]" t <regexp> matches? ] unit-test
198 ! [ t ] [ "c" "[A-Z]" t <regexp> matches? ] unit-test
199 ! [ f ] [ "3" "[A-Z]" t <regexp> matches? ] unit-test
200
201 [ ] [
202     "(0[lL]?|[1-9]\\d{0,9}(\\d{0,9}[lL])?|0[xX]\\p{XDigit}{1,8}(\\p{XDigit}{0,8}[lL])?|0[0-7]{1,11}([0-7]{0,11}[lL])?|([0-9]+\\.[0-9]*|\\.[0-9]+)([eE][+-]?[0-9]+)?[fFdD]?|[0-9]+([eE][+-]?[0-9]+[fFdD]?|([eE][+-]?[0-9]+)?[fFdD]))"
203     <regexp> drop
204 ] unit-test
205
206 [ t ] [ "fxxbar" "(?!foo).{3}bar" <regexp> matches? ] unit-test
207 [ f ] [ "foobar" "(?!foo).{3}bar" <regexp> matches? ] unit-test
208
209 ! [ 3 ] [ "foobar" "foo(?=bar)" <regexp> match-head ] unit-test
210 ! [ f ] [ "foobxr" "foo(?=bar)" <regexp> match-head ] unit-test
211
212 ! [ f ] [ "foobxr" "foo\\z" <regexp> match-head ] unit-test
213 ! [ 3 ] [ "foo" "foo\\z" <regexp> match-head ] unit-test
214
215 ! [ 3 ] [ "foo bar" "foo\\b" <regexp> match-head ] unit-test
216 ! [ f ] [ "fooxbar" "foo\\b" <regexp> matches? ] unit-test
217 ! [ t ] [ "foo" "foo\\b" <regexp> matches? ] unit-test
218 ! [ t ] [ "foo bar" "foo\\b bar" <regexp> matches? ] unit-test
219 ! [ f ] [ "fooxbar" "foo\\bxbar" <regexp> matches? ] unit-test
220 ! [ f ] [ "foo" "foo\\bbar" <regexp> matches? ] unit-test
221
222 ! [ f ] [ "foo bar" "foo\\B" <regexp> matches? ] unit-test
223 ! [ 3 ] [ "fooxbar" "foo\\B" <regexp> match-head ] unit-test
224 ! [ t ] [ "foo" "foo\\B" <regexp> matches? ] unit-test
225 ! [ f ] [ "foo bar" "foo\\B bar" <regexp> matches? ] unit-test
226 ! [ t ] [ "fooxbar" "foo\\Bxbar" <regexp> matches? ] unit-test
227 ! [ f ] [ "foo" "foo\\Bbar" <regexp> matches? ] unit-test
228
229 ! [ t ] [ "s@f" "[a-z.-]@[a-z]" <regexp> matches? ] unit-test
230 ! [ f ] [ "a" "[a-z.-]@[a-z]" <regexp> matches? ] unit-test
231 ! [ t ] [ ".o" "\\.[a-z]" <regexp> matches? ] unit-test
232
233 ! Bug in parsing word
234 [ t ] [
235     "a"
236     R' a'
237     matches?
238 ] unit-test
239
240 ! ((A)(B(C)))
241 ! 1.  ((A)(B(C)))
242 ! 2. (A)
243 ! 3. (B(C))
244 ! 4. (C)