summaryrefslogtreecommitdiff
path: root/elisp/geiser-connection.el
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2009-02-08 01:09:07 +0100
committerJose Antonio Ortega Ruiz <jao@gnu.org>2009-02-08 01:09:07 +0100
commitbe3be2b56af17f8845adf651240aef6b10bd0acc (patch)
tree59b12cd3ceda5af15b457fb436f9d988220cf151 /elisp/geiser-connection.el
parent9b4016cd9bce8354ac3eede20345e83db8c65b94 (diff)
downloadgeiser-be3be2b56af17f8845adf651240aef6b10bd0acc.tar.gz
geiser-be3be2b56af17f8845adf651240aef6b10bd0acc.tar.bz2
Basic Guile/Emacs connection and evaluation working.
Diffstat (limited to 'elisp/geiser-connection.el')
-rw-r--r--elisp/geiser-connection.el245
1 files changed, 245 insertions, 0 deletions
diff --git a/elisp/geiser-connection.el b/elisp/geiser-connection.el
new file mode 100644
index 0000000..8091c84
--- /dev/null
+++ b/elisp/geiser-connection.el
@@ -0,0 +1,245 @@
+;; geiser-connection.el -- talking to a guile process
+
+;; Copyright (C) 2009 Jose Antonio Ortega Ruiz
+
+;; Author: Jose Antonio Ortega Ruiz <jao@gnu.org>
+;; Start date: Sat Feb 07, 2009 21:11
+
+;; This file is free software; you can redistribute it and/or modify
+;; it under the terms of the GNU General Public License as published by
+;; the Free Software Foundation; either version 3 of the License, or
+;; (at your option) any later version.
+
+;; This file is distributed in the hope that it will be useful,
+;; but WITHOUT ANY WARRANTY; without even the implied warranty of
+;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+;; GNU General Public License for more details.
+
+;; You should have received a copy of the GNU General Public License
+;; along with this program. If not, see <http://www.gnu.org/licenses/>.
+
+;;; Comentary:
+
+;; Connection datatype and functions for managing request queues
+;; between emacs and inferior guile processes.
+
+;;; Code:
+
+(require 'geiser-log)
+(require 'geiser-base)
+
+(require 'comint)
+(require 'advice)
+
+
+;;; Buffer connections:
+
+(make-variable-buffer-local
+ (defvar geiser-con--connection nil))
+
+(defun geiser-con--get-connection (buffer/proc)
+ (if (processp buffer/proc)
+ (geiser-con--get-connection (process-buffer buffer/proc))
+ (with-current-buffer buffer/proc geiser-con--connection)))
+
+
+;;; Request datatype:
+
+(defun geiser-con--make-request (str cont &optional sender-buffer)
+ (list :geiser-connection-request
+ (cons :id (random))
+ (cons :string str)
+ (cons :continuation cont)
+ (cons :buffer (or sender-buffer (current-buffer)))))
+
+(defsubst geiser-con--request-p (req)
+ (and (listp req) (eq (car req) :geiser-connection-request)))
+
+(defsubst geiser-con--request-id (req)
+ (cdr (assoc :id req)))
+
+(defsubst geiser-con--request-string (req)
+ (cdr (assoc :string req)))
+
+(defsubst geiser-con--request-continuation (req)
+ (cdr (assoc :continuation req)))
+
+(defsubst geiser-con--request-buffer (req)
+ (cdr (assoc :buffer req)))
+
+(defsubst geiser-con--request-deactivate (req)
+ (setcdr (assoc :continuation req) nil))
+
+(defsubst geiser-con--request-deactivated-p (req)
+ (null (cdr (assoc :continuation req))))
+
+
+;;; Connection datatype:
+
+(defsubst geiser-con--make-connection (buffer)
+ (list :geiser-connection
+ (cons :requests (list))
+ (cons :current nil)
+ (cons :completed (make-hash-table :weakness 'value))
+ (cons :buffer buffer)
+ (cons :timer nil)))
+
+(defsubst geiser-con--connection-p (c)
+ (and (listp c) (eq (car c) :geiser-connection)))
+
+(defsubst geiser-con--connection-buffer (c)
+ (cdr (assoc :buffer c)))
+
+(defsubst geiser-con--connection-requests (c)
+ (cdr (assoc :requests c)))
+
+(defsubst geiser-con--connection-current-request (c)
+ (cdr (assoc :current c)))
+
+(defun geiser-con--connection-clean-current-request (c)
+ (let* ((cell (assoc :current c))
+ (req (cdr cell)))
+ (when req
+ (puthash (geiser-con--request-id req) req (cdr (assoc :completed c)))
+ (setcdr cell nil))))
+
+(defun geiser-con--connection-add-request (c r)
+ (let ((reqs (assoc :requests c)))
+ (setcdr reqs (append (cdr reqs) (list r)))))
+
+(defsubst geiser-con--connection-completed-p (c id)
+ (gethash id (cdr (assoc :completed c))))
+
+(defun geiser-con--connection-pop-request (c)
+ (let ((reqs (assoc :requests c))
+ (current (assoc :current c)))
+ (setcdr current (prog1 (cadr reqs) (setcdr reqs (cddr reqs))))
+ (if (and (cdr current)
+ (geiser-con--request-deactivated-p (cdr current)))
+ (geiser-con--connection-pop-request c)
+ (cdr current))))
+
+(defun geiser-con--connection-start-timer (c)
+ (let ((cell (assoc :timer c)))
+ (when (cdr cell) (cancel-timer (cdr cell)))
+ (setcdr cell (run-at-time t 0.5 'geiser-con--process-next c))))
+
+(defun geiser-con--connection-cancel-timer (c)
+ (let ((cell (assoc :timer c)))
+ (when (cdr cell) (cancel-timer (cdr cell)))))
+
+
+;;; Connection setup:
+
+(defun geiser-con--cleanup-connection (c)
+ (geiser-con--connection-cancel-timer c))
+
+(defun geiser-con--setup-connection (buffer)
+ (with-current-buffer buffer
+ (when geiser-con--connection
+ (geiser-con--cleanup-connection geiser-con--connection))
+ (setq geiser-con--connection (geiser-con--make-connection buffer))
+ (geiser-con--setup-comint)
+ (geiser-con--connection-start-timer geiser-con--connection)
+ (message "Geiser REPL up and running!")))
+
+(defconst geiser-con--prompt-regex "^[^() \n]+@([^)]*?)> ")
+
+(defun geiser-con--setup-comint ()
+ (set (make-local-variable 'comint-redirect-insert-matching-regexp) nil)
+ (set (make-local-variable 'comint-redirect-finished-regexp) geiser-con--prompt-regex)
+ (add-hook 'comint-redirect-hook 'geiser-con--comint-redirect-hook nil t))
+
+
+;;; Requests handling:
+
+(defsubst geiser-con--comint-buffer ()
+ (get-buffer-create " *geiser connection retort*"))
+
+(defun geiser-con--comint-buffer-form ()
+ (with-current-buffer (geiser-con--comint-buffer)
+ (replace-string "#" ":" nil (point-min) (point-max))
+ (goto-char (point-min))
+ (condition-case nil
+ (let ((form (read (current-buffer))))
+ (if (listp form) form (error)))
+ (error `((error geiser-con-error ,(buffer-string)))))))
+
+(defun geiser-con--process-next (con)
+ (when (not (geiser-con--connection-current-request con))
+ (let* ((buffer (geiser-con--connection-buffer con))
+ (req (geiser-con--connection-pop-request con))
+ (str (and req (geiser-con--request-string req)))
+ (cbuf (with-current-buffer (geiser-con--comint-buffer)
+ (erase-buffer)
+ (current-buffer))))
+ (if (not (buffer-live-p buffer))
+ (geiser-con--connection-cancel-timer con)
+ (when (and buffer req str)
+ (set-buffer buffer)
+ (geiser-log--info "<%s>: %s" (geiser-con--request-id req) str)
+ (comint-redirect-send-command (format "%s" str) cbuf nil t))))))
+
+(defun geiser-con--process-completed-request (req)
+ (let ((cont (geiser-con--request-continuation req))
+ (id (geiser-con--request-id req))
+ (rstr (geiser-con--request-string req))
+ (buffer (geiser-con--request-buffer req)))
+ (if (not cont)
+ (geiser-log--warn "<%s> Droping result for request %S (%s)"
+ id rstr req)
+ (condition-case cerr
+ (with-current-buffer (or buffer (current-buffer))
+ (funcall cont (geiser-con--comint-buffer-form))
+ (geiser-log--info "<%s>: processed" id))
+ (error (geiser-log--error
+ "<%s>: continuation failed %S \n\t%s" id rstr cerr))))))
+
+(defun geiser-con--comint-redirect-hook ()
+ (if (not geiser-con--connection)
+ (geiser-log--error "No connection in buffer")
+ (let ((req (geiser-con--connection-current-request geiser-con--connection)))
+ (if (not req) (geiser-log--error "No current request")
+ (geiser-con--process-completed-request req)
+ (geiser-con--connection-clean-current-request geiser-con--connection)))))
+
+
+;;; Message sending interface:
+
+(defconst geiser-con--error-message "Geiser connection not active")
+
+(defun geiser-con--send-string (buffer/proc str cont &optional sender-buffer)
+ (save-current-buffer
+ (let ((con (geiser-con--get-connection buffer/proc)))
+ (unless con (error geiser-con--error-message))
+ (let ((req (geiser-con--make-request str cont sender-buffer)))
+ (geiser-con--connection-add-request con req)
+ (geiser-con--process-next con)
+ req))))
+
+(defvar geiser-connection-timeout 30000
+ "Time limit, in msecs, blocking on synchronous evaluation requests")
+
+(defun geiser-con--send-string/wait (buffer/proc str cont &optional timeout sbuf)
+ (save-current-buffer
+ (let ((con (geiser-con--get-connection buffer/proc)))
+ (unless con (error geiser-con--error-message))
+ (let* ((req (geiser-con--send-string buffer/proc str cont sbuf))
+ (id (and req (geiser-con--request-id req)))
+ (time (or timeout geiser-connection-timeout))
+ (step 100)
+ (waitsecs (/ step 1000.0)))
+ (when id
+ (condition-case nil
+ (while (and (> time 0)
+ (not (geiser-con--connection-completed-p con id)))
+ (accept-process-output nil waitsecs)
+ (setq time (- time step)))
+ (error (setq time 0)))
+ (or (> time 0)
+ (geiser-con--request-deactivate req)
+ nil))))))
+
+
+(provide 'geiser-connection)
+;;; geiser-connection.el ends here