* cedet/semantic/bovine/c.el (semantic-analyze-split-name): Move before use.
[emacs.git] / lisp / electric.el
bloba0d849bbcca5823f5b2fa1680258841a4ae42e62
1 ;;; electric.el --- window maker and Command loop for `electric' modes
3 ;; Copyright (C) 1985, 1986, 1995, 2001, 2002, 2003, 2004,
4 ;; 2005, 2006, 2007, 2008, 2009, 2010 Free Software Foundation, Inc.
6 ;; Author: K. Shane Hartman
7 ;; Maintainer: FSF
8 ;; Keywords: extensions
10 ;; This file is part of GNU Emacs.
12 ;; GNU Emacs is free software: you can redistribute it and/or modify
13 ;; it under the terms of the GNU General Public License as published by
14 ;; the Free Software Foundation, either version 3 of the License, or
15 ;; (at your option) any later version.
17 ;; GNU Emacs is distributed in the hope that it will be useful,
18 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
19 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
20 ;; GNU General Public License for more details.
22 ;; You should have received a copy of the GNU General Public License
23 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
25 ;;; Commentary:
27 ;; "Electric" has been used in Emacs to refer to different things.
28 ;; Among them:
30 ;; - electric modes and buffers: modes that typically pop-up in a modal kind of
31 ;; way a transient buffer that automatically disappears as soon as the user
32 ;; is done with it.
34 ;; - electric keys: self inserting keys which additionally perform some side
35 ;; operation which happens to be often convenient at that time. Examples of
36 ;; such side operations are: reindenting code, inserting a newline,
37 ;; ... auto-fill-mode and abbrev-mode can be considered as built-in forms of
38 ;; electric key behavior.
40 ;;; Code:
42 (eval-when-compile (require 'cl))
44 ;; This loop is the guts for non-standard modes which retain control
45 ;; until some event occurs. It is a `do-forever', the only way out is
46 ;; to throw. It assumes that you have set up the keymap, window, and
47 ;; everything else: all it does is read commands and execute them -
48 ;; providing error messages should one occur (if there is no loop
49 ;; function - which see). The required argument is a tag which should
50 ;; expect a value of nil if the user decides to punt. The second
51 ;; argument is the prompt to be used: if nil, use "->", if 'noprompt,
52 ;; don't use a prompt, if a string, use that string as prompt, and if
53 ;; a function of no variable, it will be evaluated in every iteration
54 ;; of the loop and its return value, which can be nil, 'noprompt or a
55 ;; string, will be used as prompt. Given third argument non-nil, it
56 ;; INHIBITS quitting unless the user types C-g at toplevel. This is
57 ;; so user can do things like C-u C-g and not get thrown out. Fourth
58 ;; argument, if non-nil, should be a function of two arguments which
59 ;; is called after every command is executed. The fifth argument, if
60 ;; provided, is the state variable for the function. If the
61 ;; loop-function gets an error, the loop will abort WITHOUT throwing
62 ;; (moral: use unwind-protect around call to this function for any
63 ;; critical stuff). The second argument for the loop function is the
64 ;; conditions for any error that occurred or nil if none.
66 (defun Electric-command-loop (return-tag
67 &optional prompt inhibit-quit
68 loop-function loop-state)
70 (let (cmd
71 (err nil)
72 (prompt-string prompt))
73 (while t
74 (if (functionp prompt)
75 (setq prompt-string (funcall prompt)))
76 (if (not (stringp prompt-string))
77 (setq prompt-string (unless (eq prompt-string 'noprompt) "->")))
78 (setq cmd (read-key-sequence prompt-string))
79 (setq last-command-event (aref cmd (1- (length cmd)))
80 this-command (key-binding cmd t)
81 cmd this-command)
82 ;; This makes universal-argument-other-key work.
83 (setq universal-argument-num-events 0)
84 (if (or (prog1 quit-flag (setq quit-flag nil))
85 (eq last-input-event ?\C-g))
86 (progn (setq unread-command-events nil
87 prefix-arg nil)
88 ;; If it wasn't cancelling a prefix character, then quit.
89 (if (or (= (length (this-command-keys)) 1)
90 (not inhibit-quit)) ; safety
91 (progn (ding)
92 (message "Quit")
93 (throw return-tag nil))
94 (setq cmd nil))))
95 (setq current-prefix-arg prefix-arg)
96 (if cmd
97 (condition-case conditions
98 (progn (command-execute cmd)
99 (setq last-command this-command)
100 (if (or (prog1 quit-flag (setq quit-flag nil))
101 (eq last-input-event ?\C-g))
102 (progn (setq unread-command-events nil)
103 (if (not inhibit-quit)
104 (progn (ding)
105 (message "Quit")
106 (throw return-tag nil))
107 (ding)))))
108 (buffer-read-only (if loop-function
109 (setq err conditions)
110 (ding)
111 (message "Buffer is read-only")
112 (sit-for 2)))
113 (beginning-of-buffer (if loop-function
114 (setq err conditions)
115 (ding)
116 (message "Beginning of Buffer")
117 (sit-for 2)))
118 (end-of-buffer (if loop-function
119 (setq err conditions)
120 (ding)
121 (message "End of Buffer")
122 (sit-for 2)))
123 (error (if loop-function
124 (setq err conditions)
125 (ding)
126 (message "Error: %s"
127 (if (eq (car conditions) 'error)
128 (car (cdr conditions))
129 (prin1-to-string conditions)))
130 (sit-for 2))))
131 (ding))
132 (if loop-function (funcall loop-function loop-state err))))
133 (ding)
134 (throw return-tag nil))
136 ;; This function is like pop-to-buffer, sort of.
137 ;; The algorithm is
138 ;; If there is a window displaying buffer
139 ;; Select it
140 ;; Else if there is only one window
141 ;; Split it, selecting the window on the bottom with height being
142 ;; the lesser of max-height (if non-nil) and the number of lines in
143 ;; the buffer to be displayed subject to window-min-height constraint.
144 ;; Else
145 ;; Switch to buffer in the current window.
147 ;; Then if max-height is nil, and not all of the lines in the buffer
148 ;; are displayed, grab the whole frame.
150 ;; Returns selected window on buffer positioned at point-min.
152 (defun Electric-pop-up-window (buffer &optional max-height)
153 (let* ((win (or (get-buffer-window buffer) (selected-window)))
154 (buf (get-buffer buffer))
155 (one-window (one-window-p t))
156 (pop-up-windows t)
157 (pop-up-frames nil))
158 (if (not buf)
159 (error "Buffer %s does not exist" buffer)
160 (cond ((and (eq (window-buffer win) buf))
161 (select-window win))
162 (one-window
163 (pop-to-buffer buffer)
164 (setq win (selected-window)))
166 (switch-to-buffer buf)))
167 ;; Don't shrink the window, but expand it if necessary.
168 (goto-char (point-min))
169 (unless (= (point-max) (window-end win t))
170 (fit-window-to-buffer win max-height))
171 win)))
173 ;;; Electric keys.
175 (defgroup electricity ()
176 "Electric behavior for self inserting keys."
177 :group 'editing)
179 ;; Electric indentation.
181 ;; Autoloading variables is generally undesirable, but major modes
182 ;; should usually set this variable by adding elements to the default
183 ;; value, which only works well if the variable is preloaded.
184 ;;;###autoload
185 (defvar electric-indent-chars '(?\n)
186 "Characters that should cause automatic reindentation.")
188 (defun electric-indent-post-self-insert-function ()
189 ;; FIXME: This reindents the current line, but what we really want instead is
190 ;; to reindent the whole affected text. That's the current line for simple
191 ;; cases, but not all cases. We do take care of the newline case in an
192 ;; ad-hoc fashion, but there are still missing cases such as the case of
193 ;; electric-pair-mode wrapping a region with a pair of parens.
194 ;; There might be a way to get it working by analyzing buffer-undo-list, but
195 ;; it looks challenging.
196 (when (and (memq last-command-event electric-indent-chars)
197 ;; Don't reindent while inserting spaces at beginning of line.
198 (or (not (memq last-command-event '(?\s ?\t)))
199 (save-excursion (skip-chars-backward " \t") (not (bolp))))
200 ;; Not in a string or comment.
201 (not (nth 8 (syntax-ppss))))
202 ;; For newline, we want to reindent both lines and basically behave like
203 ;; reindent-then-newline-and-indent (whose code we hence copied).
204 (when (and (eq last-command-event ?\n)
205 ;; Don't reindent the previous line if the indentation function
206 ;; is not a real one.
207 (not (memq indent-line-function
208 '(indent-relative indent-relative-maybe)))
209 ;; Sanity check.
210 (eq (char-before) last-command-event))
211 (let ((pos (copy-marker (1- (point)) t)))
212 (save-excursion
213 (goto-char pos)
214 (indent-according-to-mode)
215 ;; We are at EOL before the call to indent-according-to-mode, and
216 ;; after it we usually are as well, but not always. We tried to
217 ;; address it with `save-excursion' but that uses a normal marker
218 ;; whereas we need `move after insertion', so we do the
219 ;; save/restore by hand.
220 (goto-char pos)
221 ;; Remove the trailing whitespace after indentation because
222 ;; indentation may (re)introduce the whitespace.
223 (delete-horizontal-space t))))
224 (indent-according-to-mode)))
226 ;;;###autoload
227 (define-minor-mode electric-indent-mode
228 "Automatically reindent lines of code when inserting particular chars.
229 `electric-indent-chars' specifies the set of chars that should cause reindentation."
230 :global t
231 :group 'electricity
232 (if electric-indent-mode
233 (add-hook 'post-self-insert-hook
234 #'electric-indent-post-self-insert-function)
235 (remove-hook 'post-self-insert-hook
236 #'electric-indent-post-self-insert-function)))
238 ;; Electric pairing.
240 (defcustom electric-pair-skip-self t
241 "If non-nil, skip char instead of inserting a second closing paren.
242 When inserting a closing paren character right before the same character,
243 just skip that character instead, so that hitting ( followed by ) results
244 in \"()\" rather than \"())\".
245 This can be convenient for people who find it easier to hit ) than C-f."
246 :type 'boolean)
248 (defun electric-pair-post-self-insert-function ()
249 (let* ((syntax (and (eq (char-before) last-command-event) ; Sanity check.
250 (char-syntax last-command-event)))
251 ;; FIXME: when inserting the closer, we should maybe use
252 ;; self-insert-command, although it may prove tricky running
253 ;; post-self-insert-hook recursively, and we wouldn't want to trigger
254 ;; blink-matching-open.
255 (closer (if (eq syntax ?\()
256 (cdr (aref (syntax-table) last-command-event))
257 last-command-event)))
258 (cond
259 ;; Wrap a pair around the active region.
260 ((and (memq syntax '(?\( ?\" ?\$)) (use-region-p))
261 (if (> (mark) (point))
262 (goto-char (mark))
263 ;; We already inserted the open-paren but at the end of the region,
264 ;; so we have to remove it and start over.
265 (delete-char -1)
266 (save-excursion
267 (goto-char (mark))
268 (insert last-command-event)))
269 (insert closer))
270 ;; Backslash-escaped: no pairing, no skipping.
271 ((save-excursion
272 (goto-char (1- (point)))
273 (not (zerop (% (skip-syntax-backward "\\") 2))))
274 nil)
275 ;; Skip self.
276 ((and (memq syntax '(?\) ?\" ?\$))
277 electric-pair-skip-self
278 (eq (char-after) last-command-event))
279 ;; This is too late: rather than insert&delete we'd want to only skip (or
280 ;; insert in overwrite mode). The difference is in what goes in the
281 ;; undo-log and in the intermediate state which might be visible to other
282 ;; post-self-insert-hook. We'll just have to live with it for now.
283 (delete-char 1))
284 ;; Insert matching pair.
285 ((not (or (not (memq syntax `(?\( ?\" ?\$)))
286 overwrite-mode
287 ;; I find it more often preferable not to pair when the
288 ;; same char is next.
289 (eq last-command-event (char-after))
290 (eq last-command-event (char-before (1- (point))))
291 ;; I also find it often preferable not to pair next to a word.
292 (eq (char-syntax (following-char)) ?w)))
293 (save-excursion (insert closer))))))
295 ;;;###autoload
296 (define-minor-mode electric-pair-mode
297 "Automatically pair-up parens when inserting an open paren."
298 :global t
299 :group 'electricity
300 (if electric-pair-mode
301 (add-hook 'post-self-insert-hook
302 #'electric-pair-post-self-insert-function)
303 (remove-hook 'post-self-insert-hook
304 #'electric-pair-post-self-insert-function)))
306 (provide 'electric)
308 ;; arch-tag: dae045eb-dc2d-4fb7-9f27-9cc2ce277be8
309 ;;; electric.el ends here