2886 lines
116 KiB
EmacsLisp
2886 lines
116 KiB
EmacsLisp
;;; checkdoc.el --- check documentation strings for style requirements -*- lexical-binding:t -*-
|
||
|
||
;; Copyright (C) 1997-2024 Free Software Foundation, Inc.
|
||
|
||
;; Author: Eric M. Ludlam <zappo@gnu.org>
|
||
;; Old-Version: 0.6.2
|
||
;; Keywords: docs, maint, lisp
|
||
|
||
;; This file is part of GNU Emacs.
|
||
|
||
;; GNU Emacs is free software: you can redistribute it and/or modify
|
||
;; it under the terms of the GNU General Public License as published by
|
||
;; the Free Software Foundation, either version 3 of the License, or
|
||
;; (at your option) any later version.
|
||
|
||
;; GNU Emacs is distributed in the hope that it will be useful,
|
||
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
;; GNU General Public License for more details.
|
||
|
||
;; You should have received a copy of the GNU General Public License
|
||
;; along with GNU Emacs. If not, see <https://www.gnu.org/licenses/>.
|
||
|
||
;;; Commentary:
|
||
|
||
;; The Emacs Lisp manual has a nice chapter on how to write
|
||
;; documentation strings. Many stylistic suggestions are fairly
|
||
;; deterministic and easy to check for syntactically, but also easy
|
||
;; to forget. The main checkdoc engine will perform the stylistic
|
||
;; checks needed to make sure these styles are remembered.
|
||
;;
|
||
;; There are four ways to use checkdoc:
|
||
;;
|
||
;; 1) Use `flymake-mode'. Type `M-x flymake-mode' in any Emacs Lisp
|
||
;; buffer; the checkdoc back-end is enabled by default.
|
||
;;
|
||
;; 2) Periodically use `checkdoc' or `checkdoc-current-buffer'.
|
||
;; The `checkdoc' command is a more interactive version of
|
||
;; `checkdoc-current-buffer'.
|
||
;;
|
||
;; 3) Use `checkdoc-minor-mode' to automatically check your
|
||
;; documentation whenever you evaluate Lisp code with C-M-x
|
||
;; or [menu-bar emacs-lisp eval-buffer]. Additional key-bindings
|
||
;; are also provided under C-c ? KEY
|
||
;; (add-hook 'emacs-lisp-mode-hook 'checkdoc-minor-mode)
|
||
;;
|
||
;; 4) Use `checkdoc-ispell' to spellcheck docstrings interactively.
|
||
;;
|
||
;; Using `checkdoc':
|
||
;;
|
||
;; Most users will probably use checkdoc through `flymake'. The
|
||
;; commands `checkdoc' and `checkdoc-ispell' are the top-level entry
|
||
;; points to all of the different checks that are available. It
|
||
;; breaks examination of your Lisp file into four sections (comments,
|
||
;; documentation, messages, and spacing) and indicates its current
|
||
;; state in a status buffer.
|
||
;;
|
||
;; The Comments check examines your headers, footers, and
|
||
;; various tags (such as "Code:") to make sure that your code is ready
|
||
;; for easy integration into existing systems.
|
||
;;
|
||
;; The Documentation check deals with documentation strings
|
||
;; and their elements that help make Emacs easier to use.
|
||
;;
|
||
;; The Messages check ensures that the strings displayed in the
|
||
;; minibuffer by some commands (such as `error' and `y-or-n-p')
|
||
;; are consistent with the Emacs environment.
|
||
;;
|
||
;; The Spacing check cleans up white-space at the end of lines.
|
||
;;
|
||
;; The interface while working with documentation and messages is
|
||
;; slightly different when being run in the interactive mode. The
|
||
;; interface offers several options, including the ability to skip to
|
||
;; the next error, or back up to previous errors. Auto-fixing is
|
||
;; turned off at this stage, but you can use the `f' or `F' key to fix
|
||
;; a given error (if the fix is available).
|
||
;;
|
||
;; Auto-fixing:
|
||
;;
|
||
;; There are four classifications of style errors in terms of how
|
||
;; easy they are to fix. They are simple, complex, really complex,
|
||
;; and impossible. (Impossible really means that checkdoc does not
|
||
;; have a fixing routine yet.) Typically white-space errors are
|
||
;; classified as simple, and are auto-fixed by default. Typographic
|
||
;; changes are considered complex, and the user is asked if they want
|
||
;; the problem fixed before checkdoc makes the change. These changes
|
||
;; can be done without asking if `checkdoc-autofix-flag' is properly
|
||
;; set. Potentially redundant changes are considered really complex,
|
||
;; and the user is always asked before a change is inserted. The
|
||
;; variable `checkdoc-autofix-flag' controls how these types of errors
|
||
;; are fixed.
|
||
;;
|
||
;; Spell checking text:
|
||
;;
|
||
;; The variable `checkdoc-spellcheck-documentation-flag' can be set
|
||
;; to customize how spell checking is to be done. Since spell
|
||
;; checking can be quite slow, you can optimize how best you want your
|
||
;; checking done. The default is `defun', which spell checks each time
|
||
;; `checkdoc-defun' or `checkdoc-eval-defun' is used. Setting to nil
|
||
;; prevents spell checking during normal usage.
|
||
;; Setting this variable to nil does not mean you cannot take
|
||
;; advantage of the spell checking. You can instead use the
|
||
;; interactive functions `checkdoc-ispell-*' to check the spelling of
|
||
;; your documentation.
|
||
;; There is a list of Lisp-specific words which checkdoc will
|
||
;; install into Ispell on the fly, but only if Ispell is not already
|
||
;; running. Use `ispell-kill-ispell' to make checkdoc restart it with
|
||
;; these words enabled.
|
||
;; See also the `flyspell-prog-mode' minor mode.
|
||
;;
|
||
;; Checking parameters:
|
||
;;
|
||
;; You might not always want a function to have its parameters listed
|
||
;; in order. When this is the case, put the following comment just in
|
||
;; front of the documentation string: "; checkdoc-order: nil" This
|
||
;; overrides the value of `checkdoc-arguments-in-order-flag'.
|
||
;;
|
||
;; If you specifically wish to avoid mentioning a parameter of a
|
||
;; function in the doc string (such as a hidden parameter, or a
|
||
;; parameter which is very obvious like events), you can have checkdoc
|
||
;; skip looking for it by putting the following comment just in front
|
||
;; of the documentation string: "; checkdoc-params: (args go here)"
|
||
;;
|
||
;; Checking message strings:
|
||
;;
|
||
;; The text that follows the `error' and `y-or-n-p' commands is
|
||
;; also checked. The documentation for `error' clearly states some
|
||
;; simple style rules to follow which checkdoc will auto-fix for you.
|
||
;; `y-or-n-p' and `yes-or-no-p' should also end in "?".
|
||
;;
|
||
;; Adding your own checks:
|
||
;;
|
||
;; You can experiment with adding your own checks by setting the
|
||
;; hooks `checkdoc-style-functions' and `checkdoc-comment-style-functions'.
|
||
;; Return a string which is the error you wish to report. The cursor
|
||
;; position should be preserved.
|
||
;;
|
||
;; Error errors:
|
||
;;
|
||
;; Checkdoc does not always flag errors correctly. There are a
|
||
;; couple ways you can coax your file into passing all of checkdoc's
|
||
;; tests through buffer local variables.
|
||
;;
|
||
;; The variable `checkdoc-verb-check-experimental-flag' can be used
|
||
;; to turn off the check for verb-voice in case you use words that are
|
||
;; not semantically verbs, but are still in the incomplete list.
|
||
;;
|
||
;; The variable `checkdoc-symbol-words' can be a list of words that
|
||
;; happen to also be symbols. This is not a problem for one-word
|
||
;; symbols, but if you use a hyphenated word that is also a symbol,
|
||
;; then you may need this.
|
||
;;
|
||
;; The symbol `checkdoc-force-docstrings-flag' can be set to nil if
|
||
;; you have many undocumented functions you don't wish to document.
|
||
;;
|
||
;; See the above section "Checking Parameters" for details about
|
||
;; parameter checking.
|
||
|
||
;;; TO DO:
|
||
;; Hook into the byte compiler on a defun/defvar level to generate
|
||
;; warnings in the byte-compiler's warning/error buffer.
|
||
;; Better ways to override more typical `eval' functions. Advice
|
||
;; might be good but hard to turn on/off as a minor mode.
|
||
;;
|
||
;;; Maybe Do:
|
||
;; Code sweep checks for "forbidden functions", proper use of hooks,
|
||
;; proper keybindings, and other items from the manual that are
|
||
;; not specifically docstring related. Would this even be useful?
|
||
|
||
;;; Code:
|
||
|
||
(require 'bytecomp) ;; for byte-compile-docstring-max-column
|
||
(require 'cl-lib)
|
||
(require 'help-mode) ;; for help-xref-info-regexp
|
||
(require 'thingatpt) ;; for handy thing-at-point-looking-at
|
||
(require 'lisp-mode) ;; for lisp-mode-symbol regexp
|
||
(eval-when-compile (require 'dired)) ;; for dired-map-over-marks
|
||
(require 'lisp-mnt)
|
||
|
||
(defvar compilation-error-regexp-alist)
|
||
(defvar compilation-mode-font-lock-keywords)
|
||
|
||
(defgroup checkdoc nil
|
||
"Support for doc string checking in Emacs Lisp."
|
||
:prefix "checkdoc"
|
||
:group 'lisp
|
||
:link '(emacs-commentary-link "checkdoc.el")
|
||
:version "20.3")
|
||
|
||
(defcustom checkdoc-minor-mode-string " CDoc"
|
||
"String to display in mode line when Checkdoc mode is enabled; nil for none."
|
||
:type '(choice string (const :tag "None" nil))
|
||
:version "23.1")
|
||
|
||
(defcustom checkdoc-autofix-flag 'semiautomatic
|
||
"Non-nil means attempt auto-fixing of doc strings.
|
||
If this value is the symbol `query', then the user is queried before
|
||
any change is made. If the value is `automatic', then all changes are
|
||
made without asking unless the change is very complex. If the value
|
||
is `semiautomatic' or any other value, then simple fixes are made
|
||
without asking, and complex changes are made by asking the user first.
|
||
The value `never' is the same as nil, never ask or change anything."
|
||
:type '(choice (const automatic)
|
||
(const query)
|
||
(const never)
|
||
(other :tag "semiautomatic" semiautomatic)))
|
||
|
||
(defcustom checkdoc-bouncy-flag t
|
||
"Non-nil means to \"bounce\" to auto-fix locations.
|
||
Setting this to nil will silently make fixes that require no user
|
||
interaction. See `checkdoc-autofix-flag' for auto-fixing details."
|
||
:type 'boolean)
|
||
|
||
(defcustom checkdoc-force-docstrings-flag t
|
||
"Non-nil means that all checkable definitions should have documentation.
|
||
Style guide dictates that interactive functions MUST have documentation,
|
||
and that it's good but not required practice to make non user visible items
|
||
have doc strings."
|
||
:type 'boolean)
|
||
;;;###autoload(put 'checkdoc-force-docstrings-flag 'safe-local-variable #'booleanp)
|
||
|
||
(defcustom checkdoc-force-history-flag nil
|
||
"Non-nil means that files should have a History section or ChangeLog file.
|
||
This helps document the evolution of, and recent changes to, the package."
|
||
:type 'boolean)
|
||
;;;###autoload(put 'checkdoc-force-history-flag 'safe-local-variable #'booleanp)
|
||
|
||
(defcustom checkdoc-permit-comma-termination-flag nil
|
||
"Non-nil means the first line of a docstring may end with a comma.
|
||
Ordinarily, a full sentence is required. This may be misleading when
|
||
there is a substantial caveat to the one-line description -- the comma
|
||
should be used when the first part could stand alone as a sentence, but
|
||
it indicates that a modifying clause follows."
|
||
:type 'boolean)
|
||
;;;###autoload(put 'checkdoc-permit-comma-termination-flag 'safe-local-variable #'booleanp)
|
||
|
||
(defcustom checkdoc-spellcheck-documentation-flag nil
|
||
"Non-nil means run Ispell on text based on value.
|
||
This is automatically set to nil if Ispell does not exist on your
|
||
system. Possible values are:
|
||
|
||
nil - Don't spell-check during basic style checks.
|
||
defun - Spell-check when style checking a single defun.
|
||
buffer - Spell-check when style checking the whole buffer.
|
||
interactive - Spell-check during any interactive check.
|
||
t - Always spell-check.
|
||
|
||
There is a list of Lisp-specific words which checkdoc will
|
||
install into Ispell on the fly, but only if Ispell is not already
|
||
running. Use `ispell-kill-ispell' to make checkdoc restart it
|
||
with these words enabled."
|
||
:type '(choice (const nil)
|
||
(const defun)
|
||
(const buffer)
|
||
(const interactive)
|
||
(const t)))
|
||
;;;###autoload(put 'checkdoc-spellcheck-documentation-flag 'safe-local-variable #'booleanp)
|
||
|
||
(defvar checkdoc-ispell-lisp-words
|
||
'("alist" "emacs" "etags" "keymap" "paren" "regexp" "sexp")
|
||
"List of words that are correct when spell-checking Lisp documentation.")
|
||
;;;###autoload(put 'checkdoc-ispell-list-words 'safe-local-variable #'list-of-strings-p)
|
||
|
||
(defcustom checkdoc-max-keyref-before-warn nil
|
||
"Maximum number of \\\\=[command-to-keystroke] tokens allowed in a doc string.
|
||
|
||
Any more than this and a warning is generated suggesting that the
|
||
construct \\\\={mapvar} be used instead. If the value is nil, never
|
||
warn.
|
||
|
||
It used to be impractical to use `\\\\=[...]' very many times, because
|
||
display of the documentation string would become slow. This is not an
|
||
issue on modern machines, unless you have thousands of substitutions."
|
||
:type '(choice (const nil)
|
||
integer)
|
||
:version "28.1")
|
||
|
||
(defcustom checkdoc-arguments-in-order-flag nil
|
||
"Non-nil means warn if arguments appear out of order.
|
||
Setting this to nil will mean only checking that all the arguments
|
||
appear in the proper form in the documentation, not that they are in
|
||
the same order as they appear in the argument list. No mention is
|
||
made in the style guide relating to order."
|
||
:version "26.1"
|
||
:type 'boolean)
|
||
;;;###autoload(put 'checkdoc-arguments-in-order-flag 'safe-local-variable #'booleanp)
|
||
|
||
(defcustom checkdoc-package-keywords-flag nil
|
||
"Non-nil means warn if this file's package keywords are not recognized.
|
||
Currently, all recognized keywords must be on `finder-known-keywords'."
|
||
:version "25.1"
|
||
:type 'boolean)
|
||
;;;###autoload(put 'checkdoc-package-keywords-flag 'safe-local-variable #'booleanp)
|
||
|
||
(defvar checkdoc-style-functions nil
|
||
"Hook run after the standard style check is completed.
|
||
All functions must return nil or a string representing the error found.
|
||
Useful for adding new user implemented commands.
|
||
|
||
Each hook is called with two parameters, (DEFUNINFO ENDPOINT).
|
||
DEFUNINFO is the return value of `checkdoc-defun-info'. ENDPOINT is the
|
||
location of end of the documentation string.")
|
||
|
||
(defvar checkdoc-comment-style-functions nil
|
||
"Hook run after the standard comment style check is completed.
|
||
Must return nil if no errors are found, or a string describing the
|
||
problem discovered. This is useful for adding additional checks.")
|
||
|
||
(defvar checkdoc-diagnostic-buffer "*Style Warnings*"
|
||
"Name of warning message buffer.")
|
||
|
||
(defcustom checkdoc-verb-check-experimental-flag nil
|
||
"Non-nil means to attempt to check the voice of the doc string.
|
||
This check keys off some words which are commonly misused. See the
|
||
variable `checkdoc-common-verbs-wrong-voice' if you wish to add your own."
|
||
:type 'boolean
|
||
:version "31.1")
|
||
;;;###autoload(put 'checkdoc-verb-check-experimental-flag 'safe-local-variable #'booleanp)
|
||
|
||
(defvar checkdoc-generate-compile-warnings-flag nil
|
||
"Non-nil means generate warnings in a buffer for browsing.
|
||
Do not set this by hand, use a function like `checkdoc-current-buffer'
|
||
with a universal argument.")
|
||
|
||
(defcustom checkdoc-symbol-words
|
||
'("beginning-of-buffer" "beginning-of-line" "byte-code"
|
||
"byte-compile" "command-line" "end-of-buffer" "end-of-line"
|
||
"major-mode" "point-max" "point-min" "syntax-table"
|
||
"top-level" "user-error" "version-control" "window-system")
|
||
"A list of symbol names (strings) which also happen to make good words.
|
||
These words are ignored when unquoted symbols are searched for.
|
||
This should be set in an Emacs Lisp file's local variables."
|
||
:type '(repeat (string :tag "Word"))
|
||
:version "28.1")
|
||
;;;###autoload(put 'checkdoc-symbol-words 'safe-local-variable #'list-of-strings-p)
|
||
|
||
(defcustom checkdoc-column-zero-backslash-before-paren t
|
||
"Non-nil means to warn if there is no \"\\\" before \"(\" in column zero.
|
||
This backslash is no longer needed on Emacs 27.1 or later.
|
||
|
||
See Info node `(elisp) Documentation Tips' for background."
|
||
:type 'boolean
|
||
:version "28.1")
|
||
|
||
;; This is how you can use checkdoc to make mass fixes on the Emacs
|
||
;; source tree:
|
||
;;
|
||
;; (setq checkdoc--argument-missing-flag nil) ; optional
|
||
;; (setq checkdoc--disambiguate-symbol-flag nil) ; optional
|
||
;; (setq checkdoc--interactive-docstring-flag nil) ; optional
|
||
;; (setq checkdoc-permit-comma-termination-flag t) ; optional
|
||
;; (setq checkdoc-verb-check-experimental-flag nil)
|
||
;; Then use `M-x find-dired' ("-name '*.el'") and `M-x checkdoc-dired'
|
||
|
||
(defvar checkdoc--argument-missing-flag t
|
||
"Non-nil means warn if arguments are missing from docstring.
|
||
This variable is intended for use on Emacs itself, where the
|
||
large number of libraries means it is impractical to fix all
|
||
of these warnings en masse. In almost any other case, setting
|
||
this to anything but t is likely to be counter-productive.")
|
||
|
||
(defvar checkdoc--disambiguate-symbol-flag t
|
||
"Non-nil means ask to disambiguate Lisp symbol.
|
||
This variable is intended for use on Emacs itself, where the
|
||
large number of libraries means it is impractical to fix all
|
||
of these warnings masse. In almost any other case, setting
|
||
this to anything but t is likely to be counter-productive.")
|
||
|
||
(defvar checkdoc--interactive-docstring-flag t
|
||
"Non-nil means warn if interactive function has no docstring.
|
||
This variable is intended for use on Emacs itself, where the
|
||
large number of libraries means it is impractical to fix all
|
||
of these warnings masse. In almost any other case, setting
|
||
this to anything but t is likely to be counter-productive.")
|
||
|
||
(defun checkdoc-list-of-strings-p (obj)
|
||
"Return t when OBJ is a list of strings."
|
||
(declare (obsolete list-of-strings-p "29.1"))
|
||
;; this is a function so it might be shared by checkdoc-proper-noun-list
|
||
;; and/or checkdoc-ispell-lisp-words in the future
|
||
(and (listp obj)
|
||
(not (memq nil (mapcar #'stringp obj)))))
|
||
|
||
(defvar checkdoc-proper-noun-list
|
||
'("emacs" "lisp" "dired")
|
||
"List of words (not capitalized) which should be capitalized.")
|
||
|
||
(defvar checkdoc-proper-noun-regexp
|
||
;; "[.!?]" is for noun at end of a sentence, since those chars
|
||
;; are symbol syntax in emacs-lisp-mode and so don't match \\_>.
|
||
;; The \" allows it to be the last sentence in a docstring too.
|
||
(concat "\\_<"
|
||
(regexp-opt checkdoc-proper-noun-list t)
|
||
"\\(\\_>\\|[.!?][ \t\n\"]\\)")
|
||
"Regular expression derived from `checkdoc-proper-noun-regexp'.")
|
||
;;;###autoload(put 'checkdoc-proper-noun-regexp 'safe-local-variable 'stringp)
|
||
|
||
(defvar checkdoc-common-verbs-regexp nil
|
||
"Regular expression derived from `checkdoc-common-verbs-regexp'.")
|
||
;;;###autoload(put 'checkdoc-common-verbs-regexp 'safe-local-variable 'stringp)
|
||
|
||
(defvar checkdoc-common-verbs-wrong-voice
|
||
'(("adds" . "add")
|
||
("allows" . "allow")
|
||
("appends" . "append")
|
||
("applies" . "apply")
|
||
("arranges" . "arrange")
|
||
("brings" . "bring")
|
||
("calls" . "call")
|
||
("catches" . "catch")
|
||
("changes" . "change")
|
||
("checks" . "check")
|
||
("contains" . "contain")
|
||
("converts" . "convert")
|
||
("creates" . "create")
|
||
("defines" . "define")
|
||
("destroys" . "destroy")
|
||
("determines" . "determine")
|
||
("disables" . "disable")
|
||
("echoes" . "echo")
|
||
("executes" . "execute")
|
||
("extends" . "extend")
|
||
("evals" . "evaluate")
|
||
("evaluates" . "evaluate")
|
||
("finds" . "find")
|
||
("forces" . "force")
|
||
("gathers" . "gather")
|
||
("generates" . "generate")
|
||
("goes" . "go")
|
||
("guesses" . "guess")
|
||
("highlights" . "highlight")
|
||
("holds" . "hold")
|
||
("ignores" . "ignore")
|
||
("indents" . "indent")
|
||
("initializes" . "initialize")
|
||
("inserts" . "insert")
|
||
("installs" . "install")
|
||
("investigates" . "investigate")
|
||
("keeps" . "keep")
|
||
("kills" . "kill")
|
||
("leaves" . "leave")
|
||
("lets" . "let")
|
||
("loads" . "load")
|
||
("looks" . "look")
|
||
("makes" . "make")
|
||
("marks" . "mark")
|
||
;;("matches" . "match") ; Leads to almost only false positives.
|
||
("moves" . "move")
|
||
("notifies" . "notify")
|
||
("offers" . "offer")
|
||
("parses" . "parse")
|
||
("performs" . "perform")
|
||
("prepares" . "prepare")
|
||
("prepends" . "prepend")
|
||
("prompts" . "prompt")
|
||
("reads" . "read")
|
||
("raises" . "raise")
|
||
("removes" . "remove")
|
||
("replaces" . "replace")
|
||
("resets" . "reset")
|
||
("restores" . "restore")
|
||
("returns" . "return")
|
||
("runs" . "run")
|
||
("saves" . "save")
|
||
("says" . "say")
|
||
("searches" . "search")
|
||
("selects" . "select")
|
||
("sets" . "set")
|
||
("sex" . "s*x")
|
||
("shows" . "show")
|
||
("signifies" . "signify")
|
||
("sorts" . "sort")
|
||
("starts" . "start")
|
||
("steps" . "step")
|
||
("stores" . "store")
|
||
("switches" . "switch")
|
||
("tells" . "tell")
|
||
("tests" . "test")
|
||
("toggles" . "toggle")
|
||
("tries" . "try")
|
||
("turns" . "turn")
|
||
("undoes" . "undo")
|
||
("unloads" . "unload")
|
||
("unmarks" . "unmark")
|
||
("updates" . "update")
|
||
("uses" . "use")
|
||
("yanks" . "yank")
|
||
)
|
||
"Alist of common words in the wrong voice and what should be used instead.
|
||
Set `checkdoc-verb-check-experimental-flag' to nil to avoid this costly
|
||
and experimental check. Do not modify this list without setting
|
||
the value of `checkdoc-common-verbs-regexp' to nil which cause it to
|
||
be re-created.")
|
||
|
||
(defvar checkdoc-syntax-table
|
||
(let ((st (make-syntax-table emacs-lisp-mode-syntax-table)))
|
||
;; When dealing with syntax in doc strings, make sure that - are
|
||
;; encompassed in words so we can use cheap \\> to get the end of a symbol,
|
||
;; not the end of a word in a conglomerate.
|
||
(modify-syntax-entry ?- "w" st)
|
||
st)
|
||
"Syntax table used by checkdoc in document strings.")
|
||
|
||
(defconst checkdoc--help-buffer "*Checkdoc Help*"
|
||
"Name of buffer used for Checkdoc Help.")
|
||
|
||
(defvar checkdoc-commentary-header-string "\n;;; Commentary:\n;; \n\n"
|
||
"String inserted as commentary marker in `checkdoc-file-comments-engine'.")
|
||
|
||
;;; User level commands
|
||
;;
|
||
;;;###autoload
|
||
(defun checkdoc ()
|
||
"Interactively check the entire buffer for style errors.
|
||
The current status of the check will be displayed in a buffer which
|
||
the users will view as each check is completed."
|
||
(interactive nil emacs-lisp-mode)
|
||
(let ((status (list "Checking..." "-" "-" "-"))
|
||
(checkdoc-spellcheck-documentation-flag
|
||
(car (memq checkdoc-spellcheck-documentation-flag
|
||
'(buffer interactive t))))
|
||
;; if the user set autofix to never, then that breaks the
|
||
;; obviously requested asking implied by using this function.
|
||
;; Set it to paranoia level.
|
||
(checkdoc-autofix-flag (if (or (not checkdoc-autofix-flag)
|
||
(eq checkdoc-autofix-flag 'never))
|
||
'query
|
||
checkdoc-autofix-flag))
|
||
tmp)
|
||
(checkdoc-display-status-buffer status)
|
||
;; check the comments
|
||
(setf (nth 0 status)
|
||
(cond
|
||
((not buffer-file-name) "Not checked")
|
||
((checkdoc-file-comments-engine) "Errors")
|
||
(t "Ok")))
|
||
(setf (nth 1 status) "Checking...")
|
||
(checkdoc-display-status-buffer status)
|
||
;; Check the documentation
|
||
(setq tmp (checkdoc-interactive nil t))
|
||
(setf (nth 1 status)
|
||
(if tmp (format "%d Errors" (length tmp)) "Ok"))
|
||
(setf (nth 2 status) "Checking...")
|
||
(checkdoc-display-status-buffer status)
|
||
;; Check the message text
|
||
(setf (nth 2 status)
|
||
(if (setq tmp (checkdoc-message-interactive nil t))
|
||
(format "%d Errors" (length tmp))
|
||
"Ok"))
|
||
(setf (nth 3 status) "Checking...")
|
||
(checkdoc-display-status-buffer status)
|
||
;; Rogue spacing
|
||
(setf (nth 3 status)
|
||
(if (ignore-errors (checkdoc-rogue-spaces nil t))
|
||
"Errors"
|
||
"Ok"))
|
||
(checkdoc-display-status-buffer status)))
|
||
|
||
(defun checkdoc-display-status-buffer (check)
|
||
"Display and update the status buffer for the current checkdoc mode.
|
||
CHECK is a list of four strings stating the current status of each
|
||
test; the nth string describes the status of the nth test."
|
||
(let (temp-buffer-setup-hook
|
||
(temp-buffer-show-hook #'special-mode))
|
||
(with-output-to-temp-buffer "*Checkdoc Status*"
|
||
(mapc #'princ
|
||
(list "Buffer comments and tags: " (nth 0 check)
|
||
"\nDocumentation style: " (nth 1 check)
|
||
"\nMessage/Query text style: " (nth 2 check)
|
||
"\nUnwanted Spaces: " (nth 3 check)))))
|
||
(shrink-window-if-larger-than-buffer
|
||
(get-buffer-window "*Checkdoc Status*"))
|
||
(message nil)
|
||
(sit-for 0))
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-interactive (&optional start-here showstatus)
|
||
"Interactively check the current buffer for doc string errors.
|
||
Prefix argument START-HERE will start the checking from the current
|
||
point, otherwise the check starts at the beginning of the current
|
||
buffer. Allows navigation forward and backwards through document
|
||
errors. Does not check for comment or space warnings.
|
||
Optional argument SHOWSTATUS indicates that we should update the
|
||
checkdoc status window instead of the usual behavior."
|
||
(interactive "P" emacs-lisp-mode)
|
||
(let ((checkdoc-spellcheck-documentation-flag
|
||
(car (memq checkdoc-spellcheck-documentation-flag
|
||
'(interactive t)))))
|
||
(prog1
|
||
;; Due to a design flaw, this will never spell check
|
||
;; docstrings.
|
||
(checkdoc-interactive-loop start-here showstatus
|
||
#'checkdoc-next-error)
|
||
;; This is a workaround to perform spell checking.
|
||
(checkdoc-interactive-ispell-loop start-here))))
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-message-interactive (&optional start-here showstatus)
|
||
"Interactively check the current buffer for message string errors.
|
||
Prefix argument START-HERE will start the checking from the current
|
||
point, otherwise the check starts at the beginning of the current
|
||
buffer. Allows navigation forward and backwards through document
|
||
errors. Does not check for comment or space warnings.
|
||
Optional argument SHOWSTATUS indicates that we should update the
|
||
checkdoc status window instead of the usual behavior."
|
||
(interactive "P" emacs-lisp-mode)
|
||
(let ((checkdoc-spellcheck-documentation-flag
|
||
(car (memq checkdoc-spellcheck-documentation-flag
|
||
'(interactive t)))))
|
||
(prog1
|
||
;; Due to a design flaw, this will never spell check messages.
|
||
(checkdoc-interactive-loop start-here showstatus
|
||
#'checkdoc-next-message-error)
|
||
;; This is a workaround to perform spell checking.
|
||
(checkdoc-message-interactive-ispell-loop start-here))))
|
||
|
||
(defun checkdoc-interactive-loop (start-here showstatus findfunc)
|
||
"Interactively loop over all errors that can be found by a given method.
|
||
|
||
If START-HERE is nil, searching starts at the beginning of the current
|
||
buffer, otherwise searching starts at START-HERE. SHOWSTATUS
|
||
expresses the verbosity of the search, and whether ending the search
|
||
will auto-exit this function.
|
||
|
||
FINDFUNC is a symbol representing a function that will position the
|
||
cursor, and return error message text to present to the user. It is
|
||
assumed that the cursor will stop just before a major sexp, which will
|
||
be highlighted to present the user with feedback as to the offending
|
||
style."
|
||
;; Determine where to start the test
|
||
(let* ((begin (prog1 (point)
|
||
(if (not start-here) (goto-char (point-min)))))
|
||
;; Assign a flag to spellcheck flag
|
||
(checkdoc-spellcheck-documentation-flag
|
||
(car (memq checkdoc-spellcheck-documentation-flag
|
||
'(buffer interactive t))))
|
||
;; Fetch the error list
|
||
(err-list (list (funcall findfunc nil)))
|
||
(cdo nil)
|
||
(returnme nil)
|
||
c)
|
||
(save-window-excursion
|
||
(if (not (car err-list)) (setq err-list nil))
|
||
;; Include whatever function point is in for good measure.
|
||
(beginning-of-defun)
|
||
(while err-list
|
||
(goto-char (cdr (car err-list)))
|
||
;; The cursor should be just in front of the offending doc string
|
||
(setq cdo (if (stringp (car (car err-list)))
|
||
(save-excursion (make-overlay
|
||
(point) (progn (forward-sexp 1)
|
||
(point))))
|
||
(make-overlay
|
||
(checkdoc-error-start (car (car err-list)))
|
||
(checkdoc-error-end (car (car err-list))))))
|
||
(unwind-protect
|
||
(progn
|
||
(overlay-put cdo 'face 'highlight)
|
||
;; Make sure the whole doc string is visible if possible.
|
||
(sit-for 0)
|
||
(if (and (= (following-char) ?\")
|
||
(not (pos-visible-in-window-p
|
||
(save-excursion (forward-sexp 1) (point))
|
||
(selected-window))))
|
||
(let ((l (count-lines (point)
|
||
(save-excursion
|
||
(forward-sexp 1) (point)))))
|
||
(if (> l (window-height))
|
||
(recenter 1)
|
||
(recenter (/ (- (window-height) l) 2))))
|
||
(recenter))
|
||
(message "%s (C-h,%se,n,p,q)" (checkdoc-error-text
|
||
(car (car err-list)))
|
||
(if (checkdoc-error-unfixable (car (car err-list)))
|
||
"" "f,"))
|
||
(save-excursion
|
||
(goto-char (checkdoc-error-start (car (car err-list))))
|
||
(if (not (pos-visible-in-window-p))
|
||
(recenter (- (window-height) 2)))
|
||
(setq c (read-event)))
|
||
(if (not (integerp c)) (setq c ??))
|
||
(cond
|
||
;; Exit condition
|
||
((eq c ?\C-g) (signal 'quit nil))
|
||
;; Request an auto-fix
|
||
((memq c '(?y ?f))
|
||
(delete-overlay cdo)
|
||
(setq cdo nil)
|
||
(goto-char (cdr (car err-list)))
|
||
;; `automatic-then-never' tells the autofix function
|
||
;; to only allow one fix to be automatic. The autofix
|
||
;; function will then set the flag to `never', allowing
|
||
;; the checker to return a different error.
|
||
(let ((checkdoc-autofix-flag 'automatic-then-never)
|
||
(fixed nil))
|
||
(funcall findfunc t)
|
||
(setq fixed (not (eq checkdoc-autofix-flag
|
||
'automatic-then-never)))
|
||
(if (not fixed)
|
||
(progn
|
||
(message "A Fix was not available.")
|
||
(sit-for 2))
|
||
(setq err-list (cdr err-list))))
|
||
(beginning-of-defun)
|
||
(let ((ne (funcall findfunc nil)))
|
||
(if ne
|
||
(setq err-list (cons ne err-list))
|
||
(cond ((not err-list)
|
||
(message "No More Stylistic Errors.")
|
||
(sit-for 2))
|
||
(t
|
||
(message
|
||
"No Additional style errors. Continuing...")
|
||
(sit-for 2))))))
|
||
;; Move to the next error (if available)
|
||
((memq c '(?n ?\s))
|
||
(let ((ne (funcall findfunc nil)))
|
||
(if (not ne)
|
||
(if showstatus
|
||
(setq returnme err-list
|
||
err-list nil)
|
||
(if (not err-list)
|
||
(message "No More Stylistic Errors.")
|
||
(message "No Additional style errors. Continuing..."))
|
||
(sit-for 2))
|
||
(setq err-list (cons ne err-list)))))
|
||
;; Go backwards in the list of errors
|
||
((memq c '(?p ?\C-?))
|
||
(if (/= (length err-list) 1)
|
||
(progn
|
||
(setq err-list (cdr err-list))
|
||
(goto-char (cdr (car err-list)))
|
||
(beginning-of-defun))
|
||
(message "No Previous Errors.")
|
||
(sit-for 2)))
|
||
;; Edit the buffer recursively.
|
||
((eq c ?e)
|
||
(checkdoc-recursive-edit
|
||
(checkdoc-error-text (car (car err-list))))
|
||
(delete-overlay cdo)
|
||
(setq err-list (cdr err-list)) ;back up the error found.
|
||
(beginning-of-defun)
|
||
(let ((ne (funcall findfunc nil)))
|
||
(if (not ne)
|
||
(if showstatus
|
||
(setq returnme err-list
|
||
err-list nil)
|
||
(message "No More Stylistic Errors.")
|
||
(sit-for 2))
|
||
(setq err-list (cons ne err-list)))))
|
||
;; Quit checkdoc
|
||
((eq c ?q)
|
||
(setq returnme err-list
|
||
err-list nil
|
||
begin (point)))
|
||
;; Goofy stuff
|
||
(t
|
||
(if (get-buffer-window checkdoc--help-buffer)
|
||
(progn
|
||
(delete-window (get-buffer-window checkdoc--help-buffer))
|
||
(kill-buffer checkdoc--help-buffer))
|
||
(with-output-to-temp-buffer checkdoc--help-buffer
|
||
(with-current-buffer standard-output
|
||
(insert
|
||
"Checkdoc Keyboard Summary:\n"
|
||
(if (checkdoc-error-unfixable (car (car err-list)))
|
||
""
|
||
(concat
|
||
"f, y - auto Fix this warning without asking"
|
||
" (if available.)\n"
|
||
" Very complex operations will still query.\n"))
|
||
"e - Enter recursive Edit. Press C-M-c to exit.\n"
|
||
"SPC, n - skip to the Next error.\n"
|
||
"DEL, p - skip to the Previous error.\n"
|
||
"q - Quit checkdoc.\n"
|
||
"C-h - Toggle this help buffer.")))
|
||
(shrink-window-if-larger-than-buffer
|
||
(get-buffer-window checkdoc--help-buffer))))))
|
||
(if cdo (delete-overlay cdo)))))
|
||
(goto-char begin)
|
||
(if (get-buffer checkdoc--help-buffer) (kill-buffer checkdoc--help-buffer))
|
||
(message "Checkdoc: Done.")
|
||
returnme))
|
||
|
||
(defun checkdoc-interactive-ispell-loop (start-here)
|
||
"Interactively spell check doc strings in the current buffer.
|
||
If START-HERE is nil, searching starts at the beginning of the current
|
||
buffer, otherwise searching starts at START-HERE."
|
||
(when checkdoc-spellcheck-documentation-flag
|
||
(save-excursion
|
||
;; Move point to where we need to start.
|
||
(if start-here
|
||
;; Include whatever function point is in for good measure.
|
||
(beginning-of-defun)
|
||
(goto-char (point-min)))
|
||
;; Loop over docstrings.
|
||
(while (checkdoc-next-docstring)
|
||
(message "Searching for doc string spell error...%d%%"
|
||
(floor (* 100.0 (point)) (point-max)))
|
||
(when (= (following-char) ?\")
|
||
(checkdoc-ispell-docstring-engine
|
||
(save-excursion (forward-sexp 1) (point-marker)))))
|
||
(message "Checkdoc: Done."))))
|
||
|
||
(defun checkdoc-message-interactive-ispell-loop (start-here)
|
||
"Interactively spell check messages in the current buffer.
|
||
If START-HERE is nil, searching starts at the beginning of the current
|
||
buffer, otherwise searching starts at START-HERE."
|
||
(when checkdoc-spellcheck-documentation-flag
|
||
(save-excursion
|
||
;; Move point to where we need to start.
|
||
(if start-here
|
||
;; Include whatever function point is in for good measure.
|
||
(beginning-of-defun)
|
||
(goto-char (point-min)))
|
||
;; Loop over message strings.
|
||
(while (checkdoc-message-text-next-string (point-max))
|
||
(message "Searching for message string spell error...%d%%"
|
||
(floor (* 100.0 (point)) (point-max)))
|
||
(if (= (following-char) ?\")
|
||
(checkdoc-ispell-docstring-engine
|
||
(save-excursion (forward-sexp 1) (point-marker)))))
|
||
(message "Checkdoc: Done."))))
|
||
|
||
|
||
(defun checkdoc-next-error (enable-fix)
|
||
"Find and return the next checkdoc error list, or nil.
|
||
Only documentation strings are checked.
|
||
An error list is of the form (WARNING . POSITION) where WARNING is the
|
||
warning text, and POSITION is the point in the buffer where the error
|
||
was found. We can use points and not markers because we promise not
|
||
to edit the buffer before point without re-executing this check.
|
||
Argument ENABLE-FIX will enable auto-fixing while looking for the next
|
||
error. This argument assumes that the cursor is already positioned to
|
||
perform the fix."
|
||
(if enable-fix
|
||
(checkdoc-this-string-valid)
|
||
(let ((msg nil) (p (point))
|
||
(checkdoc-autofix-flag nil))
|
||
(condition-case nil
|
||
(while (and (not msg) (checkdoc-next-docstring))
|
||
(message "Searching for doc string error...%d%%"
|
||
(floor (* 100.0 (point)) (point-max)))
|
||
(if (setq msg (checkdoc-this-string-valid))
|
||
(setq msg (cons msg (point)))))
|
||
;; Quit.. restore position, Other errors, leave alone
|
||
(quit (goto-char p)))
|
||
msg)))
|
||
|
||
(defun checkdoc-next-message-error (enable-fix)
|
||
"Find and return the next checkdoc message related error list, or nil.
|
||
Only text for error and `y-or-n-p' strings are checked. See
|
||
`checkdoc-next-error' for details on the return value.
|
||
Argument ENABLE-FIX turns on the auto-fix feature. This argument
|
||
assumes that the cursor is already positioned to perform the fix."
|
||
(if enable-fix
|
||
(checkdoc-message-text-engine)
|
||
(let ((msg nil) (p (point)) (type nil)
|
||
(checkdoc-autofix-flag nil))
|
||
(condition-case nil
|
||
(while (and (not msg)
|
||
(setq type
|
||
(checkdoc-message-text-next-string (point-max))))
|
||
(message "Searching for message string error...%d%%"
|
||
(floor (* 100.0 (point)) (point-max)))
|
||
(if (setq msg (checkdoc-message-text-engine type))
|
||
(setq msg (cons msg (point)))))
|
||
;; Quit.. restore position, Other errors, leave alone
|
||
(quit (goto-char p)))
|
||
msg)))
|
||
|
||
(defun checkdoc-recursive-edit (msg)
|
||
"Enter recursive edit to permit a user to fix some error checkdoc has found.
|
||
MSG is the error that was found, which is displayed in a help buffer."
|
||
(with-output-to-temp-buffer checkdoc--help-buffer
|
||
(with-current-buffer standard-output
|
||
(insert "Error message:\n " msg "\n\n"
|
||
(substitute-command-keys
|
||
"Edit to fix this problem, and press \\[exit-recursive-edit] to continue."))))
|
||
(shrink-window-if-larger-than-buffer
|
||
(get-buffer-window checkdoc--help-buffer))
|
||
(message (substitute-command-keys
|
||
"When you're done editing press \\[exit-recursive-edit] to continue."))
|
||
(unwind-protect
|
||
(recursive-edit)
|
||
(if (get-buffer-window checkdoc--help-buffer)
|
||
(progn
|
||
(delete-window (get-buffer-window checkdoc--help-buffer))
|
||
(kill-buffer checkdoc--help-buffer)))))
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-eval-current-buffer ()
|
||
"Evaluate and check documentation for the current buffer.
|
||
Evaluation is done first because good documentation for something that
|
||
doesn't work is just not useful. Comments, doc strings, and rogue
|
||
spacing are all verified."
|
||
(interactive)
|
||
(eval-buffer nil)
|
||
(checkdoc-current-buffer t))
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-current-buffer (&optional take-notes)
|
||
"Check current buffer for document, comment, error style, and rogue spaces.
|
||
With a prefix argument (in Lisp, the argument TAKE-NOTES),
|
||
store all errors found in a warnings buffer,
|
||
otherwise stop after the first error."
|
||
(interactive "P" emacs-lisp-mode)
|
||
(if (called-interactively-p 'interactive)
|
||
(message "Checking buffer for style..."))
|
||
;; Assign a flag to spellcheck flag
|
||
(let ((checkdoc-spellcheck-documentation-flag
|
||
(car (memq checkdoc-spellcheck-documentation-flag
|
||
'(buffer t))))
|
||
(checkdoc-autofix-flag (if take-notes 'never
|
||
checkdoc-autofix-flag))
|
||
(checkdoc-generate-compile-warnings-flag
|
||
(or take-notes checkdoc-generate-compile-warnings-flag)))
|
||
(if take-notes
|
||
(checkdoc-start-section "checkdoc-current-buffer"))
|
||
;; every test is responsible for returning the cursor.
|
||
(or (and buffer-file-name ;; only check comments in a file
|
||
(checkdoc-comments))
|
||
(checkdoc-start take-notes)
|
||
(checkdoc-message-text)
|
||
(checkdoc-rogue-spaces)
|
||
(when checkdoc-package-keywords-flag
|
||
(checkdoc-package-keywords))
|
||
(not (called-interactively-p 'interactive))
|
||
(if take-notes (checkdoc-show-diagnostics))
|
||
(message "Checking buffer for style...Done."))))
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-file (file)
|
||
"Check FILE for document, comment, error style, and rogue spaces."
|
||
(with-current-buffer (find-file-noselect file)
|
||
(let ((checkdoc-diagnostic-buffer "*warn*"))
|
||
(checkdoc-current-buffer t))))
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-start (&optional take-notes)
|
||
"Start scanning the current buffer for documentation string style errors.
|
||
Only documentation strings are checked.
|
||
Use `checkdoc-continue' to continue checking if an error cannot be fixed.
|
||
Prefix argument TAKE-NOTES means to collect all the warning messages into
|
||
a separate buffer."
|
||
(interactive "P" emacs-lisp-mode)
|
||
(let ((p (point)))
|
||
(goto-char (point-min))
|
||
(if (and take-notes (called-interactively-p 'interactive))
|
||
(checkdoc-start-section "checkdoc-start"))
|
||
(checkdoc-continue take-notes)
|
||
;; Go back since we can't be here without success above.
|
||
(goto-char p)
|
||
nil))
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-continue (&optional take-notes)
|
||
"Find the next doc string in the current buffer which has a style error.
|
||
Prefix argument TAKE-NOTES means to continue through the whole
|
||
buffer and save warnings in a separate buffer."
|
||
(interactive "P" emacs-lisp-mode)
|
||
(let ((wrong nil) (msg nil)
|
||
;; Assign a flag to spellcheck flag
|
||
(checkdoc-spellcheck-documentation-flag
|
||
(car (memq checkdoc-spellcheck-documentation-flag
|
||
'(buffer t))))
|
||
(checkdoc-autofix-flag (if take-notes 'never
|
||
checkdoc-autofix-flag))
|
||
(checkdoc-generate-compile-warnings-flag
|
||
(or take-notes checkdoc-generate-compile-warnings-flag)))
|
||
(save-excursion
|
||
;; If we are taking notes, encompass the whole buffer, otherwise
|
||
;; the user is navigating down through the buffer.
|
||
(while (and (not wrong) (checkdoc-next-docstring))
|
||
;; OK, let's look at the doc string.
|
||
(setq msg (checkdoc-this-string-valid take-notes))
|
||
(if msg (setq wrong (point)))))
|
||
(if wrong
|
||
(progn
|
||
(goto-char wrong)
|
||
(if (not take-notes)
|
||
(user-error "%s" (checkdoc-error-text msg)))))
|
||
(checkdoc-show-diagnostics)
|
||
(if (called-interactively-p 'interactive)
|
||
(message "No style warnings."))))
|
||
|
||
(defun checkdoc-next-docstring ()
|
||
"Move to the next doc string after point, and return t.
|
||
Return nil if there are no more doc strings."
|
||
(let (found)
|
||
(while (and (not (setq found (checkdoc--next-docstring)))
|
||
(beginning-of-defun-raw -1)))
|
||
found))
|
||
|
||
(defun checkdoc--next-docstring ()
|
||
"When looking at a definition with a doc string, find it.
|
||
Move to the next doc string after point, and return t. When not
|
||
looking at a definition containing a doc string, return nil and
|
||
don't move point."
|
||
(pcase (save-excursion (condition-case nil
|
||
(read (current-buffer))
|
||
;; Conservatively skip syntax errors.
|
||
(invalid-read-syntax)
|
||
;; Don't bug out if the file is empty (or a
|
||
;; definition ends prematurely.
|
||
(end-of-file)))
|
||
(`(,(and (pred symbolp) def
|
||
(let (and doc (guard doc)) (function-get def 'doc-string-elt)))
|
||
,(pred symbolp)
|
||
;; Require an initializer, i.e. ignore single-argument `defvar'
|
||
;; forms, which never have a doc string.
|
||
,_ . ,_)
|
||
(down-list)
|
||
;; Skip over function or macro name.
|
||
(forward-sexp 1)
|
||
;; And now skip until the docstring.
|
||
(forward-sexp (1- ; We already skipped the function or macro name.
|
||
(cond
|
||
((numberp doc) doc)
|
||
((functionp doc) (funcall doc)))))
|
||
(skip-chars-forward " \n\t")
|
||
t)))
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-comments (&optional take-notes)
|
||
"Find missing comment sections in the current Emacs Lisp file.
|
||
Prefix argument TAKE-NOTES non-nil means to save warnings in a
|
||
separate buffer. Otherwise print a message. This returns the error
|
||
if there is one."
|
||
(interactive "P" emacs-lisp-mode)
|
||
(if take-notes (checkdoc-start-section "checkdoc-comments"))
|
||
(if (not buffer-file-name)
|
||
(error "Can only check comments for a file buffer"))
|
||
(let* ((checkdoc-spellcheck-documentation-flag
|
||
(car (memq checkdoc-spellcheck-documentation-flag
|
||
'(buffer t))))
|
||
(checkdoc-autofix-flag (if take-notes 'never checkdoc-autofix-flag))
|
||
(e (checkdoc-file-comments-engine))
|
||
(checkdoc-generate-compile-warnings-flag
|
||
(or take-notes checkdoc-generate-compile-warnings-flag)))
|
||
(if e (user-error "%s" (checkdoc-error-text e)))
|
||
(checkdoc-show-diagnostics)
|
||
e))
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-rogue-spaces (&optional take-notes interact)
|
||
"Find extra spaces at the end of lines in the current file.
|
||
Prefix argument TAKE-NOTES non-nil means to save warnings in a
|
||
separate buffer. Otherwise print a message. This returns the error
|
||
if there is one.
|
||
Optional argument INTERACT permits more interactive fixing."
|
||
(interactive "P" emacs-lisp-mode)
|
||
(if take-notes (checkdoc-start-section "checkdoc-rogue-spaces"))
|
||
(let* ((checkdoc-autofix-flag (if take-notes 'never checkdoc-autofix-flag))
|
||
(e (checkdoc-rogue-space-check-engine nil nil interact))
|
||
(checkdoc-generate-compile-warnings-flag
|
||
(or take-notes checkdoc-generate-compile-warnings-flag)))
|
||
(if (not (called-interactively-p 'interactive))
|
||
e
|
||
(if e
|
||
(message "%s" (checkdoc-error-text e))
|
||
(checkdoc-show-diagnostics)
|
||
(message "Space Check: done.")))))
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-message-text (&optional take-notes)
|
||
"Scan the buffer for occurrences of the error function, and verify text.
|
||
Optional argument TAKE-NOTES causes all errors to be logged."
|
||
(interactive "P" emacs-lisp-mode)
|
||
(if take-notes (checkdoc-start-section "checkdoc-message-text"))
|
||
(let* ((p (point)) e
|
||
(checkdoc-autofix-flag (if take-notes 'never checkdoc-autofix-flag))
|
||
(checkdoc-generate-compile-warnings-flag
|
||
(or take-notes checkdoc-generate-compile-warnings-flag)))
|
||
(setq e (checkdoc-message-text-search))
|
||
(if (not (called-interactively-p 'interactive))
|
||
e
|
||
(if e
|
||
(user-error "%s" (checkdoc-error-text e))
|
||
(checkdoc-show-diagnostics)))
|
||
(goto-char p))
|
||
(if (called-interactively-p 'interactive)
|
||
(message "Checking interactive message text...done.")))
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-eval-defun ()
|
||
"Evaluate the current form with `eval-defun' and check its documentation.
|
||
Evaluation is done first so the form will be read before the
|
||
documentation is checked. If there is a documentation error, then the display
|
||
of what was evaluated will be overwritten by the diagnostic message."
|
||
(interactive nil emacs-lisp-mode)
|
||
(call-interactively #'eval-defun)
|
||
(checkdoc-defun))
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-defun (&optional no-error)
|
||
"Examine the doc string of the function or variable under point.
|
||
Call `error' if the doc string has problems. If NO-ERROR is
|
||
non-nil, then do not call error, but call `message' instead.
|
||
If the doc string passes the test, then check the function for rogue white
|
||
space at the end of each line."
|
||
(interactive nil emacs-lisp-mode)
|
||
(save-excursion
|
||
(beginning-of-defun)
|
||
(when (checkdoc--next-docstring)
|
||
(let* ((checkdoc-spellcheck-documentation-flag
|
||
(car (memq checkdoc-spellcheck-documentation-flag
|
||
'(defun t))))
|
||
(beg (save-excursion (beginning-of-defun) (point)))
|
||
(end (save-excursion (end-of-defun) (point))))
|
||
(dolist (fun (list #'checkdoc-this-string-valid
|
||
(lambda () (checkdoc-message-text-search beg end))
|
||
(lambda () (checkdoc-rogue-space-check-engine beg end))))
|
||
(let ((msg (funcall fun)))
|
||
(if msg (if no-error
|
||
(message "%s" (checkdoc-error-text msg))
|
||
(user-error "%s" (checkdoc-error-text msg))))))
|
||
(if (called-interactively-p 'interactive)
|
||
(message "Checkdoc: done."))))))
|
||
|
||
(defconst checkdoc--dired-skip-lines-re
|
||
(rx (or (seq bol
|
||
(or ";; Generated from Unicode data files by unidat"
|
||
";; This file is automatically generated from"
|
||
";; Generated by the command "))
|
||
".el --- automatically extracted autoloads -*- lexical-binding: t -*-"
|
||
";;; lisp/trampver.el. Generated from trampver.el.in by configure."))
|
||
"Regexp that when it matches tells `checkdoc-dired' to skip a file.")
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-dired (files)
|
||
"In Dired, run `checkdoc' on marked files.
|
||
Skip anything that doesn't have the Emacs Lisp library file
|
||
extension (\".el\").
|
||
When called from Lisp, FILES is a list of filenames."
|
||
(interactive
|
||
(progn
|
||
;; These Dired functions must be defined since we're in a Dired buffer.
|
||
(declare-function dired-get-filename "dired"
|
||
(&optional localp no-error-if-not-filep))
|
||
;; These functions are used by the expansion of `dired-map-over-marks'.
|
||
(declare-function dired-move-to-filename "dired"
|
||
(&optional raise-error eol))
|
||
(declare-function dired-marker-regexp "dired" ())
|
||
(list
|
||
(delq nil
|
||
(mapcar
|
||
;; skip anything that doesn't look like an Emacs Lisp library
|
||
(lambda (f) (if (equal (file-name-extension f) "el") f nil))
|
||
(nreverse (dired-map-over-marks (dired-get-filename) nil))))))
|
||
dired-mode)
|
||
(if (null files)
|
||
(error "No files to run checkdoc on")
|
||
(save-window-excursion
|
||
(dolist (fil files)
|
||
(find-file fil)
|
||
(unless (and
|
||
(goto-char (point-min))
|
||
(re-search-forward checkdoc--dired-skip-lines-re nil t))
|
||
(checkdoc)))))
|
||
(message "checkdoc-dired: Successfully checked %d files" (length files)))
|
||
|
||
;;; Ispell interface for forcing a spell check
|
||
;;
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-ispell ()
|
||
"Check the style and spelling of everything interactively.
|
||
Calls `checkdoc' with spell-checking turned on.
|
||
Prefix argument is the same as for `checkdoc'."
|
||
(interactive)
|
||
(let ((checkdoc-spellcheck-documentation-flag t))
|
||
(call-interactively #'checkdoc)))
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-ispell-current-buffer ()
|
||
"Check the style and spelling of the current buffer.
|
||
Calls `checkdoc-current-buffer' with spell-checking turned on.
|
||
Prefix argument is the same as for `checkdoc-current-buffer'."
|
||
(interactive)
|
||
(let ((checkdoc-spellcheck-documentation-flag t))
|
||
(call-interactively #'checkdoc-current-buffer)))
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-ispell-interactive ()
|
||
"Check the style and spelling of the current buffer interactively.
|
||
Calls `checkdoc-interactive' with spell-checking turned on.
|
||
Prefix argument is the same as for `checkdoc-interactive'."
|
||
(interactive)
|
||
(let ((checkdoc-spellcheck-documentation-flag t))
|
||
(call-interactively #'checkdoc-interactive)))
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-ispell-message-interactive ()
|
||
"Check the style and spelling of message text interactively.
|
||
Calls `checkdoc-message-interactive' with spell-checking turned on.
|
||
Prefix argument is the same as for `checkdoc-message-interactive'."
|
||
(interactive)
|
||
(let ((checkdoc-spellcheck-documentation-flag t))
|
||
(call-interactively #'checkdoc-message-interactive
|
||
nil current-prefix-arg)))
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-ispell-message-text ()
|
||
"Check the style and spelling of message text interactively.
|
||
Calls `checkdoc-message-text' with spell-checking turned on.
|
||
Prefix argument is the same as for `checkdoc-message-text'."
|
||
(interactive)
|
||
(let ((checkdoc-spellcheck-documentation-flag t))
|
||
(call-interactively #'checkdoc-message-text)))
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-ispell-start ()
|
||
"Check the style and spelling of the current buffer.
|
||
Calls `checkdoc-start' with spell-checking turned on.
|
||
Prefix argument is the same as for `checkdoc-start'."
|
||
(interactive)
|
||
(let ((checkdoc-spellcheck-documentation-flag t))
|
||
(call-interactively #'checkdoc-start)))
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-ispell-continue ()
|
||
"Check the style and spelling of the current buffer after point.
|
||
Calls `checkdoc-continue' with spell-checking turned on.
|
||
Prefix argument is the same as for `checkdoc-continue'."
|
||
(interactive)
|
||
(let ((checkdoc-spellcheck-documentation-flag t))
|
||
(call-interactively #'checkdoc-continue)))
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-ispell-comments ()
|
||
"Check the style and spelling of the current buffer's comments.
|
||
Calls `checkdoc-comments' with spell-checking turned on.
|
||
Prefix argument is the same as for `checkdoc-comments'."
|
||
(interactive)
|
||
(let ((checkdoc-spellcheck-documentation-flag t))
|
||
(call-interactively #'checkdoc-comments)))
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-ispell-defun ()
|
||
"Check the style and spelling of the current defun with Ispell.
|
||
Calls `checkdoc-defun' with spell-checking turned on.
|
||
Prefix argument is the same as for `checkdoc-defun'."
|
||
(interactive)
|
||
(let ((checkdoc-spellcheck-documentation-flag t))
|
||
(call-interactively #'checkdoc-defun)))
|
||
|
||
;;; Error Management
|
||
;;
|
||
;; Errors returned from checkdoc functions can have various
|
||
;; features and behaviors, so we need some ways of specifying
|
||
;; them, and making them easier to use in the wacked-out interfaces
|
||
;; people are requesting
|
||
|
||
(cl-defstruct (checkdoc-error
|
||
(:constructor nil)
|
||
(:constructor checkdoc--create-error (text start end &optional unfixable)))
|
||
(text nil :read-only t)
|
||
(start nil :read-only t)
|
||
(end nil :read-only t)
|
||
(unfixable nil :read-only t))
|
||
|
||
(defvar checkdoc-create-error-function #'checkdoc--create-error-for-checkdoc
|
||
"Function called when Checkdoc encounters an error.
|
||
Should accept as arguments (TEXT START END &optional UNFIXABLE).
|
||
|
||
TEXT is the descriptive text of the error. START and END define the region
|
||
it is sensible to highlight when describing the problem.
|
||
Optional argument UNFIXABLE means that the error has no auto-fix available.
|
||
|
||
An object of type `checkdoc-error' is returned if we are not
|
||
generating a buffered list of errors.")
|
||
|
||
(defun checkdoc-create-error (text start end &optional unfixable)
|
||
"Used to create the return error text returned from all engines.
|
||
TEXT, START, END and UNFIXABLE conform to
|
||
`checkdoc-create-error-function', which see."
|
||
(funcall checkdoc-create-error-function text start end unfixable))
|
||
|
||
(defun checkdoc--create-error-for-checkdoc (text start end &optional unfixable)
|
||
"Create an error for Checkdoc.
|
||
TEXT, START, END and UNFIXABLE conform to
|
||
`checkdoc-create-error-function', which see."
|
||
(if checkdoc-generate-compile-warnings-flag
|
||
(progn (checkdoc-error start text)
|
||
nil)
|
||
(checkdoc--create-error text start end unfixable)))
|
||
|
||
;;; Minor Mode specification
|
||
;;
|
||
|
||
(defvar-keymap checkdoc-minor-mode-map
|
||
:doc "Keymap used to override evaluation key-bindings for documentation checking."
|
||
;; Override some bindings
|
||
"C-M-x" #'checkdoc-eval-defun
|
||
"C-x `" #'checkdoc-continue
|
||
"<menu-bar> <emacs-lisp> <eval-buffer>" #'checkdoc-eval-current-buffer
|
||
|
||
;; Add some new bindings under C-c ?
|
||
"C-c ? x" #'checkdoc-defun
|
||
"C-c ? X" #'checkdoc-ispell-defun
|
||
"C-c ? `" #'checkdoc-continue
|
||
"C-c ? ~" #'checkdoc-ispell-continue
|
||
"C-c ? s" #'checkdoc-start
|
||
"C-c ? S" #'checkdoc-ispell-start
|
||
"C-c ? d" #'checkdoc
|
||
"C-c ? D" #'checkdoc-ispell
|
||
"C-c ? b" #'checkdoc-current-buffer
|
||
"C-c ? B" #'checkdoc-ispell-current-buffer
|
||
"C-c ? e" #'checkdoc-eval-current-buffer
|
||
"C-c ? m" #'checkdoc-message-text
|
||
"C-c ? M" #'checkdoc-ispell-message-text
|
||
"C-c ? c" #'checkdoc-comments
|
||
"C-c ? C" #'checkdoc-ispell-comments
|
||
"C-c ? SPC" #'checkdoc-rogue-spaces)
|
||
|
||
(easy-menu-define nil checkdoc-minor-mode-map
|
||
"Checkdoc Minor Mode Menu."
|
||
'("CheckDoc"
|
||
["Interactive Buffer Style Check" checkdoc t]
|
||
["Interactive Buffer Style and Spelling Check" checkdoc-ispell t]
|
||
["Check Buffer" checkdoc-current-buffer t]
|
||
["Check and Spell Buffer" checkdoc-ispell-current-buffer t]
|
||
"---"
|
||
["Interactive Style Check" checkdoc-interactive t]
|
||
["Interactive Style and Spelling Check" checkdoc-ispell-interactive t]
|
||
["Find First Style Error" checkdoc-start t]
|
||
["Find First Style or Spelling Error" checkdoc-ispell-start t]
|
||
["Next Style Error" checkdoc-continue t]
|
||
["Next Style or Spelling Error" checkdoc-ispell-continue t]
|
||
["Interactive Message Text Style Check" checkdoc-message-interactive t]
|
||
["Interactive Message Text Style and Spelling Check"
|
||
checkdoc-ispell-message-interactive t]
|
||
["Check Message Text" checkdoc-message-text t]
|
||
["Check and Spell Message Text" checkdoc-ispell-message-text t]
|
||
["Check Comment Style" checkdoc-comments buffer-file-name]
|
||
["Check Comment Style and Spelling" checkdoc-ispell-comments
|
||
buffer-file-name]
|
||
["Check for Rogue Spaces" checkdoc-rogue-spaces t]
|
||
"---"
|
||
["Check Defun" checkdoc-defun t]
|
||
["Check and Spell Defun" checkdoc-ispell-defun t]
|
||
["Check and Evaluate Defun" checkdoc-eval-defun t]
|
||
["Check and Evaluate Buffer" checkdoc-eval-current-buffer t]))
|
||
|
||
;;;###autoload
|
||
(define-minor-mode checkdoc-minor-mode
|
||
"Toggle automatic docstring checking (Checkdoc minor mode).
|
||
|
||
In Checkdoc minor mode, the usual bindings for `eval-defun' which is
|
||
bound to \\<checkdoc-minor-mode-map>\\[checkdoc-eval-defun] and `checkdoc-eval-current-buffer' are overridden to include
|
||
checking of documentation strings.
|
||
|
||
\\{checkdoc-minor-mode-map}"
|
||
:lighter checkdoc-minor-mode-string
|
||
:group 'checkdoc)
|
||
|
||
;;; Subst utils
|
||
;;
|
||
|
||
(defsubst checkdoc-create-common-verbs-regexp ()
|
||
"Rebuild the contents of `checkdoc-common-verbs-regexp'."
|
||
(or checkdoc-common-verbs-regexp
|
||
(setq checkdoc-common-verbs-regexp
|
||
(concat "\\<\\("
|
||
(mapconcat (lambda (e) (concat (car e)))
|
||
checkdoc-common-verbs-wrong-voice "\\|")
|
||
"\\)\\>"))))
|
||
|
||
;;; Checking engines
|
||
;;
|
||
(defun checkdoc-this-string-valid (&optional take-notes)
|
||
"Return a message string if the current doc string is invalid.
|
||
Check for style only, such as the first line always being a complete
|
||
sentence, whitespace restrictions, and making sure there are no
|
||
hard-coded key-codes such as C-[char] or mouse-[number] in the comment.
|
||
See the style guide in the Emacs Lisp manual for more details.
|
||
|
||
With a non-nil TAKE-NOTES, store all errors found in a warnings
|
||
buffer, otherwise stop after the first error."
|
||
|
||
;; Jump over comments between the last object and the doc string
|
||
(while (looking-at "[ \t\n]*;")
|
||
(forward-line 1)
|
||
(beginning-of-line)
|
||
(skip-chars-forward " \n\t"))
|
||
|
||
(let ((fp (checkdoc-defun-info))
|
||
(err nil))
|
||
(setq
|
||
err
|
||
;; * Every command, function, or variable intended for users to know
|
||
;; about should have a documentation string.
|
||
;;
|
||
;; * An internal variable or subroutine of a Lisp program might as well
|
||
;; have a documentation string. In earlier Emacs versions, you could
|
||
;; save space by using a comment instead of a documentation string,
|
||
;; but that is no longer the case.
|
||
(if (and (not (nth 1 fp)) ; not a variable
|
||
(or (nth 2 fp) ; is interactive
|
||
checkdoc-force-docstrings-flag) ;or we always complain
|
||
(not (eq (following-char) ?\"))) ; no doc string
|
||
;; Sometimes old code has comments where the documentation should
|
||
;; be. Let's see if we can find the comment, and offer to turn it
|
||
;; into documentation for them.
|
||
(let ((have-comment nil)
|
||
(comment-start ";")) ; in case it's not default
|
||
(condition-case nil
|
||
(progn
|
||
(forward-sexp -1)
|
||
(forward-sexp 1)
|
||
(skip-chars-forward "\n \t")
|
||
(setq have-comment (looking-at comment-start)))
|
||
(error nil))
|
||
(if have-comment
|
||
(if (or (eq checkdoc-autofix-flag
|
||
'automatic-then-never)
|
||
(checkdoc-y-or-n-p
|
||
"Convert comment to documentation?"))
|
||
(save-excursion
|
||
;; Our point is at the beginning of the comment!
|
||
;; Insert a quote, then remove the comment chars.
|
||
(insert "\"")
|
||
(let ((docstring-start-point (point)))
|
||
(while (looking-at comment-start)
|
||
(while (looking-at comment-start)
|
||
(delete-char 1))
|
||
(if (looking-at "[ \t]+")
|
||
(delete-region (match-beginning 0) (match-end 0)))
|
||
(forward-line 1)
|
||
(beginning-of-line)
|
||
(skip-chars-forward " \t")
|
||
(if (looking-at comment-start)
|
||
(progn
|
||
(beginning-of-line)
|
||
(zap-to-char 1 ?\;))))
|
||
(beginning-of-line)
|
||
(forward-char -1)
|
||
(insert "\"")
|
||
(forward-char -1)
|
||
;; quote any double-quote characters in the comment.
|
||
(while (search-backward "\"" docstring-start-point t)
|
||
(insert "\\"))
|
||
(if (eq checkdoc-autofix-flag 'automatic-then-never)
|
||
(setq checkdoc-autofix-flag 'never))))
|
||
(checkdoc-create-error
|
||
"You should convert this comment to documentation"
|
||
(point) (line-end-position)))
|
||
(when checkdoc--interactive-docstring-flag
|
||
(checkdoc-create-error
|
||
(if (nth 2 fp)
|
||
"All interactive functions should have documentation"
|
||
"All variables and subroutines might as well have a \
|
||
documentation string")
|
||
(point) (+ (point) 1) t))))))
|
||
(if (and (not err) (= (following-char) ?\"))
|
||
(with-syntax-table checkdoc-syntax-table
|
||
(checkdoc-this-string-valid-engine fp take-notes))
|
||
err)))
|
||
|
||
(defun checkdoc-this-string-valid-engine (fp &optional take-notes)
|
||
"Return an error list or string if the current doc string is invalid.
|
||
Depends on `checkdoc-this-string-valid' to reset the syntax table so that
|
||
regexp short cuts work. FP is the function defun information.
|
||
|
||
With a non-nil TAKE-NOTES, store all errors found in a warnings
|
||
buffer, otherwise stop after the first error."
|
||
(let ((case-fold-search nil)
|
||
;; Use a marker so if an early check modifies the text,
|
||
;; we won't accidentally lose our place. This could cause
|
||
;; end-of doc string whitespace to also delete the " char.
|
||
(s (point))
|
||
(e (if (= (following-char) ?\")
|
||
(save-excursion (forward-sexp 1) (point-marker))
|
||
(point))))
|
||
(or
|
||
;; * *Do not* indent subsequent lines of a documentation string so that
|
||
;; the text is lined up in the source code with the text of the first
|
||
;; line. This looks nice in the source code, but looks bizarre when
|
||
;; users view the documentation. Remember that the indentation
|
||
;; before the starting double-quote is not part of the string!
|
||
(save-excursion
|
||
(forward-line 1)
|
||
(beginning-of-line)
|
||
(if (and (< (point) e)
|
||
(looking-at "\\([ \t]+\\)[^ \t\n]"))
|
||
(if (checkdoc-autofix-ask-replace (match-beginning 1)
|
||
(match-end 1)
|
||
"Remove this whitespace?"
|
||
"")
|
||
nil
|
||
(checkdoc-create-error
|
||
"Second line should not have indentation"
|
||
(match-beginning 1)
|
||
(match-end 1)))))
|
||
;; * Check for '(' in column 0.
|
||
(when checkdoc-column-zero-backslash-before-paren
|
||
(save-excursion
|
||
(when (re-search-forward "^(" e t)
|
||
(if (checkdoc-autofix-ask-replace (match-beginning 0)
|
||
(match-end 0)
|
||
(format-message "Escape this `('?")
|
||
"\\(")
|
||
nil
|
||
(checkdoc-create-error
|
||
"Open parenthesis in column 0 should be escaped"
|
||
(match-beginning 0) (match-end 0))))))
|
||
;; * Do not start or end a documentation string with whitespace.
|
||
(let (start end)
|
||
(if (or (if (looking-at "\"\\([ \t\n]+\\)")
|
||
(setq start (match-beginning 1)
|
||
end (match-end 1)))
|
||
(save-excursion
|
||
(forward-sexp 1)
|
||
(forward-char -1)
|
||
(if (/= (skip-chars-backward " \t\n") 0)
|
||
(setq start (point)
|
||
end (1- e)))))
|
||
(if (checkdoc-autofix-ask-replace
|
||
start end "Remove this whitespace?" "")
|
||
nil
|
||
(checkdoc-create-error
|
||
"Documentation strings should not start or end with whitespace"
|
||
start end))))
|
||
;; * The first line of the documentation string should consist of one
|
||
;; or two complete sentences that stand on their own as a summary.
|
||
;; `M-x apropos' displays just the first line, and if it doesn't
|
||
;; stand on its own, the result looks bad. In particular, start the
|
||
;; first line with a capital letter and end with a period.
|
||
(save-excursion
|
||
(end-of-line)
|
||
(skip-chars-backward " \t\n")
|
||
(if (> (point) e) (goto-char e)) ;of the form (defun n () "doc" nil)
|
||
(forward-char -1)
|
||
(cond
|
||
((and (eq (following-char) ?\")
|
||
;; A backslashed double quote at the end of a sentence
|
||
(not (eq (preceding-char) ?\\)))
|
||
;; We might have to add a period in this case
|
||
(forward-char -1)
|
||
(if (looking-at "[.!?]")
|
||
nil
|
||
(forward-char 1)
|
||
(if (checkdoc-autofix-ask-replace
|
||
(point) (1+ (point)) "Add period to sentence?"
|
||
".\"" t)
|
||
nil
|
||
(checkdoc-create-error
|
||
"First sentence should end with punctuation"
|
||
(point) (1+ (point))))))
|
||
((looking-at "[\\!?;:.)]")
|
||
;; These are ok
|
||
nil)
|
||
((and checkdoc-permit-comma-termination-flag (= (following-char) ?,))
|
||
nil)
|
||
(t
|
||
;; If it is not a complete sentence, let's see if we can
|
||
;; predict a clever way to make it one.
|
||
(let ((msg "First line is not a complete sentence")
|
||
(e (point)))
|
||
(beginning-of-line)
|
||
(if (re-search-forward "\\. +" e t)
|
||
;; Here we have found a complete sentence, but no break.
|
||
(if (checkdoc-autofix-ask-replace
|
||
(1+ (match-beginning 0)) (match-end 0)
|
||
"First line not a complete sentence. Add RET here?"
|
||
"\n" t)
|
||
(let (l1 l2)
|
||
(end-of-line 2)
|
||
(setq l1 (current-column)
|
||
l2 (save-excursion
|
||
(end-of-line 2)
|
||
(current-column)))
|
||
(if (> (+ l1 l2 1) 80)
|
||
(setq msg "Incomplete auto-fix; doc string \
|
||
may require more formatting")
|
||
;; We can merge these lines! Replace this CR
|
||
;; with a space.
|
||
(delete-char 1) (insert " ")
|
||
(setq msg nil))))
|
||
;; Let's see if there is enough room to draw the next
|
||
;; line's sentence up here. I often get hit w/
|
||
;; auto-fill moving my words around.
|
||
(let ((numc (progn (end-of-line) (- 80 (current-column))))
|
||
(p (point)))
|
||
(forward-line 1)
|
||
(beginning-of-line)
|
||
(if (and (re-search-forward "[.!?:\"]\\([ \t\n]+\\|\"\\)"
|
||
(line-end-position) t)
|
||
(< (current-column) numc))
|
||
(when (checkdoc-autofix-ask-replace
|
||
p (1+ p)
|
||
"First line not a complete sentence. Join these lines?"
|
||
" " t)
|
||
(setq msg nil)))))
|
||
(if msg
|
||
(checkdoc-create-error msg s (save-excursion
|
||
(goto-char s)
|
||
(line-end-position))))))))
|
||
;; Continuation of above. Make sure our sentence is capitalized.
|
||
(save-excursion
|
||
(skip-chars-forward "\"*")
|
||
(if (looking-at "[a-z]")
|
||
(if (checkdoc-autofix-ask-replace
|
||
(match-beginning 0) (match-end 0)
|
||
"Capitalize your sentence?" (upcase (match-string 0))
|
||
t)
|
||
nil
|
||
(checkdoc-create-error
|
||
"First line should be capitalized"
|
||
(match-beginning 0) (match-end 0)))
|
||
nil))
|
||
;; * Don't write key sequences directly in documentation strings.
|
||
;; Instead, use the `\\[...]' construct to stand for them.
|
||
(save-excursion
|
||
(let ((f nil) (m nil) (start (point))
|
||
;; Ignore the "A-" modifier: it is uncommon in practice,
|
||
;; and leads to false positives in regexp ranges.
|
||
(re (rx (not (any "0-9A-Za-z_`‘-"))
|
||
(group (or (seq (any "CMs") "-" (any "A-Za-z"))
|
||
(group (opt (group (any "CMs") "-"))
|
||
"mouse-" (any "0-3"))))
|
||
eow)))
|
||
;; Find the first key sequence not in a sample
|
||
(while (and (not f) (setq m (re-search-forward re e t)))
|
||
(setq f (not (checkdoc-in-sample-code-p start e))))
|
||
(if m
|
||
(checkdoc-create-error
|
||
(concat
|
||
"Keycode " (match-string 1)
|
||
" embedded in doc string. Use \\\\<mapvar> & \\\\[command] "
|
||
"instead")
|
||
(match-beginning 1) (match-end 1) t))))
|
||
;; Optionally warn about too many command substitutions.
|
||
(when checkdoc-max-keyref-before-warn
|
||
(save-excursion
|
||
(if (and (re-search-forward "\\\\\\\\\\[\\w+" e t
|
||
(1+ checkdoc-max-keyref-before-warn))
|
||
(not (re-search-forward "\\\\\\\\{\\w+}" e t)))
|
||
(checkdoc-create-error
|
||
"Too many occurrences of \\[command]. Use \\{mapvar} instead"
|
||
s (marker-position e)))))
|
||
;; Ambiguous quoted symbol. When a symbol is both bound and fbound,
|
||
;; and is referred to in documentation, it should be prefixed with
|
||
;; something to disambiguate it. This check must be before the
|
||
;; 80 column check because it might break that.
|
||
(save-excursion
|
||
(let ((case-fold-search t)
|
||
(ret nil) mb me)
|
||
(while (and (re-search-forward
|
||
"[`‘]\\(\\sw\\(\\sw\\|\\s_\\)+\\)['’]" e t)
|
||
(not ret))
|
||
(let* ((ms1 (match-string 1))
|
||
(sym (intern-soft ms1)))
|
||
(setq mb (match-beginning 1)
|
||
me (match-end 1))
|
||
(if (and sym (boundp sym) (fboundp sym)
|
||
checkdoc--disambiguate-symbol-flag
|
||
;; Mode names do not need disambiguating. (Bug#4110)
|
||
(not (string-match (rx "-mode" string-end)
|
||
(symbol-name sym)))
|
||
(save-excursion
|
||
(goto-char mb)
|
||
(forward-word-strictly -1)
|
||
(not (looking-at
|
||
"variable\\|option\\|function\\|command\\|symbol"))))
|
||
(if (checkdoc-autofix-ask-replace
|
||
mb me "Prefix this ambiguous symbol?" ms1 t)
|
||
;; We didn't actually replace anything. Here we find
|
||
;; out what special word form they wish to use as
|
||
;; a prefix.
|
||
(let ((disambiguate
|
||
(completing-read
|
||
(format-prompt "Disambiguating Keyword"
|
||
"variable")
|
||
'(("function") ("command") ("variable")
|
||
("option") ("symbol"))
|
||
nil t nil nil "variable")))
|
||
(goto-char (1- mb))
|
||
(insert disambiguate " ")
|
||
(forward-word-strictly 1))
|
||
(setq ret
|
||
(format "Disambiguate %s by preceding w/ \
|
||
function,command,variable,option or symbol." ms1))))))
|
||
(if ret
|
||
(checkdoc-create-error ret mb me)
|
||
nil)))
|
||
;; * Format the documentation string so that it fits in an
|
||
;; Emacs window on an 80-column screen. It is a good idea
|
||
;; for most lines to be no wider than 60 characters. The
|
||
;; first line can be wider if necessary to fit the
|
||
;; information that ought to be there.
|
||
(save-excursion
|
||
(let* ((start (point))
|
||
(eol nil)
|
||
;; Respect this file local variable.
|
||
(max-column (max 80 byte-compile-docstring-max-column))
|
||
;; Allow the first line to be three characters longer, to
|
||
;; fit the leading ` "' while still having a docstring
|
||
;; shorter than e.g. 80 characters.
|
||
(first t)
|
||
(get-max-column (lambda () (+ max-column (if first 3 0)))))
|
||
(while (and (< (point) e)
|
||
(or (progn (end-of-line) (setq eol (point))
|
||
(< (current-column) (funcall get-max-column)))
|
||
(progn (beginning-of-line)
|
||
(re-search-forward "\\\\\\\\[[<{]"
|
||
eol t))
|
||
(checkdoc-in-sample-code-p start e)))
|
||
(setq first nil)
|
||
(forward-line 1))
|
||
(end-of-line)
|
||
(if (and (< (point) e) (> (current-column) (funcall get-max-column)))
|
||
(checkdoc-create-error
|
||
(format "Some lines are over %d columns wide" max-column)
|
||
s (save-excursion (goto-char s) (line-end-position))))))
|
||
;; Here we deviate to tests based on a variable or function.
|
||
;; We must do this before checking for symbols in quotes because there
|
||
;; is a chance that just such a symbol might really be an argument.
|
||
(cond ((eq (nth 1 fp) t)
|
||
;; This is if we are in a variable
|
||
(or
|
||
;; * The documentation string for a variable that is a
|
||
;; yes-or-no flag should start with words such as Non-nil
|
||
;; means..., to make it clear that all non-nil values are
|
||
;; equivalent and indicate explicitly what nil and non-nil
|
||
;; mean.
|
||
;; * If a user option variable records a true-or-false
|
||
;; condition, give it a name that ends in `-flag'.
|
||
|
||
;; "True ..." should be "Non-nil ..."
|
||
(when (looking-at "\"\\*?\\(True\\)\\b")
|
||
(if (checkdoc-autofix-ask-replace
|
||
(match-beginning 1) (match-end 1)
|
||
"Say \"Non-nil\" instead of \"True\"?"
|
||
"Non-nil")
|
||
nil
|
||
(checkdoc-create-error
|
||
"\"True\" should usually be \"Non-nil\""
|
||
(match-beginning 1) (match-end 1))))
|
||
|
||
;; If the variable has -flag in the name, make sure
|
||
(if (and (string-match "-flag$" (car fp))
|
||
(not (looking-at "\"\\*?Non-nil\\s-+means\\s-+")))
|
||
(checkdoc-create-error
|
||
"Flag variable doc strings should usually start: Non-nil means"
|
||
s (marker-position e) t))
|
||
;; Don't rename variable to "foo-flag". This is unnecessary
|
||
;; and such names often end up inconvenient when the variable
|
||
;; is later expanded to non-boolean values. --Stef
|
||
;; If the doc string starts with "Non-nil means"
|
||
;; (if (and (looking-at "\"\\*?Non-nil\\s-+means\\s-+")
|
||
;; (not (string-match "-flag$" (car fp))))
|
||
;; (let ((newname
|
||
;; (if (string-match "-p$" (car fp))
|
||
;; (concat (substring (car fp) 0 -2) "-flag")
|
||
;; (concat (car fp) "-flag"))))
|
||
;; (if (checkdoc-y-or-n-p
|
||
;; (format
|
||
;; "Rename to %s and Query-Replace all occurrences?"
|
||
;; newname))
|
||
;; (progn
|
||
;; (beginning-of-defun)
|
||
;; (query-replace-regexp
|
||
;; (concat "\\<" (regexp-quote (car fp)) "\\>")
|
||
;; newname))
|
||
;; (checkdoc-create-error
|
||
;; "Flag variable names should normally end in `-flag'" s
|
||
;; (marker-position e)))))
|
||
;; Done with variables
|
||
))
|
||
(t
|
||
;; This if we are in a function definition
|
||
(or
|
||
;; * When a function's documentation string mentions the value
|
||
;; of an argument of the function, use the argument name in
|
||
;; capital letters as if it were a name for that value. Thus,
|
||
;; the documentation string of the function `/' refers to its
|
||
;; second argument as `DIVISOR', because the actual argument
|
||
;; name is `divisor'.
|
||
|
||
;; Addendum: Make sure they appear in the doc in the same
|
||
;; order that they are found in the arg list.
|
||
(let ((args (nthcdr 4 fp))
|
||
(last-pos 0)
|
||
(found 1)
|
||
(order (and (nth 3 fp) (car (nth 3 fp))))
|
||
(nocheck (append '("&optional" "&rest" "&key" "&aux"
|
||
"&context" "&environment" "&whole"
|
||
"&body" "&allow-other-keys" "nil")
|
||
(nth 3 fp)))
|
||
(inopts nil))
|
||
(while (and args found (> found last-pos))
|
||
(if (or (member (car args) nocheck)
|
||
(string-match "\\`_" (car args)))
|
||
(setq args (cdr args)
|
||
inopts t)
|
||
(setq last-pos found
|
||
found (save-excursion
|
||
(re-search-forward
|
||
(concat "\\<" (upcase (car args))
|
||
;; Require whitespace OR
|
||
;; ITEMth<space> OR
|
||
;; ITEMs<space>
|
||
"\\(\\>\\|th\\>\\|s\\>\\|[.,;:]\\)")
|
||
e t)))
|
||
(if (not found)
|
||
(let ((case-fold-search t))
|
||
;; If the symbol was not found, let's see if we
|
||
;; can find it with a different capitalization
|
||
;; and see if the user wants to capitalize it.
|
||
(if (save-excursion
|
||
(re-search-forward
|
||
(concat "\\<\\(" (car args)
|
||
;; Require whitespace OR
|
||
;; ITEMth<space> OR
|
||
;; ITEMs<space>
|
||
"\\)\\(\\>\\|th\\>\\|s\\>\\)")
|
||
e t))
|
||
(if (checkdoc-autofix-ask-replace
|
||
(match-beginning 1) (match-end 1)
|
||
(format-message
|
||
"If this is the argument `%s', it should appear as %s. Fix?"
|
||
(car args) (upcase (car args)))
|
||
(upcase (car args)) t)
|
||
(setq found (match-beginning 1))))))
|
||
(if found (setq args (cdr args)))))
|
||
(if (not found)
|
||
;; It wasn't found at all! Offer to attach this new symbol
|
||
;; to the end of the documentation string.
|
||
(if (checkdoc-y-or-n-p
|
||
(format
|
||
"Add %s documentation to end of doc string?"
|
||
(upcase (car args))))
|
||
;; Now do some magic and invent a doc string.
|
||
(save-excursion
|
||
(goto-char e) (forward-char -1)
|
||
(insert "\n"
|
||
(if inopts "Optional a" "A")
|
||
"rgument " (upcase (car args))
|
||
" ")
|
||
(insert (read-string "Describe: "))
|
||
(if (not (save-excursion (forward-char -1)
|
||
(looking-at "[.?!]")))
|
||
(insert "."))
|
||
nil)
|
||
(when checkdoc--argument-missing-flag
|
||
(checkdoc-create-error
|
||
(format-message
|
||
"Argument `%s' should appear (as %s) in the doc string"
|
||
(car args) (upcase (car args)))
|
||
s (marker-position e))))
|
||
(if (or (and order (eq order 'yes))
|
||
(and (not order) checkdoc-arguments-in-order-flag))
|
||
(if (< found last-pos)
|
||
(checkdoc-create-error
|
||
"Arguments occur in the doc string out of order"
|
||
s (marker-position e) t)))))
|
||
;; * For consistency, phrase the verb in the first sentence of a
|
||
;; documentation string for functions as an imperative.
|
||
;; For instance, use `Return the cons of A and
|
||
;; B.' in preference to `Returns the cons of A and B.'
|
||
;; Usually it looks good to do likewise for the rest of the
|
||
;; first paragraph. Subsequent paragraphs usually look better
|
||
;; if they have proper subjects.
|
||
;;
|
||
;; This is the least important of the above tests. Make sure
|
||
;; it occurs last.
|
||
(and checkdoc-verb-check-experimental-flag
|
||
(save-excursion
|
||
;; Maybe rebuild the monster-regexp
|
||
(checkdoc-create-common-verbs-regexp)
|
||
(let ((lim (save-excursion
|
||
(end-of-line)
|
||
;; check string-continuation
|
||
(if (eq (preceding-char) ?\\)
|
||
(line-end-position 2)
|
||
(point))))
|
||
(rs nil) replace original (case-fold-search t))
|
||
(while (and (not rs)
|
||
(re-search-forward
|
||
checkdoc-common-verbs-regexp
|
||
lim t))
|
||
(setq original (buffer-substring-no-properties
|
||
(match-beginning 1) (match-end 1))
|
||
rs (assoc (downcase original)
|
||
checkdoc-common-verbs-wrong-voice))
|
||
(if (not rs) (error "Verb voice alist corrupted"))
|
||
(setq replace (let ((case-fold-search nil))
|
||
(if (string-match-p "^[A-Z]" original)
|
||
(capitalize (cdr rs))
|
||
(cdr rs))))
|
||
(if (checkdoc-autofix-ask-replace
|
||
(match-beginning 1) (match-end 1)
|
||
(format "Use the imperative for \"%s\". \
|
||
Replace with \"%s\"?" original replace)
|
||
replace t)
|
||
(setq rs nil)))
|
||
(if rs
|
||
;; there was a match, but no replace
|
||
(checkdoc-create-error
|
||
(format
|
||
"Probably \"%s\" should be imperative \"%s\""
|
||
original replace)
|
||
(match-beginning 1) (match-end 1))))))
|
||
;; "Return true ..." should be "Return non-nil ..."
|
||
(when (looking-at "\"Return \\(true\\)\\b")
|
||
(if (checkdoc-autofix-ask-replace
|
||
(match-beginning 1) (match-end 1)
|
||
"Say \"non-nil\" instead of \"true\"?"
|
||
"non-nil")
|
||
nil
|
||
(checkdoc-create-error
|
||
"\"true\" should usually be \"non-nil\""
|
||
(match-beginning 1) (match-end 1))))
|
||
;; Done with functions
|
||
)))
|
||
;;* When a documentation string refers to a Lisp symbol, write it as
|
||
;; it would be printed (which usually means in lower case), with
|
||
;; single-quotes around it. For example: ‘lambda’. There are two
|
||
;; exceptions: write t and nil without single-quotes. (For
|
||
;; compatibility with an older Emacs style, quoting with ` and '
|
||
;; also works, e.g., `lambda' is treated like ‘lambda’.)
|
||
(save-excursion
|
||
(let ((found nil) (start (point)) (msg nil) (ms nil))
|
||
(while (and (not msg)
|
||
(re-search-forward
|
||
;; Ignore manual page references like
|
||
;; git-config(1).
|
||
"[^-([`'‘’:a-zA-Z]\\(\\w+[:-]\\(\\w\\|\\s_\\)+\\)[^]('’]"
|
||
e t))
|
||
(setq ms (match-string 1))
|
||
;; A . is a \s_ char, so we must remove periods from
|
||
;; sentences more carefully.
|
||
(when (string-match-p "\\.$" ms)
|
||
(setq ms (substring ms 0 (1- (length ms)))))
|
||
(if (and (not (checkdoc-in-sample-code-p start e))
|
||
(not (checkdoc-in-example-string-p start e))
|
||
(not (member ms checkdoc-symbol-words))
|
||
(setq found (intern-soft ms))
|
||
(or (boundp found) (fboundp found)))
|
||
(progn
|
||
(setq msg (format-message
|
||
"Add quotes around Lisp symbol `%s'?" ms))
|
||
(if (checkdoc-autofix-ask-replace
|
||
(match-beginning 1) (+ (match-beginning 1)
|
||
(length ms))
|
||
msg (format "`%s'" ms) t)
|
||
(setq msg nil)
|
||
(setq msg
|
||
(format-message
|
||
"Lisp symbol `%s' should appear in quotes" ms))))))
|
||
(if msg
|
||
(checkdoc-create-error msg (match-beginning 1)
|
||
(+ (match-beginning 1)
|
||
(length ms)))
|
||
nil)))
|
||
;; t and nil case
|
||
(save-excursion
|
||
(if (re-search-forward "\\([`‘]\\(t\\|nil\\)['’]\\)" e t)
|
||
(if (checkdoc-autofix-ask-replace
|
||
(match-beginning 1) (match-end 1)
|
||
(format "%s should not appear in quotes. Remove?"
|
||
(match-string 2))
|
||
(match-string 2) t)
|
||
nil
|
||
(checkdoc-create-error
|
||
"Symbols t and nil should not appear in single quotes"
|
||
(match-beginning 1) (match-end 1)))))
|
||
;; Here is some basic sentence formatting
|
||
(checkdoc-sentencespace-region-engine (point) e)
|
||
;; Here are common proper nouns that should always appear capitalized.
|
||
(checkdoc-proper-noun-region-engine (point) e)
|
||
;; Make sure the doc string has correctly spelled English words
|
||
;; in it. This function is extracted due to its complexity,
|
||
;; and reliance on the Ispell program.
|
||
(checkdoc-ispell-docstring-engine e take-notes)
|
||
;; User supplied checks
|
||
(save-excursion (run-hook-with-args-until-success 'checkdoc-style-functions fp e)))))
|
||
|
||
(defun checkdoc-defun-info nil
|
||
"Return a list of details about the current sexp.
|
||
It is a list of the form:
|
||
(NAME VARIABLE INTERACTIVE NODOCPARAMS PARAMETERS ...)
|
||
where NAME is the name, VARIABLE is t if this is a `defvar',
|
||
INTERACTIVE is nil if this is not an interactive function, otherwise
|
||
it is the position of the `interactive' call, and PARAMETERS is a
|
||
string which is the name of each variable in the function's argument
|
||
list. The NODOCPARAMS is a sublist of parameters specified by a checkdoc
|
||
comment for a given defun. If the first element is not a string, then
|
||
the token checkdoc-order: <TOKEN> exists, and TOKEN is a symbol read
|
||
from the comment."
|
||
(save-excursion
|
||
(beginning-of-defun)
|
||
(let ((defun (looking-at
|
||
"(\\(?:cl-\\)?def\\(un\\|macro\\|subst\\|advice\\|generic\\|method\\)"))
|
||
(is-advice (looking-at "(defadvice"))
|
||
(defun-depth (ppss-depth (syntax-ppss)))
|
||
(lst nil)
|
||
(ret nil)
|
||
(oo (obarray-make 3))) ;substitute obarray for `read'
|
||
(forward-char 1)
|
||
(forward-sexp 1)
|
||
(skip-chars-forward " \n\t")
|
||
(setq ret
|
||
(list (buffer-substring-no-properties
|
||
(point) (progn (forward-sexp 1) (point)))))
|
||
(if (not defun)
|
||
(setq ret (cons t ret))
|
||
;; The variable spot
|
||
(setq ret (cons nil ret))
|
||
;; Interactive
|
||
(save-excursion
|
||
(push (and (re-search-forward "^\\s-*(interactive"
|
||
(save-excursion
|
||
(end-of-defun)
|
||
(point))
|
||
t)
|
||
;; Disregard `interactive' from other parts of
|
||
;; the function.
|
||
(= (ppss-depth (syntax-ppss))
|
||
(+ defun-depth 2))
|
||
(point))
|
||
ret))
|
||
(skip-chars-forward " \t\n")
|
||
(let ((bss (buffer-substring (point) (save-excursion (forward-sexp 1)
|
||
(point))))
|
||
;; Overload th main obarray so read doesn't intern the
|
||
;; local symbols of the function we are checking.
|
||
;; Without this we end up cluttering the symbol space w/
|
||
;; useless symbols.
|
||
(obarray oo))
|
||
;; Ok, check for checkdoc parameter comment here
|
||
(save-excursion
|
||
(setq ret
|
||
(cons
|
||
(let ((sl1 nil))
|
||
(if (re-search-forward ";\\s-+checkdoc-order:\\s-+"
|
||
(save-excursion (end-of-defun)
|
||
(point))
|
||
t)
|
||
(setq sl1 (list (cond ((looking-at "nil") 'no)
|
||
((looking-at "t") 'yes)))))
|
||
(if (re-search-forward ";\\s-+checkdoc-params:\\s-+"
|
||
(save-excursion (end-of-defun)
|
||
(point))
|
||
t)
|
||
(let ((sl nil))
|
||
(goto-char (match-end 0))
|
||
(condition-case nil
|
||
(setq lst (read (current-buffer)))
|
||
(error (setq lst nil))) ; error in text
|
||
(setq lst (ensure-list lst))
|
||
(if (and lst (not (symbolp (car lst)))) ;weird arg
|
||
(setq lst nil))
|
||
(while lst
|
||
(setq sl (cons (symbol-name (car lst)) sl)
|
||
lst (cdr lst)))
|
||
(setq sl1 (append sl1 sl))))
|
||
sl1)
|
||
ret)))
|
||
;; Read the list of parameters, but do not put the symbols in
|
||
;; the standard obarray.
|
||
(setq lst (read bss)))
|
||
;; This is because read will intern nil if it doesn't into the
|
||
;; new obarray.
|
||
(if (not (listp lst)) (setq lst nil))
|
||
(unless is-advice
|
||
;; (car lst) can be something like ((foo bar) baz) from
|
||
;; cl-lib methods; flatten it:
|
||
(while lst
|
||
(setq ret (cons (symbol-name (car (flatten-tree (car lst)))) ret)
|
||
lst (cdr lst)))))
|
||
(nreverse ret))))
|
||
|
||
(defun checkdoc-in-sample-code-p (start limit)
|
||
"Return non-nil if the current point is in a code fragment.
|
||
A code fragment is identified by an open parenthesis followed by a
|
||
symbol which is a valid function or a word in all CAPS, or a parenthesis
|
||
that is quoted with the \\=' character. Only the region from START to LIMIT
|
||
is allowed while searching for the bounding parenthesis."
|
||
(save-match-data
|
||
(save-restriction
|
||
(narrow-to-region start limit)
|
||
(save-excursion
|
||
(and (condition-case nil (progn (up-list 1) t) (error nil))
|
||
(condition-case nil (progn (forward-list -1) t) (error nil))
|
||
(or (save-excursion (forward-char -1) (looking-at "'("))
|
||
(and (looking-at "(\\(\\(\\w\\|[-:_]\\)+\\)[ \t\n;]")
|
||
(let ((ms (buffer-substring-no-properties
|
||
(match-beginning 1) (match-end 1))))
|
||
;; if this string is function bound, we are in
|
||
;; sample code. If it has a - or : character in
|
||
;; the name, then it is probably supposed to be bound
|
||
;; but isn't yet.
|
||
(or (fboundp (intern-soft ms))
|
||
(let ((case-fold-search nil))
|
||
(string-match "^[A-Z-]+$" ms))
|
||
(string-match "\\w[-:_]+\\w" ms))))))))))
|
||
|
||
(defun checkdoc-in-example-string-p (start limit)
|
||
"Return non-nil if the current point is in an \"example string\".
|
||
This string is identified by the characters \\\" surrounding the text.
|
||
The text checked is between START and LIMIT."
|
||
(save-match-data
|
||
(save-excursion
|
||
(let ((p (point))
|
||
(c 0))
|
||
(goto-char start)
|
||
(while (and (< (point) p) (re-search-forward "\\\\\"" limit t))
|
||
(setq c (1+ c)))
|
||
(and (< 0 c) (= (% c 2) 0))))))
|
||
|
||
(defun checkdoc-in-abbreviation-p (begin)
|
||
"Return non-nil if point is at an abbreviation.
|
||
Examples of recognized abbreviations: \"e.g.\", \"i.e.\", \"cf.\"."
|
||
(save-excursion
|
||
(goto-char begin)
|
||
(condition-case nil
|
||
(let (single-letter)
|
||
(forward-word -1)
|
||
;; Skip over all dots backwards, as `forward-word' will only
|
||
;; go one dot at a time in a string like "e.g.".
|
||
(while (save-excursion (forward-char -1)
|
||
(looking-at (rx ".")))
|
||
(forward-word -1))
|
||
(when (= (point) (1- begin))
|
||
(setq single-letter t))
|
||
;; Piece of an abbreviation.
|
||
(looking-at
|
||
(if single-letter
|
||
;; Handle a single letter, as in "a.", as this might be
|
||
;; a part of a list.
|
||
(rx letter ".")
|
||
(rx (or
|
||
;; The abbreviations (a trailing dot is added below).
|
||
(seq (any "cC") "f") ; cf.
|
||
(seq (any "eE") ".g") ; e.g.
|
||
(seq (any "iI") "." (any "eE")) ; i.e.
|
||
"a.k.a" "etc" "vs" "N.B" "U.S"
|
||
;; Some non-standard or less common ones that we
|
||
;; might as well accept.
|
||
"Inc" "Univ" "misc" "resp")
|
||
"."))))
|
||
(error t))))
|
||
|
||
(defun checkdoc-proper-noun-region-engine (begin end)
|
||
"Check all text between BEGIN and END for lower case proper nouns.
|
||
These are Emacs centric proper nouns which should be capitalized for
|
||
consistency. Return an error list if any are not fixed, but
|
||
internally skip over no answers.
|
||
If the offending word is in a piece of quoted text, then it is skipped."
|
||
(save-excursion
|
||
(let ((case-fold-search nil)
|
||
(errtxt nil) bb be)
|
||
(with-syntax-table checkdoc-syntax-table
|
||
(goto-char begin)
|
||
(while (re-search-forward checkdoc-proper-noun-regexp end t)
|
||
(let ((text (match-string 1))
|
||
(b (match-beginning 1))
|
||
(e (match-end 1)))
|
||
(if (and (not (save-excursion
|
||
(goto-char b)
|
||
(forward-char -1)
|
||
(looking-at "[`\".‘]\\|\\\\")))
|
||
;; surrounded by /, as in a URL or filename: /emacs/
|
||
(not (and (= ?/ (char-after e))
|
||
(= ?/ (char-before b))))
|
||
(not (checkdoc-in-example-string-p begin end))
|
||
;; info or url links left alone
|
||
(not (thing-at-point-looking-at
|
||
help-xref-info-regexp))
|
||
(not (thing-at-point-looking-at
|
||
help-xref-url-regexp)))
|
||
(if (checkdoc-autofix-ask-replace
|
||
b e (format "Text %s should be capitalized. Fix?"
|
||
text)
|
||
(capitalize text) t)
|
||
nil
|
||
(if errtxt
|
||
;; If there is already an error, then generate
|
||
;; the warning output if applicable
|
||
(if checkdoc-generate-compile-warnings-flag
|
||
(checkdoc-create-error
|
||
(format
|
||
"Name %s should appear capitalized as %s"
|
||
text (capitalize text))
|
||
b e))
|
||
(setq errtxt
|
||
(format
|
||
"Name %s should appear capitalized as %s"
|
||
text (capitalize text))
|
||
bb b be e)))))))
|
||
(if errtxt (checkdoc-create-error errtxt bb be)))))
|
||
|
||
(defun checkdoc-sentencespace-region-engine (begin end)
|
||
"Make sure all sentences have double spaces between BEGIN and END."
|
||
(if sentence-end-double-space
|
||
(save-excursion
|
||
(let ((case-fold-search nil)
|
||
(errtxt nil) bb be)
|
||
(with-syntax-table checkdoc-syntax-table
|
||
(goto-char begin)
|
||
(while (re-search-forward "[^ .0-9]\\(\\. \\)[^ \n]" end t)
|
||
(let ((b (match-beginning 1))
|
||
(e (match-end 1)))
|
||
(unless (or (checkdoc-in-sample-code-p begin end)
|
||
(checkdoc-in-example-string-p begin end)
|
||
(checkdoc-in-abbreviation-p b))
|
||
(if (checkdoc-autofix-ask-replace
|
||
b e
|
||
"There should be two spaces after a period. Fix?"
|
||
". ")
|
||
nil
|
||
(if errtxt
|
||
;; If there is already an error, then generate
|
||
;; the warning output if applicable
|
||
(if checkdoc-generate-compile-warnings-flag
|
||
(checkdoc-create-error
|
||
"There should be two spaces after a period"
|
||
b e))
|
||
(setq errtxt
|
||
"There should be two spaces after a period"
|
||
bb b be e)))))))
|
||
(if errtxt (checkdoc-create-error errtxt bb be))))))
|
||
|
||
;;; Ispell engine
|
||
;;
|
||
(defvar ispell-process)
|
||
(declare-function ispell-buffer-local-words "ispell" ())
|
||
(declare-function ispell-correct-p "ispell" (&optional following))
|
||
(declare-function ispell-set-spellchecker-params "ispell" ())
|
||
(declare-function ispell-accept-buffer-local-defs "ispell" ())
|
||
(declare-function ispell-error-checking-word "ispell" (word))
|
||
|
||
(defun checkdoc-ispell-init ()
|
||
"Initialize Ispell process (default version) with Lisp words.
|
||
The words used are from `checkdoc-ispell-lisp-words'. If `ispell'
|
||
cannot be loaded, then set `checkdoc-spellcheck-documentation-flag' to
|
||
nil."
|
||
(require 'ispell)
|
||
(unless ispell-process
|
||
(condition-case nil
|
||
(progn
|
||
(ispell-set-spellchecker-params) ; Initialize variables and dict alists.
|
||
(ispell-accept-buffer-local-defs) ; Use the correct dictionary.
|
||
(dolist (w checkdoc-ispell-lisp-words)
|
||
(process-send-string ispell-process (concat "@" w "\n"))))
|
||
(error (setq checkdoc-spellcheck-documentation-flag nil)))))
|
||
|
||
(defun checkdoc-ispell-docstring-engine (end &optional take-notes)
|
||
"Run the Ispell tools on the doc string between point and END.
|
||
Since Ispell isn't Lisp-smart, we must pre-process the doc string
|
||
before using the Ispell engine on it.
|
||
|
||
With a non-nil TAKE-NOTES, store all errors found in a warnings
|
||
buffer, otherwise stop after the first error."
|
||
(when (and checkdoc-spellcheck-documentation-flag
|
||
;; If the user wants no questions or fixing, then we must
|
||
;; disable spell checking as not useful.
|
||
(or take-notes
|
||
(and checkdoc-autofix-flag
|
||
(not (eq checkdoc-autofix-flag 'never)))))
|
||
(checkdoc-ispell-init)
|
||
(unless checkdoc-spellcheck-documentation-flag
|
||
;; this happens when (checkdoc-ispell-init) can't start `ispell-program-name'
|
||
(user-error "No spellchecker installed: check the variable `ispell-program-name'"))
|
||
(save-excursion
|
||
(skip-chars-forward "^a-zA-Z")
|
||
(let (word sym case-fold-search word-beginning word-end) ;; err
|
||
(while (and (< (point) end)) ;; (not err)
|
||
(if (save-excursion (forward-char -1) (looking-at "[('`]"))
|
||
;; Skip lists describing meta-syntax, or bound variables
|
||
(forward-sexp 1)
|
||
(setq word-beginning (point)
|
||
word-end (progn
|
||
(skip-chars-forward "a-zA-Z-")
|
||
(point))
|
||
word (buffer-substring-no-properties word-beginning word-end)
|
||
sym (intern-soft word))
|
||
(unless (and sym (or (boundp sym) (fboundp sym)))
|
||
;; Find out how we spell-check this word.
|
||
(unless (or
|
||
;; All caps with option th, or s tacked on the
|
||
;; end for pluralization or number.
|
||
(string-match "^[A-Z][A-Z]+\\(s\\|th\\)?$" word)
|
||
(looking-at "}") ; a keymap expression
|
||
)
|
||
(save-excursion
|
||
(let ((lk last-input-event))
|
||
(if take-notes
|
||
(progn
|
||
(unless (ispell-correct-p)
|
||
(checkdoc-create-error
|
||
(ispell-error-checking-word word)
|
||
word-beginning word-end)))
|
||
(ispell-word nil t))
|
||
(if (not (equal last-input-event lk))
|
||
(progn
|
||
(sit-for 0)
|
||
(message "Continuing..."))))))))
|
||
(skip-chars-forward "^a-zA-Z"))
|
||
nil)))) ;; err
|
||
|
||
;;; Rogue space checking engine
|
||
;;
|
||
(defun checkdoc-rogue-space-check-engine (&optional start end interact)
|
||
"Return a message list if there is a line with white space at the end.
|
||
If `checkdoc-autofix-flag' permits, delete that whitespace instead.
|
||
If optional arguments START and END are non-nil, bound the check to
|
||
this region.
|
||
Optional argument INTERACT may permit the user to fix problems on the fly."
|
||
(let ((p (point))
|
||
(msg nil) s e (f nil))
|
||
(if (not start) (setq start (point-min)))
|
||
;; If end is nil, it means end of buffer to search anyway
|
||
(or
|
||
;; Check for an error if `? ' or `?\ ' is used at the end of a line.
|
||
;; (It's dangerous)
|
||
(progn
|
||
(goto-char start)
|
||
(while (and (not msg) (re-search-forward "\\?\\\\?[ \t][ \t]*$" end t))
|
||
(setq msg
|
||
"Don't use `? ' at the end of a line. \
|
||
News agents may remove it"
|
||
s (match-beginning 0) e (match-end 0) f t)
|
||
;; If interactive is passed down, give them a chance to fix things.
|
||
(if (and interact (y-or-n-p (concat msg ". Fix?")))
|
||
(progn
|
||
(checkdoc-recursive-edit msg)
|
||
(setq msg nil)
|
||
(goto-char s)
|
||
(beginning-of-line)))))
|
||
;; Check for, and potentially remove whitespace appearing at the
|
||
;; end of different lines.
|
||
(progn
|
||
(goto-char start)
|
||
;; There is no documentation in the Emacs Lisp manual about this check,
|
||
;; it is intended to help clean up messy code and reduce the file size.
|
||
(while (and (not msg) (re-search-forward "[^ \t\n;]\\([ \t]+\\)$" end t))
|
||
;; This is not a complex activity
|
||
(if (checkdoc-autofix-ask-replace
|
||
(match-beginning 1) (match-end 1)
|
||
"White space at end of line. Remove?" "")
|
||
nil
|
||
(setq msg "White space found at end of line"
|
||
s (match-beginning 1) e (match-end 1))))))
|
||
;; Return an error and leave the cursor at that spot, or restore
|
||
;; the cursor.
|
||
(if msg
|
||
(checkdoc-create-error msg s e f)
|
||
(goto-char p)
|
||
nil)))
|
||
|
||
;;; Comment checking engine
|
||
;;
|
||
(defun checkdoc-file-comments-engine ()
|
||
"Return a message list if this file does not match the Emacs standard.
|
||
This checks for style only, such as the first line, Commentary:,
|
||
Code:, and others referenced in the style guide."
|
||
(save-excursion
|
||
(let* ((f1 (file-name-nondirectory (buffer-file-name)))
|
||
(fn (file-name-sans-extension f1))
|
||
(fe (substring f1 (length fn)))
|
||
(err nil))
|
||
(goto-char (point-min))
|
||
;; This file has been set up where ERR is a variable. Each check is
|
||
;; asked, and the function will make sure that if the user does not
|
||
;; auto-fix some error, that we still move on to the next auto-fix,
|
||
;; AND we remember the past errors.
|
||
(setq
|
||
err
|
||
;; Lisp Maintenance checks first
|
||
;; Was: (lm-verify) -> not flexible enough for some people
|
||
;; * Summary at the beginning of the file:
|
||
(if (not (lm-summary))
|
||
;; This certifies as very complex so always ask unless
|
||
;; it's set to never
|
||
(if (checkdoc-y-or-n-p "There is no first line summary! Add one?")
|
||
(progn
|
||
(goto-char (point-min))
|
||
(insert ";;; " fn fe " --- " (read-string "Summary: ") "\n"))
|
||
(checkdoc-create-error
|
||
"The first line should be of the form: \";;; package --- Summary\""
|
||
(point-min) (save-excursion (goto-char (point-min))
|
||
(line-end-position))))
|
||
nil))
|
||
(setq
|
||
err
|
||
(or
|
||
;; * Commentary Section
|
||
(if (and (not (lm-commentary-start))
|
||
;; No need for a commentary section in test files.
|
||
(not (string-match
|
||
(rx (or (seq (or "-test.el" "-tests.el") string-end)
|
||
"/test/" "/tests/"))
|
||
(buffer-file-name))))
|
||
(progn
|
||
(goto-char (point-min))
|
||
(cond
|
||
((re-search-forward
|
||
"write\\s-+to\\s-+the\\s-+Free Software Foundation, Inc."
|
||
nil t)
|
||
(re-search-forward "^;;\\s-*\n\\|^\n" nil t))
|
||
((or (re-search-forward "^;;; History" nil t)
|
||
(re-search-forward "^;;; Code" nil t)
|
||
(re-search-forward "^(require" nil t)
|
||
(re-search-forward "^(" nil t))
|
||
(beginning-of-line))
|
||
((not (re-search-forward ";;; .* --- .*\n" nil t))
|
||
(checkdoc-create-error
|
||
"You should have a summary line (\";;; .* --- .*\")"
|
||
nil nil t)))
|
||
(if (checkdoc-y-or-n-p
|
||
"You should have a \";;; Commentary:\", add one?")
|
||
(insert checkdoc-commentary-header-string)
|
||
(checkdoc-create-error
|
||
"You should have a section marked \";;; Commentary:\""
|
||
nil nil t)))
|
||
nil)
|
||
err))
|
||
(setq
|
||
err
|
||
(or
|
||
;; * History section. Say nothing if there is a file ChangeLog
|
||
(if (or (not checkdoc-force-history-flag)
|
||
(file-exists-p "ChangeLog")
|
||
(file-exists-p "../ChangeLog")
|
||
(lm-history-start))
|
||
nil
|
||
(progn
|
||
(goto-char (or (lm-commentary-start) (point-min)))
|
||
(cond
|
||
((re-search-forward
|
||
"write\\s-+to\\s-+the\\s-+Free Software Foundation, Inc."
|
||
nil t)
|
||
(re-search-forward "^;;\\s-*\n\\|^\n" nil t))
|
||
((or (re-search-forward "^;;; Code" nil t)
|
||
(re-search-forward "^(require" nil t)
|
||
(re-search-forward "^(" nil t))
|
||
(beginning-of-line)))
|
||
(if (checkdoc-y-or-n-p
|
||
"You should have a \";;; History:\", add one?")
|
||
(insert "\n;;; History:\n;; \n\n")
|
||
(checkdoc-create-error
|
||
"You should have a section marked \";;; History:\" or use a ChangeLog"
|
||
(point) nil))))
|
||
err))
|
||
(setq
|
||
err
|
||
(or
|
||
;; * Code section
|
||
(if (not (lm-code-start))
|
||
(let ((cont t)
|
||
pos)
|
||
(goto-char (point-min))
|
||
;; match ";;;###autoload" cookie to keep it with the form
|
||
(while (and cont (re-search-forward
|
||
(concat "^\\(" lisp-mode-autoload-regexp
|
||
"\n\\)?"
|
||
"(")
|
||
nil t))
|
||
(setq pos (match-beginning 0)
|
||
cont (looking-at "require\\s-+")))
|
||
(if (and (not cont)
|
||
(checkdoc-y-or-n-p
|
||
"There is no ;;; Code: marker. Insert one?"))
|
||
(progn (goto-char pos)
|
||
(insert ";;; Code:\n\n")
|
||
nil)
|
||
(checkdoc-create-error
|
||
"You should have a section marked \";;; Code:\""
|
||
(point) nil)))
|
||
nil)
|
||
err))
|
||
(setq
|
||
err
|
||
(or
|
||
;; * Library footer
|
||
(save-excursion
|
||
(goto-char (point-max))
|
||
(let* ((footer-line (lm-package-needs-footer-line)))
|
||
(if (not (re-search-backward
|
||
;; This should match the requirement in
|
||
;; `package-buffer-info'.
|
||
(if footer-line
|
||
(concat "^;;; " (regexp-quote (concat fn fe)) " ends here")
|
||
(concat "\n(provide '" fn ")\n"))
|
||
nil t))
|
||
(if (checkdoc-y-or-n-p (if footer-line
|
||
"No identifiable footer! Add one?"
|
||
"No `provide' statement! Add one?"))
|
||
(progn
|
||
(goto-char (point-max))
|
||
(insert (if footer-line
|
||
(concat "\n(provide '" fn ")\n\n;;; " fn fe " ends here\n")
|
||
(concat "\n(provide '" fn ")\n"))))
|
||
(checkdoc-create-error
|
||
(if footer-line
|
||
(format "The footer should be: (provide '%s)\\n;;; %s%s ends here"
|
||
fn fn fe)
|
||
(format "The footer should be: (provide '%s)\\n" fn))
|
||
;; The buffer may be empty.
|
||
(max (point-min) (1- (point-max)))
|
||
(point-max))))))
|
||
err))
|
||
;; The below checks will not return errors if the user says NO
|
||
|
||
;; Let's spellcheck the commentary section. This is the only
|
||
;; section that is easy to pick out, and it is also the most
|
||
;; visible section (with the finder).
|
||
(let ((cm (lm-commentary-start)))
|
||
(when cm
|
||
(save-excursion
|
||
(goto-char cm)
|
||
(let ((e (copy-marker (lm-commentary-end))))
|
||
;; Since the comments talk about Lisp, use the
|
||
;; specialized spell-checker we also used for doc
|
||
;; strings.
|
||
(checkdoc-sentencespace-region-engine (point) e)
|
||
(checkdoc-proper-noun-region-engine (point) e)
|
||
(checkdoc-ispell-docstring-engine e)))))
|
||
(setq
|
||
err
|
||
(or
|
||
;; Generic Full-file checks (should be comment related)
|
||
(run-hook-with-args-until-success 'checkdoc-comment-style-functions)
|
||
err))
|
||
;; Done with full file comment checks
|
||
err)))
|
||
|
||
(defun checkdoc-outside-major-sexp ()
|
||
"Return t if point is outside the bounds of a valid sexp."
|
||
(save-match-data
|
||
(save-excursion
|
||
(let ((p (point)))
|
||
(or (progn (beginning-of-defun) (bobp))
|
||
(progn (end-of-defun) (< (point) p)))))))
|
||
|
||
;;; `error' and `message' text verifier.
|
||
;;
|
||
(defun checkdoc-message-text-search (&optional beg end)
|
||
"Search between BEG and END for a style error with message text.
|
||
Optional arguments BEG and END represent the boundary of the check.
|
||
The default boundary is the entire buffer."
|
||
(let ((e nil))
|
||
(if (not (or beg end)) (setq beg (point-min) end (point-max)))
|
||
(goto-char beg)
|
||
(while-let ((type (checkdoc-message-text-next-string end)))
|
||
(setq e (checkdoc-message-text-engine type)))
|
||
e))
|
||
|
||
(defvar checkdoc--warning-function-re
|
||
(rx (or "display-warning" "org-display-warning"
|
||
"warn" "lwarn"
|
||
"message-box")))
|
||
|
||
(defun checkdoc-message-text-next-string (end)
|
||
"Move cursor to the next checkable message string after point.
|
||
Return the message classification.
|
||
Argument END is the maximum bounds to search in."
|
||
(let ((return nil))
|
||
(while (and (not return)
|
||
(re-search-forward
|
||
(rx "("
|
||
(* (syntax whitespace))
|
||
(group
|
||
(or (seq (* (or wordchar (syntax symbol)))
|
||
"error")
|
||
(regexp checkdoc--warning-function-re)
|
||
(seq (* (or wordchar (syntax symbol)))
|
||
(or "y-or-n-p" "yes-or-no-p")
|
||
(? "-with-timeout"))
|
||
"checkdoc-autofix-ask-replace"))
|
||
(+ (any "\n\t ")))
|
||
end t))
|
||
(let* ((fn (match-string 1))
|
||
(type (cond ((string-match "error" fn)
|
||
'error)
|
||
((string-match (rx bos
|
||
(regexp checkdoc--warning-function-re)
|
||
eos)
|
||
fn)
|
||
'warning)
|
||
(t 'y-or-n-p))))
|
||
(if (string-match "checkdoc-autofix-ask-replace" fn)
|
||
(progn (forward-sexp 2)
|
||
(skip-chars-forward " \t\n")))
|
||
(if (and (eq type 'y-or-n-p)
|
||
(looking-at (rx "(format" (? "-message") (+ (any " \t\n")))))
|
||
(goto-char (match-end 0)))
|
||
(skip-chars-forward " \t\n")
|
||
(if (not (looking-at "\""))
|
||
nil
|
||
(setq return type))))
|
||
return))
|
||
|
||
(defun checkdoc--error-bad-format-p ()
|
||
"Return non-nil if the start of error message at point has the wrong format.
|
||
The correct format is \"Foo\" or \"some-symbol: Foo\". See also
|
||
`error' and Info node `(elisp) Documentation Tips'."
|
||
(save-excursion
|
||
;; Skip the first quote character in string.
|
||
(forward-char 1)
|
||
;; A capital letter is always okay.
|
||
(unless (let ((case-fold-search nil))
|
||
(looking-at (rx (or upper-case "%s"))))
|
||
;; A defined Lisp symbol is always okay.
|
||
(unless (and (looking-at (rx (group lisp-mode-symbol)))
|
||
(or (fboundp (intern (match-string 1)))
|
||
(boundp (intern (match-string 1)))))
|
||
;; Other Lisp symbols are sometimes okay.
|
||
(rx-let ((c (? "\\\n"))) ; `c' is for a continued line
|
||
(let ((case-fold-search nil)
|
||
(some-symbol (rx lisp-mode-symbol
|
||
c ":" c (+ (any " \t\n"))))
|
||
(lowercase-str (rx c (group (any "a-z") (+ wordchar)))))
|
||
(if (looking-at some-symbol)
|
||
(looking-at (concat some-symbol lowercase-str))
|
||
(looking-at lowercase-str))))))))
|
||
|
||
(defun checkdoc--fix-y-or-n-p ()
|
||
"Fix `y-or-n-p' prompt to end with \"?\" or \"? \".
|
||
The space is technically redundant, but also more compatible with
|
||
Emacs versions before Emacs 24.1. In the future, we might treat
|
||
a space as a style error."
|
||
(when (and (save-excursion (forward-sexp 1)
|
||
(forward-char -3)
|
||
(not (looking-at "\\? ")))
|
||
(save-excursion (forward-sexp 1)
|
||
(forward-char -2)
|
||
(not (looking-at "\\?"))))
|
||
(if (and
|
||
(save-excursion (forward-sexp 1)
|
||
(forward-char -1)
|
||
(looking-at "\""))
|
||
(checkdoc-autofix-ask-replace
|
||
(match-beginning 0) (match-end 0)
|
||
(format-message
|
||
"`y-or-n-p' argument should end with \"?\". Fix?")
|
||
"?\"" t))
|
||
nil
|
||
(checkdoc-create-error
|
||
"`y-or-n-p' argument should end with \"?\""
|
||
(match-beginning 0) (match-end 0)))))
|
||
|
||
(defun checkdoc-message-text-engine (&optional type)
|
||
"Return or fix errors found in strings passed to a message display function.
|
||
According to the documentation for the function `error', the error list
|
||
should not end with a period, and should start with a capital letter.
|
||
The function `y-or-n-p' has similar constraints.
|
||
Argument TYPE specifies the type of question, such as `error' or `y-or-n-p'."
|
||
;; If type is nil, then attempt to derive it.
|
||
(unless type
|
||
(save-excursion
|
||
(up-list -1)
|
||
(when (looking-at "(format")
|
||
(up-list -1))
|
||
(setq type
|
||
(cond ((looking-at "(error")
|
||
'error)
|
||
((looking-at
|
||
(rx "(" (regexp checkdoc--warning-function-re)
|
||
(syntax whitespace)))
|
||
'warning)
|
||
(t 'y-or-n-p)))))
|
||
(let ((case-fold-search nil))
|
||
(or
|
||
;; From the documentation of the symbol `error':
|
||
;; In Emacs, the convention is that error messages start with a capital
|
||
;; letter but *do not* end with a period. Please follow this convention
|
||
;; for the sake of consistency.
|
||
(when (and (checkdoc--error-bad-format-p)
|
||
(not (checkdoc-autofix-ask-replace
|
||
(match-beginning 1) (match-end 1)
|
||
"Capitalize your message text?"
|
||
(capitalize (match-string 1))
|
||
t)))
|
||
(checkdoc-create-error "Messages should start with a capital letter"
|
||
(match-beginning 1) (match-end 1)))
|
||
;; In general, sentences should have two spaces after the period.
|
||
(checkdoc-sentencespace-region-engine (point)
|
||
(save-excursion (forward-sexp 1)
|
||
(point)))
|
||
;; Look for proper nouns in this region too.
|
||
(checkdoc-proper-noun-region-engine (point)
|
||
(save-excursion (forward-sexp 1)
|
||
(point)))
|
||
;; Here are message type specific questions.
|
||
(when (and (eq type 'error)
|
||
(save-excursion (forward-sexp 1)
|
||
(forward-char -2)
|
||
(looking-at "\\."))
|
||
(not (checkdoc-autofix-ask-replace (match-beginning 0)
|
||
(match-end 0)
|
||
"Remove period from error?"
|
||
""
|
||
t)))
|
||
(checkdoc-create-error
|
||
"Error messages should *not* end with a period"
|
||
(match-beginning 0) (match-end 0)))
|
||
;; From `(elisp) Programming Tips': "A question asked in the
|
||
;; minibuffer with `yes-or-no-p' or `y-or-n-p' should start with
|
||
;; a capital letter and end with '?'."
|
||
(when (eq type 'y-or-n-p)
|
||
(checkdoc--fix-y-or-n-p))
|
||
;; Now, let's just run the spell checker on this guy.
|
||
(checkdoc-ispell-docstring-engine (save-excursion (forward-sexp 1)
|
||
(point))))))
|
||
|
||
;;; Auto-fix helper functions
|
||
;;
|
||
(defun checkdoc-y-or-n-p (question)
|
||
"Like `y-or-n-p', but pays attention to `checkdoc-autofix-flag'.
|
||
Argument QUESTION is the prompt passed to `y-or-n-p'."
|
||
(prog1
|
||
(if (or (not checkdoc-autofix-flag)
|
||
(eq checkdoc-autofix-flag 'never))
|
||
nil
|
||
(y-or-n-p question))
|
||
(if (eq checkdoc-autofix-flag 'automatic-then-never)
|
||
(setq checkdoc-autofix-flag 'never))))
|
||
|
||
(defun checkdoc-autofix-ask-replace (start end question replacewith
|
||
&optional complex)
|
||
"Highlight between START and END and queries the user with QUESTION.
|
||
If the user says yes, or if `checkdoc-autofix-flag' permits, replace
|
||
the region marked by START and END with REPLACEWITH. If optional flag
|
||
COMPLEX is non-nil, then we may ask the user a question. See the
|
||
documentation for `checkdoc-autofix-flag' for details.
|
||
|
||
If a section is auto-replaced without asking the user, this function
|
||
will pause near the fixed code so the user will briefly see what
|
||
happened.
|
||
|
||
This function returns non-nil if the text was replaced.
|
||
|
||
This function will not modify `match-data'."
|
||
(if (and checkdoc-autofix-flag
|
||
(not (eq checkdoc-autofix-flag 'never)))
|
||
(let ((o (make-overlay start end))
|
||
(ret nil)
|
||
(md (match-data)))
|
||
(unwind-protect
|
||
(progn
|
||
(overlay-put o 'face 'highlight)
|
||
(if (or (eq checkdoc-autofix-flag 'automatic)
|
||
(eq checkdoc-autofix-flag 'automatic-then-never)
|
||
(and (eq checkdoc-autofix-flag 'semiautomatic)
|
||
(not complex))
|
||
(and (or (eq checkdoc-autofix-flag 'query) complex)
|
||
(y-or-n-p question)))
|
||
(save-excursion
|
||
(goto-char start)
|
||
;; On the off chance this is automatic, display
|
||
;; the question anyway so the user knows what's
|
||
;; going on.
|
||
(if checkdoc-bouncy-flag (message "%s -> done" question))
|
||
(delete-region start end)
|
||
(insert-before-markers replacewith)
|
||
(if checkdoc-bouncy-flag (sit-for 0))
|
||
(setq ret t)))
|
||
(delete-overlay o)
|
||
(set-match-data md))
|
||
(delete-overlay o)
|
||
(set-match-data md))
|
||
(if (eq checkdoc-autofix-flag 'automatic-then-never)
|
||
(setq checkdoc-autofix-flag 'never))
|
||
ret)))
|
||
|
||
;;; Warning management
|
||
;;
|
||
(defvar checkdoc-output-font-lock-keywords
|
||
'(("^\\*\\*\\* \\(.+\\.el\\): \\([^ \n]+\\)"
|
||
(1 font-lock-function-name-face)
|
||
(2 font-lock-comment-face)))
|
||
"Keywords used to highlight a checkdoc diagnostic buffer.")
|
||
|
||
(defvar checkdoc-output-error-regex-alist
|
||
'(("^\\(.+\\.el\\):\\([0-9]+\\): " 1 2)))
|
||
|
||
(defvar checkdoc-pending-errors nil
|
||
"Non-nil when there are errors that have not been displayed yet.")
|
||
|
||
(define-derived-mode checkdoc-output-mode compilation-mode "Checkdoc"
|
||
"Set up the major mode for the buffer containing the list of errors."
|
||
(setq-local compilation-error-regexp-alist
|
||
checkdoc-output-error-regex-alist)
|
||
(setq-local compilation-mode-font-lock-keywords
|
||
checkdoc-output-font-lock-keywords))
|
||
|
||
(defun checkdoc-buffer-label ()
|
||
"The name to use for a checkdoc buffer in the error list."
|
||
(if (buffer-file-name)
|
||
(file-relative-name (buffer-file-name))
|
||
(concat "#<buffer "(buffer-name) ">")))
|
||
|
||
(defun checkdoc-start-section (check-type)
|
||
"Initialize the checkdoc diagnostic buffer for a pass.
|
||
Create the header so that the string CHECK-TYPE is displayed as the
|
||
function called to create the messages."
|
||
(let ((dir default-directory)
|
||
(label (checkdoc-buffer-label)))
|
||
(with-current-buffer (get-buffer-create checkdoc-diagnostic-buffer)
|
||
(checkdoc-output-mode)
|
||
(setq default-directory dir)
|
||
(goto-char (point-max))
|
||
(let ((inhibit-read-only t))
|
||
(insert "\n\n\C-l\n*** " label ": "
|
||
check-type)))))
|
||
|
||
(defun checkdoc-error (point msg)
|
||
"Store POINT and MSG as errors in the checkdoc diagnostic buffer."
|
||
(setq checkdoc-pending-errors t)
|
||
(let ((text (list "\n" (checkdoc-buffer-label) ":"
|
||
(int-to-string
|
||
(count-lines (point-min) (or point (point-min))))
|
||
": " msg)))
|
||
(if (string= checkdoc-diagnostic-buffer "*warn*")
|
||
(warn (apply #'concat text))
|
||
(with-current-buffer checkdoc-diagnostic-buffer
|
||
(let ((inhibit-read-only t)
|
||
(pt (point-max)))
|
||
(goto-char pt)
|
||
(apply #'insert text))))))
|
||
|
||
(defun checkdoc-show-diagnostics ()
|
||
"Display the checkdoc diagnostic buffer in a temporary window."
|
||
(if checkdoc-pending-errors
|
||
(let* ((b (get-buffer checkdoc-diagnostic-buffer))
|
||
(win (if b (display-buffer b))))
|
||
(when win
|
||
(with-selected-window win
|
||
(goto-char (point-max))
|
||
(re-search-backward "\C-l" nil t)
|
||
(beginning-of-line)
|
||
(forward-line 1)
|
||
(recenter 0)))
|
||
(setq checkdoc-pending-errors nil)
|
||
nil)))
|
||
|
||
(defun checkdoc-get-keywords ()
|
||
"Return a list of package keywords for the current file."
|
||
(save-excursion
|
||
(goto-char (point-min))
|
||
(when (re-search-forward "^;; Keywords: \\(.*\\)$" nil t)
|
||
(split-string (match-string-no-properties 1) ", " t))))
|
||
|
||
(defvar finder-known-keywords)
|
||
|
||
;;;###autoload
|
||
(defun checkdoc-package-keywords ()
|
||
"Find package keywords that aren't in `finder-known-keywords'."
|
||
(interactive nil emacs-lisp-mode)
|
||
(require 'finder)
|
||
(let ((unrecognized-keys
|
||
(cl-remove-if
|
||
(lambda (x) (assoc (intern-soft x) finder-known-keywords))
|
||
(checkdoc-get-keywords))))
|
||
(if unrecognized-keys
|
||
(let* ((checkdoc-autofix-flag 'never)
|
||
(checkdoc-generate-compile-warnings-flag t))
|
||
(save-excursion
|
||
(goto-char (point-min))
|
||
(re-search-forward "^;; Keywords: \\(.*\\)$" nil t)
|
||
(checkdoc-start-section "checkdoc-package-keywords")
|
||
(checkdoc-create-error
|
||
(concat "Unrecognized keywords: "
|
||
(mapconcat #'identity unrecognized-keys ", "))
|
||
(match-beginning 1) (match-end 1)))
|
||
(checkdoc-show-diagnostics))
|
||
(when (called-interactively-p 'any)
|
||
(message "No Package Keyword Errors.")))))
|
||
|
||
(custom-add-option 'emacs-lisp-mode-hook 'checkdoc-minor-mode)
|
||
|
||
(define-obsolete-function-alias 'checkdoc-run-hooks
|
||
#'run-hook-with-args-until-success "28.1")
|
||
(defvar checkdoc-version "0.6.2"
|
||
"Release version of checkdoc you are currently running.")
|
||
(make-obsolete-variable 'checkdoc-version 'emacs-version "28.1")
|
||
|
||
(provide 'checkdoc)
|
||
|
||
;;; checkdoc.el ends here
|