From 5e60b94d8145e35de4f99168a617e47b874284b9 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Tue, 11 Dec 2018 22:34:54 -0800 Subject: [PATCH] reserved done --- xenomorph/xenomorph/redo/reserved.rkt | 30 +++++++++++++++++ xenomorph/xenomorph/redo/test/main.rkt | 4 +-- .../xenomorph/redo/test/reserved-test.rkt | 32 +++++++++++++++++++ 3 files changed, 64 insertions(+), 2 deletions(-) create mode 100644 xenomorph/xenomorph/redo/reserved.rkt create mode 100644 xenomorph/xenomorph/redo/test/reserved-test.rkt diff --git a/xenomorph/xenomorph/redo/reserved.rkt b/xenomorph/xenomorph/redo/reserved.rkt new file mode 100644 index 00000000..82cbaca2 --- /dev/null +++ b/xenomorph/xenomorph/redo/reserved.rkt @@ -0,0 +1,30 @@ +#lang racket/base +(require "helper.rkt" "util.rkt") +(provide (all-defined-out)) + +#| +approximates +https://github.com/mbutterick/restructure/blob/master/src/Reserved.coffee +|# + +(define (xreserved-decode xo [port-arg (current-input-port)] #:parent [parent #f]) + (define port (->input-port port-arg)) + (pos port (+ (pos port) (size xo #f parent))) + (void)) + +(define (xreserved-encode xo val [port-arg (current-output-port)] #:parent [parent #f]) + (define port (if (output-port? port-arg) port-arg (open-output-bytes))) + (write-bytes (make-bytes (size xo val parent) 0)) + (unless port-arg (get-output-bytes port))) + +(define (xreserved-size xo [valĀ #f] [parent #f]) + (* (size (xreserved-type xo)) (resolve-length (xreserved-count xo) #f parent))) + +(struct xreserved (type count) #:transparent + #:methods gen:xenomorphic + [(define decode xreserved-decode) + (define encode xreserved-encode) + (define size xreserved-size)]) + +(define (+xreserved type [count 1]) + (xreserved type count)) \ No newline at end of file diff --git a/xenomorph/xenomorph/redo/test/main.rkt b/xenomorph/xenomorph/redo/test/main.rkt index 6791a71f..19a781bc 100644 --- a/xenomorph/xenomorph/redo/test/main.rkt +++ b/xenomorph/xenomorph/redo/test/main.rkt @@ -6,9 +6,9 @@ "enum-test.rkt" ;"lazy-array-test.rkt" "number-test.rkt" - ;"optional-test.rkt" + "optional-test.rkt" "pointer-test.rkt" - ;"reserved-test.rkt" + "reserved-test.rkt" "string-test.rkt" "struct-test.rkt" ;"versioned-struct-test.rkt" diff --git a/xenomorph/xenomorph/redo/test/reserved-test.rkt b/xenomorph/xenomorph/redo/test/reserved-test.rkt new file mode 100644 index 00000000..2c422b59 --- /dev/null +++ b/xenomorph/xenomorph/redo/test/reserved-test.rkt @@ -0,0 +1,32 @@ +#lang racket/base +(require rackunit + "../number.rkt" + "../helper.rkt" + "../reserved.rkt") + +#| +approximates +https://github.com/mbutterick/restructure/blob/master/test/Reserved.coffee +|# + +(test-case + "size should have a default count of 1" + (check-equal? (size (+xreserved uint8)) 1)) + +(test-case + "size should allow custom counts and types" + (check-equal? (size (+xreserved uint16be 10)) 20)) + +(test-case + "should decode" + (parameterize ([current-input-port (open-input-bytes (bytes 0 0))]) + (define reserved (+xreserved uint16be)) + (check-equal? (decode reserved) (void)) + (check-equal? (pos (current-input-port)) 2))) + +(test-case + "should encode" + (parameterize ([current-output-port (open-output-bytes)]) + (define reserved (+xreserved uint16be)) + (encode reserved #f) + (check-equal? (dump (current-output-port)) (bytes 0 0)))) \ No newline at end of file