1 ;;; geiser-connection.el -- talking to a scheme process
3 ;; Copyright (C) 2009, 2010, 2011, 2013 Jose Antonio Ortega Ruiz
5 ;; This program is free software; you can redistribute it and/or
6 ;; modify it under the terms of the Modified BSD License. You should
7 ;; have received a copy of the license along with this program. If
8 ;; not, see <http://www.xfree86.org/3.3.6/COPYRIGHT2.html#5>.
10 ;; Start date: Sat Feb 07, 2009 21:11
14 ;; Connection datatype and functions for managing request queues
15 ;; between emacs and inferior guile processes.
18 (require 'geiser-syntax
)
19 (require 'geiser-base
)
20 (require 'geiser-impl
)
25 ;;; Buffer connections:
27 (make-variable-buffer-local
28 (defvar geiser-con--connection nil
))
30 (defun geiser-con--get-connection (buffer/proc
)
31 (if (processp buffer
/proc
)
32 (geiser-con--get-connection (process-buffer buffer
/proc
))
33 (with-current-buffer buffer
/proc geiser-con--connection
)))
38 (defun geiser-con--make-request (con str cont
&optional sender-buffer
)
39 (list (cons :id
(geiser-con--connection-inc-count con
))
41 (cons :continuation cont
)
42 (cons :buffer
(or sender-buffer
(current-buffer)))
43 (cons :connection con
)))
45 (defsubst geiser-con--request-id
(req)
46 (cdr (assoc :id req
)))
48 (defsubst geiser-con--request-string
(req)
49 (cdr (assoc :string req
)))
51 (defsubst geiser-con--request-continuation
(req)
52 (cdr (assoc :continuation req
)))
54 (defsubst geiser-con--request-buffer
(req)
55 (cdr (assoc :buffer req
)))
57 (defsubst geiser-con--request-connection
(req)
58 (cdr (assoc :connection req
)))
60 (defsubst geiser-con--request-deactivate
(req)
61 (setcdr (assoc :continuation req
) nil
))
63 (defsubst geiser-con--request-deactivated-p
(req)
64 (null (cdr (assoc :continuation req
))))
67 ;;; Connection datatype:
69 (defun geiser-con--tq-create (process)
70 (let ((tq (tq-create process
)))
71 (set-process-filter process
72 `(lambda (p s
) (geiser-con--tq-filter ',tq s
)))
75 (defun geiser-con--tq-filter (tq in
)
76 (when (buffer-live-p (tq-buffer tq
))
77 (with-current-buffer (tq-buffer tq
)
78 (if (tq-queue-empty tq
)
79 (progn (geiser-log--error "Unexpected queue input:\n %s" in
)
80 (delete-region (point-min) (point-max)))
81 (goto-char (point-max))
83 (goto-char (point-min))
84 (when (re-search-forward (tq-queue-head-regexp tq
) nil t
)
86 (funcall (tq-queue-head-fn tq
)
87 (tq-queue-head-closure tq
)
88 (buffer-substring (point-min) (point)))
89 (delete-region (point-min) (point-max))
90 (tq-queue-pop tq
)))))))
92 (defun geiser-con--combined-prompt (prompt debug
)
93 (format "\\(%s%s\\)" prompt
(if debug
(format "\\|%s" debug
) "")))
95 (defun geiser-con--connection-eot-re (prompt debug
)
96 (geiser-con--combined-prompt (format "\n%s" prompt
)
97 (and debug
(format "\n%s" debug
))))
99 (defun geiser-con--make-connection (proc prompt debug-prompt
)
101 (cons :filter
(process-filter proc
))
102 (cons :tq
(geiser-con--tq-create proc
))
103 (cons :tq-filter
(process-filter proc
))
104 (cons :eot
(geiser-con--connection-eot-re prompt debug-prompt
))
105 (cons :prompt prompt
)
106 (cons :debug-prompt debug-prompt
)
107 (cons :is-debugging nil
)
109 (cons :completed
(make-hash-table :weakness
'value
))))
111 (defsubst geiser-con--connection-process
(c)
112 (tq-process (cdr (assoc :tq c
))))
114 (defsubst geiser-con--connection-filter
(c)
115 (cdr (assoc :filter c
)))
117 (defsubst geiser-con--connection-tq-filter
(c)
118 (cdr (assoc :tq-filter c
)))
120 (defsubst geiser-con--connection-tq
(c)
123 (defsubst geiser-con--connection-eot
(c)
124 (cdr (assoc :eot c
)))
126 (defsubst geiser-con--connection-prompt
(c)
127 (cdr (assoc :prompt c
)))
129 (defsubst geiser-con--connection-debug-prompt
(c)
130 (cdr (assoc :debug-prompt c
)))
132 (defsubst geiser-con--connection-is-debugging
(c)
133 (cdr (assoc :is-debugging c
)))
135 (defsubst geiser-con--connection-set-debugging
(c d
)
136 (setcdr (assoc :is-debugging c
) d
))
138 (defun geiser-con--connection-update-debugging (c txt
)
139 (let* ((dp (geiser-con--connection-debug-prompt c
))
140 (is-d (and (stringp dp
) (string-match dp txt
))))
141 (geiser-con--connection-set-debugging c is-d
)
144 (defsubst geiser-con--connection-completed
(c r
)
145 (geiser-con--request-deactivate r
)
146 (puthash (geiser-con--request-id r
) r
(cdr (assoc :completed c
))))
148 (defsubst geiser-con--connection-completed-p
(c id
)
149 (gethash id
(cdr (assoc :completed c
))))
151 (defun geiser-con--connection-inc-count (c)
152 (let* ((cnt (assoc :count c
))
153 (new (1+ (cdr cnt
))))
157 (defun geiser-con--has-entered-debugger (con answer
)
158 (and (not (geiser-con--connection-is-debugging con
))
159 (let ((p (car (last (split-string answer
"\n" t
)))))
160 (and p
(geiser-con--connection-update-debugging con p
)))))
162 (defun geiser-con--connection-eot-p (con txt
)
164 (string-match-p (geiser-con--connection-eot con
) txt
)))
166 (defun geiser-con--connection-close (con)
167 (let ((tq (geiser-con--connection-tq con
)))
168 (and tq
(tq-close tq
))))
170 (defvar geiser-con--startup-prompt nil
)
171 (defun geiser-con--startup-prompt (p s
)
172 (setq geiser-con--startup-prompt
173 (concat geiser-con--startup-prompt s
))
176 (defun geiser-con--connection-deactivate (c &optional no-wait
)
178 (let* ((tq (geiser-con--connection-tq c
))
179 (proc (geiser-con--connection-process c
))
180 (proc-filter (geiser-con--connection-filter c
)))
182 (while (and (not (tq-queue-empty tq
))
183 (accept-process-output proc
0.1))))
184 (set-process-filter proc proc-filter
)
187 (defun geiser-con--connection-activate (c)
189 (let* ((tq (geiser-con--connection-tq c
))
190 (proc (geiser-con--connection-process c
))
191 (tq-filter (geiser-con--connection-tq-filter c
)))
192 (while (accept-process-output proc
0.01))
193 (set-process-filter proc tq-filter
)
197 ;;; Requests handling:
199 (defun geiser-con--req-form (req answer
)
200 (let ((con (geiser-con--request-connection req
)))
201 (if (geiser-con--has-entered-debugger con answer
)
202 `((error (key . geiser-debugger
))
205 (let ((start (string-match "((\\(?:result)?\\|error\\) " answer
)))
206 (or (and start
(car (read-from-string answer start
)))
207 `((error (key . retort-syntax
)) (output .
,answer
))))
208 (error `((error (key . geiser-con-error
))
209 (output .
,(format "%s\n(%s)"
210 answer
(error-message-string err
)))))))))
212 (defun geiser-con--process-completed-request (req answer
)
213 (let ((cont (geiser-con--request-continuation req
))
214 (id (geiser-con--request-id req
))
215 (rstr (geiser-con--request-string req
))
216 (form (geiser-con--req-form req answer
))
217 (buffer (or (geiser-con--request-buffer req
) (current-buffer)))
218 (con (geiser-con--request-connection req
)))
220 (geiser-log--warn "<%s> Droping result for request %S: %s"
223 (with-current-buffer buffer
225 (geiser-log--info "<%s>: processed" id
))
226 (error (geiser-log--error
227 "<%s>: continuation failed %S \n\t%s" id rstr cerr
))))
228 (geiser-con--connection-completed con req
)))
230 (defun geiser-con--connection-add-request (c r
)
231 (let ((rstr (geiser-con--request-string r
)))
232 (geiser-log--info "REQUEST: <%s>: %s"
233 (geiser-con--request-id r
)
235 (geiser-con--connection-activate c
)
236 (tq-enqueue (geiser-con--connection-tq c
)
238 (geiser-con--connection-eot c
)
240 'geiser-con--process-completed-request
244 ;;; Message sending interface:
246 (defun geiser-con--send-string (con str cont
&optional sbuf
)
247 (let ((req (geiser-con--make-request con str cont sbuf
)))
248 (geiser-con--connection-add-request con req
)
251 (defvar geiser-connection-timeout
30000
252 "Time limit, in msecs, blocking on synchronous evaluation requests")
254 (defun geiser-con--send-string/wait
(con str cont
&optional timeout sbuf
)
256 (let ((proc (and con
(geiser-con--connection-process con
))))
257 (unless proc
(error "Geiser connection not active"))
258 (let* ((req (geiser-con--send-string con str cont sbuf
))
259 (id (geiser-con--request-id req
))
260 (timeout (/ (or timeout geiser-connection-timeout
) 1000.0)))
261 (with-timeout (timeout (geiser-con--request-deactivate req
))
263 (while (and (geiser-con--connection-process con
)
264 (not (geiser-con--connection-completed-p con id
)))
265 (accept-process-output proc
(/ timeout
10)))
266 (error (geiser-con--request-deactivate req
))))))))
269 (provide 'geiser-connection
)