Add 2012 to FSF copyright years for Emacs files (do not merge to trunk)
[emacs.git] / lisp / progmodes / xscheme.el
blob33637183a5fa23d3ab4dbe578aaa4f53e857a50f
1 ;;; xscheme.el --- run MIT Scheme under Emacs
3 ;; Copyright (C) 1986, 1987, 1989, 1990, 2001, 2002, 2003, 2004, 2005,
4 ;; 2006, 2007, 2008, 2009, 2010, 2011, 2012 Free Software Foundation, Inc.
6 ;; Maintainer: FSF
7 ;; Keywords: languages, lisp
9 ;; This file is part of GNU Emacs.
11 ;; GNU Emacs is free software: you can redistribute it and/or modify
12 ;; it under the terms of the GNU General Public License as published by
13 ;; the Free Software Foundation, either version 3 of the License, or
14 ;; (at your option) any later version.
16 ;; GNU Emacs is distributed in the hope that it will be useful,
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19 ;; GNU General Public License for more details.
21 ;; You should have received a copy of the GNU General Public License
22 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
24 ;;; Commentary:
26 ;; A major mode for interacting with MIT Scheme.
28 ;; Requires MIT Scheme release 5 or later.
29 ;; Changes to Control-G handler require runtime version 13.85 or later.
31 ;;; Code:
33 (require 'scheme)
35 ;;;; Internal Variables
37 (defvar xscheme-previous-mode)
38 (defvar xscheme-previous-process-state)
39 (defvar xscheme-last-input-end)
41 (defvar xscheme-process-command-line nil
42 "Command used to start the most recent Scheme process.")
44 (defvar xscheme-process-name "scheme"
45 "Name of xscheme process that we're currently interacting with.")
47 (defvar xscheme-buffer-name "*scheme*"
48 "Name of xscheme buffer that we're currently interacting with.")
50 (defvar xscheme-expressions-ring-max 30
51 "*Maximum length of Scheme expressions ring.")
53 (defvar xscheme-expressions-ring nil
54 "List of expressions recently transmitted to the Scheme process.")
56 (defvar xscheme-expressions-ring-yank-pointer nil
57 "The tail of the Scheme expressions ring whose car is the last thing yanked.")
59 (defvar xscheme-running-p nil
60 "This variable, if nil, indicates that the scheme process is
61 waiting for input. Otherwise, it is busy evaluating something.")
63 (defconst xscheme-control-g-synchronization-p t
64 "If non-nil, insert markers in the scheme input stream to indicate when
65 control-g interrupts were signaled. Do not allow more control-g's to be
66 signaled until the scheme process acknowledges receipt.")
68 (defvar xscheme-control-g-disabled-p nil
69 "This variable, if non-nil, indicates that a control-g is being processed
70 by the scheme process, so additional control-g's are to be ignored.")
72 (defvar xscheme-string-receiver nil
73 "Procedure to send the string argument from the scheme process.")
75 (defconst default-xscheme-runlight
76 '(": " xscheme-runlight-string)
77 "Default global (shared) xscheme-runlight modeline format.")
79 (defvar xscheme-runlight "")
80 (defvar xscheme-runlight-string nil)
82 (defvar xscheme-process-filter-state 'idle
83 "State of scheme process escape reader state machine:
84 idle waiting for an escape sequence
85 reading-type received an altmode but nothing else
86 reading-string reading prompt string")
88 (defvar xscheme-allow-output-p t
89 "This variable, if nil, prevents output from the scheme process
90 from being inserted into the process-buffer.")
92 (defvar xscheme-prompt ""
93 "The current scheme prompt string.")
95 (defvar xscheme-string-accumulator ""
96 "Accumulator for the string being received from the scheme process.")
98 (defvar xscheme-mode-string nil)
99 (setq-default scheme-mode-line-process
100 '("" xscheme-runlight))
102 (mapc 'make-variable-buffer-local
103 '(xscheme-expressions-ring
104 xscheme-expressions-ring-yank-pointer
105 xscheme-process-filter-state
106 xscheme-running-p
107 xscheme-control-g-disabled-p
108 xscheme-allow-output-p
109 xscheme-prompt
110 xscheme-string-accumulator
111 xscheme-mode-string
112 scheme-mode-line-process))
114 (defgroup xscheme nil
115 "Major mode for editing Scheme and interacting with MIT's C-Scheme."
116 :group 'lisp)
118 (defcustom scheme-band-name nil
119 "*Band loaded by the `run-scheme' command."
120 :type '(choice (const nil) string)
121 :group 'xscheme)
123 (defcustom scheme-program-arguments nil
124 "*Arguments passed to the Scheme program by the `run-scheme' command."
125 :type '(choice (const nil) string)
126 :group 'xscheme)
128 (defcustom xscheme-allow-pipelined-evaluation t
129 "If non-nil, an expression may be transmitted while another is evaluating.
130 Otherwise, attempting to evaluate an expression before the previous expression
131 has finished evaluating will signal an error."
132 :type 'boolean
133 :group 'xscheme)
135 (defcustom xscheme-startup-message
136 "This is the Scheme process buffer.
137 Type \\[xscheme-send-previous-expression] to evaluate the expression before point.
138 Type \\[xscheme-send-control-g-interrupt] to abort evaluation.
139 Type \\[describe-mode] for more information.
142 "String to insert into Scheme process buffer first time it is started.
143 Is processed with `substitute-command-keys' first."
144 :type 'string
145 :group 'xscheme)
147 (defcustom xscheme-signal-death-message nil
148 "If non-nil, causes a message to be generated when the Scheme process dies."
149 :type 'boolean
150 :group 'xscheme)
152 (defcustom xscheme-start-hook nil
153 "If non-nil, a procedure to call when the Scheme process is started.
154 When called, the current buffer will be the Scheme process-buffer."
155 :type 'hook
156 :group 'xscheme
157 :version "20.3")
159 (defun xscheme-evaluation-commands (keymap)
160 (define-key keymap "\e\C-x" 'xscheme-send-definition)
161 (define-key keymap "\C-x\C-e" 'xscheme-send-previous-expression)
162 (put 'xscheme-send-previous-expression :advertised-binding "\C-x\C-e")
163 (define-key keymap "\eo" 'xscheme-send-buffer)
164 (define-key keymap "\ez" 'xscheme-send-definition)
165 (define-key keymap "\e\C-m" 'xscheme-send-previous-expression)
166 (define-key keymap "\e\C-z" 'xscheme-send-region))
168 (defun xscheme-interrupt-commands (keymap)
169 (define-key keymap "\C-c\C-s" 'xscheme-select-process-buffer)
170 (define-key keymap "\C-c\C-b" 'xscheme-send-breakpoint-interrupt)
171 (define-key keymap "\C-c\C-c" 'xscheme-send-control-g-interrupt)
172 (define-key keymap "\C-c\C-u" 'xscheme-send-control-u-interrupt)
173 (define-key keymap "\C-c\C-x" 'xscheme-send-control-x-interrupt))
175 (xscheme-evaluation-commands scheme-mode-map)
176 (xscheme-interrupt-commands scheme-mode-map)
178 (defun run-scheme (command-line)
179 "Run MIT Scheme in an inferior process.
180 Output goes to the buffer `*scheme*'.
181 With argument, asks for a command line."
182 (interactive (list (xscheme-read-command-line current-prefix-arg)))
183 (xscheme-start command-line xscheme-process-name xscheme-buffer-name))
185 (defun xscheme-start (command-line process-name buffer-name)
186 (setq-default xscheme-process-command-line command-line)
187 (switch-to-buffer
188 (xscheme-start-process command-line process-name buffer-name))
189 (make-local-variable 'xscheme-process-command-line)
190 (setq xscheme-process-command-line command-line))
192 (defun xscheme-read-command-line (arg)
193 (let ((default
194 (or xscheme-process-command-line
195 (xscheme-default-command-line))))
196 (if arg
197 (read-string "Run Scheme: " default)
198 default)))
200 (defun xscheme-default-command-line ()
201 (concat scheme-program-name " -emacs"
202 (if scheme-program-arguments
203 (concat " " scheme-program-arguments)
205 (if scheme-band-name
206 (concat " -band " scheme-band-name)
207 "")))
209 (defun reset-scheme ()
210 "Reset the Scheme process."
211 (interactive)
212 (let ((process (get-process xscheme-process-name)))
213 (cond ((or (not process)
214 (not (eq (process-status process) 'run))
215 (yes-or-no-p
216 "The Scheme process is running, are you SURE you want to reset it? "))
217 (message "Resetting Scheme process...")
218 (if process
219 (progn
220 (kill-process process t)
221 (delete-process process)))
222 (xscheme-start-process xscheme-process-command-line
223 xscheme-process-name
224 xscheme-buffer-name)
225 (message "Resetting Scheme process...done")))))
227 ;;;; Multiple Scheme buffer management commands
229 (defun start-scheme (buffer-name &optional globally)
230 "Choose a scheme interaction buffer, or create a new one."
231 ;; (interactive "BScheme interaction buffer: \nP")
232 (interactive
233 (list (read-buffer "Scheme interaction buffer: "
234 xscheme-buffer-name
235 nil)
236 current-prefix-arg))
237 (let ((buffer (get-buffer-create buffer-name)))
238 (let ((process (get-buffer-process buffer)))
239 (if process
240 (switch-to-buffer buffer)
241 (if (or (not (buffer-file-name buffer))
242 (yes-or-no-p (concat "Buffer "
243 (buffer-name buffer)
244 " contains file "
245 (buffer-file-name buffer)
246 "; start scheme in it? ")))
247 (progn
248 (xscheme-start (xscheme-read-command-line t)
249 buffer-name
250 buffer-name)
251 (if globally
252 (global-set-scheme-interaction-buffer buffer-name)))
253 (message "start-scheme aborted"))))))
255 (fset 'select-scheme 'start-scheme)
257 (defun global-set-scheme-interaction-buffer (buffer-name)
258 "Set the default scheme interaction buffer."
259 (interactive
260 (list (read-buffer "Scheme interaction buffer: "
261 xscheme-buffer-name
262 t)))
263 (let ((process-name (verify-xscheme-buffer buffer-name nil)))
264 (setq-default xscheme-buffer-name buffer-name)
265 (setq-default xscheme-process-name process-name)
266 (setq-default xscheme-runlight-string
267 (with-current-buffer buffer-name
268 xscheme-runlight-string))
269 (setq-default xscheme-runlight
270 (if (eq (process-status process-name) 'run)
271 default-xscheme-runlight
272 ""))))
274 (defun local-set-scheme-interaction-buffer (buffer-name)
275 "Set the scheme interaction buffer for the current buffer."
276 (interactive
277 (list (read-buffer "Scheme interaction buffer: "
278 xscheme-buffer-name
279 t)))
280 (let ((process-name (verify-xscheme-buffer buffer-name t)))
281 (make-local-variable 'xscheme-buffer-name)
282 (setq xscheme-buffer-name buffer-name)
283 (make-local-variable 'xscheme-process-name)
284 (setq xscheme-process-name process-name)
285 (make-local-variable 'xscheme-runlight)
286 (setq xscheme-runlight (with-current-buffer buffer-name
287 xscheme-runlight))))
289 (defun local-clear-scheme-interaction-buffer ()
290 "Make the current buffer use the default scheme interaction buffer."
291 (interactive)
292 (if (xscheme-process-buffer-current-p)
293 (error "Cannot change the interaction buffer of an interaction buffer"))
294 (kill-local-variable 'xscheme-buffer-name)
295 (kill-local-variable 'xscheme-process-name)
296 (kill-local-variable 'xscheme-runlight))
298 (defun verify-xscheme-buffer (buffer-name localp)
299 (if (and localp (xscheme-process-buffer-current-p))
300 (error "Cannot change the interaction buffer of an interaction buffer"))
301 (let* ((buffer (get-buffer buffer-name))
302 (process (and buffer (get-buffer-process buffer))))
303 (cond ((not buffer)
304 (error "Buffer `%s' does not exist" buffer-name))
305 ((not process)
306 (error "Buffer `%s' is not a scheme interaction buffer" buffer-name))
308 (with-current-buffer buffer
309 (if (not (xscheme-process-buffer-current-p))
310 (error "Buffer `%s' is not a scheme interaction buffer"
311 buffer-name)))
312 (process-name process)))))
314 ;;;; Interaction Mode
316 (defun scheme-interaction-mode (&optional preserve)
317 "Major mode for interacting with an inferior MIT Scheme process.
318 Like scheme-mode except that:
320 \\[xscheme-send-previous-expression] sends the expression before point to the Scheme process as input
321 \\[xscheme-yank-pop] yanks an expression previously sent to Scheme
322 \\[xscheme-yank-push] yanks an expression more recently sent to Scheme
324 All output from the Scheme process is written in the Scheme process
325 buffer, which is initially named \"*scheme*\". The result of
326 evaluating a Scheme expression is also printed in the process buffer,
327 preceded by the string \";Value: \" to highlight it. If the process
328 buffer is not visible at that time, the value will also be displayed
329 in the minibuffer. If an error occurs, the process buffer will
330 automatically pop up to show you the error message.
332 While the Scheme process is running, the modelines of all buffers in
333 scheme-mode are modified to show the state of the process. The
334 possible states and their meanings are:
336 input waiting for input
337 run evaluating
338 gc garbage collecting
340 The process buffer's modeline contains additional information where
341 the buffer's name is normally displayed: the command interpreter level
342 and type.
344 Scheme maintains a stack of command interpreters. Every time an error
345 or breakpoint occurs, the current command interpreter is pushed on the
346 command interpreter stack, and a new command interpreter is started.
347 One example of why this is done is so that an error that occurs while
348 you are debugging another error will not destroy the state of the
349 initial error, allowing you to return to it after the second error has
350 been fixed.
352 The command interpreter level indicates how many interpreters are in
353 the command interpreter stack. It is initially set to one, and it is
354 incremented every time that stack is pushed, and decremented every
355 time it is popped. The following commands are useful for manipulating
356 the command interpreter stack:
358 \\[xscheme-send-breakpoint-interrupt] pushes the stack once
359 \\[xscheme-send-control-u-interrupt] pops the stack once
360 \\[xscheme-send-control-g-interrupt] pops everything off
361 \\[xscheme-send-control-x-interrupt] aborts evaluation, doesn't affect stack
363 Some possible command interpreter types and their meanings are:
365 \[Evaluator] read-eval-print loop for evaluating expressions
366 \[Debugger] single character commands for debugging errors
367 \[Where] single character commands for examining environments
369 Starting with release 6.2 of Scheme, the latter two types of command
370 interpreters will change the major mode of the Scheme process buffer
371 to scheme-debugger-mode , in which the evaluation commands are
372 disabled, and the keys which normally self insert instead send
373 themselves to the Scheme process. The command character ? will list
374 the available commands.
376 For older releases of Scheme, the major mode will be be
377 scheme-interaction-mode , and the command characters must be sent as
378 if they were expressions.
380 Commands:
381 Delete converts tabs to spaces as it moves back.
382 Blank lines separate paragraphs. Semicolons start comments.
383 \\{scheme-interaction-mode-map}
385 Entry to this mode calls the value of scheme-interaction-mode-hook
386 with no args, if that value is non-nil.
387 Likewise with the value of scheme-mode-hook.
388 scheme-interaction-mode-hook is called after scheme-mode-hook."
389 (interactive "P")
390 (if (not preserve)
391 (let ((previous-mode major-mode))
392 (kill-all-local-variables)
393 (make-local-variable 'xscheme-previous-mode)
394 (make-local-variable 'xscheme-buffer-name)
395 (make-local-variable 'xscheme-process-name)
396 (make-local-variable 'xscheme-previous-process-state)
397 (make-local-variable 'xscheme-runlight-string)
398 (make-local-variable 'xscheme-runlight)
399 (make-local-variable 'xscheme-last-input-end)
400 (setq xscheme-previous-mode previous-mode)
401 (let ((buffer (current-buffer)))
402 (setq xscheme-buffer-name (buffer-name buffer))
403 (setq xscheme-last-input-end (make-marker))
404 (let ((process (get-buffer-process buffer)))
405 (if process
406 (progn
407 (setq xscheme-process-name (process-name process))
408 (setq xscheme-previous-process-state
409 (cons (process-filter process)
410 (process-sentinel process)))
411 (xscheme-process-filter-initialize t)
412 (xscheme-modeline-initialize xscheme-buffer-name)
413 (set-process-sentinel process 'xscheme-process-sentinel)
414 (set-process-filter process 'xscheme-process-filter))
415 (setq xscheme-previous-process-state (cons nil nil)))))))
416 (scheme-interaction-mode-initialize)
417 (scheme-mode-variables)
418 (run-mode-hooks 'scheme-mode-hook 'scheme-interaction-mode-hook))
420 (defun exit-scheme-interaction-mode ()
421 "Take buffer out of scheme interaction mode"
422 (interactive)
423 (if (not (eq major-mode 'scheme-interaction-mode))
424 (error "Buffer not in scheme interaction mode"))
425 (let ((previous-state xscheme-previous-process-state))
426 (funcall xscheme-previous-mode)
427 (let ((process (get-buffer-process (current-buffer))))
428 (if process
429 (progn
430 (if (eq (process-filter process) 'xscheme-process-filter)
431 (set-process-filter process (car previous-state)))
432 (if (eq (process-sentinel process) 'xscheme-process-sentinel)
433 (set-process-sentinel process (cdr previous-state))))))))
435 (defvar scheme-interaction-mode-commands-alist nil)
436 (defvar scheme-interaction-mode-map nil)
438 (defun scheme-interaction-mode-initialize ()
439 (use-local-map scheme-interaction-mode-map)
440 (setq major-mode 'scheme-interaction-mode)
441 (setq mode-name "Scheme Interaction"))
443 (defun scheme-interaction-mode-commands (keymap)
444 (let ((entries scheme-interaction-mode-commands-alist))
445 (while entries
446 (define-key keymap
447 (car (car entries))
448 (car (cdr (car entries))))
449 (setq entries (cdr entries)))))
451 ;; Initialize the command alist
452 (setq scheme-interaction-mode-commands-alist
453 (append scheme-interaction-mode-commands-alist
454 '(("\C-c\C-m" xscheme-send-current-line)
455 ("\C-c\C-o" xscheme-delete-output)
456 ("\C-c\C-p" xscheme-send-proceed)
457 ("\C-c\C-y" xscheme-yank)
458 ("\ep" xscheme-yank-pop)
459 ("\en" xscheme-yank-push))))
461 ;; Initialize the mode map
462 (if (not scheme-interaction-mode-map)
463 (progn
464 (setq scheme-interaction-mode-map (make-keymap))
465 (scheme-mode-commands scheme-interaction-mode-map)
466 (xscheme-interrupt-commands scheme-interaction-mode-map)
467 (xscheme-evaluation-commands scheme-interaction-mode-map)
468 (scheme-interaction-mode-commands scheme-interaction-mode-map)))
470 (defun xscheme-enter-interaction-mode ()
471 (with-current-buffer (xscheme-process-buffer)
472 (if (not (eq major-mode 'scheme-interaction-mode))
473 (if (eq major-mode 'scheme-debugger-mode)
474 (scheme-interaction-mode-initialize)
475 (scheme-interaction-mode t)))))
477 (define-obsolete-function-alias 'advertised-xscheme-send-previous-expression
478 'xscheme-send-previous-expression "23.2")
480 ;;;; Debugger Mode
482 (defun scheme-debugger-mode ()
483 "Major mode for executing the Scheme debugger.
484 Like scheme-mode except that the evaluation commands
485 are disabled, and characters that would normally be self inserting are
486 sent to the Scheme process instead. Typing ? will show you which
487 characters perform useful functions.
489 Commands:
490 \\{scheme-debugger-mode-map}"
491 (error "Invalid entry to scheme-debugger-mode"))
493 (defvar scheme-debugger-mode-map nil)
495 (defun scheme-debugger-mode-initialize ()
496 (use-local-map scheme-debugger-mode-map)
497 (setq major-mode 'scheme-debugger-mode)
498 (setq mode-name "Scheme Debugger"))
500 (defun scheme-debugger-mode-commands (keymap)
501 (let ((char ?\s))
502 (while (< char 127)
503 (define-key keymap (char-to-string char) 'scheme-debugger-self-insert)
504 (setq char (1+ char)))))
506 ;; Initialize the debugger mode map
507 (if (not scheme-debugger-mode-map)
508 (progn
509 (setq scheme-debugger-mode-map (make-keymap))
510 (scheme-mode-commands scheme-debugger-mode-map)
511 (xscheme-interrupt-commands scheme-debugger-mode-map)
512 (scheme-debugger-mode-commands scheme-debugger-mode-map)))
514 (defun scheme-debugger-self-insert ()
515 "Transmit this character to the Scheme process."
516 (interactive)
517 (xscheme-send-char last-command-event))
519 (defun xscheme-enter-debugger-mode (prompt-string)
520 (with-current-buffer (xscheme-process-buffer)
521 (if (not (eq major-mode 'scheme-debugger-mode))
522 (progn
523 (if (not (eq major-mode 'scheme-interaction-mode))
524 (scheme-interaction-mode t))
525 (scheme-debugger-mode-initialize)))))
527 (defun xscheme-debugger-mode-p ()
528 (let ((buffer (xscheme-process-buffer)))
529 (and buffer
530 (with-current-buffer buffer
531 (eq major-mode 'scheme-debugger-mode)))))
533 ;;;; Evaluation Commands
535 (defun xscheme-send-string (&rest strings)
536 "Send the string arguments to the Scheme process.
537 The strings are concatenated and terminated by a newline."
538 (cond ((not (xscheme-process-running-p))
539 (if (yes-or-no-p "The Scheme process has died. Reset it? ")
540 (progn
541 (reset-scheme)
542 (xscheme-wait-for-process)
543 (xscheme-send-string-1 strings))))
544 ((xscheme-debugger-mode-p) (error "No sends allowed in debugger mode"))
545 ((and (not xscheme-allow-pipelined-evaluation)
546 xscheme-running-p)
547 (error "No sends allowed while Scheme running"))
548 (t (xscheme-send-string-1 strings))))
550 (defun xscheme-send-string-1 (strings)
551 (let ((string (apply 'concat strings)))
552 (xscheme-send-string-2 string)
553 (if (eq major-mode 'scheme-interaction-mode)
554 (xscheme-insert-expression string))))
556 (defun xscheme-send-string-2 (string)
557 (let ((process (get-process xscheme-process-name)))
558 (process-send-string process (concat string "\n"))
559 (if (xscheme-process-buffer-current-p)
560 (set-marker (process-mark process) (point)))))
562 (defun xscheme-select-process-buffer ()
563 "Select the Scheme process buffer and move to its output point."
564 (interactive)
565 (let ((process
566 (or (get-process xscheme-process-name)
567 (error "No scheme process"))))
568 (let ((buffer (or (process-buffer process) (error "No process buffer"))))
569 (let ((window (get-buffer-window buffer)))
570 (if window
571 (select-window window)
572 (switch-to-buffer buffer))
573 (goto-char (process-mark process))))))
575 ;;;; Scheme expressions ring
577 (defun xscheme-insert-expression (string)
578 (setq xscheme-expressions-ring-yank-pointer
579 (add-to-history 'xscheme-expressions-ring string
580 xscheme-expressions-ring-max)))
582 (defun xscheme-rotate-yank-pointer (arg)
583 "Rotate the yanking point in the kill ring."
584 (interactive "p")
585 (let ((length (length xscheme-expressions-ring)))
586 (if (zerop length)
587 (error "Scheme expression ring is empty")
588 (setq xscheme-expressions-ring-yank-pointer
589 (let ((index
590 (% (+ arg
591 (- length
592 (length xscheme-expressions-ring-yank-pointer)))
593 length)))
594 (nthcdr (if (< index 0)
595 (+ index length)
596 index)
597 xscheme-expressions-ring))))))
599 (defun xscheme-yank (&optional arg)
600 "Insert the most recent expression at point.
601 With just C-U as argument, same but put point in front (and mark at end).
602 With argument n, reinsert the nth most recently sent expression.
603 See also the commands \\[xscheme-yank-pop] and \\[xscheme-yank-push]."
604 (interactive "*P")
605 (xscheme-rotate-yank-pointer (if (listp arg) 0
606 (if (eq arg '-) -1
607 (1- arg))))
608 (push-mark (point))
609 (insert (car xscheme-expressions-ring-yank-pointer))
610 (if (consp arg)
611 (exchange-point-and-mark)))
613 ;; Old name, to avoid errors in users' init files.
614 (fset 'xscheme-yank-previous-send
615 'xscheme-yank)
617 (defun xscheme-yank-pop (arg)
618 "Insert or replace a just-yanked expression with an older expression.
619 If the previous command was not a yank, it yanks.
620 Otherwise, the region contains a stretch of reinserted
621 expression. yank-pop deletes that text and inserts in its
622 place a different expression.
624 With no argument, the next older expression is inserted.
625 With argument n, the n'th older expression is inserted.
626 If n is negative, this is a more recent expression.
628 The sequence of expressions wraps around, so that after the oldest one
629 comes the newest one."
630 (interactive "*p")
631 (setq this-command 'xscheme-yank)
632 (if (not (eq last-command 'xscheme-yank))
633 (progn
634 (xscheme-yank)
635 (setq arg (- arg 1))))
636 (if (not (= arg 0))
637 (let ((before (< (point) (mark))))
638 (delete-region (point) (mark))
639 (xscheme-rotate-yank-pointer arg)
640 (set-mark (point))
641 (insert (car xscheme-expressions-ring-yank-pointer))
642 (if before (exchange-point-and-mark)))))
644 (defun xscheme-yank-push (arg)
645 "Insert or replace a just-yanked expression with a more recent expression.
646 If the previous command was not a yank, it yanks.
647 Otherwise, the region contains a stretch of reinserted
648 expression. yank-pop deletes that text and inserts in its
649 place a different expression.
651 With no argument, the next more recent expression is inserted.
652 With argument n, the n'th more recent expression is inserted.
653 If n is negative, a less recent expression is used.
655 The sequence of expressions wraps around, so that after the oldest one
656 comes the newest one."
657 (interactive "*p")
658 (xscheme-yank-pop (- 0 arg)))
660 (defun xscheme-send-region (start end)
661 "Send the current region to the Scheme process.
662 The region is sent terminated by a newline."
663 (interactive "r")
664 (if (xscheme-process-buffer-current-p)
665 (progn
666 (goto-char end)
667 (if (not (bolp))
668 (insert-before-markers ?\n))
669 (set-marker (process-mark (get-process xscheme-process-name))
670 (point))
671 (set-marker xscheme-last-input-end (point))))
672 (xscheme-send-string (buffer-substring start end)))
674 (defun xscheme-send-definition ()
675 "Send the current definition to the Scheme process.
676 If the current line begins with a non-whitespace character,
677 parse an expression from the beginning of the line and send that instead."
678 (interactive)
679 (let ((start nil) (end nil))
680 (save-excursion
681 (end-of-defun)
682 (setq end (point))
683 (if (re-search-backward "^\\s(" nil t)
684 (setq start (point))
685 (error "Can't find definition")))
686 (xscheme-send-region start end)))
688 (defun xscheme-send-next-expression ()
689 "Send the expression to the right of `point' to the Scheme process."
690 (interactive)
691 (let ((start (point)))
692 (xscheme-send-region start (save-excursion (forward-sexp) (point)))))
694 (defun xscheme-send-previous-expression ()
695 "Send the expression to the left of `point' to the Scheme process."
696 (interactive)
697 (let ((end (point)))
698 (xscheme-send-region (save-excursion (backward-sexp) (point)) end)))
700 (defun xscheme-send-current-line ()
701 "Send the current line to the Scheme process.
702 Useful for working with debugging Scheme under adb."
703 (interactive)
704 (let ((line
705 (save-excursion
706 (beginning-of-line)
707 (let ((start (point)))
708 (end-of-line)
709 (buffer-substring start (point))))))
710 (end-of-line)
711 (insert ?\n)
712 (xscheme-send-string-2 line)))
714 (defun xscheme-send-buffer ()
715 "Send the current buffer to the Scheme process."
716 (interactive)
717 (if (xscheme-process-buffer-current-p)
718 (error "Not allowed to send this buffer's contents to Scheme"))
719 (xscheme-send-region (point-min) (point-max)))
721 (defun xscheme-send-char (char)
722 "Prompt for a character and send it to the Scheme process."
723 (interactive "cCharacter to send: ")
724 (process-send-string xscheme-process-name (char-to-string char)))
726 (defun xscheme-delete-output ()
727 "Delete all output from interpreter since last input."
728 (interactive)
729 (let ((proc (get-buffer-process (current-buffer))))
730 (save-excursion
731 (goto-char (process-mark proc))
732 (re-search-backward
733 "^;\\(Unspecified return value$\\|Value\\( [0-9]+\\)?: \\|\\(Abort\\|Up\\|Quit\\)!$\\)"
734 xscheme-last-input-end
736 (forward-line 0)
737 (if (< (marker-position xscheme-last-input-end) (point))
738 (progn
739 (delete-region xscheme-last-input-end (point))
740 (insert-before-markers "*** output flushed ***\n"))))))
742 ;;;; Interrupts
744 (defun xscheme-send-breakpoint-interrupt ()
745 "Cause the Scheme process to enter a breakpoint."
746 (interactive)
747 (xscheme-send-interrupt ?b nil))
749 (defun xscheme-send-proceed ()
750 "Cause the Scheme process to proceed from a breakpoint."
751 (interactive)
752 (process-send-string xscheme-process-name "(proceed)\n"))
754 (defconst xscheme-control-g-message-string
755 "Sending C-G interrupt to Scheme...")
757 (defun xscheme-send-control-g-interrupt ()
758 "Cause the Scheme processor to halt and flush input.
759 Control returns to the top level rep loop."
760 (interactive)
761 (let ((inhibit-quit t))
762 (cond ((not xscheme-control-g-synchronization-p)
763 (interrupt-process xscheme-process-name))
764 ((with-current-buffer xscheme-buffer-name
765 xscheme-control-g-disabled-p)
766 (message "Relax..."))
768 (with-current-buffer xscheme-buffer-name
769 (setq xscheme-control-g-disabled-p t))
770 (message xscheme-control-g-message-string)
771 (interrupt-process xscheme-process-name)
772 (sleep-for 0.1)
773 (xscheme-send-char 0)))))
775 (defun xscheme-send-control-u-interrupt ()
776 "Cause the Scheme process to halt, returning to previous rep loop."
777 (interactive)
778 (xscheme-send-interrupt ?u t))
780 (defun xscheme-send-control-x-interrupt ()
781 "Cause the Scheme process to halt, returning to current rep loop."
782 (interactive)
783 (xscheme-send-interrupt ?x t))
785 ;;; This doesn't really work right -- Scheme just gobbles the first
786 ;;; character in the input. There is no way for us to guarantee that
787 ;;; the argument to this procedure is the first char unless we put
788 ;;; some kind of marker in the input stream.
790 (defun xscheme-send-interrupt (char mark-p)
791 "Send a ^A type interrupt to the Scheme process."
792 (interactive "cInterrupt character to send: ")
793 (quit-process xscheme-process-name)
794 (sleep-for 0.1)
795 (xscheme-send-char char)
796 (if (and mark-p xscheme-control-g-synchronization-p)
797 (xscheme-send-char 0)))
799 ;;;; Basic Process Control
801 (defun xscheme-start-process (command-line the-process the-buffer)
802 (let ((buffer (get-buffer-create the-buffer)))
803 (let ((process (get-buffer-process buffer)))
804 (with-current-buffer buffer
805 (if (and process (memq (process-status process) '(run stop)))
806 (set-marker (process-mark process) (point-max))
807 (progn (if process (delete-process process))
808 (goto-char (point-max))
809 (scheme-interaction-mode nil)
810 (setq xscheme-process-name the-process)
811 (if (bobp)
812 (insert-before-markers
813 (substitute-command-keys xscheme-startup-message)))
814 (setq process
815 (let ((process-connection-type nil))
816 (apply 'start-process
817 (cons the-process
818 (cons buffer
819 (xscheme-parse-command-line
820 command-line))))))
821 (if (not (equal (process-name process) the-process))
822 (setq xscheme-process-name (process-name process)))
823 (if (not (equal (buffer-name buffer) the-buffer))
824 (setq xscheme-buffer-name (buffer-name buffer)))
825 (message "Starting process %s in buffer %s"
826 xscheme-process-name
827 xscheme-buffer-name)
828 (set-marker (process-mark process) (point-max))
829 (xscheme-process-filter-initialize t)
830 (xscheme-modeline-initialize xscheme-buffer-name)
831 (set-process-sentinel process 'xscheme-process-sentinel)
832 (set-process-filter process 'xscheme-process-filter)
833 (run-hooks 'xscheme-start-hook)))))
834 buffer))
836 (defun xscheme-parse-command-line (string)
837 (setq string (substitute-in-file-name string))
838 (let ((start 0)
839 (result '()))
840 (while start
841 (let ((index (string-match "[ \t]" string start)))
842 (setq start
843 (cond ((not index)
844 (setq result
845 (cons (substring string start)
846 result))
847 nil)
848 ((= index start)
849 (string-match "[^ \t]" string start))
851 (setq result
852 (cons (substring string start index)
853 result))
854 (1+ index))))))
855 (nreverse result)))
857 (defun xscheme-wait-for-process ()
858 (sleep-for 2)
859 (while xscheme-running-p
860 (sleep-for 1)))
862 (defun xscheme-process-running-p ()
863 "True if there is a Scheme process whose status is `run'."
864 (let ((process (get-process xscheme-process-name)))
865 (and process
866 (eq (process-status process) 'run))))
868 (defun xscheme-process-buffer ()
869 (let ((process (get-process xscheme-process-name)))
870 (and process (process-buffer process))))
872 (defun xscheme-process-buffer-window ()
873 (let ((buffer (xscheme-process-buffer)))
874 (and buffer (get-buffer-window buffer))))
876 (defun xscheme-process-buffer-current-p ()
877 "True if the current buffer is the Scheme process buffer."
878 (eq (xscheme-process-buffer) (current-buffer)))
880 ;;;; Process Filter Operations
882 (defvar xscheme-process-filter-alist
883 '((?A xscheme-eval
884 xscheme-process-filter:string-action-noexcursion)
885 (?D xscheme-enter-debugger-mode
886 xscheme-process-filter:string-action)
887 (?E xscheme-eval
888 xscheme-process-filter:string-action)
889 (?P xscheme-set-prompt-variable
890 xscheme-process-filter:string-action)
891 (?R xscheme-enter-interaction-mode
892 xscheme-process-filter:simple-action)
893 (?b xscheme-start-gc
894 xscheme-process-filter:simple-action)
895 (?c xscheme-unsolicited-read-char
896 xscheme-process-filter:simple-action)
897 (?e xscheme-finish-gc
898 xscheme-process-filter:simple-action)
899 (?f xscheme-exit-input-wait
900 xscheme-process-filter:simple-action)
901 (?g xscheme-enable-control-g
902 xscheme-process-filter:simple-action)
903 (?i xscheme-prompt-for-expression
904 xscheme-process-filter:string-action)
905 (?m xscheme-message
906 xscheme-process-filter:string-action)
907 (?n xscheme-prompt-for-confirmation
908 xscheme-process-filter:string-action)
909 (?o xscheme-output-goto
910 xscheme-process-filter:simple-action)
911 (?p xscheme-set-prompt
912 xscheme-process-filter:string-action)
913 (?s xscheme-enter-input-wait
914 xscheme-process-filter:simple-action)
915 (?v xscheme-write-value
916 xscheme-process-filter:string-action)
917 (?w xscheme-cd
918 xscheme-process-filter:string-action)
919 (?z xscheme-display-process-buffer
920 xscheme-process-filter:simple-action))
921 "Table used to decide how to handle process filter commands.
922 Value is a list of entries, each entry is a list of three items.
924 The first item is the character that the process filter dispatches on.
925 The second item is the action to be taken, a function.
926 The third item is the handler for the entry, a function.
928 When the process filter sees a command whose character matches a
929 particular entry, it calls the handler with two arguments: the action
930 and the string containing the rest of the process filter's input
931 stream. It is the responsibility of the handler to invoke the action
932 with the appropriate arguments, and to reenter the process filter with
933 the remaining input.")
935 ;;;; Process Filter
937 (defun xscheme-process-sentinel (proc reason)
938 (let* ((buffer (process-buffer proc))
939 (name (buffer-name buffer)))
940 (with-current-buffer buffer
941 (xscheme-process-filter-initialize (eq reason 'run))
942 (if (not (eq reason 'run))
943 (progn
944 (setq scheme-mode-line-process "")
945 (setq xscheme-mode-string "no process")
946 (if (equal name (default-value 'xscheme-buffer-name))
947 (setq-default xscheme-runlight ""))))
948 (if (and (not (memq reason '(run stop)))
949 xscheme-signal-death-message)
950 (progn
951 (beep)
952 (message
953 "The Scheme process has died! Do M-x reset-scheme to restart it"))))))
955 (defun xscheme-process-filter-initialize (running-p)
956 (setq xscheme-process-filter-state 'idle)
957 (setq xscheme-running-p running-p)
958 (setq xscheme-control-g-disabled-p nil)
959 (setq xscheme-allow-output-p t)
960 (setq xscheme-prompt "")
961 (if running-p
962 (let ((name (buffer-name (current-buffer))))
963 (setq scheme-mode-line-process '(": " xscheme-runlight-string))
964 (xscheme-modeline-initialize name)
965 (if (equal name (default-value 'xscheme-buffer-name))
966 (setq-default xscheme-runlight default-xscheme-runlight))))
967 (if (or (eq xscheme-runlight default-xscheme-runlight)
968 (equal xscheme-runlight ""))
969 (setq xscheme-runlight (list ": " 'xscheme-buffer-name ": " "?")))
970 (rplaca (nthcdr 3 xscheme-runlight)
971 (if running-p "?" "no process")))
973 (defun xscheme-process-filter (proc string)
974 (let ((xscheme-filter-input string)
975 (call-noexcursion nil))
976 (while xscheme-filter-input
977 (setq call-noexcursion nil)
978 (with-current-buffer (process-buffer proc)
979 (cond ((eq xscheme-process-filter-state 'idle)
980 (let ((start (string-match "\e" xscheme-filter-input)))
981 (if start
982 (progn
983 (xscheme-process-filter-output
984 (substring xscheme-filter-input 0 start))
985 (setq xscheme-filter-input
986 (substring xscheme-filter-input (1+ start)))
987 (setq xscheme-process-filter-state 'reading-type))
988 (let ((string xscheme-filter-input))
989 (setq xscheme-filter-input nil)
990 (xscheme-process-filter-output string)))))
991 ((eq xscheme-process-filter-state 'reading-type)
992 (if (zerop (length xscheme-filter-input))
993 (setq xscheme-filter-input nil)
994 (let ((char (aref xscheme-filter-input 0)))
995 (setq xscheme-filter-input
996 (substring xscheme-filter-input 1))
997 (let ((entry (assoc char xscheme-process-filter-alist)))
998 (if entry
999 (funcall (nth 2 entry) (nth 1 entry))
1000 (progn
1001 (xscheme-process-filter-output ?\e char)
1002 (setq xscheme-process-filter-state 'idle)))))))
1003 ((eq xscheme-process-filter-state 'reading-string)
1004 (let ((start (string-match "\e" xscheme-filter-input)))
1005 (if start
1006 (let ((string
1007 (concat xscheme-string-accumulator
1008 (substring xscheme-filter-input 0 start))))
1009 (setq xscheme-filter-input
1010 (substring xscheme-filter-input (1+ start)))
1011 (setq xscheme-process-filter-state 'idle)
1012 (if (listp xscheme-string-receiver)
1013 (progn
1014 (setq xscheme-string-receiver
1015 (car xscheme-string-receiver))
1016 (setq call-noexcursion string))
1017 (funcall xscheme-string-receiver string)))
1018 (progn
1019 (setq xscheme-string-accumulator
1020 (concat xscheme-string-accumulator
1021 xscheme-filter-input))
1022 (setq xscheme-filter-input nil)))))
1024 (error "Scheme process filter -- bad state"))))
1025 (if call-noexcursion
1026 (funcall xscheme-string-receiver call-noexcursion)))))
1028 ;;;; Process Filter Output
1030 (defun xscheme-process-filter-output (&rest args)
1031 (if xscheme-allow-output-p
1032 (let ((string (apply 'concat args)))
1033 (save-excursion
1034 (xscheme-goto-output-point)
1035 (let ((old-point (point)))
1036 (while (string-match "\\(\007\\|\f\\)" string)
1037 (let ((start (match-beginning 0))
1038 (end (match-end 0)))
1039 (insert-before-markers (substring string 0 start))
1040 (if (= ?\f (aref string start))
1041 (progn
1042 (if (not (bolp))
1043 (insert-before-markers ?\n))
1044 (insert-before-markers ?\f))
1045 (beep))
1046 (setq string (substring string (1+ start)))))
1047 (insert-before-markers string)
1048 (if (and xscheme-last-input-end
1049 (equal (marker-position xscheme-last-input-end) (point)))
1050 (set-marker xscheme-last-input-end old-point)))))))
1052 (defun xscheme-guarantee-newlines (n)
1053 (if xscheme-allow-output-p
1054 (save-excursion
1055 (xscheme-goto-output-point)
1056 (let ((stop nil))
1057 (while (and (not stop)
1058 (bolp))
1059 (setq n (1- n))
1060 (if (bobp)
1061 (setq stop t)
1062 (backward-char))))
1063 (xscheme-goto-output-point)
1064 (while (> n 0)
1065 (insert-before-markers ?\n)
1066 (setq n (1- n))))))
1068 (defun xscheme-goto-output-point ()
1069 (let ((process (get-process xscheme-process-name)))
1070 (set-buffer (process-buffer process))
1071 (goto-char (process-mark process))))
1073 (defun xscheme-modeline-initialize (name)
1074 (setq xscheme-runlight-string "")
1075 (if (equal name (default-value 'xscheme-buffer-name))
1076 (setq-default xscheme-runlight-string ""))
1077 (setq xscheme-mode-string "")
1078 (setq mode-line-buffer-identification
1079 (list (concat name ": ")
1080 'xscheme-mode-string)))
1082 (defun xscheme-set-runlight (runlight)
1083 (setq xscheme-runlight-string runlight)
1084 (if (equal (buffer-name (current-buffer))
1085 (default-value 'xscheme-buffer-name))
1086 (setq-default xscheme-runlight-string runlight))
1087 (rplaca (nthcdr 3 xscheme-runlight) runlight)
1088 (force-mode-line-update t))
1090 (defun xscheme-process-filter:simple-action (action)
1091 (setq xscheme-process-filter-state 'idle)
1092 (funcall action))
1094 (defun xscheme-process-filter:string-action (action)
1095 (setq xscheme-string-receiver action)
1096 (setq xscheme-string-accumulator "")
1097 (setq xscheme-process-filter-state 'reading-string))
1099 (defun xscheme-process-filter:string-action-noexcursion (action)
1100 (xscheme-process-filter:string-action (cons action nil)))
1102 (defconst xscheme-runlight:running "run"
1103 "The character displayed when the Scheme process is running.")
1105 (defconst xscheme-runlight:input "input"
1106 "The character displayed when the Scheme process is waiting for input.")
1108 (defconst xscheme-runlight:gc "gc"
1109 "The character displayed when the Scheme process is garbage collecting.")
1111 (defun xscheme-start-gc ()
1112 (xscheme-set-runlight xscheme-runlight:gc))
1114 (defun xscheme-finish-gc ()
1115 (xscheme-set-runlight
1116 (if xscheme-running-p xscheme-runlight:running xscheme-runlight:input)))
1118 (defun xscheme-enter-input-wait ()
1119 (xscheme-set-runlight xscheme-runlight:input)
1120 (setq xscheme-control-g-disabled-p nil)
1121 (setq xscheme-running-p nil))
1123 (defun xscheme-exit-input-wait ()
1124 (xscheme-set-runlight xscheme-runlight:running)
1125 (setq xscheme-running-p t))
1127 (defun xscheme-enable-control-g ()
1128 (setq xscheme-control-g-disabled-p nil)
1129 (if (string= (current-message) xscheme-control-g-message-string)
1130 (message nil)))
1132 (defun xscheme-display-process-buffer ()
1133 (let ((window (or (xscheme-process-buffer-window)
1134 (display-buffer (xscheme-process-buffer)))))
1135 (save-window-excursion
1136 (select-window window)
1137 (xscheme-goto-output-point)
1138 (if (xscheme-debugger-mode-p)
1139 (xscheme-enter-interaction-mode)))))
1141 (defun xscheme-unsolicited-read-char ()
1142 nil)
1144 (defun xscheme-eval (string)
1145 (eval (car (read-from-string string))))
1147 (defun xscheme-message (string)
1148 (if (not (zerop (length string)))
1149 (xscheme-write-message-1 string (format ";%s" string))))
1151 (defun xscheme-write-value (string)
1152 (if (zerop (length string))
1153 (xscheme-write-message-1 "(no value)" ";Unspecified return value")
1154 (xscheme-write-message-1 string (format ";Value: %s" string))))
1156 (defun xscheme-write-message-1 (message-string output-string)
1157 (let* ((process (get-process xscheme-process-name))
1158 (window (get-buffer-window (process-buffer process))))
1159 (if (or (not window)
1160 (not (pos-visible-in-window-p (process-mark process)
1161 window)))
1162 (message "%s" message-string)))
1163 (xscheme-guarantee-newlines 1)
1164 (xscheme-process-filter-output output-string))
1166 (defun xscheme-set-prompt-variable (string)
1167 (setq xscheme-prompt string))
1169 (defun xscheme-set-prompt (string)
1170 (setq xscheme-prompt string)
1171 (xscheme-guarantee-newlines 2)
1172 (setq xscheme-mode-string (xscheme-coerce-prompt string))
1173 (force-mode-line-update t))
1175 (defun xscheme-output-goto ()
1176 (xscheme-goto-output-point)
1177 (xscheme-guarantee-newlines 2))
1179 (defun xscheme-coerce-prompt (string)
1180 (if (string-match "^[0-9]+ \\[[^]]+\\] " string)
1181 (let ((end (match-end 0)))
1182 (xscheme-process-filter-output (substring string end))
1183 (substring string 0 (- end 1)))
1184 string))
1186 (defun xscheme-cd (directory-string)
1187 (with-current-buffer (xscheme-process-buffer)
1188 (cd directory-string)))
1190 (defun xscheme-prompt-for-confirmation (prompt-string)
1191 (xscheme-send-char (if (y-or-n-p prompt-string) ?y ?n)))
1193 (defvar xscheme-prompt-for-expression-map nil)
1194 (if (not xscheme-prompt-for-expression-map)
1195 (progn
1196 (setq xscheme-prompt-for-expression-map
1197 (copy-keymap minibuffer-local-map))
1198 (substitute-key-definition 'exit-minibuffer
1199 'xscheme-prompt-for-expression-exit
1200 xscheme-prompt-for-expression-map)))
1202 (defun xscheme-prompt-for-expression (prompt-string)
1203 (xscheme-send-string-2
1204 (read-from-minibuffer prompt-string nil xscheme-prompt-for-expression-map)))
1206 (defun xscheme-prompt-for-expression-exit ()
1207 (interactive)
1208 (if (eq (xscheme-region-expression-p (point-min) (point-max)) 'one)
1209 (exit-minibuffer)
1210 (error "input must be a single, complete expression")))
1212 (defun xscheme-region-expression-p (start end)
1213 (save-excursion
1214 (let ((old-syntax-table (syntax-table)))
1215 (unwind-protect
1216 (progn
1217 (set-syntax-table scheme-mode-syntax-table)
1218 (let ((state (parse-partial-sexp start end)))
1219 (and (zerop (car state)) ;depth = 0
1220 (nth 2 state) ;last-sexp exists, i.e. >= 1 sexps
1221 (let ((state (parse-partial-sexp start (nth 2 state))))
1222 (if (nth 2 state) 'many 'one)))))
1223 (set-syntax-table old-syntax-table)))))
1225 (provide 'xscheme)
1227 ;; arch-tag: cfc14adc-2917-409e-ad16-432e8d0017de
1228 ;;; xscheme.el ends here