Update copyright notices for 2013.
[bpt/emacs.git] / lisp / emacs-lisp / eldoc.el
1 ;;; eldoc.el --- show function arglist or variable docstring in echo area
2
3 ;; Copyright (C) 1996-2013 Free Software Foundation, Inc.
4
5 ;; Author: Noah Friedman <friedman@splode.com>
6 ;; Maintainer: friedman@splode.com
7 ;; Keywords: extensions
8 ;; Created: 1995-10-06
9
10 ;; This file is part of GNU Emacs.
11
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.
16
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.
21
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/>.
24
25 ;;; Commentary:
26
27 ;; This program was inspired by the behavior of the "mouse documentation
28 ;; window" on many Lisp Machine systems; as you type a function's symbol
29 ;; name as part of a sexp, it will print the argument list for that
30 ;; function. Behavior is not identical; for example, you need not actually
31 ;; type the function name, you need only move point around in a sexp that
32 ;; calls it. Also, if point is over a documented variable, it will print
33 ;; the one-line documentation for that variable instead, to remind you of
34 ;; that variable's meaning.
35
36 ;; One useful way to enable this minor mode is to put the following in your
37 ;; .emacs:
38 ;;
39 ;; (add-hook 'emacs-lisp-mode-hook 'turn-on-eldoc-mode)
40 ;; (add-hook 'lisp-interaction-mode-hook 'turn-on-eldoc-mode)
41 ;; (add-hook 'ielm-mode-hook 'turn-on-eldoc-mode)
42
43 ;; Major modes for other languages may use ElDoc by defining an
44 ;; appropriate function as the buffer-local value of
45 ;; `eldoc-documentation-function'.
46
47 ;;; Code:
48
49 (require 'help-fns) ;For fundoc-usage handling functions.
50
51 (defgroup eldoc nil
52 "Show function arglist or variable docstring in echo area."
53 :group 'lisp
54 :group 'extensions)
55
56 (defcustom eldoc-idle-delay 0.50
57 "Number of seconds of idle time to wait before printing.
58 If user input arrives before this interval of time has elapsed after the
59 last input, no documentation will be printed.
60
61 If this variable is set to 0, no idle time is required."
62 :type 'number
63 :group 'eldoc)
64
65 ;;;###autoload
66 (defcustom eldoc-minor-mode-string (purecopy " ElDoc")
67 "String to display in mode line when ElDoc Mode is enabled; nil for none."
68 :type '(choice string (const :tag "None" nil))
69 :group 'eldoc)
70
71 (defcustom eldoc-argument-case 'upcase
72 "Case to display argument names of functions, as a symbol.
73 This has two preferred values: `upcase' or `downcase'.
74 Actually, any name of a function which takes a string as an argument and
75 returns another string is acceptable.
76
77 Note that if `eldoc-documentation-function' is non-nil, this variable
78 has no effect, unless the function handles it explicitly."
79 :type '(radio (function-item upcase)
80 (function-item downcase)
81 function)
82 :group 'eldoc)
83
84 (defcustom eldoc-echo-area-use-multiline-p 'truncate-sym-name-if-fit
85 "Allow long ElDoc messages to resize echo area display.
86 If value is t, never attempt to truncate messages; complete symbol name
87 and function arglist or 1-line variable documentation will be displayed
88 even if echo area must be resized to fit.
89
90 If value is any non-nil value other than t, symbol name may be truncated
91 if it will enable the function arglist or documentation string to fit on a
92 single line without resizing window. Otherwise, behavior is just like
93 former case.
94
95 If value is nil, messages are always truncated to fit in a single line of
96 display in the echo area. Function or variable symbol name may be
97 truncated to make more of the arglist or documentation string visible.
98
99 Note that if `eldoc-documentation-function' is non-nil, this variable
100 has no effect, unless the function handles it explicitly."
101 :type '(radio (const :tag "Always" t)
102 (const :tag "Never" nil)
103 (const :tag "Yes, but truncate symbol names if it will\
104 enable argument list to fit on one line" truncate-sym-name-if-fit))
105 :group 'eldoc)
106
107 (defface eldoc-highlight-function-argument
108 '((t (:inherit bold)))
109 "Face used for the argument at point in a function's argument list.
110 Note that if `eldoc-documentation-function' is non-nil, this face
111 has no effect, unless the function handles it explicitly."
112 :group 'eldoc)
113
114 ;;; No user options below here.
115
116 (defvar eldoc-message-commands-table-size 31
117 "Used by `eldoc-add-command' to initialize `eldoc-message-commands' obarray.
118 It should probably never be necessary to do so, but if you
119 choose to increase the number of buckets, you must do so before loading
120 this file since the obarray is initialized at load time.
121 Remember to keep it a prime number to improve hash performance.")
122
123 (defconst eldoc-message-commands
124 (make-vector eldoc-message-commands-table-size 0)
125 "Commands after which it is appropriate to print in the echo area.
126 ElDoc does not try to print function arglists, etc., after just any command,
127 because some commands print their own messages in the echo area and these
128 functions would instantly overwrite them. But `self-insert-command' as well
129 as most motion commands are good candidates.
130 This variable contains an obarray of symbols; do not manipulate it
131 directly. Instead, use `eldoc-add-command' and `eldoc-remove-command'.")
132
133 ;; Not a constant.
134 (defconst eldoc-last-data (make-vector 3 nil)
135 "Bookkeeping; elements are as follows:
136 0 - contains the last symbol read from the buffer.
137 1 - contains the string last displayed in the echo area for variables,
138 or argument string for functions.
139 2 - 'function if function args, 'variable if variable documentation.")
140
141 (defvar eldoc-last-message nil)
142
143 (defvar eldoc-timer nil "ElDoc's timer object.")
144
145 (defvar eldoc-current-idle-delay eldoc-idle-delay
146 "Idle time delay currently in use by timer.
147 This is used to determine if `eldoc-idle-delay' is changed by the user.")
148
149 \f
150 ;;;###autoload
151 (define-minor-mode eldoc-mode
152 "Toggle echo area display of Lisp objects at point (ElDoc mode).
153 With a prefix argument ARG, enable ElDoc mode if ARG is positive,
154 and disable it otherwise. If called from Lisp, enable ElDoc mode
155 if ARG is omitted or nil.
156
157 ElDoc mode is a buffer-local minor mode. When enabled, the echo
158 area displays information about a function or variable in the
159 text where point is. If point is on a documented variable, it
160 displays the first line of that variable's doc string. Otherwise
161 it displays the argument list of the function called in the
162 expression point is on."
163 :group 'eldoc :lighter eldoc-minor-mode-string
164 (setq eldoc-last-message nil)
165 (if eldoc-mode
166 (progn
167 (add-hook 'post-command-hook 'eldoc-schedule-timer nil t)
168 (add-hook 'pre-command-hook 'eldoc-pre-command-refresh-echo-area t))
169 (remove-hook 'post-command-hook 'eldoc-schedule-timer)
170 (remove-hook 'pre-command-hook 'eldoc-pre-command-refresh-echo-area)))
171
172 ;;;###autoload
173 (defun turn-on-eldoc-mode ()
174 "Unequivocally turn on ElDoc mode (see command `eldoc-mode')."
175 (interactive)
176 (eldoc-mode 1))
177
178 \f
179 (defun eldoc-schedule-timer ()
180 (or (and eldoc-timer
181 (memq eldoc-timer timer-idle-list))
182 (setq eldoc-timer
183 (run-with-idle-timer eldoc-idle-delay t
184 'eldoc-print-current-symbol-info)))
185
186 ;; If user has changed the idle delay, update the timer.
187 (cond ((not (= eldoc-idle-delay eldoc-current-idle-delay))
188 (setq eldoc-current-idle-delay eldoc-idle-delay)
189 (timer-set-idle-time eldoc-timer eldoc-idle-delay t))))
190
191 (defun eldoc-message (&rest args)
192 (let ((omessage eldoc-last-message))
193 (setq eldoc-last-message
194 (cond ((eq (car args) eldoc-last-message) eldoc-last-message)
195 ((null (car args)) nil)
196 ;; If only one arg, no formatting to do, so put it in
197 ;; eldoc-last-message so eq test above might succeed on
198 ;; subsequent calls.
199 ((null (cdr args)) (car args))
200 (t (apply 'format args))))
201 ;; In emacs 19.29 and later, and XEmacs 19.13 and later, all messages
202 ;; are recorded in a log. Do not put eldoc messages in that log since
203 ;; they are Legion.
204 ;; Emacs way of preventing log messages.
205 (let ((message-log-max nil))
206 (cond (eldoc-last-message (message "%s" eldoc-last-message))
207 (omessage (message nil)))))
208 eldoc-last-message)
209
210 ;; This function goes on pre-command-hook for XEmacs or when using idle
211 ;; timers in Emacs. Motion commands clear the echo area for some reason,
212 ;; which make eldoc messages flicker or disappear just before motion
213 ;; begins. This function reprints the last eldoc message immediately
214 ;; before the next command executes, which does away with the flicker.
215 ;; This doesn't seem to be required for Emacs 19.28 and earlier.
216 (defun eldoc-pre-command-refresh-echo-area ()
217 (and eldoc-last-message
218 (if (eldoc-display-message-no-interference-p)
219 (eldoc-message eldoc-last-message)
220 (setq eldoc-last-message nil))))
221
222 ;; Decide whether now is a good time to display a message.
223 (defun eldoc-display-message-p ()
224 (and (eldoc-display-message-no-interference-p)
225 ;; If this-command is non-nil while running via an idle
226 ;; timer, we're still in the middle of executing a command,
227 ;; e.g. a query-replace where it would be annoying to
228 ;; overwrite the echo area.
229 (and (not this-command)
230 (symbolp last-command)
231 (intern-soft (symbol-name last-command)
232 eldoc-message-commands))))
233
234 ;; Check various conditions about the current environment that might make
235 ;; it undesirable to print eldoc messages right this instant.
236 (defun eldoc-display-message-no-interference-p ()
237 (and eldoc-mode
238 (not executing-kbd-macro)
239 (not (and (boundp 'edebug-active) edebug-active))
240 ;; Having this mode operate in an active minibuffer/echo area causes
241 ;; interference with what's going on there.
242 (not cursor-in-echo-area)
243 (not (eq (selected-window) (minibuffer-window)))))
244
245 \f
246 ;;;###autoload
247 (defvar eldoc-documentation-function nil
248 "If non-nil, function to call to return doc string.
249 The function of no args should return a one-line string for displaying
250 doc about a function etc. appropriate to the context around point.
251 It should return nil if there's no doc appropriate for the context.
252 Typically doc is returned if point is on a function-like name or in its
253 arg list.
254
255 The result is used as is, so the function must explicitly handle
256 the variables `eldoc-argument-case' and `eldoc-echo-area-use-multiline-p',
257 and the face `eldoc-highlight-function-argument', if they are to have any
258 effect.
259
260 This variable is expected to be made buffer-local by modes (other than
261 Emacs Lisp mode) that support ElDoc.")
262
263 (defun eldoc-print-current-symbol-info ()
264 (condition-case err
265 (and (eldoc-display-message-p)
266 (if eldoc-documentation-function
267 (eldoc-message (funcall eldoc-documentation-function))
268 (let* ((current-symbol (eldoc-current-symbol))
269 (current-fnsym (eldoc-fnsym-in-current-sexp))
270 (doc (cond
271 ((null current-fnsym)
272 nil)
273 ((eq current-symbol (car current-fnsym))
274 (or (apply 'eldoc-get-fnsym-args-string
275 current-fnsym)
276 (eldoc-get-var-docstring current-symbol)))
277 (t
278 (or (eldoc-get-var-docstring current-symbol)
279 (apply 'eldoc-get-fnsym-args-string
280 current-fnsym))))))
281 (eldoc-message doc))))
282 ;; This is run from post-command-hook or some idle timer thing,
283 ;; so we need to be careful that errors aren't ignored.
284 (error (message "eldoc error: %s" err))))
285
286 (defun eldoc-get-fnsym-args-string (sym &optional index)
287 "Return a string containing the parameter list of the function SYM.
288 If SYM is a subr and no arglist is obtainable from the docstring
289 or elsewhere, return a 1-line docstring. Calls the functions
290 `eldoc-function-argstring-format' and
291 `eldoc-highlight-function-argument' to format the result. The
292 former calls `eldoc-argument-case'; the latter gives the
293 function name `font-lock-function-name-face', and optionally
294 highlights argument number INDEX."
295 (let (args doc advertised)
296 (cond ((not (and sym (symbolp sym) (fboundp sym))))
297 ((and (eq sym (aref eldoc-last-data 0))
298 (eq 'function (aref eldoc-last-data 2)))
299 (setq doc (aref eldoc-last-data 1)))
300 ((listp (setq advertised (gethash (indirect-function sym)
301 advertised-signature-table t)))
302 (setq args advertised))
303 ((setq doc (help-split-fundoc (documentation sym t) sym))
304 (setq args (car doc))
305 ;; Remove any enclosing (), since e-function-argstring adds them.
306 (string-match "\\`[^ )]* ?" args)
307 (setq args (substring args (match-end 0)))
308 (if (string-match-p ")\\'" args)
309 (setq args (substring args 0 -1))))
310 (t
311 (setq args (help-function-arglist sym))))
312 (if args
313 ;; Stringify, and store before highlighting, downcasing, etc.
314 ;; FIXME should truncate before storing.
315 (eldoc-last-data-store sym (setq args (eldoc-function-argstring args))
316 'function)
317 (setq args doc)) ; use stored value
318 ;; Change case, highlight, truncate.
319 (if args
320 (eldoc-highlight-function-argument
321 sym (eldoc-function-argstring-format args) index))))
322
323 (defun eldoc-highlight-function-argument (sym args index)
324 "Highlight argument INDEX in ARGS list for function SYM.
325 In the absence of INDEX, just call `eldoc-docstring-format-sym-doc'."
326 (let ((start nil)
327 (end 0)
328 (argument-face 'eldoc-highlight-function-argument))
329 ;; Find the current argument in the argument string. We need to
330 ;; handle `&rest' and informal `...' properly.
331 ;;
332 ;; FIXME: What to do with optional arguments, like in
333 ;; (defun NAME ARGLIST [DOCSTRING] BODY...) case?
334 ;; The problem is there is no robust way to determine if
335 ;; the current argument is indeed a docstring.
336 (while (and index (>= index 1))
337 (if (string-match "[^ ()]+" args end)
338 (progn
339 (setq start (match-beginning 0)
340 end (match-end 0))
341 (let ((argument (match-string 0 args)))
342 (cond ((string= argument "&rest")
343 ;; All the rest arguments are the same.
344 (setq index 1))
345 ((string= argument "&optional"))
346 ((string-match-p "\\.\\.\\.$" argument)
347 (setq index 0))
348 (t
349 (setq index (1- index))))))
350 (setq end (length args)
351 start (1- end)
352 argument-face 'font-lock-warning-face
353 index 0)))
354 (let ((doc args))
355 (when start
356 (setq doc (copy-sequence args))
357 (add-text-properties start end (list 'face argument-face) doc))
358 (setq doc (eldoc-docstring-format-sym-doc
359 sym doc 'font-lock-function-name-face))
360 doc)))
361
362 ;; Return a string containing a brief (one-line) documentation string for
363 ;; the variable.
364 (defun eldoc-get-var-docstring (sym)
365 (when sym
366 (cond ((and (eq sym (aref eldoc-last-data 0))
367 (eq 'variable (aref eldoc-last-data 2)))
368 (aref eldoc-last-data 1))
369 (t
370 (let ((doc (documentation-property sym 'variable-documentation t)))
371 (cond (doc
372 (setq doc (eldoc-docstring-format-sym-doc
373 sym (eldoc-docstring-first-line doc)
374 'font-lock-variable-name-face))
375 (eldoc-last-data-store sym doc 'variable)))
376 doc)))))
377
378 (defun eldoc-last-data-store (symbol doc type)
379 (aset eldoc-last-data 0 symbol)
380 (aset eldoc-last-data 1 doc)
381 (aset eldoc-last-data 2 type))
382
383 ;; Note that any leading `*' in the docstring (which indicates the variable
384 ;; is a user option) is removed.
385 (defun eldoc-docstring-first-line (doc)
386 (and (stringp doc)
387 (substitute-command-keys
388 (save-match-data
389 ;; Don't use "^" in the regexp below since it may match
390 ;; anywhere in the doc-string.
391 (let ((start (if (string-match "\\`\\*" doc) (match-end 0) 0)))
392 (cond ((string-match "\n" doc)
393 (substring doc start (match-beginning 0)))
394 ((zerop start) doc)
395 (t (substring doc start))))))))
396
397 ;; If the entire line cannot fit in the echo area, the symbol name may be
398 ;; truncated or eliminated entirely from the output to make room for the
399 ;; description.
400 (defun eldoc-docstring-format-sym-doc (sym doc face)
401 (save-match-data
402 (let* ((name (symbol-name sym))
403 (ea-multi eldoc-echo-area-use-multiline-p)
404 ;; Subtract 1 from window width since emacs will not write
405 ;; any chars to the last column, or in later versions, will
406 ;; cause a wraparound and resize of the echo area.
407 (ea-width (1- (window-width (minibuffer-window))))
408 (strip (- (+ (length name) (length ": ") (length doc)) ea-width)))
409 (cond ((or (<= strip 0)
410 (eq ea-multi t)
411 (and ea-multi (> (length doc) ea-width)))
412 (format "%s: %s" (propertize name 'face face) doc))
413 ((> (length doc) ea-width)
414 (substring (format "%s" doc) 0 ea-width))
415 ((>= strip (length name))
416 (format "%s" doc))
417 (t
418 ;; Show the end of the partial symbol name, rather
419 ;; than the beginning, since the former is more likely
420 ;; to be unique given package namespace conventions.
421 (setq name (substring name strip))
422 (format "%s: %s" (propertize name 'face face) doc))))))
423
424 \f
425 ;; Return a list of current function name and argument index.
426 (defun eldoc-fnsym-in-current-sexp ()
427 (save-excursion
428 (let ((argument-index (1- (eldoc-beginning-of-sexp))))
429 ;; If we are at the beginning of function name, this will be -1.
430 (when (< argument-index 0)
431 (setq argument-index 0))
432 ;; Don't do anything if current word is inside a string.
433 (if (= (or (char-after (1- (point))) 0) ?\")
434 nil
435 (list (eldoc-current-symbol) argument-index)))))
436
437 ;; Move to the beginning of current sexp. Return the number of nested
438 ;; sexp the point was over or after.
439 (defun eldoc-beginning-of-sexp ()
440 (let ((parse-sexp-ignore-comments t)
441 (num-skipped-sexps 0))
442 (condition-case err
443 (progn
444 ;; First account for the case the point is directly over a
445 ;; beginning of a nested sexp.
446 (condition-case err
447 (let ((p (point)))
448 (forward-sexp -1)
449 (forward-sexp 1)
450 (when (< (point) p)
451 (setq num-skipped-sexps 1)))
452 (error))
453 (while
454 (let ((p (point)))
455 (forward-sexp -1)
456 (when (< (point) p)
457 (setq num-skipped-sexps (1+ num-skipped-sexps))))))
458 (error))
459 num-skipped-sexps))
460
461 ;; returns nil unless current word is an interned symbol.
462 (defun eldoc-current-symbol ()
463 (let ((c (char-after (point))))
464 (and c
465 (memq (char-syntax c) '(?w ?_))
466 (intern-soft (current-word)))))
467
468 ;; Do indirect function resolution if possible.
469 (defun eldoc-symbol-function (fsym)
470 (let ((defn (and (fboundp fsym)
471 (symbol-function fsym))))
472 (and (symbolp defn)
473 (condition-case err
474 (setq defn (indirect-function fsym))
475 (error (setq defn nil))))
476 defn))
477
478 (defun eldoc-function-argstring (arglist)
479 "Return ARGLIST as a string enclosed by ().
480 ARGLIST is either a string, or a list of strings or symbols."
481 (cond ((stringp arglist))
482 ((not (listp arglist))
483 (setq arglist nil))
484 ((symbolp (car arglist))
485 (setq arglist
486 (mapconcat (lambda (s) (symbol-name s))
487 arglist " ")))
488 ((stringp (car arglist))
489 (setq arglist
490 (mapconcat (lambda (s) s)
491 arglist " "))))
492 (if arglist
493 (format "(%s)" arglist)))
494
495 (defun eldoc-function-argstring-format (argstring)
496 "Apply `eldoc-argument-case' to each word in ARGSTRING.
497 The words \"&rest\", \"&optional\" are returned unchanged."
498 (mapconcat (lambda (s)
499 (if (string-match-p "\\`(?&\\(?:optional\\|rest\\))?\\'" s)
500 s
501 (funcall eldoc-argument-case s)))
502 (split-string argstring) " "))
503
504 \f
505 ;; When point is in a sexp, the function args are not reprinted in the echo
506 ;; area after every possible interactive command because some of them print
507 ;; their own messages in the echo area; the eldoc functions would instantly
508 ;; overwrite them unless it is more restrained.
509 ;; These functions do display-command table management.
510
511 (defun eldoc-add-command (&rest cmds)
512 (dolist (name cmds)
513 (and (symbolp name)
514 (setq name (symbol-name name)))
515 (set (intern name eldoc-message-commands) t)))
516
517 (defun eldoc-add-command-completions (&rest names)
518 (dolist (name names)
519 (apply 'eldoc-add-command (all-completions name obarray 'commandp))))
520
521 (defun eldoc-remove-command (&rest cmds)
522 (dolist (name cmds)
523 (and (symbolp name)
524 (setq name (symbol-name name)))
525 (unintern name eldoc-message-commands)))
526
527 (defun eldoc-remove-command-completions (&rest names)
528 (dolist (name names)
529 (apply 'eldoc-remove-command
530 (all-completions name eldoc-message-commands))))
531
532 \f
533 ;; Prime the command list.
534 (eldoc-add-command-completions
535 "backward-" "beginning-of-" "delete-other-windows" "delete-window"
536 "down-list" "end-of-" "exchange-point-and-mark" "forward-" "goto-"
537 "handle-select-window" "indent-for-tab-command" "left-" "mark-page"
538 "mark-paragraph" "mouse-set-point" "move-" "move-beginning-of-"
539 "move-end-of-" "next-" "other-window" "pop-global-mark" "previous-"
540 "recenter" "right-" "scroll-" "self-insert-command" "split-window-"
541 "up-list")
542
543 (provide 'eldoc)
544
545 ;;; eldoc.el ends here