X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/mLib/blobdiff_plain/db2bf4111cde36048ac66bbac58547d105bc7e80..67b5031ec6d160b5cae425466a34d1be3b211dd4:/test/tests.at diff --git a/test/tests.at b/test/tests.at index 9a890da..74f40fa 100644 --- 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 @%:@]) + [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 @%:@]) + [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])