version 1.4, 2007/12/31 19:02:24
|
version 1.18, 2010/09/12 22:14:12
|
Line 1
|
Line 1
|
\ regexp test |
\ regexp test |
|
|
\ Copyright (C) 2005,2007 Free Software Foundation, Inc. |
\ Copyright (C) 2005,2007,2009 Free Software Foundation, Inc. |
|
|
\ This file is part of Gforth. |
\ This file is part of Gforth. |
|
|
Line 17
|
Line 17
|
\ You should have received a copy of the GNU General Public License |
\ You should have received a copy of the GNU General Public License |
\ along with this program. If not, see http://www.gnu.org/licenses/. |
\ along with this program. If not, see http://www.gnu.org/licenses/. |
|
|
charclass [bl-] blanks +class '- +char |
: ?depth depth IF ." unbalanced: " .s clearstack cr THEN ; |
charclass [0-9(] '( +char '0 '9 ..char |
|
|
charclass [bl-] blanks +class '-' +char |
|
charclass [0-9(] '(' +char '0' '9' ..char |
|
|
: telnum ( addr u -- flag ) |
: telnum ( addr u -- flag ) |
(( {{ ` ( \( \d \d \d \) ` ) || \( \d \d \d \) }} blanks c? |
(( {{ ` ( \( \d \d \d \) ` ) || \( \d \d \d \) }} blanks c? |
Line 26 charclass [0-9(] '( +char '0 '9 ..char
|
Line 28 charclass [0-9(] '( +char '0 '9 ..char
|
\( \d \d \d \d \) {{ \$ || -\d }} )) ; |
\( \d \d \d \d \) {{ \$ || -\d }} )) ; |
|
|
: ?tel ( addr u -- ) telnum |
: ?tel ( addr u -- ) telnum |
IF '( emit \1 type ." ) " \2 type '- emit \3 type ." succeeded" |
IF '(' emit \1 type ." ) " \2 type '-' emit \3 type ." succeeded" |
ELSE \0 type ." failed " THEN ; |
ELSE \0 type ." failed " THEN ; |
|
|
: ?tel-s ( addr u -- ) ?tel ." should succeed" space depth . cr ; |
: ?tel-s ( addr u -- ) ?tel ." should succeed" space cr ?depth ; |
: ?tel-f ( addr u -- ) ?tel ." should fail" space depth . cr ; |
: ?tel-f ( addr u -- ) ?tel ." should fail" space cr ?depth ; |
|
|
." --- Telephone number match ---" cr |
." --- Telephone number match ---" cr |
s" (123) 456-7890" ?tel-s |
s" (123) 456-7890" ?tel-s |
Line 47 s" 123 456-78909" ?tel-f
|
Line 49 s" 123 456-78909" ?tel-f
|
\( \d \d \d \d \) {{ \$ || -\d }} )) ; |
\( \d \d \d \d \) {{ \$ || -\d }} )) ; |
|
|
: ?tel2 ( addr u -- ) telnum2 |
: ?tel2 ( addr u -- ) telnum2 |
IF '( emit \1 type ." ) " \2 type '- emit \3 type ." succeeded" |
IF '(' emit \1 type ." ) " \2 type '-' emit \3 type ." succeeded" |
ELSE \0 type ." failed " THEN cr ; |
ELSE \0 type ." failed " THEN cr ?depth ; |
." --- Telephone number search ---" cr |
." --- Telephone number search ---" cr |
s" blabla (123) 456-7890" ?tel2 |
s" blabla (123) 456-7890" ?tel2 |
s" blabla (123) 456-7890 " ?tel2 |
s" blabla (123) 456-7890 " ?tel2 |
Line 65 s" abla 123 456-78909" ?tel2
|
Line 67 s" abla 123 456-78909" ?tel2
|
|
|
." --- Number extraction test ---" cr |
." --- Number extraction test ---" cr |
|
|
charclass [0-9,./:] '0 '9 ..char ', +char '. +char '/ +char ': +char |
charclass [0-9,./:] '0' '9' ..char ',' +char '.' +char '/' +char ':' +char |
|
|
: ?num |
: ?num |
(( // \( {++ [0-9,./:] c? ++} \) )) |
(( // \( {++ [0-9,./:] c? ++} \) )) |
IF \1 type ELSE \0 type ." failed" THEN cr ; |
IF \1 type ELSE \0 type ." failed" THEN cr ?depth ; |
|
|
s" 1234" ?num |
s" 1234" ?num |
s" 12,345abc" ?num |
s" 12,345abc" ?num |
Line 90 s" Hier kommt nichts vor" ?string
|
Line 92 s" Hier kommt nichts vor" ?string
|
|
|
: ?foos |
: ?foos |
(( \( {** =" foo" **} \) )) |
(( \( {** =" foo" **} \) )) |
IF \1 type ELSE \0 type ." failed" THEN cr ; |
IF \1 type ELSE \0 type ." failed" THEN cr ?depth ; |
|
|
: ?foobars |
: ?foobars |
(( // \( {** =" foo" **} \) \( {++ =" bar" ++} \) )) |
(( // \( {** =" foo" **} \) \( {++ =" bar" ++} \) )) |
IF \1 type ', emit \2 type ELSE \0 type ." failed" THEN cr ; |
IF \1 type ',' emit \2 type ELSE \0 type ." failed" THEN cr ?depth ; |
|
|
: ?foos1 |
: ?foos1 |
(( // \( {+ =" foo" +} \) \( {++ =" bar" ++} \) )) |
(( // \( {+ =" foo" +} \) \( {++ =" bar" ++} \) )) |
IF \1 type ', emit \2 type ELSE \0 type ." failed" THEN cr ; |
IF \1 type ',' emit \2 type ELSE \0 type ." failed" THEN cr ?depth ; |
|
|
s" foobar" ?foos |
s" foobar" ?foos |
s" foofoofoobar" ?foos |
s" foofoofoobar" ?foos |
Line 118 s" fofoofoofofooofoobarbar" ?foos1
|
Line 120 s" fofoofoofofooofoobarbar" ?foos1
|
s" bla baz bar" ?foos1 |
s" bla baz bar" ?foos1 |
s" foofoofoo" ?foos1 |
s" foofoofoo" ?foos1 |
|
|
|
\ backtracking on decissions |
|
|
|
: ?aab ( addr u -- flag ) |
|
(( {{ =" aa" || =" a" }} {{ =" ab" || =" a" }} )) ; |
|
s" aab" ?aab 0= [IF] .( aab failed!) cr [THEN] |
|
|
|
\ buffer overrun test (bug in =") |
|
|
|
." --- buffer overrun test ---" cr |
|
|
|
: ?long-string |
|
(( // \( =" abcdefghi" \) )) |
|
IF \1 type cr THEN ; |
|
|
|
4096 allocate throw 4096 + 8 - constant test-string |
|
s" abcdefgh" test-string swap cmove> |
|
.( provoking overflow [i.e. see valgrind output]) cr |
|
test-string . cr |
|
test-string 8 ?long-string |
|
.( done) cr ?depth |
|
|
|
\ simple replacement test |
|
|
|
." --- simple replacement test ---" cr |
|
|
|
: delnum ( addr u -- addr' u' ) s// \d >> s" " //g ; |
|
: test-delnum ( addr u addr' u' -- ) |
|
2swap delnum 2over 2over str= 0= IF |
|
." test-delnum: got '" type ." ', expected '" type ." '" |
|
ELSE 2drop 2drop ." test-delnum passed" cr THEN ?depth ; |
|
s" 0" s" " test-delnum |
|
s" 00" s" " test-delnum |
|
s" 0a" s" a" test-delnum |
|
s" a0" s" a" test-delnum |
|
s" aa" s" aa" test-delnum |
|
|
|
: delcomment ( addr u -- addr' u' ) s// ` # {** .? **} >> s" " //g ; |
|
s" hello # test " delcomment type cr |
|
: delparents ( addr u -- addr' u' ) s// ` ( {* .? *} ` ) >> s" ()" //g ; |
|
s" delete (test) and (another test) " delparents type cr |
|
?depth |
|
|
|
\ replacement tests |
|
|
|
." --- replacement tests ---" cr |
|
|
|
: hms>s ( addr u -- addr' u' ) |
|
s// \( \d \d \) ` : \( \d \d \) ` : \( \d \d \) >> |
|
\1 s>number drop 60 * |
|
\2 s>number drop + 60 * |
|
\3 s>number drop + 0 <# 's' hold #s #> //g ; |
|
|
|
s" bla 12:34:56 fasel 00:01:57 blubber" 2dup type hms>s |
|
." -> " 2dup type |
|
s" bla 45296s fasel 117s blubber" str= [IF] .( ok) [ELSE] .( failed) [THEN] cr |
|
?depth |
|
|
|
: hms>s,del() ( addr u -- addr' u' ) |
|
s// {{ ` ( .? .? .? ` ) >> <<" ()" |
|
|| \( \d \d \) ` : \( \d \d \) ` : \( \d \d \) |
|
>> \1 s>number drop 60 * |
|
\2 s>number drop + 60 * |
|
\3 s>number drop + 0 <# 's' hold #s #> << |
|
}} LEAVE //s ; |
|
|
|
\ doesn't work yet |
|
s" (bla) 12:34:56 (fasel) 00:01:57 (blubber)" 2dup type hms>s,del() ." -> " type cr |
|
|
script? [IF] bye [THEN] |
script? [IF] bye [THEN] |