Upgraded to MH-E version 7.4.80.
[bpt/emacs.git] / lisp / help-fns.el
index da62d72..e534c69 100644 (file)
@@ -1,6 +1,6 @@
 ;;; help-fns.el --- Complex help functions
 
-;; Copyright (C) 1985, 1986, 1993, 1994, 1998, 1999, 2000, 2001, 2002
+;; Copyright (C) 1985, 86, 93, 94, 98, 1999, 2000, 01, 02, 03, 2004
 ;;   Free Software Foundation, Inc.
 
 ;; Maintainer: FSF
 If there is a tutorial version written in the language
 of the selected language environment, that version is used.
 If there's no tutorial in that language, `TUTORIAL' is selected.
-With arg, you are asked to choose which language."
+With ARG, you are asked to choose which language."
   (interactive "P")
   (let ((lang (if arg
-                 (read-language-name 'tutorial "Language: " "English")
+                  (let ((minibuffer-setup-hook minibuffer-setup-hook))
+                    (add-hook 'minibuffer-setup-hook
+                              'minibuffer-completion-help)
+                    (read-language-name 'tutorial "Language: " "English"))
                (if (get-language-info current-language-environment 'tutorial)
                    current-language-environment
                  "English")))
@@ -60,6 +63,7 @@ With arg, you are asked to choose which language."
       (setq default-directory (expand-file-name "~/"))
       (setq buffer-auto-save-file-name nil)
       (insert-file-contents (expand-file-name filename data-directory))
+      (hack-local-variables)
       (goto-char (point-min))
       (search-forward "\n<<")
       (beginning-of-line)
@@ -88,7 +92,7 @@ With arg, you are asked to choose which language."
              (newline n))
          ;; Some people get confused by the large gap.
          (newline (/ n 2))
-         
+
          ;; Skip the [...] line (don't delete it).
          (forward-line 1)
          (newline (- n (/ n 2)))))
@@ -98,8 +102,8 @@ With arg, you are asked to choose which language."
 ;;;###autoload
 (defun locate-library (library &optional nosuffix path interactive-call)
   "Show the precise file name of Emacs library LIBRARY.
-This command searches the directories in `load-path' like `M-x load-library'
-to find the file that `M-x load-library RET LIBRARY RET' would load.
+This command searches the directories in `load-path' like `\\[load-library]'
+to find the file that `\\[load-library] RET LIBRARY RET' would load.
 Optional second arg NOSUFFIX non-nil means don't add suffixes `load-suffixes'
 to the specified name LIBRARY.
 
@@ -109,22 +113,19 @@ is used instead of `load-path'.
 When called from a program, the file name is normaly returned as a
 string.  When run interactively, the argument INTERACTIVE-CALL is t,
 and the file name is displayed in the echo area."
-  (interactive (list (read-string "Locate library: ")
+  (interactive (list (completing-read "Locate library: "
+                                     'locate-file-completion
+                                     (cons load-path load-suffixes))
                     nil nil
                     t))
-  (catch 'answer
-    (dolist (dir (or path load-path))
-      (dolist (suf (append (unless nosuffix load-suffixes) '("")))
-         (let ((try (expand-file-name (concat library suf) dir)))
-         (and (file-readable-p try)
-              (null (file-directory-p try))
-              (progn
-                (if interactive-call
-                    (message "Library is file %s" (abbreviate-file-name try)))
-                (throw 'answer try))))))
+  (let ((file (locate-file library
+                          (or path load-path)
+                          (append (unless nosuffix load-suffixes) '("")))))
     (if interactive-call
-       (message "No library %s in search path" library))
-    nil))
+       (if file
+           (message "Library is file %s" (abbreviate-file-name file))
+         (message "No library %s in search path" library)))
+    file))
 
 \f
 ;; Functions
@@ -157,6 +158,147 @@ and the file name is displayed in the echo area."
          ;; Return the text we displayed.
          (buffer-string))))))
 
+(defun help-split-fundoc (docstring def)
+  "Split a function DOCSTRING into the actual doc and the usage info.
+Return (USAGE . DOC) or nil if there's no usage info.
+DEF is the function whose usage we're looking for in DOCSTRING."
+  ;; Functions can get the calling sequence at the end of the doc string.
+  ;; In cases where `function' has been fset to a subr we can't search for
+  ;; function's name in the doc string so we use `fn' as the anonymous
+  ;; function name instead.
+  (when (and docstring (string-match "\n\n(fn\\(\\( .*\\)?)\\)\\'" docstring))
+    (cons (format "(%s%s"
+                 ;; Replace `fn' with the actual function name.
+                 (if (consp def) "anonymous" def)
+                 (match-string 1 docstring))
+         (substring docstring 0 (match-beginning 0)))))
+
+(defun help-add-fundoc-usage (docstring arglist)
+  "Add the usage info to DOCSTRING.
+If DOCSTRING already has a usage info, then just return it unchanged.
+The usage info is built from ARGLIST.  DOCSTRING can be nil.
+ARGLIST can also be t or a string of the form \"(FUN ARG1 ARG2 ...)\"."
+  (unless (stringp docstring) (setq docstring "Not documented"))
+  (if (or (string-match "\n\n(fn\\(\\( .*\\)?)\\)\\'" docstring) (eq arglist t))
+      docstring
+    (concat docstring
+           (if (string-match "\n?\n\\'" docstring)
+               (if (< (- (match-end 0) (match-beginning 0)) 2) "\n" "")
+             "\n\n")
+           (if (and (stringp arglist)
+                    (string-match "\\`([^ ]+\\(.*\\))\\'" arglist))
+               (concat "(fn" (match-string 1 arglist) ")")
+             (format "%S" (help-make-usage 'fn arglist))))))
+
+(defun help-function-arglist (def)
+  ;; Handle symbols aliased to other symbols.
+  (if (and (symbolp def) (fboundp def)) (setq def (indirect-function def)))
+  ;; If definition is a macro, find the function inside it.
+  (if (eq (car-safe def) 'macro) (setq def (cdr def)))
+  (cond
+   ((byte-code-function-p def) (aref def 0))
+   ((eq (car-safe def) 'lambda) (nth 1 def))
+   ((and (eq (car-safe def) 'autoload) (not (eq (nth 4 def) 'keymap)))
+    "[Arg list not available until function definition is loaded.]")
+   (t t)))
+
+(defun help-make-usage (function arglist)
+  (cons (if (symbolp function) function 'anonymous)
+       (mapcar (lambda (arg)
+                 (if (not (symbolp arg))
+                     (if (and (consp arg) (symbolp (car arg)))
+                         ;; CL style default values for optional args.
+                         (cons (intern (upcase (symbol-name (car arg))))
+                               (cdr arg))
+                       arg)
+                   (let ((name (symbol-name arg)))
+                     (if (string-match "\\`&" name) arg
+                       (intern (upcase name))))))
+               arglist)))
+
+(defun help-C-file-name (subr-or-var kind)
+  "Return the name of the C file where SUBR-OR-VAR is defined.
+KIND should be `var' for a variable or `subr' for a subroutine."
+  (let ((docbuf (get-buffer-create " *DOC*"))
+       (name (if (eq 'var kind)
+                 (concat "V" (symbol-name subr-or-var))
+               (concat "F" (subr-name subr-or-var)))))
+    (with-current-buffer docbuf
+      (goto-char (point-min))
+      (if (eobp)
+         (insert-file-contents-literally
+          (expand-file-name internal-doc-file-name doc-directory)))
+      (search-forward (concat "\1f" name "\n"))
+      (re-search-backward "\1fS\\(.*\\)")
+      (let ((file (match-string 1)))
+       (if (string-match "\\.\\(o\\|obj\\)\\'" file)
+           (setq file (replace-match ".c" t t file)))
+       (if (string-match "\\.c\\'" file)
+           (concat "src/" file)
+         file)))))
+
+;;;###autoload
+(defface help-argument-name '((((supports :slant italic)) :inherit italic))
+  "Face to highlight argument names in *Help* buffers."
+  :group 'help)
+
+(defun help-default-arg-highlight (arg)
+  "Default function to highlight arguments in *Help* buffers.
+It returns ARG in face `help-argument-name'; ARG is also
+downcased if it displays differently than the default
+face (according to `face-differs-from-default-p')."
+  (propertize (if (face-differs-from-default-p 'help-argument-name)
+                  (downcase arg)
+                arg)
+              'face 'help-argument-name))
+
+(defun help-do-arg-highlight (doc args)
+  (with-syntax-table (make-syntax-table emacs-lisp-mode-syntax-table)
+    (modify-syntax-entry ?\- "w")
+    (while args
+      (let ((arg (prog1 (car args) (setq args (cdr args)))))
+        (setq doc (replace-regexp-in-string
+                   ;; This is heuristic, but covers all common cases
+                   ;; except ARG1-ARG2
+                   (concat "\\<"                   ; beginning of word
+                           "\\(?:[a-z-]+-\\)?"     ; for xxx-ARG
+                           "\\("
+                           arg
+                           "\\)"
+                           "\\(?:es\\|s\\|th\\)?"  ; for ARGth, ARGs
+                           "\\(?:-[a-z-]+\\)?"     ; for ARG-xxx
+                           "\\>")                  ; end of word
+                   (help-default-arg-highlight arg)
+                   doc t t 1))))
+    doc))
+
+(defun help-highlight-arguments (usage doc &rest args)
+  (when usage
+    (with-temp-buffer
+      (insert usage)
+      (goto-char (point-min))
+      (let ((case-fold-search nil)
+            (next (not (or args (looking-at "\\["))))
+            (opt nil))
+        ;; Make a list of all arguments
+        (skip-chars-forward "^ ")
+        (while next
+          (or opt (not (looking-at " &")) (setq opt t))
+          (if (not (re-search-forward " \\([\\[(]*\\)\\([^] &)\.]+\\)" nil t))
+              (setq next nil)
+            (setq args (cons (match-string 2) args))
+            (when (and opt (string= (match-string 1) "("))
+              ;; A pesky CL-style optional argument with default value,
+              ;; so let's skip over it
+              (search-backward "(")
+              (goto-char (scan-sexps (point) 1)))))
+        ;; Highlight aguments in the USAGE string
+        (setq usage (help-do-arg-highlight (buffer-string) args))
+        ;; Highlight arguments in the DOC string
+        (setq doc (and doc (help-do-arg-highlight doc args))))))
+  ;; Return value is like the one from help-split-fundoc, but highlighted
+  (cons usage doc))
+
 ;;;###autoload
 (defun describe-function-1 (function)
   (let* ((def (if (symbolp function)
@@ -189,8 +331,7 @@ and the file name is displayed in the echo area."
                         (if (eq (nth 4 def) 'keymap) "keymap"
                           (if (nth 4 def) "Lisp macro" "Lisp function"))
                         ))
-                ;; perhaps use keymapp here instead
-                ((eq (car-safe def) 'keymap)
+                ((keymapp def)
                  (let ((is-full nil)
                        (elts (cdr-safe def)))
                    (while elts
@@ -223,103 +364,95 @@ and the file name is displayed in the echo area."
            (when (re-search-backward
                   "^;;; Generated autoloads from \\(.*\\)" nil t)
              (setq file-name (match-string 1)))))))
-    (cond
-     (file-name
+    (when (and (null file-name) (subrp def))
+      ;; Find the C source file name.
+      (setq file-name (if (get-buffer " *DOC*")
+                         (help-C-file-name def 'subr)
+                       'C-source)))
+    (when file-name
       (princ " in `")
       ;; We used to add .el to the file name,
       ;; but that's completely wrong when the user used load-file.
-      (princ file-name)
+      (princ (if (eq file-name 'C-source) "C source code" file-name))
       (princ "'")
       ;; Make a hyperlink to the library.
       (with-current-buffer standard-output
-       (save-excursion
+        (save-excursion
          (re-search-backward "`\\([^`']+\\)'" nil t)
-         (help-xref-button 1 'help-function-def function file-name)))))
+         (help-xref-button 1 'help-function-def function file-name))))
     (princ ".")
     (terpri)
     (when (commandp function)
-      (let* ((remapped (remap-command function))
+      (let* ((remapped (command-remapping function))
             (keys (where-is-internal
-                  (or remapped function) overriding-local-map nil nil)))
+                   (or remapped function) overriding-local-map nil nil))
+            non-modified-keys)
+       ;; Which non-control non-meta keys run this command?
+       (dolist (key keys)
+         (if (member (event-modifiers (aref key 0)) '(nil (shift)))
+             (push key non-modified-keys)))
        (when remapped
          (princ "It is remapped to `")
          (princ (symbol-name remapped))
          (princ "'"))
+
        (when keys
          (princ (if remapped " which is bound to " "It is bound to "))
          ;; FIXME: This list can be very long (f.ex. for self-insert-command).
-         (princ (mapconcat 'key-description keys ", ")))
-       (when (or remapped keys)
+         ;; If there are many, remove them from KEYS.
+         (if (< (length non-modified-keys) 10)
+             (princ (mapconcat 'key-description keys ", "))
+           (dolist (key non-modified-keys)
+             (setq keys (delq key keys)))
+           (if keys
+               (progn
+                 (princ (mapconcat 'key-description keys ", "))
+                 (princ ", and many ordinary text characters"))
+             (princ "many ordinary text characters"))))
+       (when (or remapped keys non-modified-keys)
          (princ ".")
          (terpri))))
-    ;; Handle symbols aliased to other symbols.
-    (setq def (indirect-function def))
-    ;; If definition is a macro, find the function inside it.
-    (if (eq (car-safe def) 'macro)
-       (setq def (cdr def)))
-    (let ((arglist (cond ((byte-code-function-p def)
-                         (car (append def nil)))
-                        ((eq (car-safe def) 'lambda)
-                         (nth 1 def))
-                        ((and (eq (car-safe def) 'autoload)
-                              (not (eq (nth 4 def) 'keymap)))
-                         (concat "[Arg list not available until "
-                                 "function definition is loaded.]"))
-                        (t t))))
-      (cond ((listp arglist)
-            (princ (cons (if (symbolp function) function "anonymous")
-                         (mapcar (lambda (arg)
-                                   (if (memq arg '(&optional &rest))
-                                       arg
-                                     (intern (upcase (symbol-name arg)))))
-                                 arglist)))
-            (terpri))
-           ((stringp arglist)
-            (princ arglist)
-            (terpri))))
-    (let ((obsolete (get function 'byte-obsolete-info)))
-      (when obsolete
-        (terpri)
-        (princ "This function is obsolete")
-        (if (nth 2 obsolete) (princ (format " since %s" (nth 2 obsolete))))
-        (princ ".") (terpri)
-        (princ (if (stringp (car obsolete)) (car obsolete)
-                 (format "Use `%s' instead." (car obsolete))))
-        (terpri)))
-    (let ((doc (documentation function)))
-      (if doc
-         (progn (terpri)
-                (princ doc)
-                (if (subrp def)
-                    (with-current-buffer standard-output
-                      (beginning-of-line)
-                      ;; Builtins get the calling sequence at the end of
-                      ;; the doc string.  Move it to the same place as
-                      ;; for other functions.
-
-                      ;; In cases where `function' has been fset to a
-                      ;; subr we can't search for function's name in
-                      ;; the doc string.  Kluge round that using the
-                      ;; printed representation.  The arg list then
-                      ;; shows the wrong function name, but that
-                      ;; might be a useful hint.
-                      (let* ((rep (prin1-to-string def))
-                             (name (progn
-                                     (string-match " \\([^ ]+\\)>$" rep)
-                                     (match-string 1 rep))))
-                        (if (looking-at (format "(%s[ )]" (regexp-quote name)))
-                            (let ((start (point-marker)))
-                              (goto-char (point-min))
-                              (forward-paragraph)
-                              (insert-buffer-substring (current-buffer) start)
-                              (insert ?\n)
-                              (delete-region (1- start) (point-max)))
-                          (goto-char (point-min))
-                          (forward-paragraph)
-                          (insert
-                           "[Missing arglist.  Please make a bug report.]\n")))
-                      (goto-char (point-max)))))
-       (princ "Not documented.")))))
+    (let* ((arglist (help-function-arglist def))
+          (doc (documentation function))
+          (usage (help-split-fundoc doc function)))
+      (with-current-buffer standard-output
+        ;; If definition is a keymap, skip arglist note.
+        (unless (keymapp def)
+          (let* ((use (cond
+                        (usage (setq doc (cdr usage)) (car usage))
+                        ((listp arglist)
+                         (format "%S" (help-make-usage function arglist)))
+                        ((stringp arglist) arglist)
+                        ;; Maybe the arglist is in the docstring of the alias.
+                        ((let ((fun function))
+                           (while (and (symbolp fun)
+                                       (setq fun (symbol-function fun))
+                                       (not (setq usage (help-split-fundoc
+                                                         (documentation fun)
+                                                         function)))))
+                           usage)
+                         (car usage))
+                        ((or (stringp def)
+                             (vectorp def))
+                         (format "\nMacro: %s" (format-kbd-macro def)))
+                        (t "[Missing arglist.  Please make a bug report.]")))
+                 (high (help-highlight-arguments use doc)))
+            (insert (car high) "\n")
+            (setq doc (cdr high))))
+        (let ((obsolete (and
+                         ;; function might be a lambda construct.
+                         (symbolp function)
+                         (get function 'byte-obsolete-info))))
+          (when obsolete
+            (princ "\nThis function is obsolete")
+            (when (nth 2 obsolete)
+              (insert (format " since %s" (nth 2 obsolete))))
+            (insert ";\n"
+                    (if (stringp (car obsolete)) (car obsolete)
+                      (format "use `%s' instead." (car obsolete)))
+                    "\n"))
+          (insert "\n"
+                  (or doc "Not documented.")))))))
 
 \f
 ;; Variables
@@ -363,30 +496,31 @@ it is displayed along with the global value."
   (if (not (symbolp variable))
       (message "You did not specify a variable")
     (save-excursion
-      (let (valvoid)
+      (let* ((valvoid (not (with-current-buffer buffer (boundp variable))))
+            ;; Extract the value before setting up the output buffer,
+            ;; in case `buffer' *is* the output buffer.
+            (val (unless valvoid (buffer-local-value variable buffer))))
        (help-setup-xref (list #'describe-variable variable buffer)
                         (interactive-p))
        (with-output-to-temp-buffer (help-buffer)
          (with-current-buffer buffer
            (prin1 variable)
-           (if (not (boundp variable))
-               (progn
-                 (princ " is void")
-                 (setq valvoid t))
-             (let ((val (symbol-value variable)))
-               (with-current-buffer standard-output
-                 (princ "'s value is ")
-                 (terpri)
-                 (let ((from (point)))
-                   (pp val)
-                   (help-xref-on-pp from (point))
-                   (if (< (point) (+ from 20))
-                       (save-excursion
-                         (goto-char from)
-                         (delete-char -1)))))))
+           (if valvoid
+               (princ " is void")
+             (with-current-buffer standard-output
+               (princ "'s value is ")
+               (terpri)
+               (let ((from (point)))
+                 (pp val)
+                 (help-xref-on-pp from (point))
+                 (if (< (point) (+ from 20))
+                     (delete-region (1- from) from)))))
            (terpri)
            (when (local-variable-p variable)
-             (princ (format "Local in buffer %s; " (buffer-name)))
+             (princ (format "%socal in buffer %s; "
+                            (if (get variable 'permanent-local)
+                                "Permanently l" "L")
+                            (buffer-name)))
              (if (not (default-boundp variable))
                  (princ "globally void")
                (let ((val (default-value variable)))
@@ -426,26 +560,28 @@ it is displayed along with the global value."
                (save-excursion
                  (forward-line -1)
                  (insert "Automatically becomes buffer-local when set in any fashion.\n"))))
-           (princ "Documentation:")
-           (terpri)
-           (let ((obsolete (get variable 'byte-obsolete-variable)))
-             (when obsolete
-               (princ "This variable is obsolete")
-               (if (cdr obsolete) (princ (format " since %s" (cdr obsolete))))
-               (princ ".") (terpri)
-               (princ (if (stringp (car obsolete)) (car obsolete)
-                        (format "Use `%s' instead." (car obsolete))))
-               (terpri)))
-           (let ((doc (documentation-property variable 'variable-documentation)))
-             (princ (or doc "Not documented as a variable.")))
-         
+           ;; Mention if it's an alias
+            (let* ((alias (condition-case nil
+                             (indirect-variable variable)
+                           (error variable)))
+                   (obsolete (get variable 'byte-obsolete-variable))
+                   (doc (or (documentation-property variable 'variable-documentation)
+                            (documentation-property alias 'variable-documentation))))
+              (unless (eq alias variable)
+                (princ (format "This variable is an alias for `%s'." alias))
+                (terpri)
+                (terpri))
+              (when obsolete
+                (princ "This variable is obsolete")
+                (if (cdr obsolete) (princ (format " since %s" (cdr obsolete))))
+                (princ ";") (terpri)
+                (princ (if (stringp (car obsolete)) (car obsolete)
+                         (format "use `%s' instead." (car obsolete))))
+                (terpri)
+                (terpri))
+              (princ (or doc "Not documented as a variable.")))
            ;; Make a link to customize if this variable can be customized.
-           ;; Note, it is not reliable to test only for a custom-type property
-           ;; because those are only present after the var's definition
-           ;; has been loaded.
-           (if (or (get variable 'custom-type) ; after defcustom
-                   (get variable 'custom-loads) ; from loaddefs.el
-                   (get variable 'standard-value)) ; from cus-start.el
+           (if (custom-variable-p variable)
                (let ((customize-label "customize"))
                  (terpri)
                  (terpri)
@@ -458,7 +594,7 @@ it is displayed along with the global value."
            ;; Make a hyperlink to the library if appropriate.  (Don't
            ;; change the format of the buffer's initial line in case
            ;; anything expects the current format.)
-           (let ((file-name (symbol-file variable)))
+           (let ((file-name (symbol-file (cons 'defvar variable))))
              (when (equal file-name "loaddefs.el")
                ;; Find the real def site of the preloaded variable.
                (let ((location
@@ -471,9 +607,16 @@ it is displayed along with the global value."
                      (when (re-search-backward
                             "^;;; Generated autoloads from \\(.*\\)" nil t)
                        (setq file-name (match-string 1)))))))
+             (when (and (null file-name)
+                        (integerp (get variable 'variable-documentation)))
+               ;; It's a variable not defined in Elisp but in C.
+               (setq file-name
+                     (if (get-buffer " *DOC*")
+                         (help-C-file-name variable 'var)
+                       'C-source)))
              (when file-name
                (princ "\n\nDefined in `")
-               (princ file-name)
+               (princ (if (eq file-name 'C-source) "C source code" file-name))
                (princ "'.")
                (with-current-buffer standard-output
                  (save-excursion
@@ -515,7 +658,9 @@ BUFFER defaults to the current buffer."
 ;;;###autoload
 (defun describe-categories (&optional buffer)
   "Describe the category specifications in the current category table.
-The descriptions are inserted in a buffer, which is then displayed."
+The descriptions are inserted in a buffer, which is then displayed.
+If BUFFER is non-nil, then describe BUFFER's category table instead.
+BUFFER should be a buffer or a buffer name."
   (interactive)
   (setq buffer (or buffer (current-buffer)))
   (help-setup-xref (list #'describe-categories buffer) (interactive-p))
@@ -537,4 +682,5 @@ The descriptions are inserted in a buffer, which is then displayed."
 
 (provide 'help-fns)
 
+;;; arch-tag: 9e10331c-ae81-4d13-965d-c4819aaab0b3
 ;;; help-fns.el ends here