You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
248 lines
14 KiB
Racket
248 lines
14 KiB
Racket
#lang debug racket/base
|
|
(require rackunit
|
|
racket/dict
|
|
sugar/unstable/dict
|
|
"../helper.rkt"
|
|
"../number.rkt"
|
|
"../string.rkt"
|
|
"../pointer.rkt"
|
|
"../versioned-struct.rkt")
|
|
|
|
#|
|
|
approximates
|
|
https://github.com/mbutterick/restructure/blob/master/test/VersionedStruct.coffee
|
|
|#
|
|
|
|
(test-case
|
|
"decode should get version from number type"
|
|
(let ([vstruct (+xversioned-struct uint8
|
|
(dictify
|
|
0 (dictify 'name (+xstring #:length uint8 #:encoding 'ascii)
|
|
'age uint8)
|
|
1 (dictify 'name (+xstring #:length uint8 #:encoding 'utf8)
|
|
'age uint8
|
|
'gender uint8)))])
|
|
(parameterize ([current-input-port (open-input-bytes #"\x00\x05roxyb\x15")])
|
|
(check-equal? (decode vstruct) (mhasheq 'name "roxyb" 'age 21 'version 0)))
|
|
(parameterize ([current-input-port (open-input-bytes (string->bytes/utf-8 "\x01\x0aroxyb 🤘\x15\x00"))])
|
|
(check-equal? (decode vstruct) (mhasheq 'name "roxyb 🤘" 'age 21 'version 1 'gender 0)))))
|
|
|
|
(test-case
|
|
"decode should throw for unknown version"
|
|
(let ([vstruct (+xversioned-struct uint8
|
|
(dictify
|
|
0 (dictify 'name (+xstring #:length uint8 #:encoding 'ascii)
|
|
'age uint8)
|
|
1 (dictify 'name (+xstring #:length uint8 #:encoding 'utf8)
|
|
'age uint8
|
|
'gender uint8)))])
|
|
(parameterize ([current-input-port (open-input-bytes #"\x05\x05roxyb\x15")])
|
|
(check-exn exn:fail:contract? (λ () (decode vstruct))))))
|
|
|
|
(test-case
|
|
"decode should support common header block"
|
|
(let ([vstruct (+xversioned-struct uint8
|
|
(dictify
|
|
'header (dictify 'age uint8
|
|
'alive uint8)
|
|
0 (dictify 'name (+xstring #:length uint8 #:encoding 'ascii))
|
|
1 (dictify 'name (+xstring #:length uint8 #:encoding 'utf8)
|
|
'gender uint8)))])
|
|
(parameterize ([current-input-port (open-input-bytes #"\x00\x15\x01\x05roxyb")])
|
|
(check-equal? (decode vstruct) (mhasheq 'name "roxyb"
|
|
'age 21
|
|
'alive 1
|
|
'version 0)))
|
|
(parameterize ([current-input-port (open-input-bytes (string->bytes/utf-8 "\x01\x15\x01\x0aroxyb 🤘\x00"))])
|
|
(check-equal? (decode vstruct) (mhasheq 'name "roxyb 🤘"
|
|
'age 21
|
|
'version 1
|
|
'alive 1
|
|
'gender 0)))))
|
|
|
|
(test-case
|
|
"decode should support parent version key"
|
|
(let ([vstruct (+xversioned-struct 'version
|
|
(dictify
|
|
0 (dictify 'name (+xstring #:length uint8 #:encoding 'ascii)
|
|
'age uint8)
|
|
1 (dictify 'name (+xstring #:length uint8 #:encoding 'utf8)
|
|
'age uint8
|
|
'gender uint8)))])
|
|
(parameterize ([current-input-port (open-input-bytes #"\x05roxyb\x15")])
|
|
(check-equal? (dict->mutable-hash (xdecode vstruct #:parent (mhash 'version 0)))
|
|
(mhasheq 'name "roxyb" 'age 21 'version 0)))
|
|
(parameterize ([current-input-port (open-input-bytes (string->bytes/utf-8 "\x0aroxyb 🤘\x15\x00"))])
|
|
(check-equal? (dict->mutable-hash (xdecode vstruct #:parent (mhash 'version 1)))
|
|
(mhasheq 'name "roxyb 🤘" 'age 21 'version 1 'gender 0)))))
|
|
|
|
(test-case
|
|
"decode should support sub versioned structs"
|
|
(let ([vstruct (+xversioned-struct uint8
|
|
(dictify
|
|
0 (dictify 'name (+xstring #:length uint8 #:encoding 'ascii)
|
|
'age uint8)
|
|
1 (+xversioned-struct uint8
|
|
(dictify
|
|
0 (dictify 'name (+xstring uint8))
|
|
1 (dictify 'name (+xstring uint8)
|
|
'isDessert uint8)))))])
|
|
(parameterize ([current-input-port (open-input-bytes #"\x00\x05roxyb\x15")])
|
|
(check-equal? (dict->mutable-hash (xdecode vstruct #:parent (mhash 'version 0)))
|
|
(mhasheq 'name "roxyb" 'age 21 'version 0)))
|
|
(parameterize ([current-input-port (open-input-bytes #"\x01\x00\x05pasta")])
|
|
(check-equal? (dict->mutable-hash (xdecode vstruct #:parent (mhash 'version 0)))
|
|
(mhasheq 'name "pasta" 'version 0)))
|
|
(parameterize ([current-input-port (open-input-bytes #"\x01\x01\x09ice cream\x01")])
|
|
(check-equal? (dict->mutable-hash (xdecode vstruct #:parent (mhash 'version 0)))
|
|
(mhasheq 'name "ice cream" 'isDessert 1 'version 1)))))
|
|
|
|
(test-case
|
|
"decode should support process hook"
|
|
(let ([vstruct (+xversioned-struct uint8
|
|
(dictify
|
|
0 (dictify 'name (+xstring #:length uint8 #:encoding 'ascii)
|
|
'age uint8)
|
|
1 (dictify 'name (+xstring #:length uint8 #:encoding 'utf8)
|
|
'age uint8
|
|
'gender uint8)))])
|
|
(set-post-decode! vstruct (λ (val) (dict-set! val 'processed "true") val))
|
|
(parameterize ([current-input-port (open-input-bytes #"\x00\x05roxyb\x15")])
|
|
(check-equal? (decode vstruct)
|
|
(mhasheq 'name "roxyb" 'processed "true" 'age 21 'version 0)))))
|
|
|
|
(test-case
|
|
"size should compute the correct size"
|
|
(let ([vstruct (+xversioned-struct uint8
|
|
(dictify
|
|
0 (dictify 'name (+xstring #:length uint8 #:encoding 'ascii)
|
|
'age uint8)
|
|
1 (dictify 'name (+xstring #:length uint8 #:encoding 'utf8)
|
|
'age uint8
|
|
'gender uint8)))])
|
|
(check-equal? (size vstruct (mhasheq 'name "roxyb"
|
|
'age 21
|
|
'version 0)) 8)
|
|
(check-equal? (size vstruct (mhasheq 'name "roxyb 🤘"
|
|
'gender 0
|
|
'age 21
|
|
'version 1)) 14)))
|
|
|
|
(test-case
|
|
"size should throw for unknown version"
|
|
(let ([vstruct (+xversioned-struct uint8
|
|
(dictify
|
|
0 (dictify 'name (+xstring #:length uint8 #:encoding 'ascii)
|
|
'age uint8)
|
|
1 (dictify 'name (+xstring #:length uint8 #:encoding 'utf8)
|
|
'age uint8
|
|
'gender uint8)))])
|
|
(check-exn exn:fail:contract? (λ () (size vstruct (mhasheq 'name "roxyb" 'age 21 'version 5))))))
|
|
|
|
(test-case
|
|
"size should support common header block"
|
|
(let ([struct (+xversioned-struct uint8
|
|
(dictify
|
|
'header (dictify 'age uint8
|
|
'alive uint8)
|
|
0 (dictify 'name (+xstring #:length uint8 #:encoding 'ascii))
|
|
1 (dictify 'name (+xstring #:length uint8 #:encoding 'utf8)
|
|
'gender uint8)))])
|
|
(check-equal? (size struct (mhasheq 'name "roxyb" 'age 21 'alive 1 'version 0)) 9)
|
|
(check-equal? (size struct (mhasheq 'name "roxyb 🤘" 'gender 0 'age 21 'alive 1 'version 1)) 15)))
|
|
|
|
(test-case
|
|
"size should compute the correct size with pointers"
|
|
(let ([vstruct (+xversioned-struct uint8
|
|
(dictify
|
|
0 (dictify 'name (+xstring #:length uint8 #:encoding 'ascii)
|
|
'age uint8)
|
|
1 (dictify 'name (+xstring #:length uint8 #:encoding 'utf8)
|
|
'age uint8
|
|
'ptr (+xpointer #:offset-type uint8
|
|
#:type (+xstring uint8)))))])
|
|
(check-equal? (size vstruct (mhasheq 'name "roxyb"
|
|
'age 21
|
|
'version 1
|
|
'ptr "hello")) 15)))
|
|
|
|
(test-case
|
|
"size should throw if no value is given"
|
|
(let ([vstruct (+xversioned-struct uint8
|
|
(dictify
|
|
0 (dictify 'name (+xstring #:length uint8 #:encoding 'ascii)
|
|
'age uint8)
|
|
1 (dictify 'name (+xstring #:length uint8 #:encoding 'utf8)
|
|
'age uint8
|
|
'gender uint8)))])
|
|
(check-exn exn:fail:contract? (λ () (size vstruct)))))
|
|
|
|
(test-case
|
|
"encode should encode objects to buffers"
|
|
(let ([vstruct (+xversioned-struct uint8
|
|
(dictify
|
|
0 (dictify 'name (+xstring #:length uint8 #:encoding 'ascii)
|
|
'age uint8)
|
|
1 (dictify 'name (+xstring #:length uint8 #:encoding 'utf8)
|
|
'age uint8
|
|
'gender uint8)))]
|
|
[op (open-output-bytes)])
|
|
(encode vstruct (mhasheq 'name "roxyb" 'age 21 'version 0) op)
|
|
(encode vstruct (mhasheq 'name "roxyb 🤘" 'age 21 'gender 0 'version 1) op)
|
|
(check-equal? (get-output-bytes op) (string->bytes/utf-8 "\x00\x05roxyb\x15\x01\x0aroxyb 🤘\x15\x00"))))
|
|
|
|
(test-case
|
|
"encode should throw for unknown version"
|
|
(let ([vstruct (+xversioned-struct uint8
|
|
(dictify
|
|
0 (dictify 'name (+xstring #:length uint8 #:encoding 'ascii)
|
|
'age uint8)
|
|
1 (dictify 'name (+xstring #:length uint8 #:encoding 'utf8)
|
|
'age uint8
|
|
'gender uint8)))]
|
|
[op (open-output-bytes)])
|
|
(check-exn exn:fail:contract? (λ () (encode vstruct op (mhasheq 'name "roxyb" 'age 21 'version 5))))))
|
|
|
|
(test-case
|
|
"encode should support common header block"
|
|
(let ([vstruct (+xversioned-struct uint8
|
|
(dictify
|
|
'header (dictify 'age uint8
|
|
'alive uint8)
|
|
0 (dictify 'name (+xstring #:length uint8 #:encoding 'ascii))
|
|
1 (dictify 'name (+xstring #:length uint8 #:encoding 'utf8)
|
|
'gender uint8)))]
|
|
[op (open-output-bytes)])
|
|
(encode vstruct (mhasheq 'name "roxyb" 'age 21 'alive 1 'version 0) op)
|
|
(encode vstruct (mhasheq 'name "roxyb 🤘" 'gender 0 'age 21 'alive 1 'version 1) op)
|
|
(check-equal? (get-output-bytes op) (string->bytes/utf-8 "\x00\x15\x01\x05roxyb\x01\x15\x01\x0aroxyb 🤘\x00"))))
|
|
|
|
(test-case
|
|
"encode should encode pointer data after structure"
|
|
(let ([vstruct (+xversioned-struct uint8
|
|
(dictify
|
|
0 (dictify 'name (+xstring #:length uint8 #:encoding 'ascii)
|
|
'age uint8)
|
|
1 (dictify 'name (+xstring #:length uint8 #:encoding 'utf8)
|
|
'age uint8
|
|
'ptr (+xpointer #:offset-type uint8
|
|
#:type (+xstring uint8)))))]
|
|
[op (open-output-bytes)])
|
|
(encode vstruct (mhasheq 'version 1 'name "roxyb" 'age 21 'ptr "hello") op)
|
|
|
|
(check-equal? (get-output-bytes op) (string->bytes/utf-8 "\x01\x05roxyb\x15\x09\x05hello"))))
|
|
|
|
(test-case
|
|
"encode should support preEncode hook"
|
|
(let ([vstruct (+xversioned-struct uint8
|
|
(dictify
|
|
0 (dictify 'name (+xstring #:length uint8 #:encoding 'ascii)
|
|
'age uint8)
|
|
1 (dictify 'name (+xstring #:length uint8 #:encoding 'utf8)
|
|
'age uint8
|
|
'gender uint8)))]
|
|
[op (open-output-bytes)])
|
|
(set-pre-encode! vstruct (λ (val) (dict-set! val 'version (if (dict-ref val 'gender #f) 1 0)) val))
|
|
(encode vstruct (mhasheq 'name "roxyb" 'age 21 'version 0) op)
|
|
(encode vstruct (mhasheq 'name "roxyb 🤘" 'age 21 'gender 0) op)
|
|
(check-equal? (get-output-bytes op) (string->bytes/utf-8 "\x00\x05roxyb\x15\x01\x0aroxyb 🤘\x15\x00")))) |