;;;; While most of SBCL is derived from the CMU CL system, the test
;;;; files (like this one) were written from scratch after the fork
;;;; from CMU CL.
-;;;;
+;;;;
;;;; This software is in the public domain and is provided with
;;;; absolutely no warranty. See the COPYING and CREDITS files for
;;;; more information.
-(in-package :cl-user)
-
(load "assertoid.lisp")
+(use-package "ASSERTOID")
;;; type errors for inappropriate stream arguments, fixed in
;;; sbcl-0.7.8.19
(locally
(declare (optimize (safety 3)))
(assert (raises-error? (make-two-way-stream (make-string-output-stream)
- (make-string-output-stream))
- type-error))
+ (make-string-output-stream))
+ type-error))
(assert (raises-error? (make-two-way-stream (make-string-input-stream "foo")
- (make-string-input-stream "bar"))
- type-error))
+ (make-string-input-stream "bar"))
+ type-error))
;; the following two aren't actually guaranteed, because ANSI, as it
;; happens, doesn't say "should signal an error" for
;; MAKE-ECHO-STREAM. It's still good to have, but if future
;; MAKE-ECHO-STREAM clauses, consider simply removing these clauses
;; from the test. -- CSR, 2002-10-06
(assert (raises-error? (make-echo-stream (make-string-output-stream)
- (make-string-output-stream))
- type-error))
+ (make-string-output-stream))
+ type-error))
(assert (raises-error? (make-echo-stream (make-string-input-stream "foo")
- (make-string-input-stream "bar"))
- type-error))
+ (make-string-input-stream "bar"))
+ type-error))
(assert (raises-error? (make-concatenated-stream
- (make-string-output-stream)
- (make-string-input-stream "foo"))
- type-error)))
+ (make-string-output-stream)
+ (make-string-input-stream "foo"))
+ type-error)))
;;; bug 225: STRING-STREAM was not a class
(eval `(defgeneric bug225 (s)
'(sb-impl::string-output-stream string-stream stream)))
\f
+;;; improper buffering on (SIGNED-BYTE 8) streams (fixed by David Lichteblau):
+(let ((p "signed-byte-8-test.data"))
+ (with-open-file (s p
+ :direction :output
+ :element-type '(unsigned-byte 8)
+ :if-exists :supersede)
+ (write-byte 255 s))
+ (with-open-file (s p :element-type '(signed-byte 8))
+ (assert (= (read-byte s) -1)))
+ (delete-file p))
+\f
+;;; :IF-EXISTS got :ERROR and NIL the wrong way round (reported by
+;;; Milan Zamazal)
+(let* ((p "this-file-will-exist")
+ (stream (open p :direction :output :if-exists :error)))
+ (assert (null (with-open-file (s p :direction :output :if-exists nil) s)))
+ (assert (raises-error?
+ (with-open-file (s p :direction :output :if-exists :error))))
+ (close stream)
+ (delete-file p))
+\f
+(assert (raises-error? (read-byte (make-string-input-stream "abc"))
+ type-error))
+(assert (raises-error? (with-open-file (s "/dev/zero")
+ (read-byte s))
+ type-error))
+;;; bidirectional streams getting confused about their position
+(let ((p "bidirectional-stream-test"))
+ (with-open-file (s p :direction :output :if-exists :supersede)
+ (with-standard-io-syntax
+ (format s "~S ~S ~S~%" 'these 'are 'symbols)))
+ (with-open-file (s p :direction :io :if-exists :overwrite)
+ (read s)
+ (with-standard-io-syntax
+ (prin1 'insert s)))
+ (with-open-file (s p)
+ (assert (string= (read-line s) "THESE INSERTMBOLS")))
+ (delete-file p))
+\f
+;;; :DIRECTION :IO didn't work on non-existent pathnames
+(let ((p "direction-io-test"))
+ (ignore-errors (delete-file p))
+ (with-open-file (s p :direction :io)
+ (format s "1")
+ (finish-output s)
+ (file-position s :start)
+ (assert (char= (read-char s) #\1)))
+ (delete-file p))
+\f
+;;; FILE-POSITION on broadcast-streams is mostly uncontroversial
+(assert (= 0 (file-position (make-broadcast-stream))))
+(assert (file-position (make-broadcast-stream) :start))
+(assert (file-position (make-broadcast-stream) 0))
+(assert (not (file-position (make-broadcast-stream) 1)))
+(let ((s (make-broadcast-stream)))
+ (write-char #\a s)
+ (assert (not (file-position s 1)))
+ (assert (= 0 (file-position s))))
+
+(let ((p "broadcast-stream-test"))
+ (ignore-errors (delete-file p))
+ (with-open-file (f p :direction :output)
+ (let ((s (make-broadcast-stream f)))
+ (assert (= 0 (file-position s)))
+ (assert (file-position s :start))
+ (assert (file-position s 0))
+ (write-char #\a s)
+ (assert (= 1 (file-position s))) ; unicode...
+ (assert (file-position s 0))))
+ (delete-file p))
+
+;;; CLOSING a non-new streams should not delete them, and superseded
+;;; files should be restored.
+(let ((test "test-file-for-close-should-not-delete"))
+ (macrolet ((test-mode (mode)
+ `(progn
+ (catch :close-test-exit
+ (with-open-file (f test :direction :output :if-exists ,mode)
+ (write-line "test" f)
+ (throw :close-test-exit t)))
+ (assert (and (probe-file test) ,mode)))))
+ (unwind-protect
+ (progn
+ (with-open-file (f test :direction :output)
+ (write-line "test" f))
+ (test-mode :append)
+ (test-mode :overwrite)
+ ;; FIXME: We really should recover supersede files as well, according to
+ ;; CLOSE in CLHS, but at the moment we don't.
+ ;; (test-mode :supersede)
+ (test-mode :rename)
+ (test-mode :rename-and-delete))
+ (when (probe-file test)
+ (delete-file test)))))
+
+;;; test for read-write invariance of signed bytes, from Bruno Haible
+;;; cmucl-imp 2004-09-06
+(defun bin-stream-test (&key (size (integer-length most-positive-fixnum))
+ (type 'unsigned-byte) (file-name "stream-impure.tmp")
+ (num-bytes 10)
+ (bytes (if (eq type 'signed-byte)
+ (loop :repeat num-bytes :collect
+ (- (random (ash 1 size))
+ (ash 1 (1- size))))
+ (loop :repeat num-bytes :collect
+ (random (ash 1 size))))))
+ (with-open-file (foo file-name :direction :output :if-exists :supersede
+ :element-type (list type size))
+ (dolist (byte bytes)
+ (write-byte byte foo)))
+ (unwind-protect
+ (with-open-file (foo file-name :direction :input
+ :element-type (list type size))
+ (list (stream-element-type foo) (file-length foo) bytes
+ (loop :for byte :in bytes :for nb = (read-byte foo) :collect nb
+ :unless (= nb byte) :do
+ (flet ((by-out (sz by)
+ (format nil "~v,'0,' ,4:b"
+ (+ sz (floor sz 4)) by)))
+ (error "~& * [(~s ~s)] ~a != ~a~%" type size
+ (by-out size byte) (by-out size nb))))))
+ (delete-file file-name)))
+(loop for size from 2 to 40 do (bin-stream-test :size size :type 'signed-byte))
+
;;; success
-(quit :unix-status 104)
projects / sbcl.git / blobdiff