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.
typesetting/xenomorph/xenomorph/lazy-array.rkt

65 lines
2.5 KiB
Racket

This file contains invisible Unicode characters!

This file contains invisible Unicode characters that may be processed differently from what appears below. If your use case is intentional and legitimate, you can safely ignore this warning. Use the Escape button to reveal hidden characters.

#lang racket/base
(require racket/class
"helper.rkt" "util.rkt" "number.rkt" "array.rkt" racket/stream sugar/unstable/dict)
(provide (all-defined-out))
#|
approximates
https://github.com/mbutterick/restructure/blob/master/src/LazyArray.coffee
|#
(define x:lazy-array%
(class x:array%
(super-new)
(inherit-field [@type type] [@len len])
(define/override (x:decode port parent)
(define starting-pos (pos port)) ; ! placement matters. `resolve-length` will change `pos`
(define len (resolve-length @len port #:parent parent))
(define new-parent (if (x:int? @len)
(mhasheq 'parent parent
'_startOffset starting-pos
'_currentOffset 0
'_length @len)
parent))
(define stream-starting-pos (pos port))
(begin0
(for/stream ([index (in-range len)])
(define orig-pos (pos port))
(pos port (+ stream-starting-pos (* (send @type x:size #f new-parent) index)))
(begin0
(send @type x:decode port new-parent)
(pos port orig-pos)))
(pos port (+ (pos port) (* len (send @type x:size #f new-parent))))))
(define/override (x:encode val port [parent #f])
(super x:encode (if (stream? val) (stream->list val) val) port parent))
(define/override (x:size [val #f] [parent #f])
(super x:size (if (stream? val) (stream->list val) val) parent))))
(define (x:lazy-array [type-arg #f] [len-arg #f]
#:type [type-kwarg #f]
#:length [len-kwarg #f]
#:pre-encode [pre-proc #f]
#:post-decode [post-proc #f])
(define type (or type-arg type-kwarg))
(define len (or len-arg len-kwarg))
(new (generate-subclass x:lazy-array% pre-proc post-proc) [type type]
[len len]
[length-type 'count]))
(module+ test
(require rackunit "number.rkt" "generic.rkt")
(define bstr #"ABCD1234")
(define ds (open-input-bytes bstr))
(define la (x:lazy-array uint8 4))
(define ila (decode la ds))
(check-equal? (pos ds) 4)
(check-equal? (stream-ref ila 1) 66)
(check-equal? (stream-ref ila 3) 68)
(check-equal? (pos ds) 4)
(check-equal? (stream->list ila) '(65 66 67 68))
(define la2 (x:lazy-array int16be (λ (t) 4)))
(check-equal? (encode la2 '(1 2 3 4) #f) #"\0\1\0\2\0\3\0\4")
(check-equal? (stream->list (decode la2 (open-input-bytes #"\0\1\0\2\0\3\0\4"))) '(1 2 3 4)))