Merge branch 'master' into comment-cache
[emacs.git] / lisp / apropos.el
blobcbd9c71d3e356c70188c215e6f06ed2da2f40df8
1 ;;; apropos.el --- apropos commands for users and programmers
3 ;; Copyright (C) 1989, 1994-1995, 2001-2017 Free Software Foundation,
4 ;; Inc.
6 ;; Author: Joe Wells <jbw@bigbird.bu.edu>
7 ;; Daniel Pfeiffer <occitan@esperanto.org> (rewrite)
8 ;; Keywords: help
9 ;; Package: emacs
11 ;; This file is part of GNU Emacs.
13 ;; GNU Emacs is free software: you can redistribute it and/or modify
14 ;; it under the terms of the GNU General Public License as published by
15 ;; the Free Software Foundation, either version 3 of the License, or
16 ;; (at your option) any later version.
18 ;; GNU Emacs is distributed in the hope that it will be useful,
19 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
20 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
21 ;; GNU General Public License for more details.
23 ;; You should have received a copy of the GNU General Public License
24 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
26 ;;; Commentary:
28 ;; The ideas for this package were derived from the C code in
29 ;; src/keymap.c and elsewhere. The functions in this file should
30 ;; always be byte-compiled for speed. Someone should rewrite this in
31 ;; C (as part of src/keymap.c) for speed.
33 ;; The idea for super-apropos is based on the original implementation
34 ;; by Lynn Slater <lrs@esl.com>.
36 ;; History:
37 ;; Fixed bug, current-local-map can return nil.
38 ;; Change, doesn't calculate key-bindings unless needed.
39 ;; Added super-apropos capability, changed print functions.
40 ;; Made fast-apropos and super-apropos share code.
41 ;; Sped up fast-apropos again.
42 ;; Added apropos-do-all option.
43 ;; Added fast-command-apropos.
44 ;; Changed doc strings to comments for helping functions.
45 ;; Made doc file buffer read-only, buried it.
46 ;; Only call substitute-command-keys if do-all set.
48 ;; Optionally use configurable faces to make the output more legible.
49 ;; Differentiate between command, function and macro.
50 ;; Apropos-command (ex command-apropos) does cmd and optionally user var.
51 ;; Apropos shows all 3 aspects of symbols (fn, var and plist)
52 ;; Apropos-documentation (ex super-apropos) now finds all it should.
53 ;; New apropos-value snoops through all values and optionally plists.
54 ;; Reading DOC file doesn't load nroff.
55 ;; Added hypertext following of documentation, mouse-2 on variable gives value
56 ;; from buffer in active window.
58 ;;; Code:
60 (require 'button)
62 (defgroup apropos nil
63 "Apropos commands for users and programmers."
64 :group 'help
65 :prefix "apropos")
67 ;; I see a degradation of maybe 10-20% only.
68 (defcustom apropos-do-all nil
69 "Non nil means apropos commands will search more extensively.
70 This may be slower. This option affects the following commands:
72 `apropos-user-option' will search all variables, not just user options.
73 `apropos-command' will also search non-interactive functions.
74 `apropos' will search all symbols, not just functions, variables, faces,
75 and those with property lists.
76 `apropos-value' will also search in property lists and functions.
77 `apropos-documentation' will search all documentation strings, not just
78 those in the etc/DOC documentation file.
80 This option only controls the default behavior. Each of the above
81 commands also has an optional argument to request a more extensive search.
83 Additionally, this option makes the function `apropos-library'
84 include key-binding information in its output."
85 :group 'apropos
86 :type 'boolean)
88 (defface apropos-symbol
89 '((t (:inherit bold)))
90 "Face for the symbol name in Apropos output."
91 :group 'apropos
92 :version "24.3")
94 (defface apropos-keybinding
95 '((t (:inherit underline)))
96 "Face for lists of keybinding in Apropos output."
97 :group 'apropos
98 :version "24.3")
100 (defface apropos-property
101 '((t (:inherit font-lock-builtin-face)))
102 "Face for property name in Apropos output, or nil for none."
103 :group 'apropos
104 :version "24.3")
106 (defface apropos-function-button
107 '((t (:inherit (font-lock-function-name-face button))))
108 "Button face indicating a function, macro, or command in Apropos."
109 :group 'apropos
110 :version "24.3")
112 (defface apropos-variable-button
113 '((t (:inherit (font-lock-variable-name-face button))))
114 "Button face indicating a variable in Apropos."
115 :group 'apropos
116 :version "24.3")
118 (defface apropos-user-option-button
119 '((t (:inherit (font-lock-variable-name-face button))))
120 "Button face indicating a user option in Apropos."
121 :group 'apropos
122 :version "24.4")
124 (defface apropos-misc-button
125 '((t (:inherit (font-lock-constant-face button))))
126 "Button face indicating a miscellaneous object type in Apropos."
127 :group 'apropos
128 :version "24.3")
130 (defcustom apropos-match-face 'match
131 "Face for matching text in Apropos documentation/value, or nil for none.
132 This applies when you look for matches in the documentation or variable value
133 for the pattern; the part that matches gets displayed in this font."
134 :type '(choice (const nil) face)
135 :group 'apropos
136 :version "24.3")
138 (defcustom apropos-sort-by-scores nil
139 "Non-nil means sort matches by scores; best match is shown first.
140 This applies to all `apropos' commands except `apropos-documentation'.
141 If value is `verbose', the computed score is shown for each match."
142 :group 'apropos
143 :type '(choice (const :tag "off" nil)
144 (const :tag "on" t)
145 (const :tag "show scores" verbose)))
147 (defcustom apropos-documentation-sort-by-scores t
148 "Non-nil means sort matches by scores; best match is shown first.
149 This applies to `apropos-documentation' only.
150 If value is `verbose', the computed score is shown for each match."
151 :group 'apropos
152 :type '(choice (const :tag "off" nil)
153 (const :tag "on" t)
154 (const :tag "show scores" verbose)))
156 (defvar apropos-mode-map
157 (let ((map (copy-keymap button-buffer-map)))
158 (set-keymap-parent map special-mode-map)
159 ;; Use `apropos-follow' instead of just using the button
160 ;; definition of RET, so that users can use it anywhere in an
161 ;; apropos item, not just on top of a button.
162 (define-key map "\C-m" 'apropos-follow)
163 map)
164 "Keymap used in Apropos mode.")
166 (defvar apropos-mode-hook nil
167 "Hook run when mode is turned on.")
169 (defvar apropos-pattern nil
170 "Apropos pattern as entered by user.")
172 (defvar apropos-pattern-quoted nil
173 "Apropos pattern passed through `regexp-quote'.")
175 (defvar apropos-words ()
176 "Current list of apropos words extracted from `apropos-pattern'.")
178 (defvar apropos-all-words ()
179 "Current list of words and synonyms.")
181 (defvar apropos-regexp nil
182 "Regexp used in current apropos run.")
184 (defvar apropos-all-words-regexp nil
185 "Regexp matching `apropos-all-words'.")
187 (defvar apropos-files-scanned ()
188 "List of elc files already scanned in current run of `apropos-documentation'.")
190 (defvar apropos-accumulator ()
191 "Alist of symbols already found in current apropos run.
192 Each element has the form
194 (SYMBOL SCORE FUN-DOC VAR-DOC PLIST WIDGET-DOC FACE-DOC CUS-GROUP-DOC)
196 where SYMBOL is the symbol name, SCORE is its relevance score (a
197 number), FUN-DOC is the function docstring, VAR-DOC is the
198 variable docstring, PLIST is the list of the symbols names in the
199 property list, WIDGET-DOC is the widget docstring, FACE-DOC is
200 the face docstring, and CUS-GROUP-DOC is the custom group
201 docstring. Each docstring is either nil or a string.")
203 (defvar apropos-item ()
204 "Current item in or for `apropos-accumulator'.")
206 (defvar apropos-synonyms '(
207 ("find" "open" "edit")
208 ("kill" "cut")
209 ("yank" "paste")
210 ("region" "selection"))
211 "List of synonyms known by apropos.
212 Each element is a list of words where the first word is the standard Emacs
213 term, and the rest of the words are alternative terms.")
216 ;;; Button types used by apropos
218 (define-button-type 'apropos-symbol
219 'face 'apropos-symbol
220 'help-echo "mouse-2, RET: Display more help on this symbol"
221 'follow-link t
222 'action #'apropos-symbol-button-display-help)
224 (defun apropos-symbol-button-display-help (button)
225 "Display further help for the `apropos-symbol' button BUTTON."
226 (button-activate
227 (or (apropos-next-label-button (button-start button))
228 (error "There is nothing to follow for `%s'" (button-label button)))))
230 (define-button-type 'apropos-function
231 'apropos-label "Function"
232 'apropos-short-label "f"
233 'face 'apropos-function-button
234 'help-echo "mouse-2, RET: Display more help on this function"
235 'follow-link t
236 'action (lambda (button)
237 (describe-function (button-get button 'apropos-symbol))))
239 (define-button-type 'apropos-macro
240 'apropos-label "Macro"
241 'apropos-short-label "m"
242 'face 'apropos-function-button
243 'help-echo "mouse-2, RET: Display more help on this macro"
244 'follow-link t
245 'action (lambda (button)
246 (describe-function (button-get button 'apropos-symbol))))
248 (define-button-type 'apropos-command
249 'apropos-label "Command"
250 'apropos-short-label "c"
251 'face 'apropos-function-button
252 'help-echo "mouse-2, RET: Display more help on this command"
253 'follow-link t
254 'action (lambda (button)
255 (describe-function (button-get button 'apropos-symbol))))
257 ;; We used to use `customize-variable-other-window' instead for a
258 ;; customizable variable, but that is slow. It is better to show an
259 ;; ordinary help buffer and let the user click on the customization
260 ;; button in that buffer, if he wants to.
261 ;; Likewise for `customize-face-other-window'.
262 (define-button-type 'apropos-variable
263 'apropos-label "Variable"
264 'apropos-short-label "v"
265 'face 'apropos-variable-button
266 'help-echo "mouse-2, RET: Display more help on this variable"
267 'follow-link t
268 'action (lambda (button)
269 (describe-variable (button-get button 'apropos-symbol))))
271 (define-button-type 'apropos-user-option
272 'apropos-label "User option"
273 'apropos-short-label "o"
274 'face 'apropos-user-option-button
275 'help-echo "mouse-2, RET: Display more help on this user option"
276 'follow-link t
277 'action (lambda (button)
278 (describe-variable (button-get button 'apropos-symbol))))
280 (define-button-type 'apropos-face
281 'apropos-label "Face"
282 'apropos-short-label "F"
283 'face '(font-lock-variable-name-face button)
284 'help-echo "mouse-2, RET: Display more help on this face"
285 'follow-link t
286 'action (lambda (button)
287 (describe-face (button-get button 'apropos-symbol))))
289 (define-button-type 'apropos-group
290 'apropos-label "Group"
291 'apropos-short-label "g"
292 'face 'apropos-misc-button
293 'help-echo "mouse-2, RET: Display more help on this group"
294 'follow-link t
295 'action (lambda (button)
296 (customize-group-other-window
297 (button-get button 'apropos-symbol))))
299 (define-button-type 'apropos-widget
300 'apropos-label "Widget"
301 'apropos-short-label "w"
302 'face 'apropos-misc-button
303 'help-echo "mouse-2, RET: Display more help on this widget"
304 'follow-link t
305 'action (lambda (button)
306 (widget-browse-other-window (button-get button 'apropos-symbol))))
308 (define-button-type 'apropos-plist
309 'apropos-label "Properties"
310 'apropos-short-label "p"
311 'face 'apropos-misc-button
312 'help-echo "mouse-2, RET: Display more help on this plist"
313 'follow-link t
314 'action (lambda (button)
315 (apropos-describe-plist (button-get button 'apropos-symbol))))
317 (define-button-type 'apropos-library
318 'help-echo "mouse-2, RET: Display more help on this library"
319 'follow-link t
320 'action (lambda (button)
321 (apropos-library (button-get button 'apropos-symbol))))
323 (defun apropos-next-label-button (pos)
324 "Return the next apropos label button after POS, or nil if there's none.
325 Will also return nil if more than one `apropos-symbol' button is encountered
326 before finding a label."
327 (let* ((button (next-button pos t))
328 (already-hit-symbol nil)
329 (label (and button (button-get button 'apropos-label)))
330 (type (and button (button-get button 'type))))
331 (while (and button
332 (not label)
333 (or (not (eq type 'apropos-symbol))
334 (not already-hit-symbol)))
335 (when (eq type 'apropos-symbol)
336 (setq already-hit-symbol t))
337 (setq button (next-button (button-start button)))
338 (when button
339 (setq label (button-get button 'apropos-label))
340 (setq type (button-get button 'type))))
341 (and label button)))
344 (defun apropos-words-to-regexp (words wild)
345 "Make regexp matching any two of the words in WORDS.
346 WILD should be a subexpression matching wildcards between matches."
347 (setq words (delete-dups (copy-sequence words)))
348 (if (null (cdr words))
349 (car words)
350 (mapconcat
351 (lambda (w)
352 (concat "\\(?:" w "\\)" ;; parens for synonyms
353 wild "\\(?:"
354 (mapconcat 'identity
355 (delq w (copy-sequence words))
356 "\\|")
357 "\\)"))
358 words
359 "\\|")))
361 ;;;###autoload
362 (defun apropos-read-pattern (subject)
363 "Read an apropos pattern, either a word list or a regexp.
364 Returns the user pattern, either a list of words which are matched
365 literally, or a string which is used as a regexp to search for.
367 SUBJECT is a string that is included in the prompt to identify what
368 kind of objects to search."
369 (let ((pattern
370 (read-string (concat "Search for " subject " (word list or regexp): "))))
371 (if (string-equal (regexp-quote pattern) pattern)
372 ;; Split into words
373 (or (split-string pattern "[ \t]+" t)
374 (user-error "No word list given"))
375 pattern)))
377 (defun apropos-parse-pattern (pattern)
378 "Rewrite a list of words to a regexp matching all permutations.
379 If PATTERN is a string, that means it is already a regexp.
380 This updates variables `apropos-pattern', `apropos-pattern-quoted',
381 `apropos-regexp', `apropos-words', and `apropos-all-words-regexp'."
382 (setq apropos-words nil
383 apropos-all-words nil)
384 (if (consp pattern)
385 ;; We don't actually make a regexp matching all permutations.
386 ;; Instead, for e.g. "a b c", we make a regexp matching
387 ;; any combination of two or more words like this:
388 ;; (a|b|c).*(a|b|c) which may give some false matches,
389 ;; but as long as it also gives the right ones, that's ok.
390 (let ((words pattern))
391 (setq apropos-pattern (mapconcat 'identity pattern " ")
392 apropos-pattern-quoted (regexp-quote apropos-pattern))
393 (dolist (word words)
394 (let ((syn apropos-synonyms) (s word) (a word))
395 (while syn
396 (if (member word (car syn))
397 (progn
398 (setq a (mapconcat 'identity (car syn) "\\|"))
399 (if (member word (cdr (car syn)))
400 (setq s a))
401 (setq syn nil))
402 (setq syn (cdr syn))))
403 (setq apropos-words (cons s apropos-words)
404 apropos-all-words (cons a apropos-all-words))))
405 (setq apropos-all-words-regexp
406 (apropos-words-to-regexp apropos-all-words ".+"))
407 (setq apropos-regexp
408 (apropos-words-to-regexp apropos-words ".*?")))
409 (setq apropos-pattern-quoted (regexp-quote pattern)
410 apropos-all-words-regexp pattern
411 apropos-pattern pattern
412 apropos-regexp pattern)))
414 (defun apropos-calc-scores (str words)
415 "Return apropos scores for string STR matching WORDS.
416 Value is a list of offsets of the words into the string."
417 (let (scores i)
418 (if words
419 (dolist (word words scores)
420 (if (setq i (string-match word str))
421 (setq scores (cons i scores))))
422 ;; Return list of start and end position of regexp
423 (and (string-match apropos-pattern str)
424 (list (match-beginning 0) (match-end 0))))))
426 (defun apropos-score-str (str)
427 "Return apropos score for string STR."
428 (if str
429 (let* ((l (length str))
430 (score (- (/ l 10))))
431 (dolist (s (apropos-calc-scores str apropos-all-words) score)
432 (setq score (+ score 1000 (/ (* (- l s) 1000) l)))))
435 (defun apropos-score-doc (doc)
436 "Return apropos score for documentation string DOC."
437 (let ((l (length doc)))
438 (if (> l 0)
439 (let ((score 0))
440 (when (string-match apropos-pattern-quoted doc)
441 (setq score 10000))
442 (dolist (s (apropos-calc-scores doc apropos-all-words) score)
443 (setq score (+ score 50 (/ (* (- l s) 50) l)))))
444 0)))
446 (defun apropos-score-symbol (symbol &optional weight)
447 "Return apropos score for SYMBOL."
448 (setq symbol (symbol-name symbol))
449 (let ((score 0)
450 (l (length symbol)))
451 (dolist (s (apropos-calc-scores symbol apropos-words) (* score (or weight 3)))
452 (setq score (+ score (- 60 l) (/ (* (- l s) 60) l))))))
454 (defun apropos-true-hit (str words)
455 "Return t if STR is a genuine hit.
456 This may fail if only one of the keywords is matched more than once.
457 This requires at least two keywords (unless only one was given)."
458 (or (not str)
459 (not words)
460 (not (cdr words))
461 (> (length (apropos-calc-scores str words)) 1)))
463 (defun apropos-false-hit-symbol (symbol)
464 "Return t if SYMBOL is not really matched by the current keywords."
465 (not (apropos-true-hit (symbol-name symbol) apropos-words)))
467 (defun apropos-false-hit-str (str)
468 "Return t if STR is not really matched by the current keywords."
469 (not (apropos-true-hit str apropos-words)))
471 (defun apropos-true-hit-doc (doc)
472 "Return t if DOC is really matched by the current keywords."
473 (apropos-true-hit doc apropos-all-words))
475 (define-derived-mode apropos-mode special-mode "Apropos"
476 "Major mode for following hyperlinks in output of apropos commands.
478 \\{apropos-mode-map}")
480 (defvar apropos-multi-type t
481 "If non-nil, this apropos query concerns multiple types.
482 This is used to decide whether to print the result's type or not.")
484 ;;;###autoload
485 (defun apropos-user-option (pattern &optional do-all)
486 "Show user options that match PATTERN.
487 PATTERN can be a word, a list of words (separated by spaces),
488 or a regexp (using some regexp special characters). If it is a word,
489 search for matches for that word as a substring. If it is a list of words,
490 search for matches for any two (or more) of those words.
492 With \\[universal-argument] prefix, or if `apropos-do-all' is non-nil, also show
493 variables, not just user options."
494 (interactive (list (apropos-read-pattern
495 (if (or current-prefix-arg apropos-do-all)
496 "variable" "user option"))
497 current-prefix-arg))
498 (apropos-command pattern nil
499 (if (or do-all apropos-do-all)
500 #'(lambda (symbol)
501 (and (boundp symbol)
502 (get symbol 'variable-documentation)))
503 'custom-variable-p)))
505 ;;;###autoload
506 (defun apropos-variable (pattern &optional do-not-all)
507 "Show variables that match PATTERN.
508 With the optional argument DO-NOT-ALL non-nil (or when called
509 interactively with the prefix \\[universal-argument]), show user
510 options only, i.e. behave like `apropos-user-option'."
511 (interactive (list (apropos-read-pattern
512 (if current-prefix-arg "user option" "variable"))
513 current-prefix-arg))
514 (let ((apropos-do-all (if do-not-all nil t)))
515 (apropos-user-option pattern)))
517 ;; For auld lang syne:
518 ;;;###autoload
519 (defalias 'command-apropos 'apropos-command)
520 ;;;###autoload
521 (defun apropos-command (pattern &optional do-all var-predicate)
522 "Show commands (interactively callable functions) that match PATTERN.
523 PATTERN can be a word, a list of words (separated by spaces),
524 or a regexp (using some regexp special characters). If it is a word,
525 search for matches for that word as a substring. If it is a list of words,
526 search for matches for any two (or more) of those words.
528 With \\[universal-argument] prefix, or if `apropos-do-all' is non-nil, also show
529 noninteractive functions.
531 If VAR-PREDICATE is non-nil, show only variables, and only those that
532 satisfy the predicate VAR-PREDICATE.
534 When called from a Lisp program, a string PATTERN is used as a regexp,
535 while a list of strings is used as a word list."
536 (interactive (list (apropos-read-pattern
537 (if (or current-prefix-arg apropos-do-all)
538 "command or function" "command"))
539 current-prefix-arg))
540 (apropos-parse-pattern pattern)
541 (let ((message
542 (let ((standard-output (get-buffer-create "*Apropos*")))
543 (help-print-return-message 'identity))))
544 (or do-all (setq do-all apropos-do-all))
545 (setq apropos-accumulator
546 (apropos-internal apropos-regexp
547 (or var-predicate
548 ;; We used to use `functionp' here, but this
549 ;; rules out macros. `fboundp' rules in
550 ;; keymaps, but it seems harmless.
551 (if do-all 'fboundp 'commandp))))
552 (let ((tem apropos-accumulator))
553 (while tem
554 (if (or (get (car tem) 'apropos-inhibit)
555 (apropos-false-hit-symbol (car tem)))
556 (setq apropos-accumulator (delq (car tem) apropos-accumulator)))
557 (setq tem (cdr tem))))
558 (let ((p apropos-accumulator)
559 doc symbol score)
560 (while p
561 (setcar p (list
562 (setq symbol (car p))
563 (setq score (apropos-score-symbol symbol))
564 (unless var-predicate
565 (if (fboundp symbol)
566 (if (setq doc (condition-case nil
567 (documentation symbol t)
568 (error 'error)))
569 ;; Eg alias to undefined function.
570 (if (eq doc 'error)
571 "(documentation error)"
572 (setq score (+ score (apropos-score-doc doc)))
573 (substring doc 0 (string-match "\n" doc)))
574 "(not documented)")))
575 (and var-predicate
576 (funcall var-predicate symbol)
577 (if (setq doc (documentation-property
578 symbol 'variable-documentation t))
579 (progn
580 (setq score (+ score (apropos-score-doc doc)))
581 (substring doc 0
582 (string-match "\n" doc)))))))
583 (setcar (cdr (car p)) score)
584 (setq p (cdr p))))
585 (and (let ((apropos-multi-type do-all))
586 (apropos-print t nil nil t))
587 message
588 (message "%s" message))))
591 ;;;###autoload
592 (defun apropos-documentation-property (symbol property raw)
593 "Like (documentation-property SYMBOL PROPERTY RAW) but handle errors."
594 (condition-case ()
595 (let ((doc (documentation-property symbol property raw)))
596 (if doc (substring doc 0 (string-match "\n" doc))
597 "(not documented)"))
598 (error "(error retrieving documentation)")))
601 ;;;###autoload
602 (defun apropos (pattern &optional do-all)
603 "Show all meaningful Lisp symbols whose names match PATTERN.
604 Symbols are shown if they are defined as functions, variables, or
605 faces, or if they have nonempty property lists.
607 PATTERN can be a word, a list of words (separated by spaces),
608 or a regexp (using some regexp special characters). If it is a word,
609 search for matches for that word as a substring. If it is a list of words,
610 search for matches for any two (or more) of those words.
612 With \\[universal-argument] prefix, or if `apropos-do-all' is non-nil,
613 consider all symbols (if they match PATTERN).
615 Returns list of symbols and documentation found."
616 (interactive (list (apropos-read-pattern "symbol")
617 current-prefix-arg))
618 (apropos-parse-pattern pattern)
619 (apropos-symbols-internal
620 (apropos-internal apropos-regexp
621 (and (not do-all)
622 (not apropos-do-all)
623 (lambda (symbol)
624 (or (fboundp symbol)
625 (boundp symbol)
626 (facep symbol)
627 (symbol-plist symbol)))))
628 (or do-all apropos-do-all)))
630 (defun apropos-library-button (sym)
631 (if (null sym)
632 "<nothing>"
633 (let ((name (copy-sequence (symbol-name sym))))
634 (make-text-button name nil
635 'type 'apropos-library
636 'face 'apropos-symbol
637 'apropos-symbol name)
638 name)))
640 ;;;###autoload
641 (defun apropos-library (file)
642 "List the variables and functions defined by library FILE.
643 FILE should be one of the libraries currently loaded and should
644 thus be found in `load-history'. If `apropos-do-all' is non-nil,
645 the output includes key-bindings of commands."
646 (interactive
647 (let* ((libs (delq nil (mapcar 'car load-history)))
648 (libs
649 (nconc (delq nil
650 (mapcar
651 (lambda (l)
652 (setq l (file-name-nondirectory l))
653 (while
654 (not (equal (setq l (file-name-sans-extension l))
655 l)))
657 libs))
658 libs)))
659 (list (completing-read "Describe library: " libs nil t))))
660 (let ((symbols nil)
661 ;; (autoloads nil)
662 (provides nil)
663 (requires nil)
664 (lh-entry (assoc file load-history)))
665 (unless lh-entry
666 ;; `file' may be the "shortname".
667 (let ((lh load-history)
668 (re (concat "\\(?:\\`\\|[\\/]\\)" (regexp-quote file)
669 "\\(\\.\\|\\'\\)")))
670 (while (and lh (null lh-entry))
671 (if (and (caar lh) (string-match re (caar lh)))
672 (setq lh-entry (car lh))
673 (setq lh (cdr lh)))))
674 (unless lh-entry (error "Unknown library `%s'" file)))
675 (dolist (x (cdr lh-entry))
676 (pcase (car-safe x)
677 ;; (autoload (push (cdr x) autoloads))
678 (`require (push (cdr x) requires))
679 (`provide (push (cdr x) provides))
680 (`t nil) ; Skip "was an autoload" entries.
681 ;; FIXME: Print information about each individual method: both
682 ;; its docstring and specializers (bug#21422).
683 (`cl-defmethod (push (cadr x) provides))
684 (_ (push (or (cdr-safe x) x) symbols))))
685 (let ((apropos-pattern "")) ;Dummy binding for apropos-symbols-internal.
686 (apropos-symbols-internal
687 symbols apropos-do-all
688 (concat
689 (format-message
690 "Library `%s' provides: %s\nand requires: %s"
691 file
692 (mapconcat 'apropos-library-button
693 (or provides '(nil)) " and ")
694 (mapconcat 'apropos-library-button
695 (or requires '(nil)) " and ")))))))
697 (defun apropos-symbols-internal (symbols keys &optional text)
698 ;; Filter out entries that are marked as apropos-inhibit.
699 (let ((all nil))
700 (dolist (symbol symbols)
701 (unless (get symbol 'apropos-inhibit)
702 (push symbol all)))
703 (setq symbols all))
704 (let ((apropos-accumulator
705 (mapcar
706 (lambda (symbol)
707 (let (doc properties)
708 (list
709 symbol
710 (apropos-score-symbol symbol)
711 (when (fboundp symbol)
712 (if (setq doc (condition-case nil
713 (documentation symbol t)
714 (void-function
715 "(alias for undefined function)")
716 (error
717 "(can't retrieve function documentation)")))
718 (substring doc 0 (string-match "\n" doc))
719 "(not documented)"))
720 (when (boundp symbol)
721 (apropos-documentation-property
722 symbol 'variable-documentation t))
723 (when (setq properties (symbol-plist symbol))
724 (setq doc (list (car properties)))
725 (while (setq properties (cdr (cdr properties)))
726 (setq doc (cons (car properties) doc)))
727 (mapconcat (lambda (p) (format "%s" p)) (nreverse doc) " "))
728 (when (get symbol 'widget-type)
729 (apropos-documentation-property
730 symbol 'widget-documentation t))
731 (when (facep symbol)
732 (let ((alias (get symbol 'face-alias)))
733 (if alias
734 (if (facep alias)
735 (format-message
736 "%slias for the face `%s'."
737 (if (get symbol 'obsolete-face) "Obsolete a" "A")
738 alias)
739 ;; Never happens in practice because fails
740 ;; (facep symbol) test.
741 "(alias for undefined face)")
742 (apropos-documentation-property
743 symbol 'face-documentation t))))
744 (when (get symbol 'custom-group)
745 (apropos-documentation-property
746 symbol 'group-documentation t)))))
747 symbols)))
748 (apropos-print keys nil text)))
751 ;;;###autoload
752 (defun apropos-value (pattern &optional do-all)
753 "Show all symbols whose value's printed representation matches PATTERN.
754 PATTERN can be a word, a list of words (separated by spaces),
755 or a regexp (using some regexp special characters). If it is a word,
756 search for matches for that word as a substring. If it is a list of words,
757 search for matches for any two (or more) of those words.
759 With \\[universal-argument] prefix, or if `apropos-do-all' is non-nil, also looks
760 at function definitions (arguments, documentation and body) and at the
761 names and values of properties.
763 Returns list of symbols and values found."
764 (interactive (list (apropos-read-pattern "value")
765 current-prefix-arg))
766 (apropos-parse-pattern pattern)
767 (or do-all (setq do-all apropos-do-all))
768 (setq apropos-accumulator ())
769 (let (f v p)
770 (mapatoms
771 (lambda (symbol)
772 (setq f nil v nil p nil)
773 (or (memq symbol '(apropos-regexp
774 apropos-pattern apropos-all-words-regexp
775 apropos-words apropos-all-words
776 do-all apropos-accumulator
777 symbol f v p))
778 (setq v (apropos-value-internal 'boundp symbol 'symbol-value)))
779 (if do-all
780 (setq f (apropos-value-internal 'fboundp symbol 'symbol-function)
781 p (apropos-format-plist symbol "\n " t)))
782 (if (apropos-false-hit-str v)
783 (setq v nil))
784 (if (apropos-false-hit-str f)
785 (setq f nil))
786 (if (apropos-false-hit-str p)
787 (setq p nil))
788 (if (or f v p)
789 (setq apropos-accumulator (cons (list symbol
790 (+ (apropos-score-str f)
791 (apropos-score-str v)
792 (apropos-score-str p))
793 f v p)
794 apropos-accumulator))))))
795 (let ((apropos-multi-type do-all))
796 (apropos-print nil "\n----------------\n")))
799 ;;;###autoload
800 (defun apropos-documentation (pattern &optional do-all)
801 "Show symbols whose documentation contains matches for PATTERN.
802 PATTERN can be a word, a list of words (separated by spaces),
803 or a regexp (using some regexp special characters). If it is a word,
804 search for matches for that word as a substring. If it is a list of words,
805 search for matches for any two (or more) of those words.
807 Note that by default this command only searches in the file specified by
808 `internal-doc-file-name'; i.e., the etc/DOC file. With \\[universal-argument] prefix,
809 or if `apropos-do-all' is non-nil, it searches all currently defined
810 documentation strings.
812 Returns list of symbols and documentation found."
813 ;; The doc used to say that DO-ALL includes key-bindings info in the
814 ;; output, but I cannot see that that is true.
815 (interactive (list (apropos-read-pattern "documentation")
816 current-prefix-arg))
817 (apropos-parse-pattern pattern)
818 (or do-all (setq do-all apropos-do-all))
819 (setq apropos-accumulator () apropos-files-scanned ())
820 (let ((standard-input (get-buffer-create " apropos-temp"))
821 (apropos-sort-by-scores apropos-documentation-sort-by-scores)
822 f v sf sv)
823 (unwind-protect
824 (with-current-buffer standard-input
825 (apropos-documentation-check-doc-file)
826 (if do-all
827 (mapatoms
828 (lambda (symbol)
829 (setq f (apropos-safe-documentation symbol)
830 v (get symbol 'variable-documentation))
831 (if (integerp v) (setq v nil))
832 (setq f (apropos-documentation-internal f)
833 v (apropos-documentation-internal v))
834 (setq sf (apropos-score-doc f)
835 sv (apropos-score-doc v))
836 (if (or f v)
837 (if (setq apropos-item
838 (cdr (assq symbol apropos-accumulator)))
839 (progn
840 (if f
841 (progn
842 (setcar (nthcdr 1 apropos-item) f)
843 (setcar apropos-item (+ (car apropos-item) sf))))
844 (if v
845 (progn
846 (setcar (nthcdr 2 apropos-item) v)
847 (setcar apropos-item (+ (car apropos-item) sv)))))
848 (setq apropos-accumulator
849 (cons (list symbol
850 (+ (apropos-score-symbol symbol 2) sf sv)
851 f v)
852 apropos-accumulator)))))))
853 (apropos-print nil "\n----------------\n" nil t))
854 (kill-buffer standard-input))))
857 (defun apropos-value-internal (predicate symbol function)
858 (if (funcall predicate symbol)
859 (progn
860 (setq symbol (prin1-to-string (funcall function symbol)))
861 (if (string-match apropos-regexp symbol)
862 (progn
863 (if apropos-match-face
864 (put-text-property (match-beginning 0) (match-end 0)
865 'face apropos-match-face
866 symbol))
867 symbol)))))
869 (defun apropos-documentation-internal (doc)
870 (cond
871 ((consp doc)
872 (apropos-documentation-check-elc-file (car doc)))
873 ((and doc
874 ;; Sanity check in case bad data sneaked into the
875 ;; documentation slot.
876 (stringp doc)
877 (string-match apropos-all-words-regexp doc)
878 (apropos-true-hit-doc doc))
879 (when apropos-match-face
880 (setq doc (substitute-command-keys (copy-sequence doc)))
881 (if (or (string-match apropos-pattern-quoted doc)
882 (string-match apropos-all-words-regexp doc))
883 (put-text-property (match-beginning 0)
884 (match-end 0)
885 'face apropos-match-face doc))
886 doc))))
888 (defun apropos-format-plist (pl sep &optional compare)
889 (setq pl (symbol-plist pl))
890 (let (p p-out)
891 (while pl
892 (setq p (format "%s %S" (car pl) (nth 1 pl)))
893 (if (or (not compare) (string-match apropos-regexp p))
894 (put-text-property 0 (length (symbol-name (car pl)))
895 'face 'apropos-property p)
896 (setq p nil))
897 (if p
898 (progn
899 (and compare apropos-match-face
900 (put-text-property (match-beginning 0) (match-end 0)
901 'face apropos-match-face
903 (setq p-out (concat p-out (if p-out sep) p))))
904 (setq pl (nthcdr 2 pl)))
905 p-out))
908 ;; Finds all documentation related to APROPOS-REGEXP in internal-doc-file-name.
910 (defun apropos-documentation-check-doc-file ()
911 (let (type symbol (sepa 2) sepb doc)
912 (insert ?\^_)
913 (backward-char)
914 (insert-file-contents (concat doc-directory internal-doc-file-name))
915 (forward-char)
916 (while (save-excursion
917 (setq sepb (search-forward "\^_"))
918 (not (eobp)))
919 (beginning-of-line 2)
920 (if (save-restriction
921 (narrow-to-region (point) (1- sepb))
922 (re-search-forward apropos-all-words-regexp nil t))
923 (progn
924 (goto-char (1+ sepa))
925 (setq type (if (eq ?F (preceding-char))
926 2 ; function documentation
927 3) ; variable documentation
928 symbol (read)
929 doc (buffer-substring (1+ (point)) (1- sepb)))
930 (when (and (apropos-true-hit-doc doc)
931 ;; The DOC file lists all built-in funcs and vars.
932 ;; If any are not currently bound, they can
933 ;; only be platform-specific stuff (eg NS) not
934 ;; in use on the current platform.
935 ;; So we exclude them.
936 (cond ((= 3 type) (boundp symbol))
937 ((= 2 type) (fboundp symbol))))
938 (or (and (setq apropos-item (assq symbol apropos-accumulator))
939 (setcar (cdr apropos-item)
940 (apropos-score-doc doc)))
941 (setq apropos-item (list symbol
942 (+ (apropos-score-symbol symbol 2)
943 (apropos-score-doc doc))
944 nil nil)
945 apropos-accumulator (cons apropos-item
946 apropos-accumulator)))
947 (when apropos-match-face
948 (setq doc (substitute-command-keys doc))
949 (if (or (string-match apropos-pattern-quoted doc)
950 (string-match apropos-all-words-regexp doc))
951 (put-text-property (match-beginning 0)
952 (match-end 0)
953 'face apropos-match-face doc)))
954 (setcar (nthcdr type apropos-item) doc))))
955 (setq sepa (goto-char sepb)))))
957 (defun apropos-documentation-check-elc-file (file)
958 (if (member file apropos-files-scanned)
960 (let (symbol doc beg end this-is-a-variable)
961 (setq apropos-files-scanned (cons file apropos-files-scanned))
962 (erase-buffer)
963 (insert-file-contents file)
964 (while (search-forward "\n#@" nil t)
965 ;; Read the comment length, and advance over it.
966 (setq end (read)
967 beg (1+ (point))
968 end (+ (point) end -1))
969 (forward-char)
970 (if (save-restriction
971 ;; match ^ and $ relative to doc string
972 (narrow-to-region beg end)
973 (re-search-forward apropos-all-words-regexp nil t))
974 (progn
975 (goto-char (+ end 2))
976 (setq doc (buffer-substring beg end)
977 end (- (match-end 0) beg)
978 beg (- (match-beginning 0) beg))
979 (when (apropos-true-hit-doc doc)
980 (setq this-is-a-variable (looking-at "(def\\(var\\|const\\) ")
981 symbol (progn
982 (skip-chars-forward "(a-z")
983 (forward-char)
984 (read))
985 symbol (if (consp symbol)
986 (nth 1 symbol)
987 symbol))
988 (if (if this-is-a-variable
989 (get symbol 'variable-documentation)
990 (and (fboundp symbol) (apropos-safe-documentation symbol)))
991 (progn
992 (or (and (setq apropos-item (assq symbol apropos-accumulator))
993 (setcar (cdr apropos-item)
994 (+ (cadr apropos-item) (apropos-score-doc doc))))
995 (setq apropos-item (list symbol
996 (+ (apropos-score-symbol symbol 2)
997 (apropos-score-doc doc))
998 nil nil)
999 apropos-accumulator (cons apropos-item
1000 apropos-accumulator)))
1001 (when apropos-match-face
1002 (setq doc (substitute-command-keys doc))
1003 (if (or (string-match apropos-pattern-quoted doc)
1004 (string-match apropos-all-words-regexp doc))
1005 (put-text-property (match-beginning 0)
1006 (match-end 0)
1007 'face apropos-match-face doc)))
1008 (setcar (nthcdr (if this-is-a-variable 3 2)
1009 apropos-item)
1010 doc))))))))))
1014 (defun apropos-safe-documentation (function)
1015 "Like `documentation', except it avoids calling `get_doc_string'.
1016 Will return nil instead."
1017 (while (and function (symbolp function))
1018 (setq function (symbol-function function)))
1019 (if (eq (car-safe function) 'macro)
1020 (setq function (cdr function)))
1021 (setq function (if (byte-code-function-p function)
1022 (if (> (length function) 4)
1023 (aref function 4))
1024 (if (autoloadp function)
1025 (nth 2 function)
1026 (if (eq (car-safe function) 'lambda)
1027 (if (stringp (nth 2 function))
1028 (nth 2 function)
1029 (if (stringp (nth 3 function))
1030 (nth 3 function)))))))
1031 (if (integerp function)
1033 function))
1035 (defcustom apropos-compact-layout nil
1036 "If non-nil, use a single line per binding."
1037 :type 'boolean)
1039 (defun apropos-print (do-keys spacing &optional text nosubst)
1040 "Output result of apropos searching into buffer `*Apropos*'.
1041 The value of `apropos-accumulator' is the list of items to output.
1042 Each element should have the format
1043 (SYMBOL SCORE FN-DOC VAR-DOC [PLIST-DOC WIDGET-DOC FACE-DOC GROUP-DOC]).
1044 The return value is the list that was in `apropos-accumulator', sorted
1045 alphabetically by symbol name; but this function also sets
1046 `apropos-accumulator' to nil before returning.
1047 If DO-KEYS is non-nil, output the key bindings. If NOSUBST is
1048 nil, substitute \"ASCII quotes\" (i.e., grace accent and
1049 apostrophe) with curly quotes), and if non-nil, leave them alone.
1050 If SPACING is non-nil, it should be a string; separate items with
1051 that string. If non-nil, TEXT is a string that will be printed
1052 as a heading."
1053 (if (null apropos-accumulator)
1054 (message "No apropos matches for `%s'" apropos-pattern)
1055 (setq apropos-accumulator
1056 (sort apropos-accumulator
1057 (lambda (a b)
1058 (if apropos-sort-by-scores
1059 (or (> (cadr a) (cadr b))
1060 (and (= (cadr a) (cadr b))
1061 (string-lessp (car a) (car b))))
1062 (string-lessp (car a) (car b))))))
1063 (with-output-to-temp-buffer "*Apropos*"
1064 (let ((p apropos-accumulator)
1065 (old-buffer (current-buffer))
1066 (inhibit-read-only t)
1067 (button-end 0)
1068 symbol item)
1069 (set-buffer standard-output)
1070 (apropos-mode)
1071 (insert (substitute-command-keys "Type \\[apropos-follow] on ")
1072 (if apropos-multi-type "a type label" "an entry")
1073 " to view its full documentation.\n\n")
1074 (if text (insert text "\n\n"))
1075 (dolist (apropos-item p)
1076 (when (and spacing (not (bobp)))
1077 (princ spacing))
1078 (setq symbol (car apropos-item))
1079 ;; Insert dummy score element for backwards compatibility with 21.x
1080 ;; apropos-item format.
1081 (if (not (numberp (cadr apropos-item)))
1082 (setq apropos-item
1083 (cons (car apropos-item)
1084 (cons nil (cdr apropos-item)))))
1085 (when (= (point) button-end) (terpri))
1086 (insert-text-button (symbol-name symbol)
1087 'type 'apropos-symbol
1088 'skip apropos-multi-type
1089 'face 'apropos-symbol)
1090 (setq button-end (point))
1091 (if (and (eq apropos-sort-by-scores 'verbose)
1092 (cadr apropos-item))
1093 (insert " (" (number-to-string (cadr apropos-item)) ") "))
1094 ;; Calculate key-bindings if we want them.
1095 (unless apropos-compact-layout
1096 (and do-keys
1097 (commandp symbol)
1098 (not (eq symbol 'self-insert-command))
1099 (indent-to 30 1)
1100 (if (let ((keys
1101 (with-current-buffer old-buffer
1102 (where-is-internal symbol)))
1103 filtered)
1104 ;; Copy over the list of key sequences,
1105 ;; omitting any that contain a buffer or a frame.
1106 ;; FIXME: Why omit keys that contain buffers and
1107 ;; frames? This looks like a bad workaround rather
1108 ;; than a proper fix. Does anybody know what problem
1109 ;; this is trying to address? --Stef
1110 (dolist (key keys)
1111 (let ((i 0)
1112 loser)
1113 (while (< i (length key))
1114 (if (or (framep (aref key i))
1115 (bufferp (aref key i)))
1116 (setq loser t))
1117 (setq i (1+ i)))
1118 (or loser
1119 (push key filtered))))
1120 (setq item filtered))
1121 ;; Convert the remaining keys to a string and insert.
1122 (insert
1123 (mapconcat
1124 (lambda (key)
1125 (setq key (condition-case ()
1126 (key-description key)
1127 (error)))
1128 (put-text-property 0 (length key)
1129 'face 'apropos-keybinding
1130 key)
1131 key)
1132 item ", "))
1133 (insert "M-x ... RET")
1134 (put-text-property (- (point) 11) (- (point) 8)
1135 'face 'apropos-keybinding)
1136 (put-text-property (- (point) 3) (point)
1137 'face 'apropos-keybinding)))
1138 (terpri))
1139 (apropos-print-doc 2
1140 (if (commandp symbol)
1141 'apropos-command
1142 (if (macrop symbol)
1143 'apropos-macro
1144 'apropos-function))
1145 (not nosubst))
1146 (apropos-print-doc 3
1147 (if (custom-variable-p symbol)
1148 'apropos-user-option
1149 'apropos-variable)
1150 (not nosubst))
1151 (apropos-print-doc 7 'apropos-group t)
1152 (apropos-print-doc 6 'apropos-face t)
1153 (apropos-print-doc 5 'apropos-widget t)
1154 (apropos-print-doc 4 'apropos-plist nil))
1155 (set (make-local-variable 'truncate-partial-width-windows) t)
1156 (set (make-local-variable 'truncate-lines) t))))
1157 (prog1 apropos-accumulator
1158 (setq apropos-accumulator ()))) ; permit gc
1160 (defun apropos-print-doc (i type do-keys)
1161 (let ((doc (nth i apropos-item)))
1162 (when (stringp doc)
1163 (if apropos-compact-layout
1164 (insert (propertize "\t" 'display '(space :align-to 32)) " ")
1165 (insert " "))
1166 (if apropos-multi-type
1167 (let ((button-face (button-type-get type 'face)))
1168 (unless (consp button-face)
1169 (setq button-face (list button-face)))
1170 (insert-text-button
1171 (if apropos-compact-layout
1172 (format "<%s>" (button-type-get type 'apropos-short-label))
1173 (button-type-get type 'apropos-label))
1174 'type type
1175 'apropos-symbol (car apropos-item))
1176 (insert (if apropos-compact-layout " " ": ")))
1178 ;; If the query is only for a single type, there's no point
1179 ;; writing it over and over again. Insert a blank button, and
1180 ;; put the 'apropos-label property there (needed by
1181 ;; apropos-symbol-button-display-help).
1182 (insert-text-button
1183 " " 'type type 'skip t
1184 'face 'default 'apropos-symbol (car apropos-item)))
1186 (let ((opoint (point))
1187 (ocol (current-column)))
1188 (cond ((equal doc "")
1189 (setq doc "(not documented)"))
1190 (do-keys
1191 (setq doc (substitute-command-keys doc))))
1192 (insert doc)
1193 (if (equal doc "(not documented)")
1194 (put-text-property opoint (point) 'font-lock-face 'shadow))
1195 ;; The labeling buttons might make the line too long, so fill it if
1196 ;; necessary.
1197 (let ((fill-column (+ 5 (if (integerp emacs-lisp-docstring-fill-column)
1198 emacs-lisp-docstring-fill-column
1199 fill-column)))
1200 (fill-prefix (make-string ocol ?\s)))
1201 (fill-region opoint (point) nil t)))
1202 (or (bolp) (terpri)))))
1204 (defun apropos-follow ()
1205 "Invokes any button at point, otherwise invokes the nearest label button."
1206 (interactive)
1207 (button-activate
1208 (or (apropos-next-label-button (line-beginning-position))
1209 (error "There is nothing to follow here"))))
1212 (defun apropos-describe-plist (symbol)
1213 "Display a pretty listing of SYMBOL's plist."
1214 (help-setup-xref (list 'apropos-describe-plist symbol)
1215 (called-interactively-p 'interactive))
1216 (with-help-window (help-buffer)
1217 (set-buffer standard-output)
1218 (princ "Symbol ")
1219 (prin1 symbol)
1220 (princ (substitute-command-keys "'s plist is\n ("))
1221 (put-text-property (+ (point-min) 7) (- (point) 14)
1222 'face 'apropos-symbol)
1223 (insert (apropos-format-plist symbol "\n "))
1224 (princ ")")))
1227 (provide 'apropos)
1229 ;;; apropos.el ends here