File: indent.lisp

package info (click to toggle)
acl2 8.6%2Bdfsg-2
  • links: PTS
  • area: main
  • in suites: trixie
  • size: 1,111,420 kB
  • sloc: lisp: 17,818,294; java: 125,359; python: 28,122; javascript: 23,458; cpp: 18,851; ansic: 11,569; perl: 7,678; xml: 5,591; sh: 3,976; makefile: 3,833; ruby: 2,633; yacc: 1,126; ml: 763; awk: 295; csh: 233; lex: 197; php: 178; tcl: 49; asm: 23; haskell: 17
file content (82 lines) | stat: -rw-r--r-- 3,077 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
(defpackage #:trivial-indent
  (:use #:cl)
  (:nicknames #:org.tymoonnext.radiance.lib.trivial-indent #:indent)
  (:export
   #:indentation
   #:define-indentation
   #:remove-indentation
   #:initialize-slime
   #:initialize-sly))

(in-package #:org.tymoonnext.radiance.lib.trivial-indent)

(defvar *indentation-hints* (make-hash-table :test #'eq))

(defmacro with-symbol ((name symbol package module) &body body)
  "Check if SYMBOL exists in PACKAGE when MODULE is loaded and bind it to NAME."
  (let ((pkg (gensym)))
    `(when (member ,module *modules* :test #'string=)
       (let* ((,pkg (find-package ,package))
              (,name (when ,pkg (find-symbol (string ,symbol) ,pkg))))
         (when ,name
           ,@body)))))

(defun indentation (symbol)
  "Returns the custom defined indentation of a symbol if there is any. SETF-able."
  (gethash symbol *indentation-hints*))

(defun (setf indentation) (rule-form symbol)
  "Sets the indentation hint for a symbol."
  (initialize-slime)
  (initialize-sly)
  (setf (gethash symbol *indentation-hints*) rule-form)
  (with-symbol (update '#:update-indentation-information :swank "SWANK-INDENTATION")
    (funcall (symbol-function update)))
  (with-symbol (update '#:update-indentation-information :slynk "SLYNK/INDENTATION")
    (funcall (symbol-function update)))
  rule-form)

(defmacro define-indentation (symbol rule-form)
  "Define an indentation hint for a symbol.

See the SLIME/SWANK documentation for more information on the rules.
Example: (define-indentation defmacro (4 &lambda &body))"
  (assert (symbolp symbol))
  (assert (listp rule-form))
  `(setf (indentation ',symbol) ',rule-form))

(defun remove-indentation (symbol)
  "Remove the indentation hint for a symbol."
  (initialize-slime)
  (initialize-sly)
  (remhash symbol *indentation-hints*)
  (with-symbol (update '#:update-indentation-information :swank "SWANK-INDENTATION")
    (funcall (symbol-function update)))
  (with-symbol (update '#:update-indentation-information :slynk "SLYNK/INDENTATION")
    (funcall (symbol-function update)))
  symbol)

(defun initialize-slime ()
  "Attempts to initialize slime with our indentation table.
If SWANK-INDENTATION is not loaded, this does nothing.
It should be safe to call this function regardless of whether
SWANK is loaded at all or not.

This is automatically called when TRIVIAL-INDENT is loaded."
  (with-symbol (tables '#:*application-hints-tables* :swank "SWANK-INDENTATION")
    (set tables (cons *indentation-hints* (remove *indentation-hints* (symbol-value tables))))
    t))

(defun initialize-sly ()
  "Attempts to initialize sly with our indentation table.
If SLYNK/INDENTATION is not loaded, this does nothing.
It should be safe to call this function regardless of whether
SLYNK is loaded at all or not.

This is automatically called when TRIVIAL-INDENT is loaded."
  (with-symbol (tables '#:*application-hints-tables* :slynk "SLYNK/INDENTATION")
    (set tables (cons *indentation-hints* (remove *indentation-hints* (symbol-value tables))))
    t))

(initialize-slime)
(initialize-sly)