-;;;; most of the DESCRIBE system -- that part which isn't derived
-;;;; from PCL code
+;;;; the DESCRIBE system
;;;; This software is part of the SBCL system. See the README file for
;;;; more information.
;;;; provided with absolutely no warranty. See the COPYING and CREDITS
;;;; files for more information.
-(in-package "SB-IMPL") ;(SB-IMPL, not SB!IMPL, since we're built in warm load.)
-\f
-(declaim (ftype (function (t stream)) describe-object))
-(defgeneric describe-object (x stream))
+;;; SB-IMPL, not SB!IMPL, since we're built in warm load.
+(in-package "SB-IMPL")
+
+;;;; Utils, move elsewhere.
+
+(defun class-name-or-class (class)
+ (let ((name (class-name class)))
+ (if (eq class (find-class name nil))
+ name
+ class)))
+
+(defun fun-name (x)
+ (if (typep x 'standard-generic-function)
+ (sb-pcl:generic-function-name x)
+ (%fun-name x)))
+
+;;;; the ANSI interface to function names (and to other stuff too)
+;;; Note: this function gets called by the compiler (as of 1.0.17.x,
+;;; in MAYBE-INLINE-SYNTACTIC-CLOSURE), and so although ANSI says
+;;; we're allowed to return NIL here freely, it seems plausible that
+;;; small changes to the circumstances under which this function
+;;; returns non-NIL might have subtle consequences on the compiler.
+;;; So it might be desirable to have the compiler not rely on this
+;;; function, eventually.
+(defun function-lambda-expression (fun)
+ #+sb-doc
+ "Return (VALUES DEFINING-LAMBDA-EXPRESSION CLOSURE-P NAME), where
+ DEFINING-LAMBDA-EXPRESSION is NIL if unknown, or a suitable argument
+ to COMPILE otherwise, CLOSURE-P is non-NIL if the function's definition
+ might have been enclosed in some non-null lexical environment, and
+ NAME is some name (for debugging only) or NIL if there is no name."
+ (declare (type function fun))
+ (etypecase fun
+ #+sb-eval
+ (sb-eval:interpreted-function
+ (let ((name (sb-eval:interpreted-function-name fun))
+ (lambda-list (sb-eval:interpreted-function-lambda-list fun))
+ (declarations (sb-eval:interpreted-function-declarations fun))
+ (body (sb-eval:interpreted-function-body fun)))
+ (values `(lambda ,lambda-list
+ ,@(when declarations `((declare ,@declarations)))
+ ,@body)
+ t name)))
+ (function
+ (let* ((name (fun-name fun))
+ (fun (%simple-fun-self (%fun-fun fun)))
+ (code (sb-di::fun-code-header fun))
+ (info (sb-kernel:%code-debug-info code)))
+ (if info
+ (let ((source (sb-c::debug-info-source info)))
+ (cond ((and (sb-c::debug-source-form source)
+ (eq (sb-c::debug-source-function source) fun))
+ (values (sb-c::debug-source-form source)
+ nil
+ name))
+ ((legal-fun-name-p name)
+ (let ((exp (fun-name-inline-expansion name)))
+ (values exp (not exp) name)))
+ (t
+ (values nil t name))))
+ (values nil t name))))))
-(defun describe (x &optional (stream-designator *standard-output*))
+;;; Prints X on a single line, limiting output length by *PRINT-RIGHT-MARGIN*
+;;; -- good for printing object parts, etc.
+(defun prin1-to-line (x &key (columns 1) (reserve 0))
+ (let* ((line (write-to-string x :escape t :readably nil :lines 2 :circle t))
+ (p (position #\newline line))
+ (limit (truncate (- *print-right-margin* reserve) columns)))
+ (flet ((trunc (&optional end)
+ (let ((line-end (- limit 2)))
+ (with-output-to-string (s)
+ (write-string line s :end (if end
+ (min end line-end)
+ line-end))
+ (write-string ".." s)))))
+ (cond (p
+ (trunc p))
+ ((> (length line) limit)
+ (trunc))
+ (t
+ line)))))
+
+(defun describe (object &optional (stream-designator *standard-output*))
#+sb-doc
- "Print a description of the object X."
- (let ((stream (out-synonym-of stream-designator)))
+ "Print a description of OBJECT to STREAM-DESIGNATOR."
+ (let ((stream (out-synonym-of stream-designator))
+ (*print-right-margin* (or *print-right-margin* 72))
+ (*print-circle* t)
+ (*suppress-print-errors*
+ (if (subtypep 'serious-condition *suppress-print-errors*)
+ *suppress-print-errors*
+ 'serious-condition)))
;; Until sbcl-0.8.0.x, we did
;; (FRESH-LINE STREAM)
;; (PPRINT-LOGICAL-BLOCK (STREAM NIL)
;; here. (The example method for DESCRIBE-OBJECT does its own
;; FRESH-LINEing, which is a physical directive which works poorly
;; inside a pretty-printer logical block.)
- (describe-object x stream)
+ (handler-bind ((print-not-readable #'print-unreadably))
+ (describe-object object stream))
;; We don't TERPRI here either (any more since sbcl-0.8.0.x), because
;; again ANSI's specification of DESCRIBE doesn't mention it and
;; ANSI's example of DESCRIBE-OBJECT does its own final TERPRI.
- )
- (values))
+ (values)))
\f
-;;;; miscellaneous DESCRIBE-OBJECT methods
+;;;; DESCRIBE-OBJECT
+;;;;
+;;;; Style guide:
+;;;;
+;;;; * Each interesting class has a primary method of its own.
+;;;;
+;;;; * Output looks like
+;;;;
+;;;; object-self-string
+;;;; [object-type-string]
+;;;;
+;;;; Block1:
+;;;; Sublabel1: text
+;;;; Sublabel2: text
+;;;;
+;;;; Block2:
+;;;; ...
+;;;;
+;;;; * The newline policy that gets the whitespace right is for
+;;;; each block to both start and end with a newline.
+
+(defgeneric object-self-string (x))
+
+(defmethod object-self-string (x)
+ (prin1-to-line x))
+
+(defmethod object-self-string ((x symbol))
+ (let ((*package* (find-package :keyword)))
+ (prin1-to-string x)))
+
+(defgeneric object-type-string (x))
+
+(defmethod object-type-string (x)
+ (let ((type (class-name-or-class (class-of x))))
+ (if (symbolp type)
+ (string-downcase type)
+ (prin1-to-string type))))
+
+(defmethod object-type-string ((x cons))
+ (if (listp (cdr x)) "list" "cons"))
+
+(defmethod object-type-string ((x hash-table))
+ "hash-table")
+
+(defmethod object-type-string ((x condition))
+ "condition")
+
+(defmethod object-type-string ((x structure-object))
+ "structure-object")
+
+(defmethod object-type-string ((x standard-object))
+ "standard-object")
+
+(defmethod object-type-string ((x function))
+ (typecase x
+ (simple-fun "compiled function")
+ (closure "compiled closure")
+ #+sb-eval
+ (sb-eval:interpreted-function
+ "interpreted function")
+ (generic-function
+ "generic-function")
+ (t
+ "funcallable-instance")))
+
+(defmethod object-type-string ((x stream))
+ "stream")
+
+(defmethod object-type-string ((x sb-gray:fundamental-stream))
+ "gray stream")
+
+(defmethod object-type-string ((x package))
+ "package")
+
+(defmethod object-type-string ((x array))
+ (cond ((or (stringp x) (bit-vector-p x))
+ (format nil "~@[simple-~*~]~A"
+ (typep x 'simple-array)
+ (typecase x
+ (base-string "base-string")
+ (string "string")
+ (t "bit-vector"))))
+ (t
+ (if (simple-vector-p x)
+ "simple-vector"
+ (format nil "~@[simple ~*~]~@[specialized ~*~]~:[array~;vector~]"
+ (typep x 'simple-array)
+ (neq t (array-element-type x))
+ (vectorp x))))))
+
+(defmethod object-type-string ((x character))
+ (typecase x
+ (standard-char "standard-char")
+ (base-char "base-char")
+ (t "character")))
+
+(defun print-standard-describe-header (x stream)
+ (format stream "~&~A~% [~A]~%"
+ (object-self-string x)
+ (object-type-string x)))
+
+(defgeneric describe-object (x stream))
+
+;;; Catch-all.
(defmethod describe-object ((x t) s)
- (format s "~&~@<~S ~_is a ~S.~:>~%" x (type-of x)))
+ (print-standard-describe-header x s))
(defmethod describe-object ((x cons) s)
- (call-next-method)
- (when (and (legal-fun-name-p x)
- (fboundp x))
- (%describe-fun (fdefinition x) s :function x)
- ;;was: (format s "~@:_Its FDEFINITION is ~S.~@:_" (fdefinition x))
- ;; TO DO: should check for SETF documentation.
- ;; TO DO: should make it clear whether the definition is a
- ;; DEFUN (SETF FOO) or DEFSETF FOO or what.
- ))
+ (print-standard-describe-header x s)
+ (describe-function x nil s))
+
+(defmethod describe-object ((x function) s)
+ (print-standard-describe-header x s)
+ (describe-function nil x s))
+
+(defmethod describe-object ((x class) s)
+ (print-standard-describe-header x s)
+ (describe-class nil x s)
+ (describe-instance x s))
+
+(defmethod describe-object ((x sb-pcl::slot-object) s)
+ (print-standard-describe-header x s)
+ (describe-instance x s))
+
+(defmethod describe-object ((x character) s)
+ (print-standard-describe-header x s)
+ (format s "~%Char-code: ~S" (char-code x))
+ (format s "~%Char-name: ~A" (char-name x)))
(defmethod describe-object ((x array) s)
- (fresh-line s)
- (pprint-logical-block (s nil)
- (cond
- ((= 1 (array-rank x))
- (format s "~S is a vector with ~D elements."
- x (car (array-dimensions x)))
- (when (array-has-fill-pointer-p x)
- (format s "~@:_It has a fill pointer value of ~S."
- (fill-pointer x))))
- (t
- (format s "~S is an array of dimension ~:S."
- x (array-dimensions x))))
- (let ((array-element-type (array-element-type x)))
- (unless (eq array-element-type t)
- (format s
- "~@:_Its element type is specialized to ~S."
- array-element-type)))
- (if (and (array-header-p x) (%array-displaced-p x))
- (format s "~@:_The array is displaced with offset ~S."
- (%array-displacement x))))
- (terpri s))
+ (print-standard-describe-header x s)
+ (format s "~%Element-type: ~S" (array-element-type x))
+ (if (vectorp x)
+ (if (array-has-fill-pointer-p x)
+ (format s "~%Fill-pointer: ~S~%Size: ~S"
+ (fill-pointer x)
+ (array-total-size x))
+ (format s "~%Length: ~S" (length x)))
+ (format s "~%Dimensions: ~S" (array-dimensions x)))
+ (let ((*print-array* nil))
+ (unless (typep x 'simple-array)
+ (format s "~%Adjustable: ~A" (if (adjustable-array-p x) "yes" "no"))
+ (multiple-value-bind (to offset) (array-displacement x)
+ (if (format s "~%Displaced-to: ~A~%Displaced-offset: ~S"
+ (prin1-to-line to)
+ offset)
+ (format s "~%Displaced: no"))))
+ (when (and (not (array-displacement x)) (array-header-p x))
+ (format s "~%Storage vector: ~A"
+ (prin1-to-line (array-storage-vector x))))
+ (terpri s)))
(defmethod describe-object ((x hash-table) s)
- (declare (type stream s))
- (format s "~&~@<~S ~_is an ~S hash table.~:>" x (hash-table-test x))
- (format s "~&Its SIZE is ~S." (hash-table-size x))
- (format s
- "~&~@<Its REHASH-SIZE is ~S. ~_Its REHASH-THRESHOLD is ~S.~:>"
- (hash-table-rehash-size x)
- (hash-table-rehash-threshold x))
- (fresh-line s)
- (pprint-logical-block (s nil)
- (let ((count (hash-table-count x)))
- (format s "It holds ~S key/value pair~:P~:[: ~2I~_~;.~]"
- count (zerop count))
- (let ((n 0))
- (declare (type index n))
- (dohash ((k v) x :locked t)
- (unless (zerop n)
- (write-char #\space s))
- (incf n)
- (when (and *print-length* (> n *print-length*))
- (format s "~:_...")
- (return))
- (format s "~:_(~@<~S ~:_~S~:>)" k v)))))
+ (print-standard-describe-header x s)
+ ;; Don't print things which are already apparent from the printed
+ ;; representation -- COUNT, TEST, and WEAKNESS
+ (format s "~%Occupancy: ~,1F" (float (/ (hash-table-count x)
+ (hash-table-size x))))
+ (format s "~%Rehash-threshold: ~S" (hash-table-rehash-threshold x))
+ (format s "~%Rehash-size: ~S" (hash-table-rehash-size x))
+ (format s "~%Size: ~S" (hash-table-size x))
+ (format s "~%Synchronized: ~A" (if (hash-table-synchronized-p x) "yes" "no"))
(terpri s))
-(defmethod describe-object ((condition condition) s)
- (sb-kernel:describe-condition condition s))
-\f
-;;;; DESCRIBE-OBJECT methods for symbols and functions, including all
-;;;; sorts of messy stuff about documentation, type information,
-;;;; packaging, function implementation, etc...
-
-;;; Print the specified kind of documentation about the given NAME. If
-;;; NAME is null, or not a valid name, then don't print anything.
-(declaim (ftype (function (t stream t t) (values)) %describe-doc))
-(defun %describe-doc (name s kind kind-doc)
- (when (and name (typep name '(or symbol cons)))
- (let ((doc (fdocumentation name kind)))
- (when doc
- (format s "~&~@(~A documentation:~)~% ~A"
- (or kind-doc kind) doc))))
- (values))
-
-;;; Describe various stuff about the functional semantics attached to
-;;; the specified NAME, if NAME is the kind of thing you can look
-;;; up as a name. (In the case of anonymous closures and other
-;;; things, it might not be.) TYPE-SPEC is the function type specifier
-;;; extracted from the definition, or NIL if none.
-(declaim (ftype (function (t stream t)) %describe-fun-name))
-(defun %describe-fun-name (name s type-spec)
- (when (and name (typep name '(or symbol cons)))
- (multiple-value-bind (type where)
- (if (legal-fun-name-p name)
- (values (type-specifier (info :function :type name))
- (info :function :where-from name))
- (values type-spec :defined))
- (when (consp type)
- (format s "~&Its ~(~A~) argument types are:~% ~S"
- where (second type))
- (format s "~&Its result type is:~% ~S" (third type))))
- (let ((inlinep (info :function :inlinep name)))
- (when inlinep
- (format s
- "~&It is currently declared ~(~A~);~
- ~:[no~;~] expansion is available."
- inlinep (info :function :inline-expansion-designator name))))))
-
-;;; Print information from the debug-info about where CODE-OBJ was
-;;; compiled from.
-(defun %describe-compiled-from (code-obj s)
- (declare (type stream s))
- (let ((info (sb-kernel:%code-debug-info code-obj)))
- (when info
- (let ((source (sb-c::debug-info-source info)))
- (when source
- (format s "~&On ~A it was compiled from:"
- ;; FIXME: The FORMAT-UNIVERSAL-TIME calls in the system
- ;; should become more consistent, probably not using
- ;; any nondefault options.
- (format-universal-time nil (sb-c::debug-source-compiled source)
- :style :abbreviated))
- (let ((name (sb-c::debug-source-namestring source)))
- (cond (name
- (format s "~&~A~@:_ Created: " name)
- (format-universal-time s (sb-c::debug-source-created source)))
- ((sb-di:debug-source-form source)
- (format s "~& ~S" (sb-di:debug-source-form source)))
- (t (bug "Don't know how to use a DEBUG-SOURCE without ~
- a namestring or a form.")))))))))
-
-;;; Describe a compiled function. The closure case calls us to print
-;;; the guts.
-(defun %describe-fun-compiled (x s kind name)
- (declare (type stream s))
- (let ((args (%simple-fun-arglist x)))
- (cond ((not args)
- (write-string " There are no arguments." s))
- (t
- (format s "~&~@(The ~@[~A's ~]arguments are:~@:_~)" kind)
- (write-string " " s)
- (let ((*print-pretty* t)
- (*print-escape* t)
- (*print-base* 10)
- (*print-radix* nil))
- (pprint-logical-block (s nil)
- (pprint-indent :current 2)
- (format s "~A" args))))))
- (let ((name (or name (%simple-fun-name x))))
- (%describe-doc name s 'function kind)
- (unless (eq kind :macro)
- (%describe-fun-name name s (%simple-fun-type x))))
- (%describe-compiled-from (sb-kernel:fun-code-header x) s))
-
-(defun %describe-fun (x s &optional (kind :function) (name nil))
- (etypecase x
- #+sb-eval
- (sb-eval:interpreted-function
- (%describe-interpreted-fun x s kind name))
- (function
- (%describe-compiled-fun x s kind name))))
-
-;;; Describe a function object. KIND and NAME provide some information
-;;; about where the function came from.
-(defun %describe-compiled-fun (x s &optional (kind :function) (name nil))
- (declare (type function x))
- (declare (type stream s))
- (declare (type (member :macro :function) kind))
- (fresh-line s)
- (pprint-logical-block (s nil)
- (ecase kind
- (:macro (format s "Macro-function: ~S" x))
- (:function (if name
- (format s "Function: ~S" x)
- (format s "~S is a function." x))))
- (format s "~@:_~@<Its associated name (as in ~S) is ~2I~_~S.~:>"
- 'function-lambda-expression
- (nth-value 2 (function-lambda-expression x)))
- (case (widetag-of x)
- (#.sb-vm:closure-header-widetag
- (%describe-fun-compiled (%closure-fun x) s kind name)
- (format s "~&Its closure environment is:")
- (loop for value in (%closure-values x)
- for i = 0 then (1+ i)
- do (format s "~& ~S: ~S" i value)))
- (#.sb-vm:simple-fun-header-widetag
- (%describe-fun-compiled x s kind name))
- (#.sb-vm:funcallable-instance-header-widetag
- ;; Only STANDARD-GENERIC-FUNCTION would be handled here, but
- ;; since it has its own DESCRIBE-OBJECT method, it should've been
- ;; picked off before getting here. So hopefully we never get here.
- (format s "~@:_It is an unknown type of funcallable instance."))
- (t
- (format s "~@:_It is an unknown type of function."))))
- (terpri s))
-
-;; Describe an interpreted function.
-#+sb-eval
-(defun %describe-interpreted-fun (x s &optional (kind :function) (name nil))
- (declare (type sb-eval:interpreted-function x))
- (declare (type stream s))
- (declare (type (member :macro :function) kind))
- (fresh-line s)
- (pprint-logical-block (s nil)
- (ecase kind
- (:macro (format s "Macro-function: ~S" x))
- (:function (if name
- (format s "Function: ~S" x)
- (format s "~S is a function." x))))
- (format s "~@:_~@<Its associated name (as in ~S) is ~2I~_~S.~:>"
- 'function-lambda-expression
- (nth-value 2 (function-lambda-expression x)))
- (format s "~&It is an interpreted function.~%")
- (let ((args (sb-eval:interpreted-function-lambda-list x)))
- (cond ((not args)
- (write-string "There are no arguments." s))
- (t
- (format s "~&~@(The ~@[~A's ~]arguments are:~@:_~)" kind)
- (write-string " " s)
- (let ((*print-pretty* t)
- (*print-escape* t)
- (*print-base* 10)
- (*print-radix* nil))
- (pprint-logical-block (s nil)
- (pprint-indent :current 2)
- (format s "~A" args)))))
- (format s "~&It was defined as: ")
- (let ((*print-pretty* t)
- (*print-escape* t)
- (*print-base* 10)
- (*print-radix* nil))
- (pprint-logical-block (s nil)
- (pprint-indent :current 2)
- (format s "~A" (function-lambda-expression x))))))
- (terpri s))
+(defmethod describe-object ((symbol symbol) stream)
+ (print-standard-describe-header symbol stream)
+ ;; Describe the value cell.
+ (let* ((kind (info :variable :kind symbol))
+ (wot (ecase kind
+ (:special "a special variable")
+ (:macro "a symbol macro")
+ (:constant "a constant variable")
+ (:global "a global variable")
+ (:unknown "an undefined variable")
+ (:alien "an alien variable"))))
+ (when (or (not (eq :unknown kind)) (boundp symbol))
+ (pprint-logical-block (stream nil)
+ (format stream "~@:_~A names ~A:" symbol wot)
+ (pprint-indent :block 2 stream)
+ (when (eq (info :variable :where-from symbol) :declared)
+ (format stream "~@:_Declared type: ~S"
+ (type-specifier (info :variable :type symbol))))
+ (when (info :variable :always-bound symbol)
+ (format stream "~@:_Declared always-bound."))
+ (cond
+ ((eq kind :alien)
+ (let ((info (info :variable :alien-info symbol)))
+ (format stream "~@:_Value: ~S" (eval symbol))
+ (format stream "~@:_Type: ~S"
+ (sb-alien-internals:unparse-alien-type
+ (sb-alien::heap-alien-info-type info)))
+ (format stream "~@:_Address: #x~8,'0X"
+ (sap-int (sb-alien::heap-alien-info-sap info)))))
+ ((eq kind :macro)
+ (let ((expansion (info :variable :macro-expansion symbol)))
+ (format stream "~@:_Expansion: ~S" expansion)))
+ ((boundp symbol)
+ (format stream "~:@_Value: ~S" (symbol-value symbol)))
+ ((not (eq kind :unknown))
+ (format stream "~:@_Currently unbound.")))
+ (describe-documentation symbol 'variable stream)
+ (terpri stream))))
-(defmethod describe-object ((x function) s)
- (%describe-fun x s :function))
-
-(defgeneric describe-symbol-fdefinition (function stream &key name))
-
-(defmethod describe-symbol-fdefinition ((fun function) stream &key name)
- (%describe-fun fun stream :function name))
-
-(defmethod describe-symbol-fdefinition ((fun standard-generic-function) stream
- &key name)
- (declare (ignore name))
- ;; Just delegate.
- (describe-object fun stream))
-
-(defmethod describe-object ((x symbol) s)
- (declare (type stream s))
-
- ;; Describe the packaging.
- (let ((package (symbol-package x)))
- (if package
- (multiple-value-bind (symbol status)
- (find-symbol (symbol-name x) package)
- (declare (ignore symbol))
- (format s "~&~@<~S is ~_an ~(~A~) symbol ~_in ~S.~:>"
- x status (symbol-package x)))
- (format s "~&~@<~S is ~_an uninterned symbol.~:>" x)))
- ;; TO DO: We could grovel over all packages looking for and
+ ;; TODO: We could grovel over all packages looking for and
;; reporting other phenomena, e.g. IMPORT and SHADOW, or
- ;; availability in some package even after (SYMBOL-PACKAGE X) has
+ ;; availability in some package even after (SYMBOL-PACKAGE SYMBOL) has
;; been set to NIL.
+ ;;
+ ;; TODO: It might also be nice to describe (find-package symbol)
+ ;; if one exists. Maybe not all the exports, etc, but the package
+ ;; documentation.
+ (describe-function symbol nil stream)
+ (describe-class symbol nil stream)
- ;; Describe the value cell.
- (let* ((kind (info :variable :kind x))
- (wot (ecase kind
- (:special "special variable")
- (:macro "symbol macro")
- (:constant "constant")
- (:global "undefined variable")
- (:alien nil))))
- (pprint-logical-block (s nil)
- (cond
- ((eq kind :alien)
- (let ((info (info :variable :alien-info x)))
- (format s "~&~@<It is an alien at #X~8,'0X of type ~3I~:_~S.~:>"
- (sap-int (eval (sb-alien::heap-alien-info-sap-form info)))
- (sb-alien-internals:unparse-alien-type
- (sb-alien::heap-alien-info-type info)))
- (format s "~&~@<Its current value is ~3I~:_~S.~:>"
- (eval x))))
- ((eq kind :macro)
- (let ((expansion (info :variable :macro-expansion x)))
- (format s "~&It is a ~A with expansion ~S." wot expansion)))
- ((boundp x)
- (format s "~&~@<It is a ~A; its ~_value is ~S.~:>"
- wot (symbol-value x)))
- ((not (eq kind :global))
- (format s "~&~@<It is a ~A; no current value.~:>" wot)))
-
- (when (eq (info :variable :where-from x) :declared)
- (format s "~&~@<Its declared type ~_is ~S.~:>"
- (type-specifier (info :variable :type x)))))
-
- (%describe-doc x s 'variable kind))
+ ;; Type specifier
+ (let* ((kind (info :type :kind symbol))
+ (fun (case kind
+ (:defined
+ (or (info :type :expander symbol) t))
+ (:primitive
+ (or (info :type :translator symbol) t)))))
+ (when fun
+ (pprint-newline :mandatory stream)
+ (pprint-logical-block (stream nil)
+ (format stream "~@:_~A names a ~@[primitive~* ~]type-specifier:"
+ symbol
+ (eq kind :primitive))
+ (pprint-indent :block 2 stream)
+ (describe-documentation symbol 'type stream (eq t fun))
+ (unless (eq t fun)
+ (describe-lambda-list (if (eq :primitive kind)
+ (%fun-lambda-list fun)
+ (info :type :lambda-list symbol))
+ stream)
+ (multiple-value-bind (expansion ok)
+ (handler-case (typexpand-1 symbol)
+ (error () (values nil nil)))
+ (when ok
+ (format stream "~@:_Expansion: ~S" expansion)))))
+ (terpri stream)))
+
+ (when (or (member symbol sb-c::*policy-qualities*)
+ (assoc symbol sb-c::*policy-dependent-qualities*))
+ (pprint-logical-block (stream nil)
+ (pprint-newline :mandatory stream)
+ (pprint-indent :block 2 stream)
+ (format stream "~A names a~:[ dependent~;n~] optimization policy quality:"
+ symbol
+ (member symbol sb-c::*policy-qualities*))
+ (describe-documentation symbol 'optimize stream t))
+ (terpri stream))
;; Print out properties.
- (format s "~@[~&Its SYMBOL-PLIST is ~@<~2I~_~S~:>.~]" (symbol-plist x))
-
- ;; Describe the function cell.
- (cond ((macro-function x)
- (%describe-fun (macro-function x) s :macro x))
- ((special-operator-p x)
- (%describe-doc x s :function "Special form"))
- ((fboundp x)
- (describe-symbol-fdefinition (fdefinition x) s :name x)))
-
- ;; Describe deftype lambda-list and doc
- (when (info :type :expander x)
- (format s "~&DEFTYPE lambda-list: ~A" (info :type :lambda-list x))
- (%describe-doc x s 'type "Type"))
-
- ;; Print other documentation.
- (%describe-doc x s 'structure "Structure")
- (%describe-doc x s 'setf "Setf macro")
- (dolist (assoc (info :random-documentation :stuff x))
- (let ((type (car assoc)))
- (format s
- "~&~@<Documentation on the ~(~A~):~@:_~A~:>"
- (case type
- ((optimize) "optimize quality")
- (t (car assoc)))
- (cdr assoc))))
-
- ;; Mention the associated type information, if any.
- ;;
- ;; As of sbcl-0.7.2, (INFO :TYPE :KIND X) might be
- ;; * :PRIMITIVE, which is handled by the FIND-CLASS case.
- ;; * :DEFINED, which is handled specially.
- ;; * :INSTANCE, which is handled by the FIND-CLASS case.
- ;; * :FORTHCOMING-DEFCLASS-TYPE, which is an internal-to-the-compiler
- ;; note that we don't try to report.
- ;; * NIL, in which case there's nothing to see here, move along.
- (when (eq (info :type :kind x) :defined)
- (format s "~&It names a type specifier."))
- (let ((symbol-named-class (find-class x nil)))
- (when symbol-named-class
- (format s "~&It names a class ~A." symbol-named-class)
- (describe symbol-named-class s)))
+ (let ((plist (symbol-plist symbol)))
+ (when plist
+ (pprint-logical-block (stream nil)
+ (format stream "~%Symbol-plist:")
+ (pprint-indent :block 2 stream)
+ (sb-pcl::doplist (key value) plist
+ (format stream "~@:_~A -> ~A"
+ (prin1-to-line key :columns 2 :reserve 5)
+ (prin1-to-line value :columns 2 :reserve 5))))
+ (terpri stream))))
- (terpri s))
+(defmethod describe-object ((package package) stream)
+ (print-standard-describe-header package stream)
+ (pprint-logical-block (stream nil)
+ (describe-documentation package t stream)
+ (flet ((humanize (list)
+ (sort (mapcar (lambda (x)
+ (if (packagep x)
+ (package-name x)
+ x))
+ list)
+ #'string<))
+ (out (label list)
+ (describe-stuff label list stream :escape nil)))
+ (let ((implemented (humanize (package-implemented-by-list package)))
+ (implements (humanize (package-implements-list package)))
+ (nicks (humanize (package-nicknames package)))
+ (uses (humanize (package-use-list package)))
+ (used (humanize (package-used-by-list package)))
+ (shadows (humanize (package-shadowing-symbols package)))
+ (this (list (package-name package)))
+ (exports nil))
+ (do-external-symbols (ext package)
+ (push ext exports))
+ (setf exports (humanize exports))
+ (when (package-locked-p package)
+ (format stream "~@:_Locked."))
+ (when (set-difference implemented this :test #'string=)
+ (out "Implemented-by-list" implemented))
+ (when (set-difference implements this :test #'string=)
+ (out "Implements-list" implements))
+ (out "Nicknames" nicks)
+ (out "Use-list" uses)
+ (out "Used-by-list" used)
+ (out "Shadows" shadows)
+ (out "Exports" exports)
+ (format stream "~@:_~S internal symbols."
+ (package-internal-symbol-count package))))
+ (terpri stream)))
+\f
+;;;; Helpers to deal with shared functionality
+
+(defun describe-class (name class stream)
+ (let* ((by-name (not class))
+ (name (if class (class-name class) name))
+ (class (if class class (find-class name nil))))
+ (when class
+ (let ((metaclass-name (class-name (class-of class))))
+ (pprint-logical-block (stream nil)
+ (when by-name
+ (format stream "~@:_~A names the ~(~A~) ~S:"
+ name
+ metaclass-name
+ class)
+ (pprint-indent :block 2 stream))
+ (describe-documentation class t stream)
+ (when (sb-mop:class-finalized-p class)
+ (describe-stuff "Class precedence-list"
+ (mapcar #'class-name-or-class (sb-mop:class-precedence-list class))
+ stream))
+ (describe-stuff "Direct superclasses"
+ (mapcar #'class-name-or-class (sb-mop:class-direct-superclasses class))
+ stream)
+ (let ((subs (mapcar #'class-name-or-class (sb-mop:class-direct-subclasses class))))
+ (if subs
+ (describe-stuff "Direct subclasses" subs stream)
+ (format stream "~@:_No subclasses.")))
+ (unless (sb-mop:class-finalized-p class)
+ (format stream "~@:_Not yet finalized."))
+ (if (eq 'structure-class metaclass-name)
+ (let* ((dd (find-defstruct-description name))
+ (slots (dd-slots dd)))
+ (if slots
+ (format stream "~@:_Slots:~:{~@:_ ~S~
+ ~@:_ Type: ~A ~@[~A~]~
+ ~@:_ Initform: ~S~}"
+ (mapcar (lambda (dsd)
+ (list
+ (dsd-name dsd)
+ (dsd-type dsd)
+ (unless (eq t (dsd-raw-type dsd))
+ "(unboxed)")
+ (dsd-default dsd)))
+ slots))
+ (format stream "~@:_No slots.")))
+ (let ((slots (sb-mop:class-direct-slots class)))
+ (if slots
+ (format stream "~@:_Direct slots:~:{~@:_ ~S~
+ ~@[~@:_ Type: ~S~]~
+ ~@[~@:_ Allocation: ~S~]~
+ ~@[~@:_ Initargs: ~{~S~^, ~}~]~
+ ~@[~@:_ Initform: ~S~]~
+ ~@[~@:_ Readers: ~{~S~^, ~}~]~
+ ~@[~@:_ Writers: ~{~S~^, ~}~]~
+ ~@[~@:_ Documentation:~@:_ ~@<~@;~A~:>~]~}"
+ (mapcar (lambda (slotd)
+ (list (sb-mop:slot-definition-name slotd)
+ (let ((type (sb-mop:slot-definition-type slotd)))
+ (unless (eq t type) type))
+ (let ((alloc (sb-mop:slot-definition-allocation slotd)))
+ (unless (eq :instance alloc) alloc))
+ (sb-mop:slot-definition-initargs slotd)
+ (sb-mop:slot-definition-initform slotd)
+ (sb-mop:slot-definition-readers slotd)
+ (sb-mop:slot-definition-writers slotd)
+ ;; FIXME: does this get the prefix right?
+ (quiet-doc slotd t)))
+ slots))
+ (format stream "~@:_No direct slots."))))
+ (pprint-indent :block 0 stream)
+ (pprint-newline :mandatory stream))))))
+
+(defun describe-instance (object stream)
+ (let* ((class (class-of object))
+ (slotds (sb-mop:class-slots class))
+ (max-slot-name-length 0)
+ (plist nil))
+
+ ;; Figure out a good width for the slot-name column.
+ (flet ((adjust-slot-name-length (name)
+ (setf max-slot-name-length
+ (max max-slot-name-length (length (symbol-name name))))))
+ (dolist (slotd slotds)
+ (adjust-slot-name-length (sb-mop:slot-definition-name slotd))
+ (push slotd (getf plist (sb-mop:slot-definition-allocation slotd))))
+ (setf max-slot-name-length (min (+ max-slot-name-length 3) 30)))
+
+ ;; Now that we know the width, we can print.
+ (flet ((describe-slot (name value)
+ (format stream "~% ~A~VT = ~A" name max-slot-name-length
+ (prin1-to-line value))))
+ (sb-pcl::doplist (allocation slots) plist
+ (format stream "~%Slots with ~S allocation:" allocation)
+ (dolist (slotd (nreverse slots))
+ (describe-slot
+ (sb-mop:slot-definition-name slotd)
+ (sb-pcl::slot-value-or-default object (sb-mop:slot-definition-name slotd))))))
+ (unless slotds
+ (format stream "~@:_No slots."))
+ (terpri stream)))
+
+(defun quiet-doc (object type)
+ (handler-bind ((warning #'muffle-warning))
+ (documentation object type)))
+
+(defun describe-documentation (object type stream &optional undoc newline)
+ (let ((doc (quiet-doc object type)))
+ (cond (doc
+ (format stream "~@:_Documentation:~@:_")
+ (pprint-logical-block (stream nil :per-line-prefix " ")
+ (princ doc stream)))
+ (undoc
+ (format stream "~@:_(undocumented)")))
+ (when newline
+ (pprint-newline :mandatory stream))))
+
+(defun describe-stuff (label list stream &key (escape t))
+ (when list
+ (if escape
+ (format stream "~@:_~A:~@<~;~{ ~S~^,~:_~}~;~:>" label list)
+ (format stream "~@:_~A:~@<~;~{ ~A~^,~:_~}~;~:>" label list))))
+
+(defun describe-lambda-list (lambda-list stream)
+ (let ((*print-circle* nil)
+ (*print-level* 24)
+ (*print-length* 24))
+ (format stream "~@:_Lambda-list: ~:A" lambda-list)))
+
+(defun describe-function-source (function stream)
+ (if (compiled-function-p function)
+ (let* ((code (fun-code-header (%fun-fun function)))
+ (info (sb-kernel:%code-debug-info code)))
+ (when info
+ (let ((source (sb-c::debug-info-source info)))
+ (when source
+ (let ((namestring (sb-c::debug-source-namestring source)))
+ ;; This used to also report the times the source was created
+ ;; and compiled, but that seems more like noise than useful
+ ;; information -- but FWIW that are to be had as
+ ;; SB-C::DEBUG-SOUCE-CREATED/COMPILED.
+ (cond (namestring
+ (format stream "~@:_Source file: ~A" namestring))
+ ((sb-di:debug-source-form source)
+ (format stream "~@:_Source form:~@:_ ~S"
+ (sb-di:debug-source-form source)))))))))
+ #+sb-eval
+ (let ((source (sb-eval:interpreted-function-source-location function)))
+ (when source
+ (let ((namestring (sb-c:definition-source-location-namestring source)))
+ (when namestring
+ (format stream "~@:_Source file: ~A" namestring)))))))
+
+(defun describe-function (name function stream)
+ (let ((name (if function (fun-name function) name)))
+ (if (not (or function (and (legal-fun-name-p name) (fboundp name))))
+ ;; Not defined, but possibly the type is declared, or we have
+ ;; compiled calls to it.
+ (when (legal-fun-name-p name)
+ (multiple-value-bind (from sure) (info :function :where-from name)
+ (when (or (eq :declared from) (and sure (eq :assumed from)))
+ (pprint-logical-block (stream nil)
+ (format stream "~%~A names an undefined function" name)
+ (pprint-indent :block 2 stream)
+ (format stream "~@:_~:(~A~) type: ~S"
+ from
+ (type-specifier (info :function :type name)))))))
+ ;; Defined.
+ (multiple-value-bind (fun what lambda-list derived-type declared-type
+ inline methods)
+ (cond ((and (not function) (symbolp name) (special-operator-p name))
+ (let ((fun (symbol-function name)))
+ (values fun "a special operator" (%fun-lambda-list fun))))
+ ((and (not function) (symbolp name) (macro-function name))
+ (let ((fun (macro-function name)))
+ (values fun "a macro" (%fun-lambda-list fun))))
+ (t
+ (let* ((fun (or function (fdefinition name)))
+ (derived-type (and function
+ (%fun-type function)))
+ (legal-name-p (legal-fun-name-p name))
+ (ctype (and legal-name-p
+ (info :function :type name)))
+ (type (and ctype (type-specifier ctype)))
+ (from (and legal-name-p
+ (info :function :where-from name)))
+ declared-type)
+ ;; Ensure lazy pickup of information
+ ;; from methods.
+ (when legal-name-p
+ (sb-c::maybe-update-info-for-gf name))
+ (cond ((not type))
+ ((eq from :declared)
+ (setf declared-type type))
+ ((and (not derived-type)
+ (member from '(:defined-method :defined)))
+ (setf derived-type type)))
+ (unless derived-type
+ (setf derived-type (%fun-type fun)))
+ (if (typep fun 'standard-generic-function)
+ (values fun
+ "a generic function"
+ (sb-mop:generic-function-lambda-list fun)
+ derived-type
+ declared-type
+ nil
+ (or (sb-mop:generic-function-methods fun)
+ :none))
+ (values fun
+ (if (compiled-function-p fun)
+ "a compiled function"
+ "an interpreted function")
+ (%fun-lambda-list fun)
+ derived-type
+ declared-type
+ (cons
+ (info :function :inlinep name)
+ (info :function :inline-expansion-designator
+ name)))))))
+ (pprint-logical-block (stream nil)
+ (unless function
+ (format stream "~%~A names ~A:" name what)
+ (pprint-indent :block 2 stream))
+ (describe-lambda-list lambda-list stream)
+ (when declared-type
+ (format stream "~@:_Declared type: ~S" declared-type))
+ (when (and derived-type
+ (not (equal declared-type derived-type)))
+ (format stream "~@:_Derived type: ~S" derived-type))
+ (describe-documentation name 'function stream)
+ (when (car inline)
+ (format stream "~@:_Inline proclamation: ~
+ ~A (~:[no ~;~]inline expansion available)"
+ (car inline)
+ (cdr inline)))
+ (awhen (info :function :info name)
+ (awhen (sb-c::decode-ir1-attributes (sb-c::fun-info-attributes it))
+ (format stream "~@:_Known attributes: ~(~{~A~^, ~}~)" it)))
+ (when methods
+ (format stream "~@:_Method-combination: ~S"
+ (sb-pcl::method-combination-type-name
+ (sb-pcl:generic-function-method-combination fun)))
+ (cond ((eq :none methods)
+ (format stream "~@:_No methods."))
+ (t
+ (pprint-newline :mandatory stream)
+ (pprint-logical-block (stream nil)
+ (format stream "Methods:")
+ (dolist (method methods)
+ (pprint-indent :block 2 stream)
+ (format stream "~@:_(~A ~{~S ~}~:S)"
+ name
+ (method-qualifiers method)
+ (sb-pcl::unparse-specializers
+ fun (sb-mop:method-specializers method)))
+ (pprint-indent :block 4 stream)
+ (describe-documentation method t stream nil))))))
+ (describe-function-source fun stream)
+ (terpri stream)))))
+ (unless function
+ (awhen (and (legal-fun-name-p name) (compiler-macro-function name))
+ (pprint-logical-block (stream nil)
+ (format stream "~@:_~A has a compiler-macro:" name)
+ (pprint-indent :block 2 stream)
+ (describe-documentation it t stream)
+ (describe-function-source it stream))
+ (terpri stream))
+ (when (and (consp name) (eq 'setf (car name)) (not (cddr name)))
+ (let* ((name2 (second name))
+ (inverse (info :setf :inverse name2))
+ (expander (info :setf :expander name2)))
+ (cond (inverse
+ (pprint-logical-block (stream nil)
+ (format stream "~&~A has setf-expansion: ~S"
+ name inverse)
+ (pprint-indent :block 2 stream)
+ (describe-documentation name2 'setf stream))
+ (terpri stream))
+ (expander
+ (pprint-logical-block (stream nil)
+ (format stream "~&~A has a complex setf-expansion:"
+ name)
+ (pprint-indent :block 2 stream)
+ (describe-lambda-list (%fun-lambda-list expander) stream)
+ (describe-documentation name2 'setf stream t)
+ (describe-function-source expander stream))
+ (terpri stream)))))
+ (when (symbolp name)
+ (describe-function `(setf ,name) nil stream))))
projects / sbcl.git / blobdiff