/dports/lang/racket/racket-8.3/collects/racket/ |
H A D | fasl.rkt | 428 (define type (read-byte/no-eof i)) 510 (read-byte/no-eof i) 520 (read-byte/no-eof i) 596 (define (read-byte/no-eof i) 603 (define (read-byte/no-eof* i) 606 (read-byte/no-eof i)] 633 [(_ read-byte/no-eof read-bytes/exactly) 635 (define b (read-byte/no-eof i)) 646 (define a (read-byte/no-eof i)) 671 (values (gen read-byte/no-eof read-bytes/exactly) [all …]
|
/dports/lang/racket-minimal/racket-8.3/collects/racket/ |
H A D | fasl.rkt | 428 (define type (read-byte/no-eof i)) 510 (read-byte/no-eof i) 520 (read-byte/no-eof i) 596 (define (read-byte/no-eof i) 603 (define (read-byte/no-eof* i) 606 (read-byte/no-eof i)] 633 [(_ read-byte/no-eof read-bytes/exactly) 635 (define b (read-byte/no-eof i)) 646 (define a (read-byte/no-eof i)) 671 (values (gen read-byte/no-eof read-bytes/exactly) [all …]
|
/dports/lang/racket/racket-8.3/share/pkgs/racket-doc/scribblings/reference/ |
H A D | string-input.scrbl | 33 (or/c byte? eof-object?)]{ 35 Reads a single byte from @racket[in]. If no bytes are available before 42 (list (read-byte ip) (char->integer #\a))) 46 (list (read-byte ip) (read-byte ip) (read-byte ip))) 160 (define length (read-byte ip)) 263 no bytes will have been read from @racket[in].} 388 (or/c byte? eof-object? any/c)]{ 406 (or/c byte? eof-object?)]{ 447 (or/c byte? eof-object? any/c)]{ 484 bytes, non-byte specials, and @racket[eof]s from @racket[in], or the [all …]
|
H A D | port-lib.scrbl | 228 @racket[read-in]) in a way that can handle special non-byte 308 doesn't succeed, what is left over is buffered and no further writes 327 read from an original port, it no longer contributes characters to the 373 is @racket[(- init-position 1)], no matter the position of @racket[in]. 697 if no bytes are available before an end-of-file, the event's result is 698 @racket[eof]. Otherwise, the event's result is a byte string of up to 713 a special non-byte value during the read attempt. 726 @racket[eof] or the number of read bytes. 732 down. Note that there is no time bound otherwise on when @racket[bstr] 735 result from @racket[read-bytes!-evt] as long as there is no [all …]
|
H A D | custom-ports.scrbl | 66 a mutable byte string to receive read bytes. The procedure's 72 @item{@racket[eof];} 93 The @racket[read-in] procedure must not block indefinitely. If no 109 exception, but only if no bytes are read. Similarly, no bytes 110 should be read if @racket[eof], an event, or a procedure is 203 it should not, and instead produce @racket[eof] (until the eof is 220 @elemref["special"]{special} results (non-byte and non-eof), so 383 return a character or @racket[eof]; in particular, @racket[read-char] 398 @racket[peek-char-or-special], @racket[read-byte-or-special], or 409 (lambda (s) eof) [all …]
|
/dports/sysutils/fcode-utils/fcode-utils-1.0.2/toke/examples/scsi-sample/ |
H A D | scsitape.fs | 1 \ SCSI tape package implementing a "byte" device-type interface. 5 " byte" device-type 13 false instance value at-eof? \ Turned on when read-blocks hits file mark. 29 : write-eof ( -- error? ) write-eof-cmd no-data-command ; 47 ?write-eof 49 rewind-cmd no-data-command 58 skip-files-cmd no-data-command ( error? ) 119 else \ no error, #request = #xfered ( ) 191 : read-blocks ( addr block# #blocks -- #read ) 248 : seek ( byte# file# -- error? ) [all …]
|
/dports/lang/racket/racket-8.3/share/pkgs/db-lib/db/private/mysql/ |
H A D | message.rkt | 204 (define (io:read-bytes-to-eof port) 443 (not (eof-object? (peek-byte p)))) 465 … ((#x01) (begin (read-byte in) (make-auth-more-data-packet (io:read-bytes-to-eof in)))) 494 (make-unknown-packet expected (io:read-bytes-to-eof in))) 528 ;; (alternative: do peek-byte, test for eof) 549 [message (io:read-bytes-to-eof in)]) 561 (io:read-bytes-to-eof in))]) 573 [message (io:read-bytes-to-eof in)]) 634 [_ (io:read-bytes-to-eof in)]) 1016 '((#x0 . cursor/no-cursor) [all …]
|
/dports/lang/racket/racket-8.3/collects/json/ |
H A D | main.rkt | 171 ;; Follows the specification (eg, at json.org) -- no extensions. 311 (read-byte i) ;; consume the eof 320 (read-byte i) ;; consume the eof 324 (read-byte i) 331 (read-byte i) 350 (read-byte i) 404 (read-byte i) 407 (read-byte i) 411 (read-byte i) 428 (read-byte i) [all …]
|
/dports/lang/racket-minimal/racket-8.3/collects/json/ |
H A D | main.rkt | 171 ;; Follows the specification (eg, at json.org) -- no extensions. 311 (read-byte i) ;; consume the eof 320 (read-byte i) ;; consume the eof 324 (read-byte i) 331 (read-byte i) 350 (read-byte i) 404 (read-byte i) 407 (read-byte i) 411 (read-byte i) 428 (read-byte i) [all …]
|
/dports/devel/re2c/re2c-2.2/test/golang/ |
H A D | 002_fill_eof_rule.re | 9 type YYCTYPE byte 12 data []byte 17 eof bool 21 // If nothing can be read, fail. 22 if in.eof { 50 // If nothing has been read, fail. 62 re2c:eof = 0; 114 data: make([]byte, SIZE+1), 119 eof: false, 139 // Fails, the lexer needs 1 character ahead, but there is no space. [all …]
|
H A D | 002_fill_eof_rule_functions.re | 9 type YYCTYPE = byte 17 eof bool 21 // If nothing can be read, fail. 22 if in.eof { 48 in.eof = in.limit < SIZE 50 // If nothing has been read, fail. 69 re2c:eof = 0; 116 data: make([]byte, SIZE+1), 121 eof: false, 141 // Fails, the lexer needs 1 character ahead, but there is no space. [all …]
|
H A D | 002_fill_eof_rule_f.re | 9 type YYCTYPE byte 12 data []byte 17 eof bool 33 // Nothing can be read, resume lexing to match EOF rule or fail. 34 if in.eof { 60 // If read less than expected, this is the end of input. 70 re2c:eof = 0; 120 data: make([]byte, SIZE+1), 125 eof: false, 160 // Fails, the lexer needs 1 character ahead, but there is no space. [all …]
|
H A D | 003_fill.re | 10 type YYCTYPE byte 13 data []byte 18 eof bool 23 if in.eof { 49 // If read less than expected, this is the end of input. 52 // If end of input, add padding so that the lexer can read 54 if in.eof { 116 data: make([]byte, SIZE+YYMAXFILL), 121 eof: false, 141 // Fails, there is no space for the needed characters. [all …]
|
H A D | 003_fill_bf.re | 10 type YYCTYPE byte 13 data []byte 18 eof bool 35 if in.eof { 61 // If read less than expected, this is the end of input. 64 // If end of input, add padding so that the lexer can read 66 if in.eof { 130 data: make([]byte, SIZE+YYMAXFILL), 135 eof: false, 171 // Fails, there is no space for the needed characters. [all …]
|
H A D | 003_fill_f.re | 10 type YYCTYPE byte 13 data []byte 18 eof bool 35 if in.eof { 61 // If read less than expected, this is the end of input. 64 // If end of input, add padding so that the lexer can read 66 if in.eof { 130 data: make([]byte, SIZE+YYMAXFILL), 135 eof: false, 171 // Fails, there is no space for the needed characters. [all …]
|
H A D | 003_fill_functions.re | 10 type YYCTYPE = byte 18 eof bool 23 if in.eof { 49 // If read less than expected, this is the end of input. 50 in.eof = in.limit < SIZE 52 // If end of input, add padding so that the lexer can read 54 if in.eof { 120 data: make([]byte, SIZE+YYMAXFILL), 125 eof: false, 145 // Fails, there is no space for the needed characters. [all …]
|
/dports/lang/racket/racket-8.3/collects/file/ |
H A D | gunzip.rkt | 211 (define (read-byte/not-eof in) 882 [header2 (read-byte/not-eof in)]) 888 (let* ([flags (read-byte/not-eof in)] 899 (let ([unix-mod-time (make-small-endian (read-byte/not-eof in) (read-byte/not-eof in) 900 (read-byte/not-eof in) (read-byte/not-eof in))] 902 [source-os (read-byte/not-eof in)]) 904 (let ([part-number (make-small-endian (read-byte/not-eof in) (read-byte/not-eof in))]) 907 (let ([len (make-small-endian (read-byte/not-eof in) (read-byte/not-eof in))]) 910 (read-byte/not-eof in) 915 (let ([r (read-byte/not-eof in)]) [all …]
|
/dports/lang/racket-minimal/racket-8.3/collects/file/ |
H A D | gunzip.rkt | 211 (define (read-byte/not-eof in) 882 [header2 (read-byte/not-eof in)]) 888 (let* ([flags (read-byte/not-eof in)] 899 (let ([unix-mod-time (make-small-endian (read-byte/not-eof in) (read-byte/not-eof in) 900 (read-byte/not-eof in) (read-byte/not-eof in))] 902 [source-os (read-byte/not-eof in)]) 904 (let ([part-number (make-small-endian (read-byte/not-eof in) (read-byte/not-eof in))]) 907 (let ([len (make-small-endian (read-byte/not-eof in) (read-byte/not-eof in))]) 910 (read-byte/not-eof in) 915 (let ([r (read-byte/not-eof in)]) [all …]
|
/dports/lang/clisp/clisp-df3b9f6fdcff22832898e89a989eb499c0f842ed/tests/ |
H A D | encoding.tst | 4 ;; (write-byte-sequence #(0 65 0) f)) 37 (defparameter *no-iconv-p* 39 *no-iconv-p* 44 (if *no-iconv-p* t 58 (if *no-iconv-p* "AZ" 65 (if *no-iconv-p* #(65) 73 ;(or *no-iconv-p* 79 (let ((z (coerce #(97 98 99) '(vector (unsigned-byte 8))))) 199 (list (read-line in nil :eof) 200 (read-line in nil :eof) [all …]
|
/dports/lang/racket-minimal/racket-8.3/src/io/ |
H A D | demo.rkt | 9 [read-byte host:read-byte] 88 (if (eof-object? (read-byte i)) 373 (read-byte i)) 429 (test eof (read-bytes 3 in)) 817 (test eof (read-line o)) 853 'read-byte/host 862 (unless (eof-object? (host:read-byte p)) 867 'read-byte 876 (unless (eof-object? (read-byte p)) 888 (unless (eof-object? (host:read-line p)) [all …]
|
/dports/lang/racket/racket-8.3/src/io/ |
H A D | demo.rkt | 9 [read-byte host:read-byte] 88 (if (eof-object? (read-byte i)) 373 (read-byte i)) 429 (test eof (read-bytes 3 in)) 817 (test eof (read-line o)) 853 'read-byte/host 862 (unless (eof-object? (host:read-byte p)) 867 'read-byte 876 (unless (eof-object? (read-byte p)) 888 (unless (eof-object? (host:read-line p)) [all …]
|
/dports/lang/voc/voc-63008f6/src/library/s3/ |
H A D | ethZlibReaders.Mod | 22 eof: BOOLEAN; (* set if at end of input file and input buffer empty *) 29 (** open reader on a Rider for input; is wrapper is not set, no zlib header and no checksum are pre… 33 r.eof := fr.eof; 45 (** read specified number of bytes into buffer and return number of bytes actually read **) 50 r.res := StreamError; read := 0 52 read := 0 60 r.eof := TRUE; 72 read := len - r.s.out.avail 76 (** read decompressed byte **) 81 ReadBytes(r, buf, 0, 1, read); [all …]
|
/dports/lang/racket/racket-8.3/src/expander/read/ |
H A D | string.rkt | 20 [(eof-object? c) 78 (unless (integer? v) (no-hex-digits in config v escaping-c escaped-c)) 86 (unless (integer? v) (no-hex-digits in config v escaping-c escaped-c)) 152 (when (eq? mode '|byte string|) 153 (unless (byte? (char->integer c)) 155 "character `~a` is out of range in byte string" 159 (define str (if (eq? mode '|byte string|) 181 [(eof-object? c) 196 [(eof-object? c) 231 (define (no-hex-digits in config c escaping-c escaped-c) [all …]
|
/dports/lang/racket-minimal/racket-8.3/src/expander/read/ |
H A D | string.rkt | 20 [(eof-object? c) 78 (unless (integer? v) (no-hex-digits in config v escaping-c escaped-c)) 86 (unless (integer? v) (no-hex-digits in config v escaping-c escaped-c)) 152 (when (eq? mode '|byte string|) 153 (unless (byte? (char->integer c)) 155 "character `~a` is out of range in byte string" 159 (define str (if (eq? mode '|byte string|) 181 [(eof-object? c) 196 [(eof-object? c) 231 (define (no-hex-digits in config c escaping-c escaped-c) [all …]
|
/dports/lang/racket/racket-8.3/src/cs/demo/ |
H A D | io.ss | 16 (test #f (directory-exists? "no-such-demo")) 40 (define s (read-string 100 p)) 41 (unless (eof-object? s) 52 (unless (eof-object? (read-char p)) 158 (register-place-symbol! 'read-byte 162 (let ([b (read-byte f)]) 165 (let-values ([(pl in out err) (dynamic-place 'dummy 'read-byte #f #f #f)]) 166 (test (bytes-ref content 0) (read-byte f)) 169 (test (bytes-ref content 2) (read-byte f)) 172 ;; Thread can be GCed if it's block on a place channel with no writer [all …]
|