*** empty log message ***
[bpt/emacs.git] / lisp / help-fns.el
index 3606454..71a5044 100644 (file)
@@ -1,6 +1,6 @@
 ;;; help-fns.el --- Complex help functions
 
-;; Copyright (C) 1985, 1986, 1993, 1994, 1998, 1999, 2000, 2001
+;; Copyright (C) 1985, 1986, 1993, 1994, 1998, 1999, 2000, 2001, 2002, 2003
 ;;   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")))
@@ -63,16 +66,34 @@ With arg, you are asked to choose which language."
       (goto-char (point-min))
       (search-forward "\n<<")
       (beginning-of-line)
-      (delete-region (point) (progn (end-of-line) (point)))
+      ;; Convert the <<...>> line to the proper [...] line,
+      ;; or just delete the <<...>> line if a [...] line follows.
+      (cond ((save-excursion
+              (forward-line 1)
+              (looking-at "\\["))
+            (delete-region (point) (progn (forward-line 1) (point))))
+           ((looking-at "<<Blank lines inserted.*>>")
+            (replace-match "[Middle of page left blank for didactic purposes.   Text continues below]"))
+           (t
+            (looking-at "<<")
+            (replace-match "[")
+            (search-forward ">>")
+            (replace-match "]")))
+      (beginning-of-line)
       (let ((n (- (window-height (selected-window))
                  (count-lines (point-min) (point))
                  6)))
-       (if (< n 12)
-           (newline n)
+       (if (< n 8)
+           (progn
+             ;; For a short gap, we don't need the [...] line,
+             ;; so delete it.
+             (delete-region (point) (progn (end-of-line) (point)))
+             (newline n))
          ;; Some people get confused by the large gap.
          (newline (/ n 2))
-         (insert "[Middle of page left blank for didactic purposes.  "
-                 "Text continues below]")
+
+         ;; Skip the [...] line (don't delete it).
+         (forward-line 1)
          (newline (- n (/ n 2)))))
       (goto-char (point-min))
       (set-buffer-modified-p nil))))
@@ -80,8 +101,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.
 
@@ -91,22 +112,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
@@ -127,16 +145,75 @@ and the file name is displayed in the echo area."
   (if (null function)
       (message "You didn't specify a function")
     (help-setup-xref (list #'describe-function function) (interactive-p))
-    (with-output-to-temp-buffer (help-buffer)
-      (prin1 function)
-      ;; Use " is " instead of a colon so that
-      ;; it is easier to get out the function name using forward-sexp.
-      (princ " is ")
-      (describe-function-1 function)
-      (print-help-return-message)
-      (with-current-buffer standard-output
-       ;; Return the text we displayed.
-       (buffer-string)))))
+    (save-excursion
+      (with-output-to-temp-buffer (help-buffer)
+       (prin1 function)
+       ;; Use " is " instead of a colon so that
+       ;; it is easier to get out the function name using forward-sexp.
+       (princ " is ")
+       (describe-function-1 function)
+       (print-help-return-message)
+       (with-current-buffer standard-output
+         ;; Return the text we displayed.
+         (buffer-string))))))
+
+(defun help-split-fundoc (doc def)
+  "Split a function docstring DOC 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 DOC."
+  ;; 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 doc (string-match "\n\n(fn\\(\\( .*\\)?)\\)\\'" doc))
+    (cons (format "(%s%s"
+                 ;; Replace `fn' with the actual function name.
+                 (if (consp def) "anonymous" def)
+                 (match-string 1 doc))
+         (substring doc 0 (match-beginning 0)))))
+
+(defun help-add-fundoc-usage (doc arglist)
+  "Add the usage info to the docstring DOC.
+If DOC already has a usage info, then just return DOC unchanged.
+The usage info is built from ARGLIST.  DOC can be nil.
+ARGLIST can also be t or a string of the form \"(fun ARG1 ARG2 ...)\"."
+  (unless (stringp doc) (setq doc "Not documented"))
+  (if (or (string-match "\n\n(fn\\(\\( .*\\)?)\\)\\'" doc) (eq arglist t))
+      doc
+    (format "%s%s%s" doc
+           (if (string-match "\n?\n\\'" doc)
+               (if (< (- (match-end 0) (match-beginning 0)) 2) "\n" "")
+             "\n\n")
+           (if (and (stringp arglist)
+                    (string-match "\\`([^ ]+\\(.*\\))\\'" arglist))
+               (concat "(fn" (match-string 1 arglist) ")")
+             (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)))
 
 ;;;###autoload
 (defun describe-function-1 (function)
@@ -170,8 +247,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
@@ -191,88 +267,85 @@ and the file name is displayed in the echo area."
              (help-xref-button 1 'help-function def)))))
     (or file-name
        (setq file-name (symbol-file function)))
+    (when (equal file-name "loaddefs.el")
+      ;; Find the real def site of the preloaded function.
+      ;; This is necessary only for defaliases.
+      (let ((location
+            (condition-case nil
+                (find-function-search-for-symbol function nil "loaddefs.el")
+              (error nil))))
+       (when location
+         (with-current-buffer (car location)
+           (goto-char (cdr location))
+           (when (re-search-backward
+                  "^;;; Generated autoloads from \\(.*\\)" nil t)
+             (setq file-name (match-string 1)))))))
     (cond
      (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 "'")
-         ;; Make a hyperlink to the library.
+      (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 "'")
+      ;; Make a hyperlink to the library.
       (with-current-buffer standard-output
-           (save-excursion
-             (re-search-backward "`\\([^`']+\\)'" nil t)
+       (save-excursion
+         (re-search-backward "`\\([^`']+\\)'" nil t)
          (help-xref-button 1 'help-function-def function file-name)))))
     (princ ".")
     (terpri)
     (when (commandp function)
-      (let ((keys (where-is-internal
-                  function overriding-local-map nil nil)))
+      (let* ((remapped (command-remapping function))
+            (keys (where-is-internal
+                   (or remapped function) overriding-local-map nil nil)))
+       (when remapped
+         (princ "It is remapped to `")
+         (princ (symbol-name remapped))
+         (princ "'"))
        (when keys
-         (princ "It is bound to ")
+         (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 ", "))
+         (princ (mapconcat 'key-description keys ", ")))
+       (when (or remapped 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 ((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)))
+      ;; If definition is a keymap, skip arglist note.
+      (unless (keymapp def)
+       (princ (cond
+               (usage (setq doc (cdr usage)) (car usage))
+               ((listp arglist) (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.]")))
+       (terpri))
+      (let ((obsolete (and
+                      ;; function might be a lambda construct.
+                      (symbolp function)
+                      (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)))
+      (terpri)
+      (princ (or doc "Not documented.")))))
 
 \f
 ;; Variables
@@ -312,20 +385,21 @@ it is displayed along with the global value."
                                (if (symbolp v) (symbol-name v))))
      (list (if (equal val "")
               v (intern val)))))
-  (unless (bufferp buffer) (setq buffer (current-buffer)))
+  (unless (buffer-live-p buffer) (setq buffer (current-buffer)))
   (if (not (symbolp variable))
       (message "You did not specify a variable")
-    (let (valvoid)
-      (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
+    (save-excursion
+      (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 valvoid
                (princ " is void")
-               (setq valvoid t))
-           (let ((val (symbol-value variable)))
              (with-current-buffer standard-output
                (princ "'s value is ")
                (terpri)
@@ -333,105 +407,114 @@ it is displayed along with the global value."
                  (pp val)
                  (help-xref-on-pp from (point))
                  (if (< (point) (+ from 20))
-                     (save-excursion
-                       (goto-char from)
-                       (delete-char -1)))))))
-         (terpri)
-         (when (local-variable-p variable)
-           (princ (format "Local in buffer %s; " (buffer-name)))
-           (if (not (default-boundp variable))
-               (princ "globally void")
-             (let ((val (default-value variable)))
-               (with-current-buffer standard-output
-                 (princ "global value is ")
-                 (terpri)
-                 ;; Fixme: pp can take an age if you happen to
-                 ;; ask for a very large expression.  We should
-                 ;; probably print it raw once and check it's a
-                 ;; sensible size before prettyprinting.  -- fx
-                 (let ((from (point)))
-                       (pp val)
-                       (help-xref-on-pp from (point))
-                       (if (< (point) (+ from 20))
-                           (save-excursion
-                             (goto-char from)
-                             (delete-char -1)))))))
-           (terpri))
-         (terpri)
-         (with-current-buffer standard-output
-           (when (> (count-lines (point-min) (point-max)) 10)
-             ;; Note that setting the syntax table like below
-             ;; makes forward-sexp move over a `'s' at the end
-             ;; of a symbol.
-             (set-syntax-table emacs-lisp-mode-syntax-table)
-             (goto-char (point-min))
-             (if valvoid
-                 (forward-line 1)
-               (forward-sexp 1)
-               (delete-region (point) (progn (end-of-line) (point)))
-               (insert " value is shown below.\n\n")
+                     (delete-region (1- from) from)))))
+           (terpri)
+           (when (local-variable-p variable)
+             (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)))
+                 (with-current-buffer standard-output
+                   (princ "global value is ")
+                   (terpri)
+                   ;; Fixme: pp can take an age if you happen to
+                   ;; ask for a very large expression.  We should
+                   ;; probably print it raw once and check it's a
+                   ;; sensible size before prettyprinting.  -- fx
+                   (let ((from (point)))
+                     (pp val)
+                     (help-xref-on-pp from (point))
+                     (if (< (point) (+ from 20))
+                       (delete-region (1- from) from))))))
+             (terpri))
+           (terpri)
+           (with-current-buffer standard-output
+             (when (> (count-lines (point-min) (point-max)) 10)
+               ;; Note that setting the syntax table like below
+               ;; makes forward-sexp move over a `'s' at the end
+               ;; of a symbol.
+               (set-syntax-table emacs-lisp-mode-syntax-table)
+               (goto-char (point-min))
+               (if valvoid
+                   (forward-line 1)
+                 (forward-sexp 1)
+                 (delete-region (point) (progn (end-of-line) (point)))
+                 (insert " value is shown below.\n\n")
+                 (save-excursion
+                   (insert "\n\nValue:"))))
+             ;; Add a note for variables that have been make-var-buffer-local.
+             (when (and (local-variable-if-set-p variable)
+                        (or (not (local-variable-p variable))
+                            (with-temp-buffer
+                              (local-variable-if-set-p variable))))
                (save-excursion
-                 (insert "\n\nValue:"))))
-           ;; Add a note for variables that have been make-var-buffer-local.
-           (when (and (local-variable-if-set-p variable)
-                      (or (not (local-variable-p variable))
-                          (with-temp-buffer
-                            (local-variable-if-set-p variable))))
-             (save-excursion
-               (forward-line -1)
-               (insert "Automatically becomes buffer-local when set in any fashion.\n"))))
-         (princ "Documentation:")
-         (terpri)
-         (let ((doc (documentation-property variable 'variable-documentation)))
-           (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
-             (let ((customize-label "customize"))
-               (terpri)
-               (terpri)
-               (princ (concat "You can " customize-label " this variable."))
+                 (forward-line -1)
+                 (insert "Automatically becomes buffer-local when set in any fashion.\n"))))
+           ;; 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.
+           (if (custom-variable-p variable)
+               (let ((customize-label "customize"))
+                 (terpri)
+                 (terpri)
+                 (princ (concat "You can " customize-label " this variable."))
+                 (with-current-buffer standard-output
+                   (save-excursion
+                     (re-search-backward
+                      (concat "\\(" customize-label "\\)") nil t)
+                     (help-xref-button 1 'help-customize-variable variable)))))
+           ;; 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 (cons 'defvar variable))))
+             (when (equal file-name "loaddefs.el")
+               ;; Find the real def site of the preloaded variable.
+               (let ((location
+                      (condition-case nil
+                          (find-variable-noselect variable file-name)
+                        (error nil))))
+                 (when location
+                   (with-current-buffer (car location)
+                     (goto-char (cdr location))
+                     (when (re-search-backward
+                            "^;;; Generated autoloads from \\(.*\\)" nil t)
+                       (setq file-name (match-string 1)))))))
+             (when file-name
+               (princ "\n\nDefined in `")
+               (princ file-name)
+               (princ "'.")
                (with-current-buffer standard-output
                  (save-excursion
-                   (re-search-backward
-                    (concat "\\(" customize-label "\\)") nil t)
-                   (help-xref-button 1 'help-customize-variable variable)))))
-         ;; 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)))
-           (when (equal file-name "loaddefs.el")
-             ;; Find the real def site of the preloaded variable.
-             (let ((location
-                    (condition-case nil
-                        (find-variable-noselect variable file-name)
-                      (error nil))))
-               (when location
-                 (with-current-buffer (car location)
-                   (goto-char (cdr location))
-                   (when (re-search-backward
-                          "^;;; Generated autoloads from \\(.*\\)" nil t)
-                     (setq file-name (match-string 1)))))))
-           (when file-name
-             (princ "\n\nDefined in `")
-             (princ file-name)
-             (princ "'.")
-             (with-current-buffer standard-output
-               (save-excursion
-                 (re-search-backward "`\\([^`']+\\)'" nil t)
-                 (help-xref-button 1 'help-variable-def
-                                   variable file-name)))))
-
-         (print-help-return-message)
-         (save-excursion
-           (set-buffer standard-output)
-           ;; Return the text we displayed.
-           (buffer-string)))))))
+                   (re-search-backward "`\\([^`']+\\)'" nil t)
+                   (help-xref-button 1 'help-variable-def
+                                     variable file-name)))))
+
+           (print-help-return-message)
+           (save-excursion
+             (set-buffer standard-output)
+             ;; Return the text we displayed.
+             (buffer-string))))))))
 
 
 ;;;###autoload