/[slime]/slime/swank-cmucl.lisp
ViewVC logotype

Diff of /slime/swank-cmucl.lisp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.32 by heller, Wed Dec 3 22:34:50 2003 UTC revision 1.80 by heller, Tue Mar 9 12:46:27 2004 UTC
# Line 1  Line 1 
1  ;;;; -*- indent-tabs-mode: nil; outline-regexp: ";;;;+" -*-  ;;;; -*- indent-tabs-mode: nil; outline-regexp: ";;;;+" -*-
2    
3  (declaim (optimize debug))  (declaim (optimize (debug 2)))
4    
5  (in-package :swank)  (in-package :swank-backend)
6    
7  ;; Turn on xref. [should we?]  (in-package :lisp)
 (setf c:*record-xref-info* t)  
8    
9  (defun without-interrupts* (body)  ;; Fix for read-sequence in 18e
10    (sys:without-interrupts (funcall body)))  #+cmu18e
11    (progn
12      (let ((s (find-symbol (string :*enable-package-locked-errors*) :lisp)))
13        (when s
14          (setf (symbol-value s) nil)))
15    
16      (defun read-into-simple-string (s stream start end)
17        (declare (type simple-string s))
18        (declare (type stream stream))
19        (declare (type index start end))
20        (unless (subtypep (stream-element-type stream) 'character)
21          (error 'type-error
22                 :datum (read-char stream nil #\Null)
23                 :expected-type (stream-element-type stream)
24                 :format-control "Trying to read characters from a binary stream."))
25        ;; Let's go as low level as it seems reasonable.
26        (let* ((numbytes (- end start))
27               (total-bytes 0))
28          ;; read-n-bytes may return fewer bytes than requested, so we need
29          ;; to keep trying.
30          (loop while (plusp numbytes) do
31                (let ((bytes-read (system:read-n-bytes stream s start numbytes nil)))
32                  (when (zerop bytes-read)
33                    (return-from read-into-simple-string total-bytes))
34                  (incf total-bytes bytes-read)
35                  (incf start bytes-read)
36                  (decf numbytes bytes-read)))
37          total-bytes))
38    
39      (let ((s (find-symbol (string :*enable-package-locked-errors*) :lisp)))
40        (when s
41          (setf (symbol-value s) t)))
42    
43      )
44    
45    (in-package :swank-backend)
46    
47    
48    ;;;; TCP server.
49    
50    (defimplementation preferred-communication-style ()
51      :sigio)
52    
53    (defimplementation create-socket (host port)
54      (ext:create-inet-listener port :stream
55                                :reuse-address t
56                                :host (resolve-hostname host)))
57    
58    (defimplementation local-port (socket)
59      (nth-value 1 (ext::get-socket-host-and-port (socket-fd socket))))
60    
61    (defimplementation close-socket (socket)
62      (ext:close-socket (socket-fd socket)))
63    
64    (defimplementation accept-connection (socket)
65      #+MP (mp:process-wait-until-fd-usable socket :input)
66      (make-socket-io-stream (ext:accept-tcp-connection socket)))
67    
68    (defvar *sigio-handlers* '()
69      "List of (key . (fn . args)) pairs to be called on SIGIO.")
70    
71    (defun sigio-handler (signal code scp)
72      (declare (ignore signal code scp))
73      (mapc (lambda (handler) (funcall (cdr handler))) *sigio-handlers*))
74    
75    (defun set-sigio-handler ()
76      (sys:enable-interrupt unix:SIGIO (lambda (signal code scp)
77                                         (sigio-handler signal code scp))))
78    
79    (defun fcntl (fd command arg)
80      (multiple-value-bind (ok error) (unix:unix-fcntl fd command arg)
81        (cond (ok)
82              (t (error "fcntl: ~A" (unix:get-unix-error-msg error))))))
83    
84    (defimplementation add-sigio-handler (socket fn)
85      (set-sigio-handler)
86      (let ((fd (socket-fd socket)))
87        (format *debug-io* "; Adding input handler: ~S ~%" fd)
88        (fcntl fd unix:f-setown (unix:unix-getpid))
89        (fcntl fd unix:f-setfl unix:FASYNC)
90        (push (cons fd fn) *sigio-handlers*)))
91    
92    (defimplementation remove-sigio-handlers (socket)
93      (let ((fd (socket-fd socket)))
94        (setf *sigio-handlers* (delete fd *sigio-handlers* :key #'car))
95        (sys:invalidate-descriptor fd))
96      (close socket))
97    
98    (defimplementation add-fd-handler (socket fn)
99      (let ((fd (socket-fd socket)))
100        (format *debug-io* "; Adding fd handler: ~S ~%" fd)
101        (sys:add-fd-handler fd :input (lambda (_)
102                                        _
103                                        (funcall fn)))))
104    
105    (defimplementation remove-fd-handlers (socket)
106      (sys:invalidate-descriptor (socket-fd socket)))
107    
108    (defimplementation make-fn-streams (input-fn output-fn)
109      (let* ((output (make-slime-output-stream output-fn))
110             (input  (make-slime-input-stream input-fn output)))
111        (values input output)))
112    
113    ;;;;; Socket helpers.
114    
115    (defun socket-fd (socket)
116      "Return the filedescriptor for the socket represented by SOCKET."
117      (etypecase socket
118        (fixnum socket)
119        (sys:fd-stream (sys:fd-stream-fd socket))))
120    
121    (defun resolve-hostname (hostname)
122      "Return the IP address of HOSTNAME as an integer."
123      (let* ((hostent (ext:lookup-host-entry hostname))
124             (address (car (ext:host-entry-addr-list hostent))))
125        (ext:htonl address)))
126    
127    (defun make-socket-io-stream (fd)
128      "Create a new input/output fd-stream for FD."
129      (sys:make-fd-stream fd :input t :output t :element-type 'base-char))
130    
131  (defun set-fd-non-blocking (fd)  (defun set-fd-non-blocking (fd)
132    (flet ((fcntl (fd cmd arg)    (flet ((fcntl (fd cmd arg)
133             (multiple-value-bind (flags errno) (unix:unix-fcntl fd cmd arg)             (multiple-value-bind (flags errno) (unix:unix-fcntl fd cmd arg)
134               (or flags               (or flags
135                   (error "fcntl: ~A" (unix:get-unix-error-msg errno))))))                   (error "fcntl: ~A" (unix:get-unix-error-msg errno))))))
136      (let ((flags (fcntl fd unix:F-GETFL 0)))      (let ((flags (fcntl fd unix:F-GETFL 0)))
137        (fcntl fd unix:F-SETFL (logior flags unix:O_NONBLOCK)))))        (fcntl fd unix:F-SETFL (logior flags unix:O_NONBLOCK)))))
138    
139    
140  ;;;; TCP server.  ;;;; Unix signals
141    
142  (defun resolve-hostname (name)  (defmethod call-without-interrupts (fn)
143    (let* ((hostent (ext:lookup-host-entry name))    (sys:without-interrupts (funcall fn)))
144           (address (car (ext:host-entry-addr-list hostent))))  
145      (ext:htonl address)))  (defimplementation getpid ()
146      (unix:unix-getpid))
147    
148  (defun create-swank-server (port &key (reuse-address t)  (defimplementation lisp-implementation-type-name ()
149                              (address "localhost"))    "cmucl")
   "Create a SWANK TCP server."  
   (let* ((ip (resolve-hostname address))  
          (fd (ext:create-inet-listener port :stream  
                                        :reuse-address reuse-address  
                                        :host ip)))  
     (system:add-fd-handler fd :input #'accept-connection)  
     (nth-value 1 (ext::get-socket-host-and-port fd))))  
   
 (defun accept-connection (socket)  
   "Accept one Swank TCP connection on SOCKET and then close it."  
   (setup-request-handler (ext:accept-tcp-connection socket))  
   (sys:invalidate-descriptor socket)  
   (unix:unix-close socket))  
   
 (defun open-stream-to-emacs ()  
   "Return an output-stream to Emacs' output buffer."  
   (let* ((ip (resolve-hostname "localhost"))  
          (listener (ext:create-inet-listener 0 :stream :host ip))  
          (port (nth-value 1 (ext::get-socket-host-and-port listener))))  
     (unwind-protect  
          (progn  
            (eval-in-emacs `(slime-open-stream-to-lisp ,port))  
            (let ((fd (ext:accept-tcp-connection listener)))  
              (sys:make-fd-stream fd :output t)))  
       (ext:close-socket listener))))  
   
 (defvar *use-dedicated-output-stream* t)  
   
 (defun setup-request-handler (socket)  
   "Setup request handling for SOCKET."  
   (let* ((stream (sys:make-fd-stream socket  
                                      :input t :output t  
                                      :element-type 'base-char))  
          (input (make-slime-input-stream))  
          (output (if *use-dedicated-output-stream*  
                      (let ((*emacs-io* stream)) (open-stream-to-emacs))  
                      (make-slime-output-stream)))  
          (io (make-two-way-stream input output)))  
     (system:add-fd-handler socket  
                            :input (lambda (fd)  
                                     (declare (ignore fd))  
                                     (serve-request stream output input io)))))  
   
 (defun serve-request (*emacs-io* *slime-output* *slime-input* *slime-io*)  
   "Read and process a request from a SWANK client.  
 The request is read from the socket as a sexp and then evaluated."  
   (catch 'slime-toplevel  
     (with-simple-restart (abort "Return to Slime toplevel.")  
       (handler-case (read-from-emacs)  
         (slime-read-error (e)  
           (when *swank-debug-p*  
             (format *debug-io* "~&;; Connection to Emacs lost.~%;; [~A]~%" e))  
           (sys:invalidate-descriptor (sys:fd-stream-fd *emacs-io*))  
           (close *emacs-io*)))))  
   (sys:scrub-control-stack))  
150    
151    
152  ;;;; Stream handling  ;;;; Stream handling
153    
154  (defstruct (slime-output-stream  (defstruct (slime-output-stream
155               (:include lisp::lisp-stream               (:include lisp::lisp-stream
156                         (lisp::misc #'sos/misc)                         (lisp::misc #'sos/misc)
157                         (lisp::out #'sos/out)                         (lisp::out #'sos/out)
158                         (lisp::sout #'sos/sout))                         (lisp::sout #'sos/sout))
159               (:conc-name sos.)               (:conc-name sos.)
160               (:print-function %print-slime-output-stream))               (:print-function %print-slime-output-stream)
161                 (:constructor make-slime-output-stream (output-fn)))
162      (output-fn nil :type function)
163    (buffer (make-string 512) :type string)    (buffer (make-string 512) :type string)
164    (index 0 :type kernel:index)    (index 0 :type kernel:index)
165    (column 0 :type kernel:index))    (column 0 :type kernel:index))
# Line 117  The request is read from the socket as a Line 183  The request is read from the socket as a
183  (defun sos/sout (stream string start end)  (defun sos/sout (stream string start end)
184    (loop for i from start below end    (loop for i from start below end
185          do (sos/out stream (aref string i))))          do (sos/out stream (aref string i))))
186    
187  (defun sos/misc (stream operation &optional arg1 arg2)  (defun sos/misc (stream operation &optional arg1 arg2)
188    (declare (ignore arg1 arg2))    (declare (ignore arg1 arg2))
189    (case operation    (case operation
190      ((:force-output :finish-output)      ((:force-output :finish-output)
191       (let ((end (sos.index stream)))       (let ((end (sos.index stream)))
192         (unless (zerop end)         (unless (zerop end)
193           (send-to-emacs `(:read-output ,(subseq (sos.buffer stream) 0 end)))           (funcall (sos.output-fn stream) (subseq (sos.buffer stream) 0 end))
194           (setf (sos.index stream) 0))))           (setf (sos.index stream) 0))))
195      (:charpos (sos.column stream))      (:charpos (sos.column stream))
196      (:line-length 75)      (:line-length 75)
197      (:file-position nil)      (:file-position nil)
# Line 135  The request is read from the socket as a Line 201  The request is read from the socket as a
201      (t (format *terminal-io* "~&~Astream: ~S~%" stream operation))))      (t (format *terminal-io* "~&~Astream: ~S~%" stream operation))))
202    
203  (defstruct (slime-input-stream  (defstruct (slime-input-stream
204               (:include string-stream               (:include string-stream
205                         (lisp::in #'sis/in)                         (lisp::in #'sis/in)
206                         (lisp::misc #'sis/misc))                         (lisp::misc #'sis/misc))
207               (:conc-name sis.)               (:conc-name sis.)
208               (:print-function %print-slime-output-stream))               (:print-function %print-slime-output-stream)
209    (buffer "" :type string)               (:constructor make-slime-input-stream (input-fn sos)))
210    (index 0 :type kernel:index))    (input-fn nil :type function)
211      ;; We know our sibling output stream, so that we can force it before
212      ;; requesting input.
213      (sos      nil :type slime-output-stream)
214      (buffer   ""  :type string)
215      (index    0   :type kernel:index))
216    
217  (defun sis/in (stream eof-errorp eof-value)  (defun sis/in (stream eof-errorp eof-value)
218    (declare (ignore eof-errorp eof-value))    (declare (ignore eof-errorp eof-value))
219    (let ((index (sis.index stream))    (let ((index (sis.index stream))
220          (buffer (sis.buffer stream)))          (buffer (sis.buffer stream)))
221      (when (= index (length buffer))      (when (= index (length buffer))
222        (setf buffer (slime-read-string))        (force-output (sis.sos stream))
223          (setf buffer (funcall (sis.input-fn stream)))
224        (setf (sis.buffer stream) buffer)        (setf (sis.buffer stream) buffer)
225        (setf index 0))        (setf index 0))
226      (prog1 (aref buffer index)      (prog1 (aref buffer index)
# Line 162  The request is read from the socket as a Line 234  The request is read from the socket as a
234      (:unread (setf (aref (sis.buffer stream)      (:unread (setf (aref (sis.buffer stream)
235                           (decf (sis.index stream)))                           (decf (sis.index stream)))
236                     arg1))                     arg1))
237      (:clear-input (setf (sis.index stream) 0      (:clear-input
238         (setf (sis.index stream) 0
239                          (sis.buffer stream) ""))                          (sis.buffer stream) ""))
240      (:listen (< (sis.index stream) (length (sis.buffer stream))))      (:listen (< (sis.index stream) (length (sis.buffer stream))))
241      (:charpos nil)      (:charpos nil)
# Line 174  The request is read from the socket as a Line 247  The request is read from the socket as a
247    
248  ;;;; Compilation Commands  ;;;; Compilation Commands
249    
 (defvar *swank-source-info* nil  
   "Bound to a SOURCE-INFO object during compilation.")  
   
250  (defvar *previous-compiler-condition* nil  (defvar *previous-compiler-condition* nil
251    "Used to detect duplicates.")    "Used to detect duplicates.")
252    
253  (defvar *previous-context* nil  (defvar *previous-context* nil
254    "Previous compiler error context.")    "Previous compiler error context.")
255    
 (defvar *compiler-notes* '()  
   "List of compiler notes for the last compilation unit.")  
   
256  (defvar *buffer-name* nil)  (defvar *buffer-name* nil)
257  (defvar *buffer-start-position* nil)  (defvar *buffer-start-position* nil)
258  (defvar *buffer-substring* nil)  (defvar *buffer-substring* nil)
 (defvar *compile-filename* nil)  
259    
260    
261  ;;;;; Trapping notes  ;;;;; Trapping notes
# Line 201  C:*COMPILER-NOTIFICATION-FUNCTION*. The Line 267  C:*COMPILER-NOTIFICATION-FUNCTION*. The
267  craft our own error messages, which can omit a lot of redundant  craft our own error messages, which can omit a lot of redundant
268  information."  information."
269    (unless (eq condition *previous-compiler-condition*)    (unless (eq condition *previous-compiler-condition*)
270      (let ((context (or (c::find-error-context nil) *previous-context*)))      (let ((context (c::find-error-context nil)))
271        (setq *previous-compiler-condition* condition)        (setq *previous-compiler-condition* condition)
272        (setq *previous-context* context)        (setq *previous-context* context)
273        (signal-compiler-condition condition context))))        (signal-compiler-condition condition context))))
# Line 211  information." Line 277  information."
277             'compiler-condition             'compiler-condition
278             :original-condition condition             :original-condition condition
279             :severity (severity-for-emacs condition)             :severity (severity-for-emacs condition)
280             :message (brief-compiler-message-for-emacs condition context)             :short-message (brief-compiler-message-for-emacs condition)
281               :message (long-compiler-message-for-emacs condition context)
282             :location (compiler-note-location context))))             :location (compiler-note-location context))))
283    
284  (defun severity-for-emacs (condition)  (defun severity-for-emacs (condition)
# Line 221  information." Line 288  information."
288      (c::style-warning :note)      (c::style-warning :note)
289      (c::warning :warning)))      (c::warning :warning)))
290    
291  (defun brief-compiler-message-for-emacs (condition error-context)  (defun brief-compiler-message-for-emacs (condition)
292    "Briefly describe a compiler error for Emacs.    "Briefly describe a compiler error for Emacs.
293  When Emacs presents the message it already has the source popped up  When Emacs presents the message it already has the source popped up
294  and the source form highlighted. This makes much of the information in  and the source form highlighted. This makes much of the information in
295  the error-context redundant."  the error-context redundant."
296      (princ-to-string condition))
297    
298    (defun long-compiler-message-for-emacs (condition error-context)
299      "Describe a compiler error for Emacs including context information."
300    (declare (type (or c::compiler-error-context null) error-context))    (declare (type (or c::compiler-error-context null) error-context))
301    (multiple-value-bind (enclosing source)    (multiple-value-bind (enclosing source)
302        (if error-context        (if error-context
# Line 234  the error-context redundant." Line 305  the error-context redundant."
305      (format nil "~@[--> ~{~<~%--> ~1:;~A~> ~}~%~]~@[~{==>~%~A~^~%~}~]~A"      (format nil "~@[--> ~{~<~%--> ~1:;~A~> ~}~%~]~@[~{==>~%~A~^~%~}~]~A"
306              enclosing source condition)))              enclosing source condition)))
307    
   
308  (defun compiler-note-location (context)  (defun compiler-note-location (context)
309    (cond (context    (cond (context
310           (resolve-note-location           (resolve-note-location
# Line 270  the error-context redundant." Line 340  the error-context redundant."
340                                    (pos (eql nil))                                    (pos (eql nil))
341                                    (path (eql nil))                                    (path (eql nil))
342                                    (source (eql nil)))                                    (source (eql nil)))
343    (cond (buffer    (list :error "No error location available"))
344           (make-location (list :buffer buffer)  
345                          (list :position *buffer-start-position*)))  (defimplementation call-with-compilation-hooks (function)
346          (*compile-file-truename*    (let ((*previous-compiler-condition* nil)
347           (make-location (list :file (namestring *compile-file-truename*))          (*previous-context* nil)
348                          (list :position 0)))          (*print-readably* nil))
         (*compile-filename*  
          (make-location (list :file *compile-filename*) (list :position 0)))  
         (t  
          (list :error "No error location available"))))  
   
 (defmacro with-compilation-hooks (() &body body)  
   "Execute BODY and record the set of compiler notes."  
   `(let ((*previous-compiler-condition* nil)  
          (*previous-context* nil)  
          (*print-readably* nil))  
349      (handler-bind ((c::compiler-error #'handle-notification-condition)      (handler-bind ((c::compiler-error #'handle-notification-condition)
350                     (c::style-warning  #'handle-notification-condition)                     (c::style-warning  #'handle-notification-condition)
351                     (c::warning        #'handle-notification-condition))                     (c::warning        #'handle-notification-condition))
352        ,@body)))        (funcall function))))
353    
354  (defmethod compile-file-for-emacs (filename load-p)  (defimplementation swank-compile-file (filename load-p)
355    (clear-xref-info filename)    (clear-xref-info filename)
356    (with-compilation-hooks ()    (with-compilation-hooks ()
357      (let ((*buffer-name* nil)      (let ((*buffer-name* nil))
358            (*compile-filename* filename))        (compile-file filename :load load-p))))
         (compile-file filename :load load-p))))  
359    
360  (defmethod compile-string-for-emacs (string &key buffer position)  (defimplementation swank-compile-string (string &key buffer position)
361    (with-compilation-hooks ()    (with-compilation-hooks ()
362      (let ((*package* *buffer-package*)      (let ((*buffer-name* buffer)
           (*compile-filename* nil)  
           (*buffer-name* buffer)  
363            (*buffer-start-position* position)            (*buffer-start-position* position)
364            (*buffer-substring* string))            (*buffer-substring* string))
365        (with-input-from-string (stream string)        (with-input-from-string (stream string)
# Line 315  the error-context redundant." Line 372  the error-context redundant."
372    
373  ;;;; XREF  ;;;; XREF
374    
375  (defun lookup-xrefs (finder name)  (defimplementation who-calls (symbol)
376    (xref-results-for-emacs (funcall finder (from-string name))))    (xrefs (xref:who-calls symbol)))
377    
378  (defslimefun who-calls (function-name)  (defimplementation who-references (symbol)
379    "Return the places where FUNCTION-NAME is called."    (xrefs (xref:who-references symbol)))
380    (lookup-xrefs #'xref:who-calls function-name))  
381    (defimplementation who-binds (symbol)
382  (defslimefun who-references (variable)    (xrefs (xref:who-binds symbol)))
383    "Return the places where the global variable VARIABLE is referenced."  
384    (lookup-xrefs #'xref:who-references variable))  (defimplementation who-sets (symbol)
385      (xrefs (xref:who-sets symbol)))
 (defslimefun who-binds (variable)  
   "Return the places where the global variable VARIABLE is bound."  
   (lookup-xrefs #'xref:who-binds variable))  
   
 (defslimefun who-sets (variable)  
   "Return the places where the global variable VARIABLE is set."  
   (lookup-xrefs #'xref:who-sets variable))  
386    
387  #+cmu19  #+cmu19
388  (progn  (progn
389    (defslimefun who-macroexpands (macro)    (defimplementation who-macroexpands (macro)
390      "Return the places where MACRO is expanded."      (xrefs (xref:who-macroexpands macro)))
391      (lookup-xrefs #'xref:who-macroexpands macro))    ;; XXX
392      (defimplementation who-specializes (symbol)
393    (defslimefun who-specializes (class)      (let* ((methods (xref::who-specializes (find-class symbol)))
     "Return the methods with specializers for CLASS."  
     (let* ((methods (xref::who-specializes (find-class (from-string class))))  
394             (locations (mapcar #'method-source-location methods)))             (locations (mapcar #'method-source-location methods)))
395        (group-xrefs (mapcar (lambda (m l)        (mapcar #'list methods locations))))
396                               (cons (let ((*print-pretty* nil))  
397                                       (to-string m))  (defun xrefs (contexts)
398                                     l))    (mapcar (lambda (xref)
399                             methods locations))))              (list (xref:xref-context-name xref)
400    )                    (resolve-xref-location xref)))
401              contexts))
402    
403  (defun resolve-xref-location (xref)  (defun resolve-xref-location (xref)
404    (let ((name (xref:xref-context-name xref))    (let ((name (xref:xref-context-name xref))
# Line 366  the error-context redundant." Line 415  the error-context redundant."
415             `(:error ,(format nil "Unkown source location: ~S ~S ~S "             `(:error ,(format nil "Unkown source location: ~S ~S ~S "
416                               name file source-path))))))                               name file source-path))))))
417    
   
 (defun xref-results-for-emacs (contexts)  
   "Prepare a list of xref contexts for Emacs.  
 The result is a list of xrefs:  
 group       ::= (FILENAME . ({reference}+))  
 reference   ::= (FUNCTION-SPECIFIER . SOURCE-LOCATION)"  
   (let ((xrefs '()))  
     (dolist (cxt contexts)  
       (let ((name (xref:xref-context-name cxt)))  
         (push (cons (to-string name)  
                     (resolve-xref-location cxt))  
               xrefs)))  
     (group-xrefs xrefs)))  
   
   
 (defun location-buffer= (location1 location2)  
   (equalp location1 location2))  
   
 (defun file-xrefs-for-emacs (unix-filename contexts)  
   "Return a summary of the references from a particular file.  
 The result is a list of the form (FILENAME ((REFERRER SOURCE-PATH) ...))"  
   (list unix-filename  
         (loop for context in (sort-contexts-by-source-path contexts)  
               collect (list (let ((*print-pretty* nil))  
                               (to-string (xref:xref-context-name context)))  
                             (xref:xref-context-source-path context)))))  
   
 (defun sort-contexts-by-source-path (contexts)  
   "Sort xref contexts by lexical position of source-paths.  
 It is assumed that all contexts belong to the same file."  
   (sort contexts #'source-path< :key #'xref:xref-context-source-path))  
   
 (defun source-path< (path1 path2)  
   "Return true if PATH1 is lexically before PATH2."  
   (and (every #'< path1 path2)  
        (< (length path1) (length path2))))  
   
418  (defun clear-xref-info (namestring)  (defun clear-xref-info (namestring)
419    "Clear XREF notes pertaining to FILENAME.    "Clear XREF notes pertaining to NAMESTRING.
420  This is a workaround for a CMUCL bug: XREF records are cumulative."  This is a workaround for a CMUCL bug: XREF records are cumulative."
421    (let ((filename (parse-namestring namestring)))    (when c:*record-xref-info*
422      (when c:*record-xref-info*      (let ((filename (truename namestring)))
423        (dolist (db (list xref::*who-calls*        (dolist (db (list xref::*who-calls*
424                          #+cmu19 xref::*who-is-called*                          #+cmu19 xref::*who-is-called*
425                          #+cmu19 xref::*who-macroexpands*                          #+cmu19 xref::*who-macroexpands*
# Line 415  This is a workaround for a CMUCL bug: XR Line 427  This is a workaround for a CMUCL bug: XR
427                          xref::*who-binds*                          xref::*who-binds*
428                          xref::*who-sets*))                          xref::*who-sets*))
429          (maphash (lambda (target contexts)          (maphash (lambda (target contexts)
430                       ;; XXX update during traversal?
431                     (setf (gethash target db)                     (setf (gethash target db)
432                           (delete-if                           (delete filename contexts
433                            (lambda (ctx)                                   :key #'xref:xref-context-file
434                              (xref-context-derived-from-p ctx filename))                                   :test #'equalp)))
                           contexts)))  
435                   db)))))                   db)))))
436    
 (defun xref-context-derived-from-p (context filename)  
   (let ((xref-file (xref:xref-context-file context)))  
     (and xref-file (pathname= filename xref-file))))  
   
 (defun pathname= (&rest pathnames)  
   "True if PATHNAMES refer to the same file."  
   (apply #'string= (mapcar #'unix-truename pathnames)))  
   
437  (defun unix-truename (pathname)  (defun unix-truename (pathname)
438    (ext:unix-namestring (truename pathname)))    (ext:unix-namestring (truename pathname)))
439    
# Line 499  constant pool." Line 503  constant pool."
503      (map-caller-code-components function spaces      (map-caller-code-components function spaces
504                                  (lambda (code) (push code referrers)))                                  (lambda (code) (push code referrers)))
505      referrers))      referrers))
506    
507  (defun debug-info-definitions (debug-info)  (defun debug-info-definitions (debug-info)
508    "Return the defintions for a debug-info.  This should only be used    "Return the defintions for a debug-info.  This should only be used
509  for code-object without entry points, i.e., byte compiled  for code-object without entry points, i.e., byte compiled
# Line 512  code (are theree others?)" Line 516  code (are theree others?)"
516      (destructuring-bind (first) source      (destructuring-bind (first) source
517        (ecase (c::debug-source-from first)        (ecase (c::debug-source-from first)
518          (:file          (:file
519           (list           (list (list name
520            (cons name                       (make-location
521                  (make-location                        (list :file (unix-truename (c::debug-source-name first)))
522                   (list :file (unix-truename (c::debug-source-name first)))                        (list :function-name name)))))))))
                  (list :function-name name)))))))))  
523    
524  (defun code-component-entry-points (code)  (defun code-component-entry-points (code)
525    "Return a list ((NAME . LOCATION) ...) of function definitons for    "Return a list ((NAME LOCATION) ...) of function definitons for
526  the code omponent CODE."  the code omponent CODE."
527    (delete-duplicates    (delete-duplicates
528     (loop for e = (kernel:%code-entry-points code)     (loop for e = (kernel:%code-entry-points code)
529           then (kernel::%function-next e)           then (kernel::%function-next e)
530           while e           while e
531           collect (cons (to-string (kernel:%function-name e))           collect (list (kernel:%function-name e)
532                         (function-source-location e)))                         (function-source-location e)))
533     :test #'equal))     :test #'equal))
534    
535  (defslimefun list-callers (symbol-name)  (defimplementation list-callers (symbol)
536    "Return a list ((FILE . ((NAME . LOCATION) ...)) ...) of callers."    "Return a list ((NAME LOCATION) ...) of callers."
537    (let ((components (function-callers (from-string symbol-name)))    (let ((components (function-callers symbol))
538          (xrefs '()))          (xrefs '()))
539      (dolist (code components)      (dolist (code components)
540        (let* ((entry (kernel:%code-entry-points code))        (let* ((entry (kernel:%code-entry-points code))
# Line 541  the code omponent CODE." Line 544  the code omponent CODE."
544                         (debug-info-definitions                         (debug-info-definitions
545                          (kernel:%code-debug-info code)))))                          (kernel:%code-debug-info code)))))
546          (setq xrefs (nconc defs xrefs))))          (setq xrefs (nconc defs xrefs))))
547      (group-xrefs xrefs)))      xrefs))
   
548    
549  (defslimefun list-callees (symbol-name)  (defimplementation list-callees (symbol)
550    (let ((fns (function-callees (from-string symbol-name))))    (let ((fns (function-callees symbol)))
551      (group-xrefs (mapcar (lambda (fn)      (mapcar (lambda (fn)
552                             (cons (to-string (kernel:%function-name fn))                (list (kernel:%function-name fn)
553                                   (function-source-location fn)))                      (function-source-location fn)))
554                           fns))))              fns)))
555    
556    
557  ;;;; Definitions  ;;;; Definitions
558    
559  (defvar *debug-definition-finding* t  (defvar *debug-definition-finding* nil
560    "When true don't handle errors while looking for definitions.    "When true don't handle errors while looking for definitions.
561  This is useful when debugging the definition-finding code.")  This is useful when debugging the definition-finding code.")
562    
563  (defmacro safe-definition-finding (&body body)  (defmacro safe-definition-finding (&body body)
564    "Execute BODY ignoring errors.  Return a the source location    "Execute BODY ignoring errors.  Return the source location returned
565  returned by BODY or if an error occurs a description of the error.  by BODY or if an error occurs a description of the error.  The second
566  The second return value is the condition or nil."  return value is the condition or nil."
567    `(flet ((body () ,@body))    `(flet ((body () ,@body))
568      (if *debug-definition-finding*      (if *debug-definition-finding*
569          (body)          (body)
# Line 629  The second return value is the condition Line 632  The second return value is the condition
632             (etypecase pathname             (etypecase pathname
633               (pathname               (pathname
634                (make-location `(:file ,(guess-source-file pathname))                (make-location `(:file ,(guess-source-file pathname))
635                               `(:function-name ,(string name)))))))))))                               `(:function-name ,(string name))))
636                 (null `(:error ,(format nil "Cannot resolve: ~S" def-source)))
637                 )))))))
638    
639  (defun method-source-location (method)  (defun method-source-location (method)
640    (function-source-location (or (pcl::method-fast-function method)    (function-source-location (or (pcl::method-fast-function method)
# Line 670  The second return value is the condition Line 675  The second return value is the condition
675    (destructuring-bind (first) (function-source-locations function)    (destructuring-bind (first) (function-source-locations function)
676      first))      first))
677    
678  (defslimefun find-function-locations (symbol-name)  (defimplementation find-definitions (symbol)
679    "Return a list of source-locations for SYMBOL-NAME's functions."    (cond ((macro-function symbol)
680    (multiple-value-bind (symbol foundp) (find-symbol-designator symbol-name)           (mapcar (lambda (loc) `((macro ,symbol) ,loc))
681      (cond ((not foundp)                   (function-source-locations (macro-function symbol))))
682             (list (list :error (format nil "Unkown symbol: ~A" symbol-name))))          ((fboundp symbol)
683            ((macro-function symbol)           ;; XXX fixme
684             (function-source-locations (macro-function symbol)))           (mapcar (lambda (loc) `((function ,symbol) ,loc))
685            ((special-operator-p symbol)                   (function-source-locations (coerce symbol 'function))))))
            (list (list :error (format nil "~A is a special-operator" symbol))))  
           ((fboundp symbol)  
            (function-source-locations (coerce symbol 'function)))  
           (t (list (list :error  
                          (format nil "Symbol not fbound: ~A" symbol-name))))  
           )))  
   
686    
687  ;;;; Documentation.  ;;;; Documentation.
688    
689  (defmethod describe-symbol-for-emacs (symbol)  (defimplementation describe-symbol-for-emacs (symbol)
690    (let ((result '()))    (let ((result '()))
691      (flet ((doc (kind)      (flet ((doc (kind)
692               (or (documentation symbol kind) :not-documented))               (or (documentation symbol kind) :not-documented))
# Line 734  The second return value is the condition Line 732  The second return value is the condition
732                         (doc nil)))                         (doc nil)))
733        result)))        result)))
734    
735  (defslimefun describe-setf-function (symbol-name)  (defimplementation describe-definition (symbol namespace)
736    (print-description-to-string    (ecase namespace
737     (or (ext:info setf inverse (from-string symbol-name))      (:variable
738         (ext:info setf expander (from-string symbol-name)))))       (describe symbol))
739        ((:function :generic-function)
740  (defslimefun describe-type (symbol-name)       (describe (symbol-function symbol)))
741    (print-description-to-string      (:setf
742     (kernel:values-specifier-type (from-string symbol-name))))       (describe (or (ext:info setf inverse symbol))
743                   (ext:info setf expander symbol)))
744  (defslimefun describe-class (symbol-name)      (:type
745    (print-description-to-string (find-class (from-string symbol-name) nil)))       (describe (kernel:values-specifier-type symbol)))
746        (:class
747  (defslimefun describe-alien-type (symbol-name)       (describe (find-class symbol)))
748    (let ((name (from-string symbol-name)))      (:alien-type
749      (ecase (ext:info :alien-type :kind name)       (ecase (ext:info :alien-type :kind symbol)
750        (:primitive         (:primitive
751         (print-description-to-string          (describe (let ((alien::*values-type-okay* t))
752          (let ((alien::*values-type-okay* t))                      (funcall (ext:info :alien-type :translator symbol)
753            (funcall (ext:info :alien-type :translator name) (list name)))))                               (list symbol)))))
754        ((:defined)         ((:defined)
755         (print-description-to-string (ext:info :alien-type :definition name)))          (describe (ext:info :alien-type :definition symbol)))
756        (:unknown         (:unknown
757         (format nil "Unkown alien type: ~A" symbol-name)))))          (format nil "Unkown alien type: ~S" symbol))))
758        (:alien-struct
759  (defmacro %describe-alien (symbol-name namespace)       (describe (ext:info :alien-type :struct symbol)))
760    `(print-description-to-string      (:alien-union
761      (ext:info :alien-type ,namespace (from-string ,symbol-name))))       (describe (ext:info :alien-type :union symbol)))
762        (:alien-enum
763  (defslimefun describe-alien-struct (symbol-name)       (describe (ext:info :alien-type :enum symbol)))))
764    (%describe-alien symbol-name :struct))  
765    (defimplementation arglist (symbol)
766  (defslimefun describe-alien-union (symbol-name)    (let* ((fun (or (macro-function symbol)
767    (%describe-alien symbol-name :union))                    (symbol-function symbol)))
768             (arglist
769  (defslimefun describe-alien-enum (symbol-name)            (cond ((eval:interpreted-function-p fun)
770    (%describe-alien symbol-name :enum))                   (eval:interpreted-function-arglist fun))
771                    ((pcl::generic-function-p fun)
772  (defmethod arglist-string (fname)                   (pcl:generic-function-lambda-list fun))
773    "Return a string describing the argument list for FNAME.                  ((kernel:%function-arglist (kernel:%function-self fun)))
774  The result has the format \"(...)\"."                  ;; this should work both for
775    (declare (type string fname))                  ;; compiled-debug-function and for
776    (multiple-value-bind (function condition)                  ;; interpreted-debug-function
777        (ignore-errors (values (find-symbol-designator fname *buffer-package*)))                  (t (let ((df (di::function-debug-function fun)))
778      (when condition                       (if df
779        (return-from arglist-string (format nil "(-- ~A)" condition)))                           (di::debug-function-lambda-list df)
780      (let ((arglist                           "(<arglist-unavailable>)"))))))
781             (if (not (or (fboundp function)      (check-type arglist (or list string))
782                          (functionp function)))      arglist))
                "(-- <Unknown-Function>)"  
                (let* ((fun (or (macro-function function)  
                                (symbol-function function)))  
                       (df (di::function-debug-function fun))  
                       (arglist (kernel:%function-arglist fun)))  
                  (cond ((eval:interpreted-function-p fun)  
                         (eval:interpreted-function-arglist fun))  
                        ((pcl::generic-function-p fun)  
                         (pcl::gf-pretty-arglist fun))  
                        (arglist arglist)  
                        ;; this should work both for  
                        ;; compiled-debug-function and for  
                        ;; interpreted-debug-function  
                        (df (di::debug-function-lambda-list df))  
                        (t "(<arglist-unavailable>)"))))))  
       (if (stringp arglist)  
           arglist  
           (to-string arglist)))))  
783    
784    
785  ;;;; Miscellaneous.  ;;;; Miscellaneous.
786    
787  (defmethod macroexpand-all (form)  (defimplementation macroexpand-all (form)
788    (walker:macroexpand-all form))    (walker:macroexpand-all form))
789    
790  (defun tracedp (fname)  ;; (in-package :c)
791    (gethash (debug::trace-fdefinition fname)  ;;
792             debug::*traced-functions*))  ;; (defun swank-backend::expand-ir1-top-level (form)
793    ;;   "A scaled down version of the first pass of the compiler."
794  (defslimefun toggle-trace-fdefinition (fname-string)  ;;   (with-compilation-unit ()
795    (let ((fname (from-string fname-string)))  ;;     (let* ((*lexical-environment*
796      (cond ((tracedp fname)  ;;             (make-lexenv :default (make-null-environment)
797             (debug::untrace-1 fname)  ;;                          :cookie *default-cookie*
798             (format nil "~S is now untraced." fname))  ;;                          :interface-cookie *default-interface-cookie*))
799            (t  ;;            (*source-info* (make-lisp-source-info form))
800             (debug::trace-1 fname (debug::make-trace-info))  ;;            (*block-compile* nil)
801             (format nil "~S is now traced." fname)))))  ;;            (*block-compile-default* nil))
802    ;;       (with-ir1-namespace
803    ;;           (clear-stuff)
804    ;;         (find-source-paths form 0)
805    ;;         (ir1-top-level form '(0) t)))))
806    ;;
807    ;; (in-package :swank-backend)
808    ;;
809    ;; (defun print-ir1-converted-blocks (form)
810    ;;   (with-output-to-string (*standard-output*)
811    ;;     (c::print-all-blocks (expand-ir1-top-level (from-string form)))))
812    ;;
813    ;; (defun print-compilation-trace (form)
814    ;;   (with-output-to-string (*standard-output*)
815    ;;     (with-input-from-string (s form)
816    ;;       (ext:compile-from-stream s
817    ;;                                :verbose t
818    ;;                                :progress t
819    ;;                                :trace-stream *standard-output*))))
820    
821  (defslimefun set-default-directory (directory)  (defun set-default-directory (directory)
822    (setf (ext:default-directory) (namestring directory))    (setf (ext:default-directory) (namestring directory))
823    ;; Setting *default-pathname-defaults* to an absolute directory    ;; Setting *default-pathname-defaults* to an absolute directory
824    ;; makes the behavior of MERGE-PATHNAMES a bit more intuitive.    ;; makes the behavior of MERGE-PATHNAMES a bit more intuitive.
825    (setf *default-pathname-defaults* (pathname (ext:default-directory)))    (setf *default-pathname-defaults* (pathname (ext:default-directory)))
826    (namestring (ext:default-directory)))    (namestring (ext:default-directory)))
827    
828    ;;; source-path-{stream,file,string,etc}-position moved into
829  ;;;; Source-paths  ;;; swank-source-path-parser
   
 ;;; CMUCL uses a data structure called "source-path" to locate  
 ;;; subforms.  The compiler assigns a source-path to each form in a  
 ;;; compilation unit.  Compiler notes usually contain the source-path  
 ;;; of the error location.  
 ;;;  
 ;;; Compiled code objects don't contain source paths, only the  
 ;;; "toplevel-form-number" and the (sub-) "form-number".  To get from  
 ;;; the form-number to the source-path we need the entire toplevel-form  
 ;;; (i.e. we have to read the source code).  CMUCL has already some  
 ;;; utilities to do this translation, but we use some extended  
 ;;; versions, because we need more exact position info.  Apparently  
 ;;; Hemlock is happy with the position of the toplevel-form; we also  
 ;;; need the position of subforms.  
 ;;;  
 ;;; We use a special readtable to get the positions of the subforms.  
 ;;; The readtable stores the start and end position for each subform in  
 ;;; hashtable for later retrieval.  
   
 (defun make-source-recorder (fn source-map)  
   "Return a macro character function that does the same as FN, but  
 additionally stores the result together with the stream positions  
 before and after of calling FN in the hashtable SOURCE-MAP."  
   (lambda (stream char)  
     (let ((start (file-position stream))  
           (values (multiple-value-list (funcall fn stream char)))  
           (end (file-position stream)))  
       #+(or) (format t "~&[~D ~{~A~^, ~} ~D]~%" start values end)  
       (unless (null values)  
         (push (cons start end) (gethash (car values) source-map)))  
       (values-list values))))  
   
 (defun make-source-recording-readtable (readtable source-map)  
   "Return a source position recording copy of READTABLE.  
 The source locations are stored in SOURCE-MAP."  
   (let* ((tab (copy-readtable readtable))  
          (*readtable* tab))  
     (dotimes (code char-code-limit)  
       (let ((char (code-char code)))  
         (multiple-value-bind (fn term) (get-macro-character char tab)  
           (when fn  
             (set-macro-character char (make-source-recorder fn source-map)  
                                  term tab)))))  
     tab))  
   
 (defun make-source-map ()  
   (make-hash-table :test #'eq))  
   
 (defvar *source-map* (make-source-map)  
   "The hashtable table used for source position recording.")  
   
 (defvar *recording-readtable-cache* '()  
   "An alist of (READTABLE . RECORDING-READTABLE) pairs.")  
   
 (defun lookup-recording-readtable (readtable)  
   "Find a cached or create a new recording readtable for READTABLE."  
   (or (cdr (assoc readtable *recording-readtable-cache*))  
       (let ((table (make-source-recording-readtable readtable *source-map*)))  
         (push (cons readtable table) *recording-readtable-cache*)  
         table)))  
   
 (defun read-and-record-source-map (stream)  
   "Read the next object from STREAM.  
 Return the object together with a hashtable that maps  
 subexpressions of the object to stream positions."  
   (let ((*readtable* (lookup-recording-readtable *readtable*)))  
     (clrhash *source-map*)  
     (values (read stream) *source-map*)))  
   
 (defun source-path-stream-position (path stream)  
   "Search the source-path PATH in STREAM and return its position."  
   (destructuring-bind (tlf-number . path) path  
     (let ((*read-suppress* t))  
       (dotimes (i tlf-number) (read stream))  
       (multiple-value-bind (form source-map)  
           (read-and-record-source-map stream)  
         (source-path-source-position (cons 0 path) form source-map)))))  
   
 (defun source-path-string-position (path string)  
   (with-input-from-string (s string)  
     (source-path-stream-position path s)))  
   
 (defun source-path-file-position (path filename)  
   (with-open-file (file filename)  
     (source-path-stream-position path file)))  
   
 (defun source-path-source-position (path form source-map)  
   "Return the start position of PATH form FORM and SOURCE-MAP.  All  
 subforms along the path are considered and the start and end position  
 of deepest (i.e. smallest) possible form is returned."  
   ;; compute all subforms along path  
   (let ((forms (loop for n in path  
                      for f = form then (nth n f)  
                      collect f)))  
     ;; select the first subform present in source-map  
     (loop for form in (reverse forms)  
           for positions = (gethash form source-map)  
           until (and positions (null (cdr positions)))  
           finally (destructuring-bind ((start . end)) positions  
                     (return (values (1- start) end))))))  
830    
831  (defun code-location-stream-position (code-location stream)  (defun code-location-stream-position (code-location stream)
832    "Return the byte offset of CODE-LOCATION in STREAM.  Extract the    "Return the byte offset of CODE-LOCATION in STREAM.  Extract the
# Line 995  to find the position of the correspondin Line 893  to find the position of the correspondin
893    (safe-definition-finding    (safe-definition-finding
894     (source-location-from-code-location code-location)))     (source-location-from-code-location code-location)))
895    
 (defslimefun getpid ()  
   (unix:unix-getpid))  
   
896    
897  ;;;; Debugging  ;;;; Debugging
898    
899  (defvar *sldb-stack-top*)  (defvar *sldb-stack-top*)
 (defvar *sldb-restarts*)  
900    
901  (defmethod call-with-debugging-environment (debugger-loop-fn)  (defimplementation call-with-debugging-environment (debugger-loop-fn)
902    (unix:unix-sigsetmask 0)    (unix:unix-sigsetmask 0)
903    (let* ((*sldb-stack-top* (or debug:*stack-top-hint* (di:top-frame)))    (let* ((*sldb-stack-top* (or debug:*stack-top-hint* (di:top-frame)))
904           (*sldb-restarts* (compute-restarts *swank-debugger-condition*))           (debug:*stack-top-hint* nil))
          (debug:*stack-top-hint* nil)  
          (*debugger-hook* nil)  
          (*readtable* (or debug:*debug-readtable* *readtable*))  
          (*print-level* debug:*debug-print-level*)  
          (*print-length* debug:*debug-print-length*)  
          (*print-readably* nil))  
905      (handler-bind ((di:debug-condition      (handler-bind ((di:debug-condition
906                      (lambda (condition)                      (lambda (condition)
907                        (signal (make-condition                        (signal (make-condition
# Line 1021  to find the position of the correspondin Line 909  to find the position of the correspondin
909                                 :original-condition condition)))))                                 :original-condition condition)))))
910        (funcall debugger-loop-fn))))        (funcall debugger-loop-fn))))
911    
 (defun format-restarts-for-emacs ()  
   "Return a list of restarts for *swank-debugger-condition* in a  
 format suitable for Emacs."  
   (loop for restart in *sldb-restarts*  
         collect (list (princ-to-string (restart-name restart))  
                       (princ-to-string restart))))  
   
 (defun format-condition-for-emacs ()  
   (format nil "~A~%   [Condition of type ~S]"  
           (debug::safe-condition-message *swank-debugger-condition*)  
           (type-of *swank-debugger-condition*)))  
   
912  (defun nth-frame (index)  (defun nth-frame (index)
913    (do ((frame *sldb-stack-top* (di:frame-down frame))    (do ((frame *sldb-stack-top* (di:frame-down frame))
914         (i index (1- i)))         (i index (1- i)))
915        ((zerop i) frame)))        ((zerop i) frame)))
916    
917  (defun nth-restart (index)  (defimplementation compute-backtrace (start end)
   (nth index *sldb-restarts*))  
   
 (defun format-frame-for-emacs (frame)  
   (list (di:frame-number frame)  
         (with-output-to-string (*standard-output*)  
           (let ((*print-pretty* *sldb-pprint-frames*))  
             (debug::print-frame-call frame :verbosity 1 :number t)))))  
   
 (defun compute-backtrace (start end)  
   "Return a list of frames starting with frame number START and  
 continuing to frame number END or, if END is nil, the last frame on the  
 stack."  
918    (let ((end (or end most-positive-fixnum)))    (let ((end (or end most-positive-fixnum)))
919      (loop for f = (nth-frame start) then (di:frame-down f)      (loop for f = (nth-frame start) then (di:frame-down f)
920            for i from start below end            for i from start below end
921            while f            while f
922            collect f)))            collect f)))
923    
924  (defmethod backtrace (start end)  (defimplementation print-frame (frame stream)
925    (mapcar #'format-frame-for-emacs (compute-backtrace start end)))    (let ((*standard-output* stream))
926        (debug::print-frame-call frame :verbosity 1 :number nil)))
927    
928  (defmethod debugger-info-for-emacs (start end)  (defimplementation frame-source-location-for-emacs (index)
   (list (format-condition-for-emacs)  
         (format-restarts-for-emacs)  
         (backtrace start end)))  
   
 (defmethod frame-source-location-for-emacs (index)  
929    (code-location-source-location (di:frame-code-location (nth-frame index))))    (code-location-source-location (di:frame-code-location (nth-frame index))))
930    
931  (defmethod eval-in-frame (form index)  (defimplementation eval-in-frame (form index)
932    (di:eval-in-frame (nth-frame index) form))    (di:eval-in-frame (nth-frame index) form))
933    
934  (defslimefun pprint-eval-string-in-frame (string index)  (defimplementation frame-locals (index)
   (swank-pprint  
    (multiple-value-list  
     (di:eval-in-frame (nth-frame index) (from-string string)))))  
   
 (defslimefun inspect-in-frame (string index)  
   (reset-inspector)  
   (inspect-object (di:eval-in-frame (nth-frame index) (from-string string))))  
   
 (defmethod frame-locals (index)  
935    (let* ((frame (nth-frame index))    (let* ((frame (nth-frame index))
936           (location (di:frame-code-location frame))           (location (di:frame-code-location frame))
937           (debug-function (di:frame-debug-function frame))           (debug-function (di:frame-debug-function frame))
938           (debug-variables (di::debug-function-debug-variables debug-function)))           (debug-variables (di::debug-function-debug-variables debug-function)))
939      (loop for v across debug-variables      (loop for v across debug-variables collect
940            collect (list            (list :name (di:debug-variable-symbol v)
941                     :symbol (di:debug-variable-symbol v)                  :id (di:debug-variable-id v)
942                     :id (di:debug-variable-id v)                  :value (ecase (di:debug-variable-validity v location)
943                     :value-string                           (:valid
944                     (if (eq (di:debug-variable-validity v location)                            (di:debug-variable-value v frame))
945                             :valid)                           ((:invalid :unknown)
946                         (to-string (di:debug-variable-value v frame))                            ':not-available))))))
947                         "<not-available>")))))  
948    (defimplementation frame-catch-tags (index)
949  (defmethod frame-catch-tags (index)    (mapcar #'car (di:frame-catches (nth-frame index))))
950    (loop for (tag . code-location) in (di:frame-catches (nth-frame index))  
951          collect `(,tag . ,(code-location-source-location code-location))))  (defun set-step-breakpoints (frame)
952      (when (di:debug-block-elsewhere-p (di:code-location-debug-block
953                                         (di:frame-code-location frame)))
954        (error "Cannot step, in elsewhere code~%"))
955      (let* ((code-location (di:frame-code-location frame))
956             (debug::*bad-code-location-types*
957              (remove :call-site debug::*bad-code-location-types*))
958             (next (debug::next-code-locations code-location)))
959        (cond (next
960               (let ((steppoints '()))
961                 (flet ((hook (frame breakpoint)
962                          (let ((debug:*stack-top-hint* frame))
963                            (mapc #'di:delete-breakpoint steppoints)
964                            (let ((cl (di::breakpoint-what breakpoint)))
965                              (break "Breakpoint: ~S ~S"
966                                     (di:code-location-kind cl)
967                                     (di::compiled-code-location-pc cl))))))
968                   (dolist (code-location next)
969                     (let ((bp (di:make-breakpoint #'hook code-location
970                                                   :kind :code-location)))
971                       (di:activate-breakpoint bp)
972                       (push bp steppoints))))))
973             (t
974              (flet ((hook (frame breakpoint values cookie)
975                       (declare (ignore cookie))
976                       (di:delete-breakpoint breakpoint)
977                       (let ((debug:*stack-top-hint* frame))
978                         (break "Function-end: ~A ~A" breakpoint values))))
979                (let* ((debug-function (di:frame-debug-function frame))
980                       (bp (di:make-breakpoint #'hook debug-function
981                                               :kind :function-end)))
982                  (di:activate-breakpoint bp)))))))
983    
984    ;; (defslimefun sldb-step (frame)
985    ;;   (cond ((find-restart 'continue *swank-debugger-condition*)
986    ;;          (set-step-breakpoints (nth-frame frame))
987    ;;          (continue *swank-debugger-condition*))
988    ;;         (t
989    ;;          (error "Cannot continue in from condition: ~A"
990    ;;                 *swank-debugger-condition*))))
991    
992    (defun frame-cfp (frame)
993      "Return the Control-Stack-Frame-Pointer for FRAME."
994      (etypecase frame
995        (di::compiled-frame (di::frame-pointer frame))
996        ((or di::interpreted-frame null) -1)))
997    
998    (defun frame-ip (frame)
999      "Return the (absolute) instruction pointer and the relative pc of FRAME."
1000      (if (not frame)
1001          -1
1002          (let ((debug-fun (di::frame-debug-function frame)))
1003            (etypecase debug-fun
1004              (di::compiled-debug-function
1005               (let* ((code-loc (di:frame-code-location frame))
1006                      (component (di::compiled-debug-function-component debug-fun))
1007                      (pc (di::compiled-code-location-pc code-loc))
1008                      (ip (sys:without-gcing
1009                           (sys:sap-int
1010                            (sys:sap+ (kernel:code-instructions component) pc)))))
1011                 (values ip pc)))
1012              ((or di::bogus-debug-function di::interpreted-debug-function)
1013               -1)))))
1014    
1015    (defun frame-registers (frame)
1016      "Return the lisp registers CSP, CFP, IP, OCFP, LRA for FRAME-NUMBER."
1017      (let* ((cfp (frame-cfp frame))
1018             (csp (frame-cfp (di::frame-up frame)))
1019             (ip (frame-ip frame))
1020             (ocfp (frame-cfp (di::frame-down frame)))
1021             (lra (frame-ip (di::frame-down frame))))
1022        (values csp cfp ip ocfp lra)))
1023    
1024    (defun print-frame-registers (frame-number)
1025      (let ((frame (di::frame-real-frame (nth-frame frame-number))))
1026        (flet ((fixnum (p) (etypecase p
1027                             (integer p)
1028                             (sys:system-area-pointer (sys:sap-int p)))))
1029          (apply #'format t "~
1030    CSP  =  ~X
1031    CFP  =  ~X
1032    IP   =  ~X
1033    OCFP =  ~X
1034    LRA  =  ~X~%" (mapcar #'fixnum
1035                          (multiple-value-list (frame-registers frame)))))))
1036    
1037    ;; (defslimefun sldb-disassemble (frame-number)
1038    ;;   "Return a string with the disassembly of frames code."
1039    ;;     (with-output-to-string (*standard-output*)
1040    ;;       (print-frame-registers frame-number)
1041    ;;       (terpri)
1042    ;;       (let* ((frame (di::frame-real-frame (nth-frame frame-number)))
1043    ;;              (debug-fun (di::frame-debug-function frame)))
1044    ;;         (etypecase debug-fun
1045    ;;           (di::compiled-debug-function
1046    ;;            (let* ((component (di::compiled-debug-function-component debug-fun))
1047    ;;                   (fun (di:debug-function-function debug-fun)))
1048    ;;              (if fun
1049    ;;                  (disassemble fun)
1050    ;;                  (disassem:disassemble-code-component component))))
1051    ;;           (di::bogus-debug-function
1052    ;;            (format t "~%[Disassembling bogus frames not implemented]"))))))
1053    
1054    #+(or)
1055    (defun print-binding-stack ()
1056      (flet ((bsp- (p) (sys:sap+ p (- (* vm:binding-size vm:word-bytes))))
1057             (frob (p offset) (kernel:make-lisp-obj (sys:sap-ref-32 p offset))))
1058        (do ((bsp (bsp- (kernel:binding-stack-pointer-sap)) (bsp- bsp))
1059             (start (sys:int-sap (lisp::binding-stack-start))))
1060            ((sys:sap= bsp start))
1061          (format t "~X:  ~S = ~S~%"
1062                  (sys:sap-int bsp)
1063                  (frob bsp (* vm:binding-symbol-slot vm:word-bytes))
1064                  (frob bsp (* vm:binding-value-slot vm:word-bytes))))))
1065    
1066    ;; (print-binding-stack)
1067    
1068    #+(or)
1069    (defun print-catch-blocks ()
1070      (do ((b (di::descriptor-sap lisp::*current-catch-block*)
1071              (sys:sap-ref-sap b (* vm:catch-block-previous-catch-slot
1072                                    vm:word-bytes))))
1073          (nil)
1074        (let ((int (sys:sap-int b)))
1075          (when (zerop int) (return))
1076          (flet ((ref (offset) (sys:sap-ref-32 b (* offset vm:word-bytes))))
1077            (let ((uwp (ref vm:catch-block-current-uwp-slot))
1078                  (cfp (ref vm:catch-block-current-cont-slot))
1079                  (tag (ref vm:catch-block-tag-slot))
1080                  )
1081          (format t "~X:  uwp = ~8X  cfp = ~8X  tag = ~X~%"
1082                  int uwp cfp (kernel:make-lisp-obj tag)))))))
1083    
1084    ;; (print-catch-blocks)
1085    
1086    #+(or)
1087    (defun print-unwind-blocks ()
1088      (do ((b (di::descriptor-sap lisp::*current-unwind-protect-block*)
1089              (sys:sap-ref-sap b (* vm:unwind-block-current-uwp-slot
1090                                    vm:word-bytes))))
1091          (nil)
1092        (let ((int (sys:sap-int b)))
1093          (when (zerop int) (return))
1094          (flet ((ref (offset) (sys:sap-ref-32 b (* offset vm:word-bytes))))
1095            (let ((cfp (ref vm:unwind-block-current-cont-slot)))
1096              (format t "~X:  cfp = ~X~%" int cfp))))))
1097    
1098  (defslimefun invoke-nth-restart (index)  ;; (print-unwind-blocks)
   (invoke-restart-interactively (nth-restart index)))  
   
 (defslimefun sldb-abort ()  
   (invoke-restart (find 'abort *sldb-restarts* :key #'restart-name)))  
1099    
1100    
1101  ;;;; Inspecting  ;;;; Inspecting
1102    
 (defvar *inspectee*)  
 (defvar *inspectee-parts*)  
 (defvar *inspector-stack* '())  
 (defvar *inspector-history* (make-array 10 :adjustable t :fill-pointer 0))  
 (defvar *inspect-length* 30)  
   
 (defun reset-inspector ()  
   (setq *inspectee* nil)  
   (setq *inspectee-parts* nil)  
   (setq *inspector-stack* nil)  
   (setf (fill-pointer *inspector-history*) 0))  
   
 (defslimefun init-inspector (string)  
   (reset-inspector)  
   (inspect-object (eval (from-string string))))  
   
 (defun print-part-to-string (value)  
   (let ((*print-pretty* nil))  
     (let ((string (to-string value))  
           (pos (position value *inspector-history*)))  
       (if pos  
           (format nil "#~D=~A" pos string)  
           string))))  
   
 (defun inspect-object (object)  
   (push (setq *inspectee* object) *inspector-stack*)  
   (unless (find object *inspector-history*)  
     (vector-push-extend object *inspector-history*))  
   (multiple-value-bind (text parts) (inspected-parts object)  
     (setq *inspectee-parts* parts)  
       (list :text text  
             :type (to-string (type-of object))  
             :primitive-type (describe-primitive-type object)  
             :parts (loop for (label . value) in parts  
                          collect (cons label  
                                        (print-part-to-string value))))))  
1103  (defconstant +lowtag-symbols+  (defconstant +lowtag-symbols+
1104    '(vm:even-fixnum-type    '(vm:even-fixnum-type
1105      vm:function-pointer-type      vm:function-pointer-type
# Line 1168  stack." Line 1124  stack."
1124       (append (apropos-list "-TYPE" "VM" t)       (append (apropos-list "-TYPE" "VM" t)
1125               (apropos-list "-TYPE" "BIGNUM" t)))))               (apropos-list "-TYPE" "BIGNUM" t)))))
1126    
1127  (defun describe-primitive-type (object)  
1128    (defimplementation describe-primitive-type (object)
1129    (with-output-to-string (*standard-output*)    (with-output-to-string (*standard-output*)
1130      (let* ((lowtag (kernel:get-lowtag object))      (let* ((lowtag (kernel:get-lowtag object))
1131             (lowtag-symbol (find lowtag +lowtag-symbols+ :key #'symbol-value)))             (lowtag-symbol (find lowtag +lowtag-symbols+ :key #'symbol-value)))
1132        (format t "[lowtag: ~A" lowtag-symbol)        (format t "lowtag: ~A" lowtag-symbol)
1133        (cond ((member lowtag (list vm:other-pointer-type        (when (member lowtag (list vm:other-pointer-type
1134                                    vm:function-pointer-type                                   vm:function-pointer-type
1135                                    vm:other-immediate-0-type                                   vm:other-immediate-0-type
1136                                    vm:other-immediate-1-type                                   vm:other-immediate-1-type
1137                                    ))                                   ))
1138               (let* ((type (kernel:get-type object))          (let* ((type (kernel:get-type object))
1139                      (type-symbol (find type +header-type-symbols+                 (type-symbol (find type +header-type-symbols+
1140                                         :key #'symbol-value)))                                    :key #'symbol-value)))
1141                 (format t ", type: ~A]" type-symbol)))            (format t ", type: ~A" type-symbol))))))
             (t (format t "]"))))))  
   
 (defun nth-part (index)  
   (cdr (nth index *inspectee-parts*)))  
   
 (defslimefun inspect-nth-part (index)  
   (inspect-object (nth-part index)))  
   
 (defslimefun inspector-pop ()  
   "Drop the inspector stack and inspect the second element.  Return  
 nil if there's no second element."  
   (cond ((cdr *inspector-stack*)  
          (pop *inspector-stack*)  
          (inspect-object (pop *inspector-stack*)))  
         (t nil)))  
   
 (defslimefun inspector-next ()  
   "Inspect the next element in the *inspector-history*."  
   (let ((position (position *inspectee* *inspector-history*)))  
     (cond ((= (1+ position) (length *inspector-history*))  
            nil)  
           (t (inspect-object (aref *inspector-history* (1+ position)))))))  
   
 (defslimefun quit-inspector ()  
   (reset-inspector)  
   nil)  
   
 (defslimefun describe-inspectee ()  
   "Describe the currently inspected object."  
   (print-description-to-string *inspectee*))  
   
 (defgeneric inspected-parts (object)  
   (:documentation  
    "Return a short description and a list of (label . value) pairs."))  
1142    
1143  (defmethod inspected-parts (o)  (defimplementation inspected-parts (o)
1144    (cond ((di::indirect-value-cell-p o)    (cond ((di::indirect-value-cell-p o)
1145           (inspected-parts-of-value-cell o))           (inspected-parts-of-value-cell o))
1146          (t          (t
# Line 1235  nil if there's no second element." Line 1158  nil if there's no second element."
1158    (values (format nil "~A~% is a value cell." o)    (values (format nil "~A~% is a value cell." o)
1159            (list (cons "Value" (c:value-cell-ref o)))))            (list (cons "Value" (c:value-cell-ref o)))))
1160    
 ;; borrowed from sbcl  
 (defmethod inspected-parts ((object cons))  
   (if (consp (cdr object))  
       (inspected-parts-of-nontrivial-list object)  
       (inspected-parts-of-simple-cons object)))  
   
 (defun inspected-parts-of-simple-cons (object)  
   (values "The object is a CONS."  
           (list (cons (string 'car) (car object))  
                 (cons (string 'cdr) (cdr object)))))  
   
 (defun inspected-parts-of-nontrivial-list (object)  
   (let ((length 0)  
         (in-list object)  
         (reversed-elements nil))  
     (flet ((done (description-format)  
              (return-from inspected-parts-of-nontrivial-list  
                (values (format nil description-format length)  
                        (nreverse reversed-elements)))))  
       (loop  
        (cond ((null in-list)  
               (done "The object is a proper list of length ~S.~%"))  
              ((>= length *inspect-length*)  
               (push (cons  (string 'rest) in-list) reversed-elements)  
               (done "The object is a long list (more than ~S elements).~%"))  
              ((consp in-list)  
               (push (cons (format nil "~D" length) (pop in-list))  
                     reversed-elements)  
               (incf length))  
              (t  
               (push (cons (string 'rest) in-list) reversed-elements)  
               (done "The object is an improper list of length ~S.~%")))))))  
   
1161  (defmethod inspected-parts ((o function))  (defmethod inspected-parts ((o function))
1162    (let ((header (kernel:get-type o)))    (let ((header (kernel:get-type o)))
1163      (cond ((= header vm:function-header-type)      (cond ((= header vm:function-header-type)
# Line 1304  nil if there's no second element." Line 1194  nil if there's no second element."
1194            `(("Name" . ,(kernel:fdefn-name o))            `(("Name" . ,(kernel:fdefn-name o))
1195              ("Function" . ,(kernel:fdefn-function o)))))              ("Function" . ,(kernel:fdefn-function o)))))
1196    
1197  ;;; Local Variables:  
1198  ;;; eval: (font-lock-add-keywords 'lisp-mode '(("(\\(defslimefun\\)\\s +\\(\\(\\w\\|\\s_\\)+\\)"  (1 font-lock-keyword-face) (2 font-lock-function-name-face))))  ;;;; Profiling
1199  ;;; End:  (defimplementation profile (fname)
1200      (eval `(profile:profile ,fname)))
1201    
1202    (defimplementation unprofile (fname)
1203      (eval `(profile:unprofile ,fname)))
1204    
1205    (defimplementation unprofile-all ()
1206      (profile:unprofile)
1207      "All functions unprofiled.")
1208    
1209    (defimplementation profile-report ()
1210      (profile:report-time))
1211    
1212    (defimplementation profile-reset ()
1213      (profile:reset-time)
1214      "Reset profiling counters.")
1215    
1216    (defimplementation profiled-functions ()
1217      profile:*timed-functions*)
1218    
1219    (defimplementation profile-package (package callers methods)
1220      (profile:profile-all :package package
1221                           :callers-p callers
1222                           :methods methods))
1223    
1224    
1225    ;;;; Multiprocessing
1226    
1227    #+MP
1228    (progn
1229      (defimplementation startup-multiprocessing ()
1230        ;; Threads magic: this never returns! But top-level becomes
1231        ;; available again.
1232        (mp::startup-idle-and-top-level-loops))
1233    
1234      (defimplementation spawn (fn &key (name "Anonymous"))
1235        (mp:make-process fn :name name))
1236    
1237      (defimplementation thread-name (thread)
1238        (mp:process-name thread))
1239    
1240      (defimplementation thread-status (thread)
1241        (mp:process-whostate thread))
1242    
1243      (defimplementation current-thread ()
1244        mp:*current-process*)
1245    
1246      (defimplementation all-threads ()
1247        (copy-list mp:*all-processes*))
1248    
1249      (defimplementation interrupt-thread (thread fn)
1250        (mp:process-interrupt thread fn))
1251    
1252      (defimplementation kill-thread (thread)
1253        (mp:destroy-process thread))
1254    
1255      (defvar *mailbox-lock* (mp:make-lock "mailbox lock"))
1256    
1257      (defstruct (mailbox (:conc-name mailbox.))
1258        (mutex (mp:make-lock "process mailbox"))
1259        (queue '() :type list))
1260    
1261      (defun mailbox (thread)
1262        "Return THREAD's mailbox."
1263        (mp:with-lock-held (*mailbox-lock*)
1264          (or (getf (mp:process-property-list thread) 'mailbox)
1265              (setf (getf (mp:process-property-list thread) 'mailbox)
1266                    (make-mailbox)))))
1267    
1268      (defimplementation send (thread message)
1269        (let* ((mbox (mailbox thread))
1270               (mutex (mailbox.mutex mbox)))
1271          (mp:with-lock-held (mutex)
1272            (setf (mailbox.queue mbox)
1273                  (nconc (mailbox.queue mbox) (list message))))))
1274    
1275      (defimplementation receive ()
1276        (let* ((mbox (mailbox mp:*current-process*))
1277               (mutex (mailbox.mutex mbox)))
1278          (mp:process-wait "receive" #'mailbox.queue mbox)
1279          (mp:with-lock-held (mutex)
1280            (pop (mailbox.queue mbox)))))
1281    
1282      )

Legend:
Removed from v.1.32  
changed lines
  Added in v.1.80

  ViewVC Help
Powered by ViewVC 1.1.5