chiark / gitweb /
~mdw / mLib / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
@@@ wip
[mLib] / test / tests.at
diff --git a/test/tests.at b/test/tests.at
index 9a890da37ac5b5ae6bf5a2f6506f8dfa199f850d..74f40faf94631817a2ee6ca62d6c1d92f41348b6 100644 (file)
--- a/test/tests.at
+++ b/test/tests.at
@@ -85,7 +85,7 @@ test_parse([int], [4], [4 ; = 0x04 = '\x04'])
 test_parse([int], [ 17; comment], [17 ; = 0x11 = '\x11'])
 
 test_parse([int], [0x234], [564 ; = 0x0234])
-test_parse([int], [0o33], [27 ; = 0x1b = '\e'])
+test_parse([int], [0o33], [27 ; = 0x1b = @%:@escape = '\e'])
 
 test_parse([int], [ +192], [192 ; = 0xc0 = '\xc0'])
 test_parse([int], [ -192], [-192 ; = -0xc0])
@@ -123,7 +123,7 @@ test_parserr([int], [0x],
        [3], [syntax error: expected end-of-line but found `x'])
 
 test_parserr([int], [],
-       [3], [syntax error: expected signed integer but found @%:@<eol>])
+       [3], [syntax error: expected signed integer but found @%:@eol])
 
 test_parserr([int], [123456],
        [3], [integer 123456 out of range (must be in @<:@-32768 .. 32767@:>@)])
@@ -136,9 +136,11 @@ AT_SETUP(tvec type-uint)
 test_parse([uint], [4], [4 ; = 0x04 = '\x04'])
 test_parse([uint], [ 17; comment], [17 ; = 0x11 = '\x11'])
 
+test_parse([uint], [0], [0 ; = 0x00 = @%:@nul = '\0'])
+
 test_parse([uint], [012345], [12345 ; = 0x3039])
 test_parse([uint], [0x234], [564 ; = 0x0234])
-test_parse([uint], [0o33], [27 ; = 0x1b = '\e'])
+test_parse([uint], [0o33], [27 ; = 0x1b = @%:@escape = '\e'])
 test_parse([uint], [0b1011_1101], [189 ; = 0xbd = '\xbd'])
 test_parse([uint], [12r123], [171 ; = 0xab = '\xab'])
 
@@ -176,7 +178,7 @@ test_parserr([uint], [0x],
        [3], [syntax error: expected end-of-line but found `x'])
 
 test_parserr([uint], [],
-       [3], [syntax error: expected unsigned integer but found @%:@<eol>])
+       [3], [syntax error: expected unsigned integer but found @%:@eol])
 
 test_parserr([uint], [123456],
        [3], [integer 123456 out of range (must be in @<:@0 .. 65535@:>@)])
@@ -191,6 +193,13 @@ test_parse([float], [-0.0], [-0])
 
 test_parse([float], [1.234], [1.234])
 
+test_parse([float], [@%:@nan], [@%:@nan])
+test_parse([float], [@%:@+inf], [@%:@+inf])
+test_parse([float], [@%:@inf], [@%:@+inf])
+test_parse([float], [+@%:@inf], [@%:@+inf])
+test_parse([float], [@%:@-inf], [@%:@-inf])
+test_parse([float], [-@%:@inf], [@%:@-inf])
+
 AT_CLEANUP
 
 ###--------------------------------------------------------------------------
@@ -210,6 +219,175 @@ test_parse([penum], [@%:@nil], [@%:@nil])
 
 AT_CLEANUP
 
+###--------------------------------------------------------------------------
+AT_SETUP([tvec type-char])
+
+test_parse([char], [a], ['a' ; = 97 = 0x61])
+test_parse([char], [a;?], ['a' ; = 97 = 0x61])
+test_parse([char], [a ;?], ['a' ; = 97 = 0x61])
+test_parse([char], [\\], ['\\' ; = 92 = 0x5c])
+test_parse([char], ['], ['\'' ; = 39 = 0x27])
+test_parse([char], [\'], ['\'' ; = 39 = 0x27])
+test_parse([char], ["], ['"' ; = 34 = 0x22])
+test_parse([char], [';'], [';' ; = 59 = 0x3b])
+test_parse([char], [';';?], [';' ; = 59 = 0x3b])
+test_parse([char], [';' ;?], [';' ; = 59 = 0x3b])
+test_parse([char], [\"], ['"' ; = 34 = 0x22]) # "
+test_parse([char], ['@%:@'], ['@%:@' ; = 35 = 0x23])
+
+test_parse([char], [\n], [@%:@newline ; = '\n' = 10 = 0x0a])
+test_parse([char], [\x0a], [@%:@newline ; = '\n' = 10 = 0x0a])
+
+test_parse([char], [@%:@newline], [@%:@newline ; = '\n' = 10 = 0x0a])
+test_parse([char], [@%:@lf], [@%:@newline ; = '\n' = 10 = 0x0a])
+test_parse([char], [@%:@del;?], [@%:@delete ; = '\x7f' = 127 = 0x7f])
+test_parse([char], [@%:@space ;?], [' ' ; = 32 = 0x20])
+
+test_parse([char], [' '], [' ' ; = 32 = 0x20])
+test_parse([char], ['a'], ['a' ; = 97 = 0x61])
+test_parse([char], ['\n'], [@%:@newline ; = '\n' = 10 = 0x0a])
+test_parse([char], ['\12' ;?], [@%:@newline ; = '\n' = 10 = 0x0a])
+test_parse([char], ['\{12}' ;?], [@%:@newline ; = '\n' = 10 = 0x0a])
+test_parse([char], ['\x0a'], [@%:@newline ; = '\n' = 10 = 0x0a])
+test_parse([char], ['\x{0a}'], [@%:@newline ; = '\n' = 10 = 0x0a])
+
+test_parse([char], [@%:@eof], [@%:@eof ; = -1 = -0x01])
+test_parse([char], [@%:@eof], [@%:@eof ; = -1 = -0x01])
+
+test_parserr([char], [ ],
+       [3], [syntax error: expected character but found @%:@eol])
+test_parserr([char], [''],
+       [3], [syntax error: expected character but found `''])
+test_parserr([char], ['''],
+       [3], [syntax error: expected character but found `''])
+test_parserr([char], [;],
+       [3], [syntax error: expected character but found `;'])
+test_parserr([char], [@%:@],
+       [3], [unknown character name `@%:@'])
+test_parserr([char], [';],
+       [3], [syntax error: expected `'' but found @%:@eol])
+test_parserr([char], [\],
+       [3], [syntax error: expected string escape but found @%:@eol])
+test_parserr([char], [\q],
+       [3], [syntax error: expected string escape but found `q'])
+test_parserr([char], ['\],
+       [3], [syntax error: expected string escape but found @%:@eol])
+test_parserr([char], [ab],
+       [3], [syntax error: expected end-of-line but found `b'])
+test_parserr([char], [\x{0a],
+       [3], [syntax error: expected `}' but found @%:@eol])
+test_parserr([char], [\{012],
+       [3], [syntax error: expected `}' but found @%:@eol])
+
+AT_CLEANUP
+
+###--------------------------------------------------------------------------
+AT_SETUP([tvec type-string])
+
+test_parse([string], [foo], [foo])
+test_parse([string], [foo bar], ["foo bar"])
+test_parse([string], [foo  bar], ["foo  bar"])
+test_parse([string], [foo  ""  bar], [foobar])
+test_parse([string], [ foo  bar ], ["foo  bar"])
+test_parse([string], [ foo @&t@
+       bar ], ["foo  bar"])
+
+test_parse([string], [foo @%:@nul bar], ["foo\{0}bar"])
+
+test_parse([string], ["f" !repeat 2 { o } "bar"], [foobar])
+test_parse([string], ["{"!repeat 5{"abc"}"}"], ["{abcabcabcabcabc}"])
+
+test_parse([string], [!hex "f" 6f "o"], [foo])
+
+test_parse([string], ["foo\n"], ["foo\n"])
+
+test_parse([string], [foo\
+bar], [
+       "foo\n"
+       "bar"])
+test_parse([string], ["foo\
+bar"], [foobar])
+test_parse([string], ["foo" @%:@newline "bar" @%:@newline], [
+       "foo\n"
+       "bar\n"])
+
+test_parserr([string], [],
+       [4], [syntax error: expected string but found @%:@eof])
+test_parse([string], [""], [""])
+test_parse([string], [''], [""])
+
+test_parse([string], ["f\x{6f}o"], [foo])
+
+AT_CLEANUP
+
+###--------------------------------------------------------------------------
+AT_SETUP([tvec type-bytes])
+
+test_parse([bytes], [""], ["" ; empty])
+test_parse([bytes], [61], [61 ; a])
+test_parse([bytes], ["abc"], [616263 ; abc])
+test_parse([bytes], ["abcd"], [61626364 ; abcd])
+test_parse([bytes], ["abcde"], [61626364 65 ; abcde])
+
+test_parse([bytes], [!base64 YWJjZGVmZ2hpamtsbW5vcA==],
+       [61626364 65666768 696a6b6c 6d6e6f70 ; abcdefghijklmnop])
+test_parse([bytes],
+       [!base64 QUJDREVGR0hJSktMTU5PUGFiY2RlZmdo
+                a Wp rbG 1ub3A=],
+       [
+       41424344 45464748 494a4b4c 4d4e4f50 ; @<:@00@:>@ ABCDEFGHIJKLMNOP
+       61626364 65666768 696a6b6c 6d6e6f70 ; @<:@10@:>@ abcdefghijklmnop])
+
+test_parse([bytes], [6 1], [61 ; a])
+test_parserr([bytes], [6 "" 1],
+       [3], [invalid hex sequence end: Excess or nonzero padding bits])
+
+test_parse([bytes], [!base64 AA==], [00 ; .])
+test_parse([bytes], [!base64 AAA=], [0000 ; ..])
+test_parse([bytes], [!base64 AAAA], [000000 ; ...])
+test_parse([bytes], [!base64 AA], [00 ; .])
+test_parse([bytes], [!base64 AAA], [0000 ; ..])
+
+test_parserr([bytes], [0],
+       [4], [invalid hex sequence end: Excess or nonzero padding bits])
+test_parserr([bytes], [!base64 A],
+       [4], [invalid base64 sequence end: Excess or nonzero padding bits])
+test_parserr([bytes], [!base64 A=],
+       [3], [invalid base64 fragment `A=': Excess or nonzero padding bits])
+
+AT_CLEANUP
+
+###--------------------------------------------------------------------------
+AT_SETUP([tvec type-buffer])
+
+test_parse([buffer], [16], [16 B])
+test_parse([buffer], [16;?], [16 B])
+test_parse([buffer], [16 ;?], [16 B])
+test_parse([buffer], [16384], [16 kB])
+test_parse([buffer], [16777216], [16 MB])
+test_parse([buffer], [16k], [16 kB])
+test_parse([buffer], [16k;?], [16 kB])
+test_parse([buffer], [16k ;?], [16 kB])
+test_parse([buffer], [16 k], [16 kB])
+test_parse([buffer], [16 k;?], [16 kB])
+test_parse([buffer], [16 k ;?], [16 kB])
+test_parse([buffer], [16kB], [16 kB])
+test_parse([buffer], [16kB;?], [16 kB])
+test_parse([buffer], [16kB ;?], [16 kB])
+test_parse([buffer], [16 kB], [16 kB])
+test_parse([buffer], [16 kB;?], [16 kB])
+test_parse([buffer], [16 kB ;?], [16 kB])
+
+test_parserr([buffer], [16!], [3], [invalid buffer length `16!'])
+test_parserr([buffer], [16   !], [3], [invalid buffer length `16 !'])
+test_parserr([buffer], [16 k!], [3], [invalid buffer length `16 k!'])
+test_parserr([buffer], [16 kB!], [3], [invalid buffer length `16 kB!'])
+test_parserr([buffer], [16 kB !],
+       [3], [syntax error: expected end-of-line but found `!'])
+test_parserr([buffer], [16 EB], [3], [buffer length `16 EB' out of range])
+
+AT_CLEANUP
+
 ###--------------------------------------------------------------------------
 AT_SETUP([tvec serialize])
 
mLib utilities library