Mercurial > hg > xemacs-beta
annotate tests/automated/regexp-tests.el @ 4934:714f7c9fabb1
make it easier to debug staticpro crashes.
Add functions to print out the variable names saved during calls to
staticpro(), and change the order of enumerating staticpros to start
from 0 to make it easier to get a count to pass to the new functions.
| author | Ben Wing <ben@xemacs.org> |
|---|---|
| date | Tue, 19 Jan 2010 01:21:39 -0600 |
| parents | 189fb67ca31a |
| children | 91a023144e72 |
| rev | line source |
|---|---|
| 446 | 1 ;;; -*- coding: iso-8859-1 -*- |
| 2 | |
| 1612 | 3 ;; Copyright (C) 2000, 2002, 2003 Free Software Foundation, Inc. |
| 446 | 4 |
| 5 ;; Author: Yoshiki Hayashi <yoshiki@xemacs.org> | |
| 1612 | 6 ;; Maintainer: Stephen J. Turnbull <stephen@xemacs.org> |
| 446 | 7 ;; Created: 2000 |
| 8 ;; Keywords: tests | |
| 9 | |
| 10 ;; This file is part of XEmacs. | |
| 11 | |
| 12 ;; XEmacs is free software; you can redistribute it and/or modify it | |
| 13 ;; under the terms of the GNU General Public License as published by | |
| 14 ;; the Free Software Foundation; either version 2, or (at your option) | |
| 15 ;; any later version. | |
| 16 | |
| 17 ;; XEmacs is distributed in the hope that it will be useful, but | |
| 18 ;; WITHOUT ANY WARRANTY; without even the implied warranty of | |
| 19 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | |
| 20 ;; General Public License for more details. | |
| 21 | |
| 22 ;; You should have received a copy of the GNU General Public License | |
| 23 ;; along with XEmacs; see the file COPYING. If not, write to the Free | |
| 24 ;; Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA | |
| 25 ;; 02111-1307, USA. | |
| 26 | |
| 27 ;;; Synched up with: Not in FSF. | |
| 28 | |
| 29 ;;; Commentary: | |
| 30 | |
| 31 ;; Test regular expression. | |
| 32 | |
| 33 (Check-Error-Message error "Trailing backslash" | |
| 34 (string-match "\\" "a")) | |
| 35 (Check-Error-Message error "Invalid preceding regular expression" | |
| 36 (string-match "a++" "a")) | |
| 37 (Check-Error-Message error "Invalid preceding regular expression" | |
| 38 (string-match "a**" "a")) | |
| 39 (Check-Error-Message error "Invalid preceding regular expression" | |
| 40 (string-match "a???" "a")) | |
| 41 (Check-Error-Message error "Unmatched \\[ or \\[^" | |
| 42 (string-match "[" "a")) | |
| 43 (Check-Error-Message error "Unmatched \\[ or \\[^" | |
| 44 (string-match "[abc" "a")) | |
| 45 (Check-Error-Message error "Unmatched ) or \\\\)" | |
| 46 (string-match "\\)" "a")) | |
| 47 (Check-Error-Message error "Invalid regular expression" | |
| 48 (string-match "\\(?.\\)" "a")) | |
| 49 (Check-Error-Message error "Unmatched \\\\{" | |
| 50 (string-match "a\\{" "a")) | |
| 51 (Check-Error-Message error "Invalid content of \\\\{\\\\}" | |
| 52 (string-match "a\\{a\\}" "a")) | |
| 53 | |
| 54 ;; exactn | |
| 55 | |
| 56 ;; string-match | |
| 57 (with-temp-buffer | |
| 58 ;; case-insensitive | |
| 59 (Assert (string-match "ä" "ä")) | |
| 60 (Assert (string-match "ä" "Ä")) | |
| 61 (Assert (string-match "Ä" "Ä")) | |
| 62 (Assert (string-match "Ä" "ä")) | |
| 63 ;; case-sensitive | |
| 64 (setq case-fold-search nil) | |
| 65 (Assert (string-match "ä" "ä")) | |
| 66 (Assert (not (string-match "ä" "Ä"))) | |
| 67 (Assert (string-match "Ä" "Ä")) | |
| 68 (Assert (not (string-match "Ä" "ä")))) | |
| 69 | |
| 70 ;; looking-at | |
| 71 (with-temp-buffer | |
| 72 (insert "äÄ") | |
| 73 ;; case-insensitive | |
| 74 (goto-char (point-min)) | |
| 75 (Assert (looking-at "ä")) | |
| 76 (Assert (looking-at "Ä")) | |
| 77 (forward-char) | |
| 78 (Assert (looking-at "ä")) | |
| 79 (Assert (looking-at "Ä")) | |
| 80 ;; case-sensitive | |
| 81 (setq case-fold-search nil) | |
| 82 (goto-char (point-min)) | |
| 83 (Assert (looking-at "ä")) | |
| 84 (Assert (not (looking-at "Ä"))) | |
| 85 (forward-char) | |
| 86 (Assert (not (looking-at "ä"))) | |
| 87 (Assert (looking-at "Ä"))) | |
| 88 | |
| 89 ;; re-search-forward and re-search-backward | |
| 90 (with-temp-buffer | |
| 91 (insert "äÄ") | |
| 92 ;; case insensitive | |
| 93 ;; forward | |
| 94 (goto-char (point-min)) | |
| 95 ;; Avoid trivial regexp. | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
96 (Assert-eq 2 (re-search-forward "ä\\|a" nil t)) |
| 446 | 97 (goto-char (point-min)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
98 (Assert-eq 2 (re-search-forward "Ä\\|a" nil t)) |
| 446 | 99 (goto-char (1+ (point-min))) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
100 (Assert-eq 3 (re-search-forward "ä\\|a" nil t)) |
| 446 | 101 (goto-char (1+ (point-min))) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
102 (Assert-eq 3 (re-search-forward "Ä\\|a" nil t)) |
| 446 | 103 ;; backward |
| 104 (goto-char (point-max)) | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
105 (Assert-eq 2 (re-search-backward "ä\\|a" nil t)) |
| 446 | 106 (goto-char (point-max)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
107 (Assert-eq 2 (re-search-backward "Ä\\|a" nil t)) |
| 446 | 108 (goto-char (1- (point-max))) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
109 (Assert-eq 1 (re-search-backward "ä\\|a" nil t)) |
| 446 | 110 (goto-char (1- (point-max))) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
111 (Assert-eq 1 (re-search-backward "Ä\\|a" nil t)) |
| 446 | 112 ;; case sensitive |
| 113 (setq case-fold-search nil) | |
| 114 ;; forward | |
| 115 (goto-char (point-min)) | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
116 (Assert-eq 2 (re-search-forward "ä\\|a" nil t)) |
| 446 | 117 (goto-char (point-min)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
118 (Assert-eq 3 (re-search-forward "Ä\\|a" nil t)) |
| 446 | 119 (goto-char (1+ (point-min))) |
| 120 (Assert (not (re-search-forward "ä\\|a" nil t))) | |
| 121 (goto-char (1+ (point-min))) | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
122 (Assert-eq 3 (re-search-forward "Ä\\|a" nil t)) |
| 446 | 123 ;; backward |
| 124 (goto-char (point-max)) | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
125 (Assert-eq 1 (re-search-backward "ä\\|a" nil t)) |
| 446 | 126 (goto-char (point-max)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
127 (Assert-eq 2 (re-search-backward "Ä\\|a" nil t)) |
| 446 | 128 (goto-char (1- (point-max))) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
129 (Assert-eq 1 (re-search-backward "ä\\|a" nil t)) |
| 446 | 130 (goto-char (1- (point-max))) |
| 131 (Assert (not (re-search-backward "Ä\\|a" nil t)))) | |
| 132 | |
| 133 ;; duplicate | |
| 134 (with-temp-buffer | |
| 135 ;; case insensitive | |
| 136 (Assert (string-match "^\\(ä\\)\\1$" "ää")) | |
| 137 (Assert (string-match "^\\(ä\\)\\1$" "äÄ")) | |
| 138 (Assert (string-match "^\\(ä\\)\\1$" "ÄÄ")) | |
| 139 (Assert (string-match "^\\(ä\\)\\1$" "Ää")) | |
| 140 (Assert (string-match "^\\(Ä\\)\\1$" "ää")) | |
| 141 (Assert (string-match "^\\(Ä\\)\\1$" "äÄ")) | |
| 142 (Assert (string-match "^\\(Ä\\)\\1$" "ÄÄ")) | |
| 143 (Assert (string-match "^\\(Ä\\)\\1$" "Ää")) | |
| 144 ;; case sensitive | |
| 145 (setq case-fold-search nil) | |
| 146 (Assert (string-match "^\\(ä\\)\\1$" "ää")) | |
| 147 (Assert (not (string-match "^\\(ä\\)\\1$" "äÄ"))) | |
| 148 (Assert (not (string-match "^\\(ä\\)\\1$" "ÄÄ"))) | |
| 149 (Assert (not (string-match "^\\(ä\\)\\1$" "Ää"))) | |
| 150 (Assert (not (string-match "^\\(Ä\\)\\1$" "ää"))) | |
| 151 (Assert (not (string-match "^\\(Ä\\)\\1$" "äÄ"))) | |
| 152 (Assert (string-match "^\\(Ä\\)\\1$" "ÄÄ")) | |
| 153 (Assert (not (string-match "^\\(Ä\\)\\1$" "Ää")))) | |
| 154 | |
| 1714 | 155 ;; multiple-match |
| 156 ;; Thanks to Manfred Bartz <MBartz@xix.com> | |
| 157 ;; c.e.x <vn4rkkm7ouf3b5@corp.supernews.com> | |
| 158 ;; #### Need to do repetitions of more complex regexps | |
| 159 ;; #### WASH ME! | |
| 160 (with-temp-buffer | |
| 161 (Assert (not (string-match "^a\\{4,4\\}$" "aaa"))) | |
| 162 (Assert (string-match "^a\\{4,4\\}$" "aaaa")) | |
| 163 (Assert (not (string-match "^a\\{4,4\\}$" "aaaaa"))) | |
| 164 (Assert (not (string-match "^[a]\\{4,4\\}$" "aaa"))) | |
| 165 (Assert (string-match "^[a]\\{4,4\\}$" "aaaa")) | |
| 166 (Assert (not (string-match "^[a]\\{4,4\\}$" "aaaaa"))) | |
| 167 (Assert (not (string-match "^\\(a\\)\\{4,4\\}$" "aaa"))) | |
| 168 (Assert (string-match "^\\(a\\)\\{4,4\\}$" "aaaa")) | |
| 169 (Assert (not (string-match "^\\(a\\)\\{4,4\\}$" "aaaaa"))) | |
| 170 ;; Use class because repetition of single char broken in 21.5.15 | |
| 171 (Assert (not (string-match "^[a]\\{3,5\\}$" "aa"))) | |
| 172 (Assert (string-match "^[a]\\{3,5\\}$" "aaa")) | |
| 173 (Assert (string-match "^[a]\\{3,5\\}$" "aaaa")) | |
| 174 (Assert (string-match "^[a]\\{3,5\\}$" "aaaaa")) | |
| 175 (Assert (not (string-match "^[a]\\{3,5\\}$" "aaaaaa"))) | |
| 176 (insert "\ | |
| 177 aa | |
| 178 aaa | |
| 179 aaaa | |
| 180 aaaaa | |
| 181 aaaaaa | |
| 182 baaaa | |
| 183 ") | |
| 184 (goto-char (point-min)) | |
| 185 (forward-line 1) | |
| 186 (Assert (not (looking-at "^a\\{4,4\\}$"))) | |
| 187 (forward-line 1) | |
| 188 (Assert (looking-at "^a\\{4,4\\}$")) | |
| 189 (forward-line 1) | |
| 190 (Assert (not (looking-at "^a\\{4,4\\}$"))) | |
| 191 (goto-char (point-min)) | |
| 192 (forward-line 1) | |
| 193 (Assert (not (looking-at "^[a]\\{4,4\\}$"))) | |
| 194 (forward-line 1) | |
| 195 (Assert (looking-at "^[a]\\{4,4\\}$")) | |
| 196 (forward-line 1) | |
| 197 (Assert (not (looking-at "^[a]\\{4,4\\}$"))) | |
| 198 (goto-char (point-min)) | |
| 199 (forward-line 1) | |
| 200 (Assert (not (looking-at "^\\(a\\)\\{4,4\\}$"))) | |
| 201 (forward-line 1) | |
| 202 (Assert (looking-at "^\\(a\\)\\{4,4\\}$")) | |
| 203 (forward-line 1) | |
| 204 (Assert (not (looking-at "^\\(a\\)\\{4,4\\}$"))) | |
| 205 ;; Use class because repetition of single char broken in 21.5.15 | |
| 206 (goto-char (point-min)) | |
| 207 (Assert (not (looking-at "^[a]\\{3,5\\}$"))) | |
| 208 (forward-line 1) | |
| 209 (Assert (looking-at "^[a]\\{3,5\\}$")) | |
| 210 (forward-line 1) | |
| 211 (Assert (looking-at "^[a]\\{3,5\\}$")) | |
| 212 (forward-line 1) | |
| 213 (Assert (looking-at "^[a]\\{3,5\\}$")) | |
| 214 (forward-line 1) | |
| 215 (Assert (not (looking-at "^[a]\\{3,5\\}$"))) | |
| 216 (goto-char (point-min)) | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
217 (Assert= 12 (re-search-forward "a\\{4,4\\}")) |
| 1714 | 218 (goto-char (point-min)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
219 (Assert= 12 (re-search-forward "b?a\\{4,4\\}")) |
| 1714 | 220 (goto-char (point-min)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
221 (Assert= 31 (re-search-forward "ba\\{4,4\\}")) |
| 1714 | 222 (goto-char (point-min)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
223 (Assert= 31 (re-search-forward "[b]a\\{4,4\\}")) |
| 1714 | 224 (goto-char (point-min)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
225 (Assert= 31 (re-search-forward "\\(b\\)a\\{4,4\\}")) |
| 1714 | 226 (goto-char (point-min)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
227 (Assert= 12 (re-search-forward "^a\\{4,4\\}")) |
| 1714 | 228 (goto-char (point-min)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
229 (Assert= 12 (re-search-forward "^a\\{4,4\\}$")) |
| 1714 | 230 (goto-char (point-min)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
231 (Assert= 12 (re-search-forward "[a]\\{4,4\\}")) |
| 1714 | 232 (goto-char (point-min)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
233 (Assert= 12 (re-search-forward "^[a]\\{4,4\\}")) |
| 1714 | 234 (goto-char (point-min)) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
235 (Assert= 12 (re-search-forward "^[a]\\{4,4\\}$")) |
| 1714 | 236 ) |
| 237 | |
| 446 | 238 ;; charset, charset_not |
| 239 ;; Not called because it takes too much time. | |
| 240 (defun test-regexp-charset-paranoid () | |
| 241 (let ((i 0) | |
| 242 (max (expt 2 (if (featurep 'mule) 19 8))) | |
| 243 (range "[a-z]") | |
| 244 (range-not "[^a-z]") | |
| 245 char string) | |
| 246 (while (< i max) | |
| 247 (when (setq char (int-to-char i)) | |
| 248 (setq string (char-to-string char)) | |
| 249 (if (or (and (<= 65 i) | |
| 250 (<= i 90)) | |
| 251 (and (<= 97 i) | |
| 252 (<= i 122))) | |
| 253 (progn | |
| 254 (Assert (string-match range string)) | |
| 255 (Assert (not (string-match range-not string)))) | |
| 256 (Assert (not (string-match range string))) | |
| 257 (Assert (string-match range-not string)))) | |
| 258 (setq i (1+ i))))) | |
| 259 | |
| 260 ;; (test-regexp-charset-paranoid) | |
| 261 | |
| 262 ;; charset_mule, charset_mule_not | |
| 263 ;; Not called because it takes too much time. | |
| 264 (defun test-regex-charset-mule-paranoid () | |
| 265 (if (featurep 'mule) | |
| 266 (let ((i 0) | |
| 267 (max (expt 2 19)) | |
| 268 (range (format "[%c-%c]" | |
| 269 (make-char 'japanese-jisx0208 36 34) | |
| 270 (make-char 'japanese-jisx0208 36 42))) | |
| 271 (range-not (format "[^%c-%c]" | |
| 272 (make-char 'japanese-jisx0208 36 34) | |
| 273 (make-char 'japanese-jisx0208 36 42))) | |
| 274 (min-int (char-to-int (make-char 'japanese-jisx0208 36 34))) | |
| 275 (max-int (char-to-int (make-char 'japanese-jisx0208 36 42))) | |
| 276 char string) | |
| 277 (while (< i max) | |
| 278 (when (setq char (int-to-char i)) | |
| 279 (setq string (char-to-string char)) | |
| 280 (if (and (<= min-int i) | |
| 281 (<= i max-int)) | |
| 282 (progn | |
| 283 (Assert (string-match range string)) | |
| 284 (Assert (not (string-match range-not string)))) | |
| 285 (Assert (not (string-match range string))) | |
| 286 (Assert (string-match range-not string)))) | |
| 287 (setq i (1+ i)))))) | |
| 288 | |
| 289 ;; (test-regex-charset-mule-paranoid) | |
| 448 | 290 |
| 1472 | 291 ;; Test that replace-match does not clobber registers after a failed match |
| 448 | 292 (with-temp-buffer |
| 293 (insert "This is a test buffer.") | |
| 294 (goto-char (point-min)) | |
| 295 (search-forward "this is a test ") | |
| 296 (looking-at "Unmatchable text") | |
| 1472 | 297 (replace-match "") |
| 298 (Assert (looking-at "^buffer.$"))) | |
| 1024 | 299 |
| 300 ;; Test that trivial regexps reset unused registers | |
| 301 ;; Thanks to Martin Sternholm for the report. | |
| 302 ;; xemacs-beta <5blm6h2ki5.fsf@lister.roxen.com> | |
| 303 (with-temp-buffer | |
| 304 (insert "ab") | |
| 305 (goto-char (point-min)) | |
| 306 (re-search-forward "\\(a\\)") | |
| 1175 | 307 ;; test the whole-match data, too -- one attempted fix scotched that, too! |
| 1024 | 308 (Assert (string= (match-string 0) "a")) |
| 309 (Assert (string= (match-string 1) "a")) | |
| 310 (re-search-forward "b") | |
| 311 (Assert (string= (match-string 0) "b")) | |
| 312 (Assert (string= (match-string 1) nil))) | |
| 313 | |
| 314 ;; Test word boundaries | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
315 (Assert= (string-match "\\<a" " a") 1) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
316 (Assert= (string-match "a\\>" "a ") 0) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
317 (Assert= (string-match "\\ba" " a") 1) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
318 (Assert= (string-match "a\\b" "a ") 0) |
| 1024 | 319 ;; should work at target boundaries |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
320 (Assert= (string-match "\\<a" "a") 0) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
321 (Assert= (string-match "a\\>" "a") 0) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
322 (Assert= (string-match "\\ba" "a") 0) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
323 (Assert= (string-match "a\\b" "a") 0) |
| 1095 | 324 ;; Check for weirdness |
| 325 (Assert (not (string-match " \\> " " "))) | |
| 326 (Assert (not (string-match " \\< " " "))) | |
| 327 (Assert (not (string-match " \\b " " "))) | |
| 1024 | 328 ;; but not if the "word" would be on the null side of the boundary! |
| 329 (Assert (not (string-match "\\<" ""))) | |
| 330 (Assert (not (string-match "\\>" ""))) | |
| 331 (Assert (not (string-match " \\<" " "))) | |
| 332 (Assert (not (string-match "\\> " " "))) | |
| 333 (Assert (not (string-match "a\\<" "a"))) | |
| 334 (Assert (not (string-match "\\>a" "a"))) | |
| 1389 | 335 ;; Added Known-Bug 2002-09-09 sjt |
| 336 ;; Fixed bug 2003-03-21 sjt | |
| 337 (Assert (not (string-match "\\b" ""))) | |
| 338 (Assert (not (string-match "\\b" " "))) | |
| 339 (Assert (not (string-match " \\b" " "))) | |
| 340 (Assert (not (string-match "\\b " " "))) | |
| 1175 | 341 |
| 342 ;; Character classes are broken in Mule as of 21.5.9 | |
| 343 ;; Added Known-Bug 2002-12-27 | |
| 1413 | 344 ;; Fixed by Daiki Ueno 2003-03-24 |
| 1175 | 345 (if (featurep 'mule) |
| 346 ;; note: (int-to-char 65) => ?A | |
| 347 (let ((ch0 (make-char 'japanese-jisx0208 52 65)) | |
| 348 (ch1 (make-char 'japanese-jisx0208 51 65))) | |
| 349 (Assert (not (string-match "A" (string ch0)))) | |
| 350 (Assert (not (string-match "[A]" (string ch0)))) | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
351 (Assert-eq (string-match "[^A]" (string ch0)) 0) |
| 1175 | 352 (Assert (not (string-match "@A" (string ?@ ch0)))) |
| 1413 | 353 (Assert (not (string-match "@[A]" (string ?@ ch0)))) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
354 (Assert-eq (string-match "@[^A]" (string ?@ ch0)) 0) |
| 1175 | 355 (Assert (not (string-match "@?A" (string ?@ ch0)))) |
| 356 (Assert (not (string-match "A" (string ch1)))) | |
| 357 (Assert (not (string-match "[A]" (string ch1)))) | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
358 (Assert-eq (string-match "[^A]" (string ch1)) 0) |
| 1175 | 359 (Assert (not (string-match "@A" (string ?@ ch1)))) |
| 360 (Assert (not (string-match "@[A]" (string ?@ ch1)))) | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
361 (Assert-eq (string-match "@[^A]" (string ?@ ch1)) 0) |
| 1413 | 362 (Assert (not (string-match "@?A" (string ?@ ch1)))) |
| 363 ) | |
| 364 ) | |
| 1195 | 365 |
| 366 ;; More stale match data tests. | |
| 367 ;; Thanks to <bjacob@ca.metsci.com>. | |
| 1425 | 368 ;; These tests used to fail because we cleared match data only on success. |
| 369 ;; Fixed 2003-04-17. | |
| 1612 | 370 ;; Must change sense of failing tests 2003-05-09. Too much code depends on |
| 371 ;; failed matches preserving match-data. | |
| 1472 | 372 (let ((a "a")) |
| 373 (Assert (string= (progn (string-match "a" a) | |
| 374 (string-match "b" a) | |
| 375 (match-string 0 a)) | |
| 376 a)) | |
| 377 (Assert (not (progn (string-match "a" a) | |
| 378 (string-match "b" a) | |
| 379 (match-string 1 a)))) | |
| 380 ;; test both for the second match is a plain string match and a regexp match | |
| 381 (Assert (string= (progn (string-match "\\(a\\)" a) | |
| 382 (string-match "\\(b\\)" a) | |
| 383 (match-string 0 a)) | |
| 384 a)) | |
| 385 (Assert (string= (progn (string-match "\\(a\\)" a) | |
| 386 (string-match "b" a) | |
| 387 (match-string 0 a)) | |
| 388 a)) | |
| 389 (Assert (string= (progn (string-match "\\(a\\)" a) | |
| 390 (string-match "\\(b\\)" a) | |
| 391 (match-string 1 a)) | |
| 392 a)) | |
| 393 (Assert (string= (progn (string-match "\\(a\\)" a) | |
| 394 (string-match "b" a) | |
| 395 (match-string 1 a)) | |
| 2542 | 396 a)) |
| 397 ;; in 21.4.16, registers from num_shy_groups to num_groups were not cleared, | |
| 398 ;; resulting in stale match data | |
| 399 (Assert (progn (string-match "\\(a\\)" a) | |
| 400 (string-match "\\(?:a\\)" a) | |
| 401 (not (match-beginning 1)))) | |
| 402 ) | |
| 2254 | 403 |
| 404 ;; bug identified by Katsumi Yamaoka 2004-09-03 <b9ywtzbbpue.fsf_-_@jpl.org> | |
| 405 ;; fix submitted by sjt 2004-09-08 | |
| 406 ;; trailing comments are values from buggy 21.4.15 | |
| 407 (let ((text "abc")) | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
408 (Assert-eq 0 (string-match "\\(?:ab+\\)*c" text)) ; 2 |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
409 (Assert-eq 0 (string-match "^\\(?:ab+\\)*c" text)) ; nil |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
410 (Assert-eq 0 (string-match "^\\(?:ab+\\)*" text)) ; 0 |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
411 (Assert-eq 0 (string-match "^\\(?:ab+\\)c" text)) ; 0 |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
412 (Assert-eq 0 (string-match "^\\(?:ab\\)*c" text)) ; 0 |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
413 (Assert-eq 0 (string-match "^\\(?:a+\\)*b" text)) ; nil |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
414 (Assert-eq 0 (string-match "^\\(?:a\\)*b" text)) ; 0 |
| 2254 | 415 ) |
| 416 | |
| 2324 | 417 ;; per Steve Youngs 2004-09-30 <microsoft-free.87ekkjhj7t.fsf@youngs.au.com> |
| 418 ;; fix submitted by sjt 2004-10-07 | |
| 419 ;; trailing comments are values from buggy 21.4.pre16 | |
| 420 (let ((text "abc")) | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
421 (Assert-eq 0 (string-match "\\(?:a\\(b\\)\\)" text)) ; 0 |
| 2324 | 422 (Assert (string= (match-string 1 text) "b")) ; ab |
| 423 (Assert (null (match-string 2 text))) ; b | |
| 424 (Assert (null (match-string 3 text))) ; nil | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
425 (Assert-eq 0 (string-match "\\(?:a\\(?:b\\(c\\)\\)\\)" text)) ; 0 |
| 2324 | 426 (Assert (string= (match-string 1 text) "c")) ; abc |
| 427 (Assert (null (match-string 2 text))) ; ab | |
| 428 (Assert (null (match-string 3 text))) ; c | |
| 429 (Assert (null (match-string 4 text))) ; nil | |
| 430 ) | |
| 431 | |
| 2542 | 432 ;; trivial subpatterns and backreferences with shy groups |
| 433 (let ((text1 "abb") | |
| 434 (text2 "aba") | |
| 435 (re0 "\\(a\\)\\(b\\)\\2") | |
| 436 (re1 "\\(?:a\\)\\(b\\)\\2") | |
| 437 (re2 "\\(?:a\\)\\(b\\)\\1") | |
| 438 (re3 "\\(a\\)\\(?:b\\)\\1")) | |
| 439 | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
440 (Assert-eq 0 (string-match re0 text1)) |
| 2542 | 441 (Assert (string= text1 (match-string 0 text1))) |
| 442 (Assert (string= "a" (match-string 1 text1))) | |
| 443 (Assert (string= "b" (match-string 2 text1))) | |
| 444 (Assert (null (string-match re0 text2))) | |
| 445 | |
| 446 (Check-Error-Message 'invalid-regexp "Invalid back reference" | |
| 447 (string-match re1 text1)) | |
| 448 | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
449 (Assert-eq 0 (string-match re2 text1)) |
| 2542 | 450 (Assert (string= text1 (match-string 0 text1))) |
| 451 (Assert (string= "b" (match-string 1 text1))) | |
| 452 (Assert (null (match-string 2 text1))) | |
| 453 (Assert (null (string-match re2 text2))) | |
| 454 | |
| 455 (Assert (null (string-match re3 text1))) | |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
456 (Assert-eq 0 (string-match re3 text2)) |
| 2542 | 457 (Assert (string= text2 (match-string 0 text2))) |
| 458 (Assert (string= "a" (match-string 1 text2))) | |
| 459 (Assert (null (match-string 2 text2))) | |
| 460 ) | |
| 461 | |
| 4199 | 462 ;; replace-regexp-in-string (regexp rep source |
| 463 ;; fixedcase literal buf-or-subexp start) | |
| 464 | |
| 465 ;; Currently we test the following cases: | |
| 466 ;; where `cbuf' and `bar-or-empty' are bound below. | |
| 467 | |
| 468 ;; #### Tests for the various functional features (fixedcase, literal, start) | |
| 469 ;; should be added. | |
| 470 | |
| 471 (with-temp-buffer | |
| 472 (flet ((bar-or-empty (subexp) (if (string= subexp "foo") "bar" ""))) | |
| 473 (let ((cbuf (current-buffer))) | |
| 474 (dolist (test-case | |
| 475 ;; REP BUF-OR-SUBEXP EXPECTED RESULT | |
| 476 `(("bar" nil " bar") | |
| 477 ("bar" ,cbuf " bar") | |
| 478 ("bar" 0 " bar") | |
| 479 ("bar" 1 " bar foo") | |
| 480 (bar-or-empty nil " ") | |
| 481 (bar-or-empty ,cbuf " ") | |
| 482 (bar-or-empty 0 " ") | |
| 483 (bar-or-empty 1 " bar foo"))) | |
| 484 (Assert | |
| 485 (string= | |
| 486 (nth 2 test-case) | |
| 487 (replace-regexp-in-string "\\(foo\\).*\\'" (nth 0 test-case) | |
| 488 " foo foo" nil nil (nth 1 test-case))))) | |
| 489 ;; #### Why doesn't this loop work right? | |
| 490 ; (dolist (test-case | |
| 491 ; ;; REP BUF-OR-SUBEXP EXPECTED ERROR EXPECTED MESSAGE | |
| 492 ; `(;; expected message was "bufferp, symbol" up to 21.5.28 | |
| 493 ; ("bar" 'symbol wrong-type-argument "integerp, symbol") | |
| 494 ; ("bar" -1 invalid-argument | |
| 495 ; "match data register invalid, -1") | |
| 496 ; ("bar" 2 invalid-argument | |
| 497 ; "match data register not set, 2") | |
| 498 ; )) | |
| 499 ; (eval | |
| 500 ; `(Check-Error-Message ,(nth 2 test-case) ,(nth 3 test-case) | |
| 501 ; (replace-regexp-in-string "\\(foo\\).*\\'" ,(nth 0 test-case) | |
| 502 ; " foo foo" nil nil ,(nth 1 test-case))))) | |
| 503 ;; #### Can't test the message with w-t-a, see test-harness.el. | |
| 504 (Check-Error wrong-type-argument | |
| 505 (replace-regexp-in-string "\\(foo\\).*\\'" | |
| 506 "bar" | |
| 507 " foo foo" nil nil | |
| 508 'symbol)) | |
| 509 ;; #### Can't test the FROB (-1), see test-harness.el. | |
| 510 (Check-Error-Message invalid-argument | |
| 511 "match data register invalid" | |
| 512 (replace-regexp-in-string "\\(foo\\).*\\'" | |
| 513 "bar" | |
| 514 " foo foo" nil nil | |
| 515 -1)) | |
| 516 ;; #### Can't test the FROB (-1), see test-harness.el. | |
| 517 (Check-Error-Message invalid-argument | |
| 518 "match data register not set" | |
| 519 (replace-regexp-in-string "\\(foo\\).*\\'" | |
| 520 "bar" | |
| 521 " foo foo" nil nil | |
| 522 2)) | |
| 523 ))) | |
| 524 | |
|
4504
b82fdf7305ee
Correct the implementation, add a few basic tests for #'skip-chars-quote.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4199
diff
changeset
|
525 ;; Not very comprehensive tests of skip-chars-forward, skip-chars-background: |
|
b82fdf7305ee
Correct the implementation, add a few basic tests for #'skip-chars-quote.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4199
diff
changeset
|
526 |
|
b82fdf7305ee
Correct the implementation, add a few basic tests for #'skip-chars-quote.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4199
diff
changeset
|
527 (with-string-as-buffer-contents |
|
b82fdf7305ee
Correct the implementation, add a few basic tests for #'skip-chars-quote.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4199
diff
changeset
|
528 "-]-----------------------------][]]------------------------" |
|
4517
5e8f6469169f
Fix up initial condition for skip-chars test.
Stephen J. Turnbull <stephen@xemacs.org>
parents:
4504
diff
changeset
|
529 (goto-char (point-min)) |
|
4504
b82fdf7305ee
Correct the implementation, add a few basic tests for #'skip-chars-quote.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4199
diff
changeset
|
530 (skip-chars-forward (skip-chars-quote "-[]")) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
531 (Assert= (point) (point-max)) |
|
4504
b82fdf7305ee
Correct the implementation, add a few basic tests for #'skip-chars-quote.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4199
diff
changeset
|
532 (skip-chars-backward (skip-chars-quote "-[]")) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
533 (Assert= (point) (point-min)) |
|
4504
b82fdf7305ee
Correct the implementation, add a few basic tests for #'skip-chars-quote.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4199
diff
changeset
|
534 ;; Testing in passing for an old bug in #'skip-chars-forward where I |
|
b82fdf7305ee
Correct the implementation, add a few basic tests for #'skip-chars-quote.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4199
diff
changeset
|
535 ;; thought it was impossible to call it with a string containing only ?- |
|
b82fdf7305ee
Correct the implementation, add a few basic tests for #'skip-chars-quote.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4199
diff
changeset
|
536 ;; and ?]: |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
537 (Assert= (skip-chars-forward (skip-chars-quote "-]")) |
|
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
538 (position ?[ (buffer-string) :test #'=)) |
|
4504
b82fdf7305ee
Correct the implementation, add a few basic tests for #'skip-chars-quote.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4199
diff
changeset
|
539 ;; This used to error, incorrectly: |
|
b82fdf7305ee
Correct the implementation, add a few basic tests for #'skip-chars-quote.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4199
diff
changeset
|
540 (Assert (skip-chars-quote "[-"))) |
|
b82fdf7305ee
Correct the implementation, add a few basic tests for #'skip-chars-quote.
Aidan Kehoe <kehoea@parhasard.net>
parents:
4199
diff
changeset
|
541 |
| 4199 | 542 ;; replace-match (REPLACEMENT &optional FIXEDCASE LITERAL STRING STRBUFFER) |
| 543 | |
| 544 ;; #### Write some tests! Much functionality is implicitly tested above | |
| 545 ;; via `replace-regexp-in-string', but we should specifically test bogus | |
| 546 ;; combinations of STRING and STRBUFFER. | |
| 547 | |
|
4518
e0a8c796f955
Add test for at_dot regexp.
Stephen J. Turnbull <stephen@xemacs.org>
parents:
4517
diff
changeset
|
548 ;; empty string at point |
|
e0a8c796f955
Add test for at_dot regexp.
Stephen J. Turnbull <stephen@xemacs.org>
parents:
4517
diff
changeset
|
549 ;; Thanks Julian Bradford on XEmacs Beta |
|
e0a8c796f955
Add test for at_dot regexp.
Stephen J. Turnbull <stephen@xemacs.org>
parents:
4517
diff
changeset
|
550 ;; <18652.54975.894512.880956@krk.inf.ed.ac.uk> |
|
e0a8c796f955
Add test for at_dot regexp.
Stephen J. Turnbull <stephen@xemacs.org>
parents:
4517
diff
changeset
|
551 (with-string-as-buffer-contents "aáa" |
|
e0a8c796f955
Add test for at_dot regexp.
Stephen J. Turnbull <stephen@xemacs.org>
parents:
4517
diff
changeset
|
552 (goto-char (point-min)) |
|
e0a8c796f955
Add test for at_dot regexp.
Stephen J. Turnbull <stephen@xemacs.org>
parents:
4517
diff
changeset
|
553 (Assert (looking-at "\\=")) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
554 (Assert= (re-search-forward "\\=") 1) |
|
4518
e0a8c796f955
Add test for at_dot regexp.
Stephen J. Turnbull <stephen@xemacs.org>
parents:
4517
diff
changeset
|
555 (forward-char 1) |
|
e0a8c796f955
Add test for at_dot regexp.
Stephen J. Turnbull <stephen@xemacs.org>
parents:
4517
diff
changeset
|
556 (Assert (looking-at "\\=")) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
557 (Assert= (re-search-forward "\\=") 2) |
|
4518
e0a8c796f955
Add test for at_dot regexp.
Stephen J. Turnbull <stephen@xemacs.org>
parents:
4517
diff
changeset
|
558 (forward-char 1) |
|
e0a8c796f955
Add test for at_dot regexp.
Stephen J. Turnbull <stephen@xemacs.org>
parents:
4517
diff
changeset
|
559 (Assert (looking-at "\\=")) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
560 (Assert= (re-search-forward "\\=") 3) |
|
4518
e0a8c796f955
Add test for at_dot regexp.
Stephen J. Turnbull <stephen@xemacs.org>
parents:
4517
diff
changeset
|
561 (forward-char 1) |
|
e0a8c796f955
Add test for at_dot regexp.
Stephen J. Turnbull <stephen@xemacs.org>
parents:
4517
diff
changeset
|
562 (Assert (looking-at "\\=")) |
|
4855
189fb67ca31a
Create Assert-eq, Assert-equal, etc.
Ben Wing <ben@xemacs.org>
parents:
4518
diff
changeset
|
563 (Assert= (re-search-forward "\\=") 4)) |
|
4518
e0a8c796f955
Add test for at_dot regexp.
Stephen J. Turnbull <stephen@xemacs.org>
parents:
4517
diff
changeset
|
564 |
|
e0a8c796f955
Add test for at_dot regexp.
Stephen J. Turnbull <stephen@xemacs.org>
parents:
4517
diff
changeset
|
565 |