2017-03-02 22:37:03 -05:00
|
|
|
;;; pp.el --- pretty printer for Emacs Lisp -*- lexical-binding: t -*-
|
1996-01-14 07:34:30 +00:00
|
|
|
|
2021-01-01 01:13:56 -08:00
|
|
|
;; Copyright (C) 1989, 1993, 2001-2021 Free Software Foundation, Inc.
|
1994-08-14 09:22:39 +00:00
|
|
|
|
1996-01-19 11:10:56 +00:00
|
|
|
;; Author: Randal Schwartz <merlyn@stonehenge.com>
|
2001-09-04 12:54:14 +00:00
|
|
|
;; Keywords: lisp
|
1994-08-14 09:22:39 +00:00
|
|
|
|
|
|
|
;; This file is part of GNU Emacs.
|
|
|
|
|
2008-05-06 03:21:21 +00:00
|
|
|
;; GNU Emacs is free software: you can redistribute it and/or modify
|
1994-08-14 09:22:39 +00:00
|
|
|
;; it under the terms of the GNU General Public License as published by
|
2008-05-06 03:21:21 +00:00
|
|
|
;; the Free Software Foundation, either version 3 of the License, or
|
|
|
|
;; (at your option) any later version.
|
1994-08-14 09:22:39 +00:00
|
|
|
|
|
|
|
;; 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
|
2017-09-13 15:52:52 -07:00
|
|
|
;; along with GNU Emacs. If not, see <https://www.gnu.org/licenses/>.
|
1994-08-14 09:22:39 +00:00
|
|
|
|
2001-07-16 12:23:00 +00:00
|
|
|
;;; Commentary:
|
|
|
|
|
1994-08-14 09:22:39 +00:00
|
|
|
;;; Code:
|
2001-07-16 12:23:00 +00:00
|
|
|
|
2005-08-29 10:44:49 +00:00
|
|
|
(defvar font-lock-verbose)
|
|
|
|
|
1998-04-05 18:26:32 +00:00
|
|
|
(defgroup pp nil
|
|
|
|
"Pretty printer for Emacs Lisp."
|
|
|
|
:prefix "pp-"
|
|
|
|
:group 'lisp)
|
|
|
|
|
2003-02-04 13:24:35 +00:00
|
|
|
(defcustom pp-escape-newlines t
|
2009-07-22 02:45:34 +00:00
|
|
|
"Value of `print-escape-newlines' used by pp-* functions."
|
1998-04-05 18:26:32 +00:00
|
|
|
:type 'boolean
|
|
|
|
:group 'pp)
|
1994-08-14 09:22:39 +00:00
|
|
|
|
2002-02-14 16:47:11 +00:00
|
|
|
;;;###autoload
|
1994-08-14 09:22:39 +00:00
|
|
|
(defun pp-to-string (object)
|
1998-09-13 03:37:24 +00:00
|
|
|
"Return a string containing the pretty-printed representation of OBJECT.
|
|
|
|
OBJECT can be any Lisp object. Quoting characters are used as needed
|
|
|
|
to make output that `read' can handle, whenever this is possible."
|
2012-02-05 03:09:35 +01:00
|
|
|
(with-temp-buffer
|
|
|
|
(lisp-mode-variables nil)
|
|
|
|
(set-syntax-table emacs-lisp-mode-syntax-table)
|
|
|
|
(let ((print-escape-newlines pp-escape-newlines)
|
|
|
|
(print-quoted t))
|
|
|
|
(prin1 object (current-buffer)))
|
|
|
|
(pp-buffer)
|
|
|
|
(buffer-string)))
|
1994-08-14 09:22:39 +00:00
|
|
|
|
2004-06-28 23:08:31 +00:00
|
|
|
;;;###autoload
|
2004-05-28 21:05:17 +00:00
|
|
|
(defun pp-buffer ()
|
|
|
|
"Prettify the current buffer with printed representation of a Lisp object."
|
2019-11-21 14:09:32 +01:00
|
|
|
(interactive)
|
2004-05-28 21:05:17 +00:00
|
|
|
(goto-char (point-min))
|
|
|
|
(while (not (eobp))
|
|
|
|
;; (message "%06d" (- (point-max) (point)))
|
|
|
|
(cond
|
2012-02-05 03:09:35 +01:00
|
|
|
((ignore-errors (down-list 1) t)
|
2004-05-28 21:05:17 +00:00
|
|
|
(save-excursion
|
|
|
|
(backward-char 1)
|
|
|
|
(skip-chars-backward "'`#^")
|
2005-06-29 13:52:29 +00:00
|
|
|
(when (and (not (bobp)) (memq (char-before) '(?\s ?\t ?\n)))
|
2004-05-28 21:05:17 +00:00
|
|
|
(delete-region
|
|
|
|
(point)
|
|
|
|
(progn (skip-chars-backward " \t\n") (point)))
|
|
|
|
(insert "\n"))))
|
2012-02-05 03:09:35 +01:00
|
|
|
((ignore-errors (up-list 1) t)
|
2017-03-02 22:37:03 -05:00
|
|
|
(skip-syntax-forward ")")
|
2004-05-28 21:05:17 +00:00
|
|
|
(delete-region
|
|
|
|
(point)
|
|
|
|
(progn (skip-chars-forward " \t\n") (point)))
|
|
|
|
(insert ?\n))
|
|
|
|
(t (goto-char (point-max)))))
|
|
|
|
(goto-char (point-min))
|
|
|
|
(indent-sexp))
|
|
|
|
|
1995-01-03 23:44:44 +00:00
|
|
|
;;;###autoload
|
1994-08-14 09:22:39 +00:00
|
|
|
(defun pp (object &optional stream)
|
|
|
|
"Output the pretty-printed representation of OBJECT, any Lisp object.
|
1998-09-13 03:37:24 +00:00
|
|
|
Quoting characters are printed as needed to make output that `read'
|
1994-08-14 09:22:39 +00:00
|
|
|
can handle, whenever this is possible.
|
2021-11-04 21:44:46 +01:00
|
|
|
|
|
|
|
This function does not apply special formatting rules for Emacs
|
|
|
|
Lisp code. See `pp-emacs-lisp-code' instead.
|
|
|
|
|
1994-08-14 09:22:39 +00:00
|
|
|
Output stream is STREAM, or value of `standard-output' (which see)."
|
|
|
|
(princ (pp-to-string object) (or stream standard-output)))
|
|
|
|
|
2021-11-02 16:20:15 +01:00
|
|
|
;;;###autoload
|
2021-11-04 21:52:56 +01:00
|
|
|
(defun pp-display-expression (expression out-buffer-name &optional lisp)
|
2008-04-26 02:32:33 +00:00
|
|
|
"Prettify and display EXPRESSION in an appropriate way, depending on length.
|
2021-11-04 21:52:56 +01:00
|
|
|
If LISP, format with `pp-emacs-lisp-code'; use `pp' otherwise.
|
|
|
|
|
2008-04-26 02:32:33 +00:00
|
|
|
If a temporary buffer is needed for representation, it will be named
|
|
|
|
after OUT-BUFFER-NAME."
|
1995-05-07 00:38:42 +00:00
|
|
|
(let* ((old-show-function temp-buffer-show-function)
|
|
|
|
;; Use this function to display the buffer.
|
|
|
|
;; This function either decides not to display it at all
|
|
|
|
;; or displays it in the usual way.
|
|
|
|
(temp-buffer-show-function
|
2020-11-16 17:03:45 +01:00
|
|
|
(lambda (buf)
|
|
|
|
(with-current-buffer buf
|
|
|
|
(goto-char (point-min))
|
|
|
|
(end-of-line 1)
|
|
|
|
(if (or (< (1+ (point)) (point-max))
|
|
|
|
(>= (- (point) (point-min)) (frame-width)))
|
|
|
|
(let ((temp-buffer-show-function old-show-function)
|
|
|
|
(old-selected (selected-window))
|
|
|
|
(window (display-buffer buf)))
|
|
|
|
(goto-char (point-min)) ; expected by some hooks ...
|
|
|
|
(make-frame-visible (window-frame window))
|
|
|
|
(unwind-protect
|
|
|
|
(progn
|
|
|
|
(select-window window)
|
|
|
|
(run-hooks 'temp-buffer-show-hook))
|
|
|
|
(when (window-live-p old-selected)
|
|
|
|
(select-window old-selected))
|
|
|
|
(message "See buffer %s." out-buffer-name)))
|
|
|
|
(message "%s" (buffer-substring (point-min) (point))))))))
|
2008-04-26 02:32:33 +00:00
|
|
|
(with-output-to-temp-buffer out-buffer-name
|
2021-11-04 21:52:56 +01:00
|
|
|
(if lisp
|
|
|
|
(with-current-buffer standard-output
|
|
|
|
(pp-emacs-lisp-code expression))
|
|
|
|
(pp expression))
|
2004-03-22 15:32:24 +00:00
|
|
|
(with-current-buffer standard-output
|
|
|
|
(emacs-lisp-mode)
|
2007-08-03 03:15:33 +00:00
|
|
|
(setq buffer-read-only nil)
|
2020-12-04 19:12:12 +01:00
|
|
|
(setq-local font-lock-verbose nil)))))
|
1994-08-14 09:22:39 +00:00
|
|
|
|
1995-01-03 23:44:44 +00:00
|
|
|
;;;###autoload
|
2008-04-26 02:32:33 +00:00
|
|
|
(defun pp-eval-expression (expression)
|
|
|
|
"Evaluate EXPRESSION and pretty-print its value.
|
|
|
|
Also add the value to the front of the list in the variable `values'."
|
|
|
|
(interactive
|
2013-08-21 14:26:15 -04:00
|
|
|
(list (read--expression "Eval: ")))
|
2008-04-26 02:32:33 +00:00
|
|
|
(message "Evaluating...")
|
2021-02-09 09:04:47 +01:00
|
|
|
(let ((result (eval expression lexical-binding)))
|
|
|
|
(values--store-value result)
|
|
|
|
(pp-display-expression result "*Pp Eval Output*")))
|
2008-04-26 02:32:33 +00:00
|
|
|
|
|
|
|
;;;###autoload
|
|
|
|
(defun pp-macroexpand-expression (expression)
|
|
|
|
"Macroexpand EXPRESSION and pretty-print its value."
|
|
|
|
(interactive
|
2013-08-21 14:26:15 -04:00
|
|
|
(list (read--expression "Macroexpand: ")))
|
2014-11-02 01:46:04 -04:00
|
|
|
(pp-display-expression (macroexpand-1 expression) "*Pp Macroexpand Output*"))
|
2008-04-26 02:32:33 +00:00
|
|
|
|
|
|
|
(defun pp-last-sexp ()
|
2021-04-29 13:44:54 +02:00
|
|
|
"Read sexp before point. Ignore leading comment characters."
|
2017-03-02 22:37:03 -05:00
|
|
|
(with-syntax-table emacs-lisp-mode-syntax-table
|
|
|
|
(let ((pt (point)))
|
|
|
|
(save-excursion
|
|
|
|
(forward-sexp -1)
|
|
|
|
(read
|
|
|
|
;; If first line is commented, ignore all leading comments:
|
|
|
|
(if (save-excursion (beginning-of-line) (looking-at-p "[ \t]*;"))
|
|
|
|
(let ((exp (buffer-substring (point) pt))
|
|
|
|
(start nil))
|
|
|
|
(while (string-match "\n[ \t]*;+" exp start)
|
|
|
|
(setq start (1+ (match-beginning 0))
|
|
|
|
exp (concat (substring exp 0 start)
|
|
|
|
(substring exp (match-end 0)))))
|
|
|
|
exp)
|
|
|
|
(current-buffer)))))))
|
2008-04-26 02:32:33 +00:00
|
|
|
|
|
|
|
;;;###autoload
|
|
|
|
(defun pp-eval-last-sexp (arg)
|
|
|
|
"Run `pp-eval-expression' on sexp before point.
|
2021-04-29 13:44:54 +02:00
|
|
|
With ARG, pretty-print output into current buffer.
|
2008-04-26 02:32:33 +00:00
|
|
|
Ignores leading comment characters."
|
|
|
|
(interactive "P")
|
|
|
|
(if arg
|
2020-10-15 16:26:40 +02:00
|
|
|
(insert (pp-to-string (eval (elisp--eval-defun-1
|
|
|
|
(macroexpand (pp-last-sexp)))
|
|
|
|
lexical-binding)))
|
|
|
|
(pp-eval-expression (elisp--eval-defun-1
|
|
|
|
(macroexpand (pp-last-sexp))))))
|
2008-04-26 02:32:33 +00:00
|
|
|
|
|
|
|
;;;###autoload
|
|
|
|
(defun pp-macroexpand-last-sexp (arg)
|
|
|
|
"Run `pp-macroexpand-expression' on sexp before point.
|
2021-04-29 13:44:54 +02:00
|
|
|
With ARG, pretty-print output into current buffer.
|
2008-04-26 02:32:33 +00:00
|
|
|
Ignores leading comment characters."
|
|
|
|
(interactive "P")
|
|
|
|
(if arg
|
2014-11-02 01:46:04 -04:00
|
|
|
(insert (pp-to-string (macroexpand-1 (pp-last-sexp))))
|
2008-04-26 02:32:33 +00:00
|
|
|
(pp-macroexpand-expression (pp-last-sexp))))
|
1994-08-14 09:22:39 +00:00
|
|
|
|
2021-11-04 21:44:46 +01:00
|
|
|
;;;###autoload
|
|
|
|
(defun pp-emacs-lisp-code (sexp)
|
|
|
|
"Insert SEXP into the current buffer, formatted as Emacs Lisp code."
|
|
|
|
(require 'edebug)
|
|
|
|
(let ((standard-output (current-buffer)))
|
|
|
|
(save-restriction
|
|
|
|
(narrow-to-region (point) (point))
|
|
|
|
(pp--insert-lisp sexp)
|
|
|
|
(insert "\n")
|
|
|
|
(goto-char (point-min))
|
2021-11-04 22:31:15 +01:00
|
|
|
(indent-sexp)
|
|
|
|
(while (re-search-forward " +$" nil t)
|
|
|
|
(replace-match "")))))
|
2021-11-04 21:44:46 +01:00
|
|
|
|
|
|
|
(defun pp--insert-lisp (sexp)
|
|
|
|
(cl-case (type-of sexp)
|
|
|
|
(vector (pp--format-vector sexp))
|
|
|
|
(cons (cond
|
|
|
|
((consp (cdr sexp))
|
|
|
|
(if (and (length= sexp 2)
|
|
|
|
(eq (car sexp) 'quote))
|
2021-11-04 22:31:15 +01:00
|
|
|
(cond
|
|
|
|
((symbolp (cadr sexp))
|
|
|
|
(let ((print-quoted t))
|
|
|
|
(prin1 sexp)))
|
|
|
|
((consp (cadr sexp))
|
|
|
|
(insert "'")
|
|
|
|
(pp--format-list (cadr sexp)
|
|
|
|
(set-marker (make-marker) (1- (point))))))
|
2021-11-04 21:44:46 +01:00
|
|
|
(pp--format-list sexp)))
|
|
|
|
(t
|
|
|
|
(princ sexp))))
|
|
|
|
;; Print some of the smaller integers as characters, perhaps?
|
|
|
|
(integer
|
|
|
|
(if (<= ?0 sexp ?z)
|
|
|
|
(let ((print-integers-as-characters t))
|
|
|
|
(princ sexp))
|
|
|
|
(princ sexp)))
|
|
|
|
(string
|
|
|
|
(let ((print-escape-newlines t))
|
|
|
|
(prin1 sexp)))
|
|
|
|
(otherwise (princ sexp))))
|
|
|
|
|
|
|
|
(defun pp--format-vector (sexp)
|
|
|
|
(prin1 sexp))
|
|
|
|
|
2021-11-04 22:31:15 +01:00
|
|
|
(defun pp--format-list (sexp &optional start)
|
2021-11-04 21:44:46 +01:00
|
|
|
(if (and (symbolp (car sexp))
|
|
|
|
(not (keywordp (car sexp))))
|
|
|
|
(pp--format-function sexp)
|
2021-11-04 22:31:15 +01:00
|
|
|
(insert "(")
|
|
|
|
(pp--insert start (pop sexp))
|
|
|
|
(while sexp
|
|
|
|
(pp--insert " " (pop sexp)))
|
|
|
|
(insert ")")))
|
2021-11-04 21:44:46 +01:00
|
|
|
|
|
|
|
(defun pp--format-function (sexp)
|
|
|
|
(let* ((sym (car sexp))
|
|
|
|
(edebug (get sym 'edebug-form-spec))
|
2021-11-04 22:07:48 +01:00
|
|
|
(indent (get sym 'lisp-indent-function))
|
|
|
|
(doc (get sym 'doc-string-elt)))
|
2021-11-04 21:44:46 +01:00
|
|
|
(when (eq indent 'defun)
|
|
|
|
(setq indent 2))
|
2021-11-04 22:07:48 +01:00
|
|
|
;; We probably want to keep all the elements before the doc string
|
|
|
|
;; on a single line.
|
|
|
|
(when doc
|
|
|
|
(setq indent (1- doc)))
|
|
|
|
;; Special-case closures -- these shouldn't really exist in actual
|
|
|
|
;; source code, so there's no indentation information. But make
|
|
|
|
;; them output slightly better.
|
|
|
|
(when (and (not indent)
|
|
|
|
(eq sym 'closure))
|
|
|
|
(setq indent 0))
|
2021-11-04 21:44:46 +01:00
|
|
|
(pp--insert "(" sym)
|
|
|
|
(pop sexp)
|
|
|
|
;; Get the first entries on the first line.
|
|
|
|
(if indent
|
|
|
|
(pp--format-definition sexp indent edebug)
|
|
|
|
(while sexp
|
|
|
|
(pp--insert " " (pop sexp))))
|
|
|
|
(insert ")")))
|
|
|
|
|
|
|
|
(defun pp--format-definition (sexp indent edebug)
|
|
|
|
(while (and (cl-plusp indent)
|
|
|
|
sexp)
|
|
|
|
(insert " ")
|
|
|
|
(if (and (consp (car edebug))
|
|
|
|
(eq (caar edebug) '&rest))
|
|
|
|
(pp--insert-binding (pop sexp))
|
|
|
|
(if (null (car sexp))
|
|
|
|
(insert "()")
|
|
|
|
(pp--insert-lisp (car sexp)))
|
|
|
|
(pop sexp))
|
|
|
|
(pop edebug)
|
|
|
|
(cl-decf indent))
|
|
|
|
(when (stringp (car sexp))
|
|
|
|
(insert "\n")
|
|
|
|
(prin1 (pop sexp)))
|
|
|
|
;; Then insert the rest with line breaks before each form.
|
|
|
|
(while sexp
|
|
|
|
(insert "\n")
|
|
|
|
(if (keywordp (car sexp))
|
|
|
|
(progn
|
|
|
|
(pp--insert-lisp (pop sexp))
|
|
|
|
(when sexp
|
|
|
|
(pp--insert " " (pop sexp))))
|
|
|
|
(pp--insert-lisp (pop sexp)))))
|
|
|
|
|
|
|
|
(defun pp--insert-binding (sexp)
|
|
|
|
(insert "(")
|
|
|
|
(while sexp
|
|
|
|
(if (consp (car sexp))
|
|
|
|
;; Newlines after each (...) binding.
|
|
|
|
(progn
|
|
|
|
(pp--insert-lisp (car sexp))
|
|
|
|
(when (cdr sexp)
|
|
|
|
(insert "\n")))
|
|
|
|
;; Keep plain symbols on the same line.
|
|
|
|
(pp--insert " " (car sexp)))
|
|
|
|
(pop sexp))
|
|
|
|
(insert ")"))
|
|
|
|
|
|
|
|
(defun pp--insert (delim &rest things)
|
2021-11-04 22:31:15 +01:00
|
|
|
(let ((start (if (markerp delim)
|
|
|
|
(prog1
|
|
|
|
delim
|
|
|
|
(setq delim nil))
|
|
|
|
(point-marker))))
|
2021-11-04 21:44:46 +01:00
|
|
|
(when delim
|
|
|
|
(insert delim))
|
|
|
|
(dolist (thing things)
|
|
|
|
(pp--insert-lisp thing))
|
|
|
|
;; We need to indent what we have so far to see if we have to fold.
|
|
|
|
(pp--indent-buffer)
|
|
|
|
(when (> (current-column) (window-width))
|
|
|
|
(save-excursion
|
|
|
|
(goto-char start)
|
2021-11-04 22:31:15 +01:00
|
|
|
(unless (looking-at "[ \t]+$")
|
|
|
|
(insert "\n"))))))
|
2021-11-04 21:44:46 +01:00
|
|
|
|
|
|
|
(defun pp--indent-buffer ()
|
|
|
|
(goto-char (point-min))
|
|
|
|
(while (not (eobp))
|
|
|
|
(lisp-indent-line)
|
|
|
|
(forward-line 1)))
|
|
|
|
|
1994-08-14 09:22:39 +00:00
|
|
|
(provide 'pp) ; so (require 'pp) works
|
|
|
|
|
2001-07-16 12:23:00 +00:00
|
|
|
;;; pp.el ends here
|