X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=contrib%2Fsb-introspect%2Fsb-introspect.lisp;h=debda196cbf50555cb8b9529e521e9c3ee321fa6;hb=71922347ca66f2a3ad4c55092ccb3ad86a14c754;hp=aa323a6c122a37a63a0e7007ce58ab439033b827;hpb=f9b113feb08bb833fd3b46555b56f708826e4c93;p=sbcl.git diff --git a/contrib/sb-introspect/sb-introspect.lisp b/contrib/sb-introspect/sb-introspect.lisp index aa323a6..debda19 100644 --- a/contrib/sb-introspect/sb-introspect.lisp +++ b/contrib/sb-introspect/sb-introspect.lisp @@ -140,7 +140,17 @@ If an unsupported TYPE is requested, the function will return NIL. (flet ((listify (x) (if (listp x) x - (list x)))) + (list x))) + (get-class (name) + (and (symbolp name) + (find-class name nil))) + (real-fdefinition (name) + ;; for getting the real function object, even if the + ;; function is being profiled + (let ((profile-info (gethash name sb-profile::*profiled-fun-name->info*))) + (if profile-info + (sb-profile::profile-info-encapsulated-fun profile-info) + (fdefinition name))))) (listify (case type ((:variable) @@ -166,7 +176,7 @@ If an unsupported TYPE is requested, the function will return NIL. (when (and (fboundp name) (or (not (symbolp name)) (not (macro-function name)))) - (let ((fun (fdefinition name))) + (let ((fun (real-fdefinition name))) (when (eq (not (typep fun 'generic-function)) (not (eq type :generic-function))) (find-definition-source fun))))) @@ -175,12 +185,13 @@ If an unsupported TYPE is requested, the function will return NIL. (when expander-fun (find-definition-source expander-fun)))) ((:method) - (when (and (fboundp name) - (typep (fdefinition name) 'generic-function)) - (loop for method in (sb-mop::generic-function-methods - (fdefinition name)) + (when (fboundp name) + (let ((fun (real-fdefinition name))) + (when (typep fun 'generic-function) + (loop for method in (sb-mop::generic-function-methods + fun) for source = (find-definition-source method) - when source collect source))) + when source collect source))))) ((:setf-expander) (when (and (consp name) (eq (car name) 'setf)) @@ -192,7 +203,7 @@ If an unsupported TYPE is requested, the function will return NIL. (symbol-function expander) expander))))) ((:structure) - (let ((class (find-class name nil))) + (let ((class (get-class name))) (if class (when (typep class 'sb-pcl::structure-class) (find-definition-source class)) @@ -200,7 +211,7 @@ If an unsupported TYPE is requested, the function will return NIL. (translate-source-location (sb-int:info :source-location :typed-structure name)))))) ((:condition :class) - (let ((class (find-class name nil))) + (let ((class (get-class name))) (when (and class (not (typep class 'sb-pcl::structure-class))) (when (eq (not (typep class 'sb-pcl::condition-class)) @@ -281,8 +292,8 @@ If an unsupported TYPE is requested, the function will return NIL. (sb-kernel::layout-source-location layout))))))) (method-combination (car - (find-definition-sources-by-name (sb-pcl::method-combination-type object) - :method-combination))) + (find-definition-sources-by-name + (sb-pcl::method-combination-type-name object) :method-combination))) (package (translate-source-location (sb-impl::package-source-location object))) (class @@ -377,12 +388,13 @@ If an unsupported TYPE is requested, the function will return NIL. ;;; FIXME: maybe this should be renamed as FUNCTION-LAMBDA-LIST? (defun function-arglist (function) - "Describe the lambda list for the function designator FUNCTION. + "Describe the lambda list for the extended function designator FUNCTION. Works for special-operators, macros, simple functions and generic functions. Signals error if not found" (cond ((valid-function-name-p function) - (function-arglist - (or (macro-function function) (fdefinition function)))) + (function-arglist (or (and (symbolp function) + (macro-function function)) + (fdefinition function)))) ((typep function 'generic-function) (sb-pcl::generic-function-pretty-arglist function)) (t (sb-impl::%simple-fun-arglist