From 377d6d19debce5572052727323931f1b8306226b Mon Sep 17 00:00:00 2001 From: Jose Antonio Ortega Ruiz Date: Sun, 8 Feb 2009 01:09:07 +0100 Subject: Basic Guile/Emacs connection and evaluation working. --- elisp/geiser-connection.el | 245 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 245 insertions(+) create mode 100644 elisp/geiser-connection.el (limited to 'elisp/geiser-connection.el') 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 +;; 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 . + +;;; 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 -- cgit v1.2.3