1 ;;; geiser-connection.el -- talking to a scheme process
3 ;; Copyright (C) 2009, 2010, 2011 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
)
108 (cons :completed
(make-hash-table :weakness
'value
))))
110 (defsubst geiser-con--connection-process
(c)
111 (tq-process (cdr (assoc :tq c
))))
113 (defsubst geiser-con--connection-filter
(c)
114 (cdr (assoc :filter c
)))
116 (defsubst geiser-con--connection-tq-filter
(c)
117 (cdr (assoc :tq-filter c
)))
119 (defsubst geiser-con--connection-tq
(c)
122 (defsubst geiser-con--connection-eot
(c)
123 (cdr (assoc :eot c
)))
125 (defsubst geiser-con--connection-prompt
(c)
126 (cdr (assoc :prompt c
)))
128 (defsubst geiser-con--connection-debug-prompt
(c)
129 (cdr (assoc :debug-prompt c
)))
131 (defsubst geiser-con--connection-completed
(c r
)
132 (geiser-con--request-deactivate r
)
133 (puthash (geiser-con--request-id r
) r
(cdr (assoc :completed c
))))
135 (defsubst geiser-con--connection-completed-p
(c id
)
136 (gethash id
(cdr (assoc :completed c
))))
138 (defun geiser-con--connection-inc-count (c)
139 (let* ((cnt (assoc :count c
))
140 (new (1+ (cdr cnt
))))
144 (defun geiser-con--has-entered-debugger (con answer
)
145 (let ((dp (geiser-con--connection-debug-prompt con
)))
146 (and (stringp dp
) (string-match dp answer
))))
148 (defun geiser-con--connection-close (con)
149 (let ((tq (geiser-con--connection-tq con
)))
150 (and tq
(tq-close tq
))))
152 (defvar geiser-con--startup-prompt nil
)
153 (defun geiser-con--startup-prompt (p s
)
154 (setq geiser-con--startup-prompt
155 (concat geiser-con--startup-prompt s
))
158 (defun geiser-con--connection-deactivate (c &optional no-wait
)
160 (let* ((tq (geiser-con--connection-tq c
))
161 (proc (geiser-con--connection-process c
))
162 (proc-filter (geiser-con--connection-filter c
)))
164 (while (and (not (tq-queue-empty tq
))
165 (accept-process-output proc
0.1))))
166 (set-process-filter proc proc-filter
)
169 (defun geiser-con--connection-activate (c)
171 (let* ((tq (geiser-con--connection-tq c
))
172 (proc (geiser-con--connection-process c
))
173 (tq-filter (geiser-con--connection-tq-filter c
)))
174 (while (accept-process-output proc
0.01))
175 (set-process-filter proc tq-filter
)
179 ;;; Requests handling:
181 (defun geiser-con--req-form (req answer
)
182 (let ((con (geiser-con--request-connection req
)))
183 (if (geiser-con--has-entered-debugger con answer
)
184 `((error (key . geiser-debugger
))
187 (let* ((start (and (string-match "((\\(?:result\\|error\\)" answer
)
188 (match-beginning 0)))
189 (form (car (read-from-string answer start
))))
190 (and (listp form
) form
))
191 (error `((error (key . geiser-con-error
))
192 (output .
,(format "%s\n(%s)"
194 (error-message-string err
)))))))))
196 (defun geiser-con--process-completed-request (req answer
)
197 (let ((cont (geiser-con--request-continuation req
))
198 (id (geiser-con--request-id req
))
199 (rstr (geiser-con--request-string req
))
200 (form (geiser-con--req-form req answer
))
201 (buffer (or (geiser-con--request-buffer req
) (current-buffer)))
202 (con (geiser-con--request-connection req
)))
204 (geiser-log--warn "<%s> Droping result for request %S: %s"
207 (with-current-buffer buffer
209 (geiser-log--info "<%s>: processed" id
))
210 (error (geiser-log--error
211 "<%s>: continuation failed %S \n\t%s" id rstr cerr
))))
212 (geiser-con--connection-completed con req
)))
214 (defun geiser-con--connection-add-request (c r
)
215 (geiser-log--info "REQUEST: <%s>: %s"
216 (geiser-con--request-id r
)
217 (geiser-con--request-string r
))
218 (geiser-con--connection-activate c
)
219 (tq-enqueue (geiser-con--connection-tq c
)
220 (concat (geiser-con--request-string r
) "\n")
221 (geiser-con--connection-eot c
)
223 'geiser-con--process-completed-request
227 ;;; Message sending interface:
229 (defun geiser-con--send-string (con str cont
&optional sbuf
)
230 (let ((req (geiser-con--make-request con str cont sbuf
)))
231 (geiser-con--connection-add-request con req
)
234 (defvar geiser-connection-timeout
30000
235 "Time limit, in msecs, blocking on synchronous evaluation requests")
237 (defun geiser-con--send-string/wait
(con str cont
&optional timeout sbuf
)
239 (let ((proc (and con
(geiser-con--connection-process con
))))
240 (unless proc
(error "Geiser connection not active"))
241 (let* ((req (geiser-con--send-string con str cont sbuf
))
242 (id (geiser-con--request-id req
))
243 (timeout (/ (or timeout geiser-connection-timeout
) 1000.0)))
244 (with-timeout (timeout (geiser-con--request-deactivate req
))
246 (while (and (geiser-con--connection-process con
)
247 (not (geiser-con--connection-completed-p con id
)))
248 (accept-process-output proc
(/ timeout
10)))
249 (error (geiser-con--request-deactivate req
))))))))
252 (provide 'geiser-connection
)