X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Finspect.lisp;h=5625d641ad5817c90a01d0819de27dc2ced6a6b7;hb=8af1983e6de2609fec800b6ac2bf3b12ff9c68b9;hp=172ae72addc9dbe6f66f8be46ed53379772595ac;hpb=3c65762b927af861c9c8bc416e4cbac9a14ec0c3;p=sbcl.git diff --git a/src/code/inspect.lisp b/src/code/inspect.lisp index 172ae72..5625d64 100644 --- a/src/code/inspect.lisp +++ b/src/code/inspect.lisp @@ -17,15 +17,22 @@ ;;; indicates that that a slot is unbound. (defvar *inspect-unbound-object-marker* (gensym "INSPECT-UNBOUND-OBJECT-")) -(defun inspect (object) +(defun inspector (object input-stream output-stream) + (declare (ignore input-stream)) (catch 'quit-inspect - (%inspect object *standard-output*)) + (%inspect object output-stream)) (values)) +(defvar *inspect-fun* #'inspector + "a function of three arguments OBJECT, INPUT, and OUTPUT which starts an interactive inspector.") + (defvar *inspected*) (setf (documentation '*inspected* 'variable) "the value currently being inspected in CL:INSPECT") +(defun inspect (object) + (funcall *inspect-fun* object *standard-input* *standard-output*)) + (defvar *help-for-inspect* " help for INSPECT: @@ -41,23 +48,26 @@ evaluated expressions. ") (defun %inspect (*inspected* s) - (named-let redisplay () ; "lambda, the ultimate GOTO":-| + (named-let redisplay () ; "LAMBDA, the ultimate GOTO":-| (multiple-value-bind (description named-p elements) (inspected-parts *inspected*) (tty-display-inspected-parts description named-p elements s) (named-let reread () (format s "~&> ") (force-output) - (let (;; KMP idiom, using stream itself as EOF value - (command (read *standard-input* nil *standard-input*))) - (typecase command - (stream ; i.e. EOF + (let* (;; newly-consed object for hermetic protection against + ;; mischievous input like #.*EOF-OBJECT*: + (eof (cons *eof-object* nil)) + (command (read *standard-input* nil eof))) + (when (eq command eof) ;; currently-undocumented feature: EOF is handled as Q. ;; If there's ever consensus that this is *the* right ;; thing to do (as opposed to e.g. handling it as U), we ;; could document it. Meanwhile, it seems more Unix-y to ;; do this than to signal an error. + (/show0 "THROWing QUIT-INSPECT for EOF") (throw 'quit-inspect nil)) + (typecase command (integer (let ((elements-length (length elements))) (cond ((< -1 command elements-length) @@ -75,12 +85,13 @@ evaluated expressions. (format s "~%The object contains nothing to inspect.~%") (return-from %inspect (reread))) (t - (format s "~%Enter a valid index (~:[0-~D~;0~]).~%" + (format s "~%Enter a valid index (~:[0-~W~;0~]).~%" (= elements-length 1) (1- elements-length)) (return-from %inspect (reread)))))) (symbol (case (find-symbol (symbol-name command) *keyword-package*) ((:q :e) + (/show0 "THROWing QUIT-INSPECT for :Q or :E") (throw 'quit-inspect nil)) (:u (return-from %inspect)) @@ -161,7 +172,7 @@ evaluated expressions. (info (layout-info (sb-kernel:layout-of object)))) (when (sb-kernel::defstruct-description-p info) (dolist (dd-slot (dd-slots info) (nreverse parts-list)) - (push (cons (dsd-%name dd-slot) + (push (cons (dsd-name dd-slot) (funcall (dsd-accessor-name dd-slot) object)) parts-list))))) @@ -194,7 +205,7 @@ evaluated expressions. (inspected-structure-elements object))) (defmethod inspected-parts ((object function)) - (let* ((type (sb-kernel:get-type object)) + (let* ((type (sb-kernel:widetag-of object)) (object (if (= type sb-vm:closure-header-widetag) (sb-kernel:%closure-fun object) object))) @@ -209,7 +220,7 @@ evaluated expressions. (defmethod inspected-parts ((object vector)) (values (format nil - "The object is a ~:[~;displaced ~]VECTOR of length ~D.~%" + "The object is a ~:[~;displaced ~]VECTOR of length ~W.~%" (and (array-header-p object) (%array-displaced-p object)) (length object)) @@ -226,7 +237,7 @@ evaluated expressions. (multiple-value-bind (q r) (floor index dim) (setq index q) (push r list))) - (format nil "[~D~{,~D~}]" (car list) (cdr list))))) + (format nil "[~W~{,~W~}]" (car list) (cdr list))))) (defmethod inspected-parts ((object array)) (let* ((length (min (array-total-size object) *inspect-length*))