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

Contents of /slime/swank-lispworks.lisp

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.137 - (hide annotations)
Thu Jul 22 13:45:46 2010 UTC (3 years, 8 months ago) by sboukarev
Branch: MAIN
Changes since 1.136: +21 -1 lines
* swank-lispworks.lisp (list-callers-internal): Fix for LW6.
(list-callees-internal): New function, use it.
1 heller 1.74 ;;; -*- indent-tabs-mode: nil -*-
2 heller 1.1 ;;;
3     ;;; swank-lispworks.lisp --- LispWorks specific code for SLIME.
4     ;;;
5     ;;; Created 2003, Helmut Eller
6     ;;;
7     ;;; This code has been placed in the Public Domain. All warranties
8     ;;; are disclaimed.
9     ;;;
10    
11 heller 1.30 (in-package :swank-backend)
12 heller 1.1
13     (eval-when (:compile-toplevel :load-toplevel :execute)
14 heller 1.79 (require "comm")
15     (import-from :stream *gray-stream-symbols* :swank-backend))
16 heller 1.1
17 heller 1.62 (import-swank-mop-symbols :clos '(:slot-definition-documentation
18 msimmons 1.129 :slot-boundp-using-class
19     :slot-value-using-class
20     :slot-makunbound-using-class
21 heller 1.62 :eql-specializer
22 heller 1.65 :eql-specializer-object
23     :compute-applicable-methods-using-classes))
24 msimmons 1.57
25     (defun swank-mop:slot-definition-documentation (slot)
26     (documentation slot t))
27 mbaringer 1.59
28 msimmons 1.129 (defun swank-mop:slot-boundp-using-class (class object slotd)
29     (clos:slot-boundp-using-class class object
30     (clos:slot-definition-name slotd)))
31    
32     (defun swank-mop:slot-value-using-class (class object slotd)
33     (clos:slot-value-using-class class object
34     (clos:slot-definition-name slotd)))
35    
36     (defun (setf swank-mop:slot-value-using-class) (value class object slotd)
37     (setf (clos:slot-value-using-class class object
38     (clos:slot-definition-name slotd))
39     value))
40    
41     (defun swank-mop:slot-makunbound-using-class (class object slotd)
42     (clos:slot-makunbound-using-class class object
43     (clos:slot-definition-name slotd)))
44    
45 heller 1.65 (defun swank-mop:compute-applicable-methods-using-classes (gf classes)
46     (clos::compute-applicable-methods-from-classes gf classes))
47    
48     ;; lispworks doesn't have the eql-specializer class, it represents
49     ;; them as a list of `(EQL ,OBJECT)
50 mbaringer 1.59 (deftype swank-mop:eql-specializer () 'cons)
51    
52     (defun swank-mop:eql-specializer-object (eql-spec)
53     (second eql-spec))
54 msimmons 1.57
55 heller 1.111 (eval-when (:compile-toplevel :execute :load-toplevel)
56     (defvar *original-defimplementation* (macro-function 'defimplementation))
57     (defmacro defimplementation (&whole whole name args &body body
58     &environment env)
59     (declare (ignore args body))
60     `(progn
61     (dspec:record-definition '(defun ,name) (dspec:location)
62     :check-redefinition-p nil)
63     ,(funcall *original-defimplementation* whole env))))
64 heller 1.49
65 heller 1.13 ;;; TCP server
66 lgorrie 1.12
67 heller 1.30 (defimplementation preferred-communication-style ()
68     :spawn)
69 heller 1.18
70 heller 1.13 (defun socket-fd (socket)
71     (etypecase socket
72     (fixnum socket)
73     (comm:socket-stream (comm:socket-stream-socket socket))))
74    
75 heller 1.22 (defimplementation create-socket (host port)
76 heller 1.13 (multiple-value-bind (socket where errno)
77 msimmons 1.64 #-(or lispworks4.1 (and macosx lispworks4.3))
78     (comm::create-tcp-socket-for-service port :address host)
79     #+(or lispworks4.1 (and macosx lispworks4.3))
80     (comm::create-tcp-socket-for-service port)
81 heller 1.13 (cond (socket socket)
82 heller 1.14 (t (error 'network-error
83 heller 1.13 :format-control "~A failed: ~A (~D)"
84     :format-arguments (list where
85     (list #+unix (lw:get-unix-error errno))
86 heller 1.14 errno))))))
87 heller 1.13
88 lgorrie 1.17 (defimplementation local-port (socket)
89 heller 1.13 (nth-value 1 (comm:get-socket-address (socket-fd socket))))
90    
91 lgorrie 1.17 (defimplementation close-socket (socket)
92 heller 1.13 (comm::close-socket (socket-fd socket)))
93    
94 heller 1.63 (defimplementation accept-connection (socket
95 heller 1.85 &key external-format buffering timeout)
96 heller 1.118 (declare (ignore buffering))
97 heller 1.61 (let* ((fd (comm::get-fd-from-socket socket)))
98 heller 1.13 (assert (/= fd -1))
99 heller 1.118 (assert (valid-external-format-p external-format))
100     (cond ((member (first external-format) '(:latin-1 :ascii))
101     (make-instance 'comm:socket-stream
102     :socket fd
103     :direction :io
104     :read-timeout timeout
105     :element-type 'base-char))
106     (t
107     (make-flexi-stream
108     (make-instance 'comm:socket-stream
109     :socket fd
110     :direction :io
111     :read-timeout timeout
112     :element-type '(unsigned-byte 8))
113     external-format)))))
114    
115     (defun make-flexi-stream (stream external-format)
116     (unless (member :flexi-streams *features*)
117     (error "Cannot use external format ~A without having installed flexi-streams in the inferior-lisp."
118     external-format))
119     (funcall (read-from-string "FLEXI-STREAMS:MAKE-FLEXI-STREAM")
120     stream
121     :external-format
122     (apply (read-from-string "FLEXI-STREAMS:MAKE-EXTERNAL-FORMAT")
123     external-format)))
124 heller 1.13
125 heller 1.88 ;;; Coding Systems
126    
127 heller 1.118 (defun valid-external-format-p (external-format)
128     (member external-format *external-format-to-coding-system*
129     :test #'equal :key #'car))
130    
131 heller 1.88 (defvar *external-format-to-coding-system*
132     '(((:latin-1 :eol-style :lf)
133     "latin-1-unix" "iso-latin-1-unix" "iso-8859-1-unix")
134     ((:latin-1)
135     "latin-1" "iso-latin-1" "iso-8859-1")
136     ((:utf-8) "utf-8")
137     ((:utf-8 :eol-style :lf) "utf-8-unix")
138     ((:euc-jp) "euc-jp")
139     ((:euc-jp :eol-style :lf) "euc-jp-unix")
140     ((:ascii) "us-ascii")
141     ((:ascii :eol-style :lf) "us-ascii-unix")))
142    
143     (defimplementation find-external-format (coding-system)
144     (car (rassoc-if (lambda (x) (member coding-system x :test #'equal))
145     *external-format-to-coding-system*)))
146    
147 heller 1.15 ;;; Unix signals
148    
149 heller 1.18 (defun sigint-handler ()
150 heller 1.16 (with-simple-restart (continue "Continue from SIGINT handler.")
151     (invoke-debugger "SIGINT")))
152 heller 1.1
153 heller 1.18 (defun make-sigint-handler (process)
154     (lambda (&rest args)
155     (declare (ignore args))
156     (mp:process-interrupt process #'sigint-handler)))
157    
158 heller 1.125 (defun set-sigint-handler ()
159     ;; Set SIGINT handler on Swank request handler thread.
160     #-win32
161     (sys::set-signal-handler +sigint+
162     (make-sigint-handler mp:*current-process*)))
163    
164     #-win32
165     (defimplementation install-sigint-handler (handler)
166     (sys::set-signal-handler +sigint+
167     (let ((self mp:*current-process*))
168     (lambda (&rest args)
169     (declare (ignore args))
170     (mp:process-interrupt self handler)))))
171    
172 heller 1.29 (defimplementation getpid ()
173     #+win32 (win32:get-current-process-id)
174     #-win32 (system::getpid))
175 heller 1.1
176 heller 1.23 (defimplementation lisp-implementation-type-name ()
177     "lispworks")
178    
179 heller 1.36 (defimplementation set-default-directory (directory)
180     (namestring (hcl:change-directory directory)))
181 heller 1.40
182     ;;;; Documentation
183 heller 1.36
184 sboukarev 1.133 (defun map-list (function list)
185     "Map over proper and not proper lists."
186     (loop for (car . cdr) on list
187     collect (funcall function car) into result
188     when (null cdr) return result
189     when (atom cdr) return (nconc result (funcall function cdr))))
190    
191 sboukarev 1.132 (defun replace-strings-with-symbols (tree)
192 sboukarev 1.133 (map-list
193     (lambda (x)
194     (typecase x
195     (list
196     (replace-strings-with-symbols x))
197     (symbol
198     x)
199     (string
200     (intern x))
201     (t
202     (intern (write-to-string x)))))
203     tree))
204 sboukarev 1.132
205 msimmons 1.57 (defimplementation arglist (symbol-or-function)
206     (let ((arglist (lw:function-lambda-list symbol-or-function)))
207 heller 1.30 (etypecase arglist
208 heller 1.39 ((member :dont-know)
209     :not-available)
210     (list
211 sboukarev 1.132 (replace-strings-with-symbols arglist)))))
212 msimmons 1.57
213     (defimplementation function-name (function)
214     (nth-value 2 (function-lambda-expression function)))
215 heller 1.1
216 lgorrie 1.17 (defimplementation macroexpand-all (form)
217 heller 1.1 (walker:walk-form form))
218    
219 heller 1.37 (defun generic-function-p (object)
220 heller 1.36 (typep object 'generic-function))
221    
222 lgorrie 1.17 (defimplementation describe-symbol-for-emacs (symbol)
223 heller 1.1 "Return a plist describing SYMBOL.
224     Return NIL if the symbol is unbound."
225     (let ((result '()))
226     (labels ((first-line (string)
227     (let ((pos (position #\newline string)))
228     (if (null pos) string (subseq string 0 pos))))
229     (doc (kind &optional (sym symbol))
230 heller 1.116 (let ((string (or (documentation sym kind))))
231 heller 1.1 (if string
232     (first-line string)
233     :not-documented)))
234     (maybe-push (property value)
235     (when value
236     (setf result (list* property value result)))))
237     (maybe-push
238     :variable (when (boundp symbol)
239     (doc 'variable)))
240     (maybe-push
241 heller 1.36 :generic-function (if (and (fboundp symbol)
242 heller 1.37 (generic-function-p (fdefinition symbol)))
243 heller 1.36 (doc 'function)))
244     (maybe-push
245     :function (if (and (fboundp symbol)
246 heller 1.37 (not (generic-function-p (fdefinition symbol))))
247 heller 1.1 (doc 'function)))
248     (maybe-push
249 heller 1.49 :setf (let ((setf-name (sys:underlying-setf-name `(setf ,symbol))))
250     (if (fboundp setf-name)
251     (doc 'setf))))
252     (maybe-push
253 heller 1.1 :class (if (find-class symbol nil)
254     (doc 'class)))
255 heller 1.30 result)))
256 heller 1.1
257 heller 1.30 (defimplementation describe-definition (symbol type)
258     (ecase type
259     (:variable (describe-symbol symbol))
260     (:class (describe (find-class symbol)))
261 heller 1.49 ((:function :generic-function) (describe-function symbol))
262     (:setf (describe-function (sys:underlying-setf-name `(setf ,symbol))))))
263 heller 1.30
264     (defun describe-function (symbol)
265     (cond ((fboundp symbol)
266 heller 1.123 (format t "(~A ~/pprint-fill/)~%~%~:[(not documented)~;~:*~A~]~%"
267     symbol
268     (lispworks:function-lambda-list symbol)
269 heller 1.30 (documentation symbol 'function))
270 heller 1.38 (describe (fdefinition symbol)))
271 heller 1.30 (t (format t "~S is not fbound" symbol))))
272 heller 1.4
273 heller 1.30 (defun describe-symbol (sym)
274 heller 1.1 (format t "~A is a symbol in package ~A." sym (symbol-package sym))
275     (when (boundp sym)
276     (format t "~%~%Value: ~A" (symbol-value sym)))
277     (let ((doc (documentation sym 'variable)))
278     (when doc
279     (format t "~%~%Variable documentation:~%~A" doc)))
280     (when (fboundp sym)
281 heller 1.30 (describe-function sym)))
282 heller 1.1
283     ;;; Debugging
284    
285 heller 1.66 (defclass slime-env (env:environment)
286     ((debugger-hook :initarg :debugger-hoook)))
287    
288     (defun slime-env (hook io-bindings)
289     (make-instance 'slime-env :name "SLIME Environment"
290     :io-bindings io-bindings
291     :debugger-hoook hook))
292    
293 heller 1.111 (defmethod env-internals:environment-display-notifier
294 heller 1.66 ((env slime-env) &key restarts condition)
295 heller 1.111 (declare (ignore restarts condition))
296 heller 1.113 (funcall (swank-sym :swank-debugger-hook) condition *debugger-hook*)
297     ;; nil
298 heller 1.111 )
299 heller 1.66
300     (defmethod env-internals:environment-display-debugger ((env slime-env))
301     *debug-io*)
302    
303 heller 1.111 (defmethod env-internals:confirm-p ((e slime-env) &optional msg &rest args)
304     (apply (swank-sym :y-or-n-p-in-emacs) msg args))
305    
306 heller 1.110 (defimplementation call-with-debugger-hook (hook fun)
307     (let ((*debugger-hook* hook))
308     (env:with-environment ((slime-env hook '()))
309     (funcall fun))))
310 heller 1.66
311 msimmons 1.100 (defimplementation install-debugger-globally (function)
312     (setq *debugger-hook* function)
313     (setf (env:environment) (slime-env function '())))
314    
315 heller 1.26 (defvar *sldb-top-frame*)
316 heller 1.1
317     (defun interesting-frame-p (frame)
318 heller 1.36 (cond ((or (dbg::call-frame-p frame)
319     (dbg::derived-call-frame-p frame)
320     (dbg::foreign-frame-p frame)
321     (dbg::interpreted-call-frame-p frame))
322     t)
323     ((dbg::catch-frame-p frame) dbg:*print-catch-frames*)
324     ((dbg::binding-frame-p frame) dbg:*print-binding-frames*)
325     ((dbg::handler-frame-p frame) dbg:*print-handler-frames*)
326     ((dbg::restart-frame-p frame) dbg:*print-restart-frames*)
327     (t nil)))
328 heller 1.1
329 heller 1.41 (defun nth-next-frame (frame n)
330     "Unwind FRAME N times."
331     (do ((frame frame (dbg::frame-next frame))
332     (i n (if (interesting-frame-p frame) (1- i) i)))
333 heller 1.48 ((or (not frame)
334     (and (interesting-frame-p frame) (zerop i)))
335     frame)))
336 heller 1.41
337     (defun nth-frame (index)
338     (nth-next-frame *sldb-top-frame* index))
339    
340     (defun find-top-frame ()
341     "Return the most suitable top-frame for the debugger."
342 mbaringer 1.69 (or (do ((frame (dbg::debugger-stack-current-frame dbg::*debugger-stack*)
343     (nth-next-frame frame 1)))
344     ((or (null frame) ; no frame found!
345     (and (dbg::call-frame-p frame)
346     (eq (dbg::call-frame-function-name frame)
347     'invoke-debugger)))
348     (nth-next-frame frame 1)))
349     ;; if we can't find a invoke-debugger frame, take any old frame at the top
350     (dbg::debugger-stack-current-frame dbg::*debugger-stack*)))
351 heller 1.41
352     (defimplementation call-with-debugging-environment (fn)
353     (dbg::with-debugger-stack ()
354     (let ((*sldb-top-frame* (find-top-frame)))
355     (funcall fn))))
356 heller 1.1
357 heller 1.30 (defimplementation compute-backtrace (start end)
358 heller 1.1 (let ((end (or end most-positive-fixnum))
359     (backtrace '()))
360     (do ((frame (nth-frame start) (dbg::frame-next frame))
361     (i start))
362     ((or (not frame) (= i end)) (nreverse backtrace))
363     (when (interesting-frame-p frame)
364     (incf i)
365 heller 1.121 (push frame backtrace)))))
366 heller 1.1
367 heller 1.36 (defun frame-actual-args (frame)
368 heller 1.50 (let ((*break-on-signals* nil))
369     (mapcar (lambda (arg)
370     (case arg
371     ((&rest &optional &key) arg)
372     (t
373     (handler-case (dbg::dbg-eval arg frame)
374 msimmons 1.53 (error (e) (format nil "<~A>" arg))))))
375 heller 1.50 (dbg::call-frame-arglist frame))))
376 heller 1.36
377 heller 1.121 (defimplementation print-frame (frame stream)
378     (cond ((dbg::call-frame-p frame)
379     (format stream "~S ~S"
380     (dbg::call-frame-function-name frame)
381     (frame-actual-args frame)))
382     (t (princ frame stream))))
383 heller 1.1
384 heller 1.47 (defun frame-vars (frame)
385     (first (dbg::frame-locals-format-list frame #'list 75 0)))
386    
387 lgorrie 1.17 (defimplementation frame-locals (n)
388 heller 1.29 (let ((frame (nth-frame n)))
389 heller 1.1 (if (dbg::call-frame-p frame)
390 heller 1.47 (mapcar (lambda (var)
391     (destructuring-bind (name value symbol location) var
392     (declare (ignore name location))
393     (list :name symbol :id 0
394     :value value)))
395     (frame-vars frame)))))
396    
397     (defimplementation frame-var-value (frame var)
398     (let ((frame (nth-frame frame)))
399     (destructuring-bind (_n value _s _l) (nth var (frame-vars frame))
400     (declare (ignore _n _s _l))
401     value)))
402 heller 1.1
403 heller 1.130 (defimplementation frame-source-location (frame)
404 heller 1.60 (let ((frame (nth-frame frame))
405     (callee (if (plusp frame) (nth-frame (1- frame)))))
406 heller 1.1 (if (dbg::call-frame-p frame)
407 heller 1.60 (let ((dspec (dbg::call-frame-function-name frame))
408     (cname (and (dbg::call-frame-p callee)
409     (dbg::call-frame-function-name callee))))
410     (if dspec
411     (frame-location dspec cname))))))
412 heller 1.26
413     (defimplementation eval-in-frame (form frame-number)
414     (let ((frame (nth-frame frame-number)))
415     (dbg::dbg-eval form frame)))
416    
417     (defimplementation return-from-frame (frame-number form)
418     (let* ((frame (nth-frame frame-number))
419 heller 1.30 (return-frame (dbg::find-frame-for-return frame)))
420 heller 1.26 (dbg::dbg-return-from-call-frame frame form return-frame
421     dbg::*debugger-stack*)))
422    
423     (defimplementation restart-frame (frame-number)
424     (let ((frame (nth-frame frame-number)))
425     (dbg::restart-frame frame :same-args t)))
426 heller 1.1
427 heller 1.109 (defimplementation disassemble-frame (frame-number)
428     (let* ((frame (nth-frame frame-number)))
429     (when (dbg::call-frame-p frame)
430     (let ((function (dbg::get-call-frame-function frame)))
431     (disassemble function)))))
432    
433 heller 1.18 ;;; Definition finding
434    
435 heller 1.60 (defun frame-location (dspec callee-name)
436     (let ((infos (dspec:find-dspec-locations dspec)))
437     (cond (infos
438     (destructuring-bind ((rdspec location) &rest _) infos
439     (declare (ignore _))
440     (let ((name (and callee-name (symbolp callee-name)
441     (string callee-name))))
442     (make-dspec-location rdspec location
443     `(:call-site ,name)))))
444     (t
445     (list :error (format nil "Source location not available for: ~S"
446     dspec))))))
447 heller 1.4
448 heller 1.33 (defimplementation find-definitions (name)
449 heller 1.26 (let ((locations (dspec:find-name-locations dspec:*dspec-classes* name)))
450 heller 1.33 (loop for (dspec location) in locations
451     collect (list dspec (make-dspec-location dspec location)))))
452 heller 1.6
453 msimmons 1.56
454 heller 1.18 ;;; Compilation
455    
456 msimmons 1.42 (defmacro with-swank-compilation-unit ((location &rest options) &body body)
457     (lw:rebinding (location)
458     `(let ((compiler::*error-database* '()))
459     (with-compilation-unit ,options
460 heller 1.120 (multiple-value-prog1 (progn ,@body)
461     (signal-error-data-base compiler::*error-database*
462     ,location)
463     (signal-undefined-functions compiler::*unknown-functions*
464     ,location))))))
465 msimmons 1.42
466 heller 1.128 (defimplementation swank-compile-file (input-file output-file
467 sboukarev 1.136 load-p external-format
468     &key policy)
469     (declare (ignore policy))
470 heller 1.128 (with-swank-compilation-unit (input-file)
471     (compile-file input-file
472     :output-file output-file
473     :load load-p
474 heller 1.119 :external-format external-format)))
475 msimmons 1.56
476 eweitz 1.70 (defvar *within-call-with-compilation-hooks* nil
477     "Whether COMPILE-FILE was called from within CALL-WITH-COMPILATION-HOOKS.")
478    
479     (defvar *undefined-functions-hash* nil
480     "Hash table to map info about undefined functions to pathnames.")
481    
482     (lw:defadvice (compile-file compile-file-and-collect-notes :around)
483     (pathname &rest rest)
484 msimmons 1.75 (multiple-value-prog1 (apply #'lw:call-next-advice pathname rest)
485 eweitz 1.70 (when *within-call-with-compilation-hooks*
486     (maphash (lambda (unfun dspecs)
487     (dolist (dspec dspecs)
488     (let ((unfun-info (list unfun dspec)))
489     (unless (gethash unfun-info *undefined-functions-hash*)
490     (setf (gethash unfun-info *undefined-functions-hash*)
491     pathname)))))
492     compiler::*unknown-functions*))))
493    
494 msimmons 1.56 (defimplementation call-with-compilation-hooks (function)
495 eweitz 1.70 (let ((compiler::*error-database* '())
496     (*undefined-functions-hash* (make-hash-table :test 'equal))
497     (*within-call-with-compilation-hooks* t))
498     (with-compilation-unit ()
499     (prog1 (funcall function)
500     (signal-error-data-base compiler::*error-database*)
501     (signal-undefined-functions compiler::*unknown-functions*)))))
502 heller 1.1
503     (defun map-error-database (database fn)
504     (loop for (filename . defs) in database do
505     (loop for (dspec . conditions) in defs do
506     (dolist (c conditions)
507 msimmons 1.98 (funcall fn filename dspec (if (consp c) (car c) c))))))
508 heller 1.1
509     (defun lispworks-severity (condition)
510     (cond ((not condition) :warning)
511     (t (etypecase condition
512 heller 1.6 (error :error)
513 heller 1.1 (style-warning :warning)
514     (warning :warning)))))
515    
516     (defun signal-compiler-condition (message location condition)
517     (check-type message string)
518     (signal
519     (make-instance 'compiler-condition :message message
520     :severity (lispworks-severity condition)
521     :location location
522     :original-condition condition)))
523    
524 heller 1.118 (defvar *temp-file-format* '(:utf-8 :eol-style :lf))
525    
526 heller 1.1 (defun compile-from-temp-file (string filename)
527     (unwind-protect
528     (progn
529 heller 1.118 (with-open-file (s filename :direction :output
530     :if-exists :supersede
531     :external-format *temp-file-format*)
532    
533 heller 1.1 (write-string string s)
534     (finish-output s))
535 heller 1.120 (multiple-value-bind (binary-filename warnings? failure?)
536     (compile-file filename :load t
537     :external-format *temp-file-format*)
538     (declare (ignore warnings?))
539 heller 1.6 (when binary-filename
540 heller 1.120 (delete-file binary-filename))
541     (not failure?)))
542 heller 1.1 (delete-file filename)))
543    
544 heller 1.117 (defun dspec-function-name-position (dspec fallback)
545 heller 1.34 (etypecase dspec
546     (cons (let ((name (dspec:dspec-primary-name dspec)))
547 heller 1.37 (typecase name
548 heller 1.34 ((or symbol string)
549     (list :function-name (string name)))
550 heller 1.117 (t fallback))))
551     (null fallback)
552 heller 1.34 (symbol (list :function-name (string dspec)))))
553 heller 1.18
554 lgorrie 1.45 (defmacro with-fairly-standard-io-syntax (&body body)
555     "Like WITH-STANDARD-IO-SYNTAX but preserve *PACKAGE* and *READTABLE*."
556     (let ((package (gensym))
557     (readtable (gensym)))
558     `(let ((,package *package*)
559     (,readtable *readtable*))
560     (with-standard-io-syntax
561     (let ((*package* ,package)
562     (*readtable* ,readtable))
563     ,@body)))))
564    
565 heller 1.117 (defun skip-comments (stream)
566     (let ((pos0 (file-position stream)))
567     (cond ((equal (ignore-errors (list (read-delimited-list #\( stream)))
568     '(()))
569     (file-position stream (1- (file-position stream))))
570     (t (file-position stream pos0)))))
571    
572 heller 1.52 #-(or lispworks4.1 lispworks4.2) ; no dspec:parse-form-dspec prior to 4.3
573 msimmons 1.42 (defun dspec-stream-position (stream dspec)
574 lgorrie 1.45 (with-fairly-standard-io-syntax
575 heller 1.117 (loop (let* ((pos (progn (skip-comments stream) (file-position stream)))
576 lgorrie 1.44 (form (read stream nil '#1=#:eof)))
577     (when (eq form '#1#)
578     (return nil))
579     (labels ((check-dspec (form)
580     (when (consp form)
581     (let ((operator (car form)))
582     (case operator
583     ((progn)
584     (mapcar #'check-dspec
585     (cdr form)))
586     ((eval-when locally macrolet symbol-macrolet)
587     (mapcar #'check-dspec
588     (cddr form)))
589     ((in-package)
590     (let ((package (find-package (second form))))
591     (when package
592     (setq *package* package))))
593     (otherwise
594     (let ((form-dspec (dspec:parse-form-dspec form)))
595     (when (dspec:dspec-equal dspec form-dspec)
596     (return pos)))))))))
597     (check-dspec form))))))
598 msimmons 1.42
599 heller 1.52 (defun dspec-file-position (file dspec)
600 mbaringer 1.90 (let* ((*compile-file-pathname* (pathname file))
601     (*compile-file-truename* (truename *compile-file-pathname*))
602     (*load-pathname* *compile-file-pathname*)
603     (*load-truename* *compile-file-truename*))
604     (with-open-file (stream file)
605     (let ((pos
606     #-(or lispworks4.1 lispworks4.2)
607     (dspec-stream-position stream dspec)))
608     (if pos
609 heller 1.117 (list :position (1+ pos))
610     (dspec-function-name-position dspec `(:position 1)))))))
611 heller 1.52
612 heller 1.25 (defun emacs-buffer-location-p (location)
613     (and (consp location)
614     (eq (car location) :emacs-buffer)))
615    
616 heller 1.60 (defun make-dspec-location (dspec location &optional hints)
617 heller 1.52 (etypecase location
618     ((or pathname string)
619     (multiple-value-bind (file err)
620     (ignore-errors (namestring (truename location)))
621     (if err
622     (list :error (princ-to-string err))
623     (make-location `(:file ,file)
624 heller 1.60 (dspec-file-position file dspec)
625     hints))))
626 heller 1.52 (symbol
627     `(:error ,(format nil "Cannot resolve location: ~S" location)))
628     ((satisfies emacs-buffer-location-p)
629     (destructuring-bind (_ buffer offset string) location
630     (declare (ignore _ string))
631     (make-location `(:buffer ,buffer)
632 heller 1.117 (dspec-function-name-position dspec `(:offset ,offset 0))
633 heller 1.60 hints)))))
634 heller 1.1
635 msimmons 1.42 (defun make-dspec-progenitor-location (dspec location)
636     (let ((canon-dspec (dspec:canonicalize-dspec dspec)))
637     (make-dspec-location
638     (if canon-dspec
639     (if (dspec:local-dspec-p canon-dspec)
640     (dspec:dspec-progenitor canon-dspec)
641     canon-dspec)
642     nil)
643     location)))
644    
645 eweitz 1.70 (defun signal-error-data-base (database &optional location)
646 heller 1.1 (map-error-database
647     database
648     (lambda (filename dspec condition)
649     (signal-compiler-condition
650     (format nil "~A" condition)
651 eweitz 1.70 (make-dspec-progenitor-location dspec (or location filename))
652 heller 1.1 condition))))
653    
654 eweitz 1.71 (defun unmangle-unfun (symbol)
655     "Converts symbols like 'SETF::|\"CL-USER\" \"GET\"| to
656     function names like \(SETF GET)."
657 heller 1.93 (cond ((sys::setf-symbol-p symbol)
658     (sys::setf-pair-from-underlying-name symbol))
659     (t symbol)))
660    
661 eweitz 1.70 (defun signal-undefined-functions (htab &optional filename)
662 heller 1.1 (maphash (lambda (unfun dspecs)
663     (dolist (dspec dspecs)
664     (signal-compiler-condition
665 eweitz 1.71 (format nil "Undefined function ~A" (unmangle-unfun unfun))
666 eweitz 1.70 (make-dspec-progenitor-location dspec
667     (or filename
668     (gethash (list unfun dspec)
669     *undefined-functions-hash*)))
670 heller 1.1 nil)))
671     htab))
672 heller 1.2
673 heller 1.126 (defimplementation swank-compile-string (string &key buffer position filename
674     policy)
675     (declare (ignore filename policy))
676 heller 1.1 (assert buffer)
677     (assert position)
678 heller 1.30 (let* ((location (list :emacs-buffer buffer position string))
679 heller 1.26 (tmpname (hcl:make-temp-file nil "lisp")))
680 msimmons 1.42 (with-swank-compilation-unit (location)
681 heller 1.26 (compile-from-temp-file
682 heller 1.68 (with-output-to-string (s)
683     (let ((*print-radix* t))
684     (print `(eval-when (:compile-toplevel)
685     (setq dspec::*location* (list ,@location)))
686     s))
687     (write-string string s))
688 msimmons 1.42 tmpname))))
689 heller 1.1
690 heller 1.3 ;;; xref
691    
692 heller 1.31 (defmacro defxref (name function)
693     `(defimplementation ,name (name)
694     (xref-results (,function name))))
695    
696     (defxref who-calls hcl:who-calls)
697 msimmons 1.42 (defxref who-macroexpands hcl:who-calls) ; macros are in the calls table too
698 heller 1.67 (defxref calls-who hcl:calls-who)
699 msimmons 1.42 (defxref list-callers list-callers-internal)
700 sboukarev 1.137 #+lispworks6
701     (defxref list-callees list-callees-internal)
702 msimmons 1.42
703 sboukarev 1.137 #-lispworks6
704 msimmons 1.42 (defun list-callers-internal (name)
705     (let ((callers (make-array 100
706     :fill-pointer 0
707     :adjustable t)))
708     (hcl:sweep-all-objects
709     #'(lambda (object)
710     (when (and #+Harlequin-PC-Lisp (low:compiled-code-p object)
711     #-Harlequin-PC-Lisp (sys::callablep object)
712     (system::find-constant$funcallable name object))
713     (vector-push-extend object callers))))
714     ;; Delay dspec:object-dspec until after sweep-all-objects
715     ;; to reduce allocation problems.
716     (loop for object across callers
717     collect (if (symbolp object)
718     (list 'function object)
719 heller 1.63 (or (dspec:object-dspec object) object)))))
720 heller 1.36
721 sboukarev 1.137 #+lispworks6
722     (defun list-callers-internal (name)
723     ;; Delay dspec:object-dspec until after sweep-all-objects
724     ;; to reduce allocation problems.
725     (loop for object in (hcl::who-calls name)
726     collect (if (symbolp object)
727     (list 'function object)
728     (or (dspec:object-dspec object) object))))
729    
730     #+lispworks6
731     (defun list-callees-internal (name)
732     ;; Delay dspec:object-dspec until after sweep-all-objects
733     ;; to reduce allocation problems.
734     (loop for object in (hcl::calls-who name)
735     collect (if (symbolp object)
736     (list 'function object)
737     (or (dspec:object-dspec object) object))))
738    
739 heller 1.37 ;; only for lispworks 4.2 and above
740     #-lispworks4.1
741     (progn
742     (defxref who-references hcl:who-references)
743     (defxref who-binds hcl:who-binds)
744     (defxref who-sets hcl:who-sets))
745    
746 heller 1.36 (defimplementation who-specializes (classname)
747     (let ((methods (clos:class-direct-methods (find-class classname))))
748     (xref-results (mapcar #'dspec:object-dspec methods))))
749 heller 1.31
750     (defun xref-results (dspecs)
751 heller 1.63 (flet ((frob-locs (dspec locs)
752     (cond (locs
753     (loop for (name loc) in locs
754     collect (list name (make-dspec-location name loc))))
755     (t `((,dspec (:error "Source location not available")))))))
756     (loop for dspec in dspecs
757     append (frob-locs dspec (dspec:dspec-definition-locations dspec)))))
758 heller 1.66
759 heller 1.25 ;;; Inspector
760 mbaringer 1.58
761 heller 1.95 (defmethod emacs-inspect ((o t))
762 heller 1.60 (lispworks-inspect o))
763    
764 heller 1.95 (defmethod emacs-inspect ((o function))
765 heller 1.60 (lispworks-inspect o))
766    
767 heller 1.82 ;; FIXME: slot-boundp-using-class in LW works with names so we can't
768     ;; use our method in swank.lisp.
769 heller 1.95 (defmethod emacs-inspect ((o standard-object))
770 heller 1.82 (lispworks-inspect o))
771    
772 heller 1.60 (defun lispworks-inspect (o)
773 heller 1.25 (multiple-value-bind (names values _getter _setter type)
774     (lw:get-inspector-values o nil)
775     (declare (ignore _getter _setter))
776 heller 1.60 (append
777     (label-value-line "Type" type)
778 msimmons 1.91 (loop for name in names
779     for value in values
780 heller 1.96 append (label-value-line name value)))))
781 heller 1.25
782 lgorrie 1.46 ;;; Miscellaneous
783    
784     (defimplementation quit-lisp ()
785     (lispworks:quit))
786    
787 heller 1.66 ;;; Tracing
788    
789     (defun parse-fspec (fspec)
790     "Return a dspec for FSPEC."
791     (ecase (car fspec)
792 heller 1.67 ((:defmethod) `(method ,(cdr fspec)))))
793 heller 1.66
794     (defun tracedp (dspec)
795     (member dspec (eval '(trace)) :test #'equal))
796    
797 heller 1.67 (defun toggle-trace-aux (dspec)
798 heller 1.66 (cond ((tracedp dspec)
799     (eval `(untrace ,dspec))
800     (format nil "~S is now untraced." dspec))
801     (t
802     (eval `(trace (,dspec)))
803     (format nil "~S is now traced." dspec))))
804    
805 heller 1.67 (defimplementation toggle-trace (fspec)
806     (toggle-trace-aux (parse-fspec fspec)))
807 heller 1.66
808 heller 1.16 ;;; Multithreading
809    
810 mbaringer 1.86 (defimplementation initialize-multiprocessing (continuation)
811 heller 1.87 (cond ((not mp::*multiprocessing*)
812     (push (list "Initialize SLIME" '() continuation)
813     mp:*initial-processes*)
814     (mp:initialize-multiprocessing))
815     (t (funcall continuation))))
816 heller 1.16
817 heller 1.18 (defimplementation spawn (fn &key name)
818 heller 1.127 (mp:process-run-function name () fn))
819 heller 1.48
820     (defvar *id-lock* (mp:make-lock))
821     (defvar *thread-id-counter* 0)
822    
823     (defimplementation thread-id (thread)
824     (mp:with-lock (*id-lock*)
825     (or (getf (mp:process-plist thread) 'id)
826     (setf (getf (mp:process-plist thread) 'id)
827     (incf *thread-id-counter*)))))
828    
829     (defimplementation find-thread (id)
830     (find id (mp:list-all-processes)
831     :key (lambda (p) (getf (mp:process-plist p) 'id))))
832 heller 1.16
833 heller 1.21 (defimplementation thread-name (thread)
834     (mp:process-name thread))
835 heller 1.16
836 heller 1.21 (defimplementation thread-status (thread)
837     (format nil "~A ~D"
838     (mp:process-whostate thread)
839     (mp:process-priority thread)))
840 heller 1.16
841 heller 1.18 (defimplementation make-lock (&key name)
842 heller 1.16 (mp:make-lock :name name))
843    
844 heller 1.18 (defimplementation call-with-lock-held (lock function)
845 heller 1.16 (mp:with-lock (lock) (funcall function)))
846 heller 1.20
847     (defimplementation current-thread ()
848     mp:*current-process*)
849 heller 1.21
850     (defimplementation all-threads ()
851     (mp:list-all-processes))
852 heller 1.20
853     (defimplementation interrupt-thread (thread fn)
854     (mp:process-interrupt thread fn))
855 heller 1.25
856     (defimplementation kill-thread (thread)
857     (mp:process-kill thread))
858 heller 1.27
859     (defimplementation thread-alive-p (thread)
860     (mp:process-alive-p thread))
861 heller 1.20
862 heller 1.102 (defstruct (mailbox (:conc-name mailbox.))
863     (mutex (mp:make-lock :name "thread mailbox"))
864     (queue '() :type list))
865    
866 heller 1.20 (defvar *mailbox-lock* (mp:make-lock))
867    
868     (defun mailbox (thread)
869     (mp:with-lock (*mailbox-lock*)
870     (or (getf (mp:process-plist thread) 'mailbox)
871     (setf (getf (mp:process-plist thread) 'mailbox)
872 heller 1.102 (make-mailbox)))))
873 heller 1.20
874 heller 1.112 (defimplementation receive-if (test &optional timeout)
875 heller 1.102 (let* ((mbox (mailbox mp:*current-process*))
876     (lock (mailbox.mutex mbox)))
877 heller 1.112 (assert (or (not timeout) (eq timeout t)))
878 heller 1.102 (loop
879 heller 1.106 (check-slime-interrupts)
880     (mp:with-lock (lock "receive-if/try")
881     (let* ((q (mailbox.queue mbox))
882     (tail (member-if test q)))
883     (when tail
884     (setf (mailbox.queue mbox) (nconc (ldiff q tail) (cdr tail)))
885     (return (car tail)))))
886 heller 1.112 (when (eq timeout t) (return (values nil t)))
887 heller 1.106 (mp:process-wait-with-timeout
888 heller 1.125 "receive-if" 0.3 (lambda () (some test (mailbox.queue mbox)))))))
889 heller 1.102
890     (defimplementation send (thread message)
891     (let ((mbox (mailbox thread)))
892 heller 1.106 (mp:with-lock ((mailbox.mutex mbox))
893     (setf (mailbox.queue mbox)
894     (nconc (mailbox.queue mbox) (list message))))))
895 heller 1.3
896 heller 1.127 (defimplementation set-default-initial-binding (var form)
897     (setq mp:*process-initial-bindings*
898     (acons var `(eval (quote ,form))
899     mp:*process-initial-bindings* )))
900    
901 heller 1.131 (defimplementation thread-attributes (thread)
902     (list :priority (mp:process-priority thread)
903     :idle (mp:process-idle-time thread)))
904    
905 heller 1.66 ;;; Some intergration with the lispworks environment
906    
907 heller 1.74 (defun swank-sym (name) (find-symbol (string name) :swank))
908 mkoeppe 1.77
909 eweitz 1.89
910     ;;;; Weak hashtables
911    
912     (defimplementation make-weak-key-hash-table (&rest args)
913     (apply #'make-hash-table :weak-kind :key args))
914    
915     (defimplementation make-weak-value-hash-table (&rest args)
916     (apply #'make-hash-table :weak-kind :value args))

  ViewVC Help
Powered by ViewVC 1.1.5