domtool-mode standard library table changes performed automatically by Makefile
[hcoop/domtool2.git] / elisp / domtool-mode.el
CommitLineData
4542571e
AC
1; Created by Brian Templeton (bpt@hcoop.net)
2; Extended by Adam Chlipala (adamc@hcoop.net)
3
4(eval-when-compile (require 'cl))
5
6(defvar domtool-indent 2)
7
8(defvar domtool-mode-syntax-table
9 (let ((table (make-syntax-table)))
10 (loop for i from ?a to ?z
11 do (modify-syntax-entry i "w" table))
12 (loop for i from ?A to ?Z
13 do (modify-syntax-entry i "w" table))
14 (loop for i from ?0 to ?9
15 do (modify-syntax-entry i "w" table))
16 (mapc
17 (lambda (pair)
18 (loop for ch across (if (stringp (car pair))
19 (car pair)
20 (string (car pair)))
21 do (modify-syntax-entry ch (cadr pair) table)))
22 '((" \t\n\14" " ") ; \14 is ^L
23 (?_ "_")
24 (?* ". 23n")
25 (?\( "()1")
26 (?\) ")(4")
27 (?\" "\"")
28 (?\\ "\\")
29 (?\[ "(]")
30 (?\] ")[")
31 ;; We identify single-line comments using
32 ;; font-lock-syntactic-keywords, because it's easier to
33 ;; recognize documentation comments using the syntax table.
34 (?\{ "(}12b")
35 (?\} "){34b")
36 ("->=<,:;^!&" ".") ; -> => <- = , : ; ^ ! &
37 ))
38 table))
39
ef18a741
AC
40(defun domtool-syms-re (&rest syms)
41 (concat "\\<" (regexp-opt syms t) "\\>"))
ef18a741 42
6b718954 43(load-file "/usr/local/share/emacs/site-lisp/domtool-mode/domtool-tables.el")
ef18a741 44
4542571e
AC
45(defvar domtool-font-lock-keywords
46 `(,(concat
47 "\\_<"
48 (regexp-opt '("let" "in" "begin" "end" "with" "where" "extern" "type"
ef18a741 49 "val" "context" "Root")
4542571e
AC
50 t)
51 "\\_>")
ef18a741
AC
52
53 (,domtool-actions-regexp . font-lock-builtin-face)
54 (,domtool-vals-regexp . font-lock-variable-name-face)
55 (,domtool-contexts-regexp . font-lock-constant-face)
56 (,domtool-env-vars-regexp . font-lock-constant-face)
57 (,domtool-types-regexp . font-lock-type-face)
58
4542571e
AC
59 ("type[ \t]+\\(\\(\\sw\\|\\s_\\)+\\)" 1 font-lock-type-face)
60 ("val[ \t]+\\(\\(\\sw\\|\\s_\\)+\\)" 1 font-lock-variable-name-face)))
61
62(defvar domtool-font-lock-syntactic-keywords
63 '(("\\(#\\).*\\(\n\\|\\'\\)"
64 (1 "!")
65 (2 "!"))))
66
67(defun domtool-font-lock-syntactic-face-function (state)
68 "Major mode for editing Domtool files."
69 (cond ((nth 3 state) font-lock-string-face)
70 ((eq (nth 7 state) t) font-lock-doc-face)
71 (t font-lock-comment-face)))
72
73(define-derived-mode domtool-mode fundamental-mode "Domtool"
74 ;; For some reason, whatever twiddling `define-derived-mode' does
75 ;; with the syntax table breaks recognition of (*...*) comments. So
76 ;; we need to tell d-d-m to leave our syntax table alone.
77 :syntax-table domtool-mode-syntax-table
78 (set (make-local-variable 'indent-line-function) 'domtool-indent-line)
79 (set (make-local-variable 'font-lock-defaults)
80 '(domtool-font-lock-keywords
81 nil nil nil nil
82 (font-lock-syntactic-keywords
83 . domtool-font-lock-syntactic-keywords)
84 (font-lock-syntactic-face-function
e3989a67 85 . domtool-font-lock-syntactic-face-function)))
e3989a67
AC
86 (set (make-local-variable 'comment-start) "(* ")
87 (set (make-local-variable 'comment-end) " *)")
88 (set (make-local-variable 'comment-nested) t))
4542571e
AC
89
90(defun domtool-indent-line ()
91 (let ((savep (> (current-column) (current-indentation)))
92 (indent (domtool-calculate-indent)))
93 (cond
94 ((eq indent 'noindent) indent)
95 (savep (save-excursion (indent-line-to indent)))
96 (t (indent-line-to indent)))))
97
3b37f60f 98(defun until-closed-helper (level)
1cbe9174
AC
99 (if
100 (re-search-backward "\\_<\\(with\\|where\\|begin\\|end\\)\\_>"
101 nil t)
102 (cond
103 ((string= (match-string 0) "end")
3b37f60f 104 (until-closed-helper (+ level 1)))
1cbe9174
AC
105 ((= level 0)
106 (current-indentation))
107 (t
3b37f60f
AC
108 (until-closed-helper (- level 1))))
109
110 0))
1cbe9174 111
e5ea2657 112(defun until-closed ()
3b37f60f 113 (save-excursion
e5ea2657 114 (until-closed-helper 0)))
1cbe9174 115
4542571e
AC
116(defun domtool-calculate-indent ()
117 (save-excursion
118 (back-to-indentation)
119 (multiple-value-bind (previous-keyword base-indent)
120 (save-excursion
1cbe9174 121 (if (re-search-backward "\\_<\\(with\\|where\\|begin\\|end\\)\\_>"
4542571e
AC
122 nil t)
123 (values (match-string 0) (current-indentation))
124 (values nil 0)))
125 (let ((state (syntax-ppss)))
126 (cond
127 ((nth 3 state)
128 'noindent)
129 ((nth 4 state)
130 (domtool-calculate-comment-indent state))
e5ea2657
AC
131 ((looking-at "\\_<\\(with\\|end\\)\\_>")
132 (until-closed))
4542571e
AC
133 ((not previous-keyword)
134 base-indent)
135 ((string= previous-keyword "end")
136 base-indent)
137 (t
138 (+ base-indent domtool-indent)))))))
139
140(defun domtool-calculate-comment-indent (state)
141 (ecase (nth 7 state)
142 ((t) 'noindent)
143 ((syntax-table) 'noindent) ; can't happen
144 ((nil) (let ((start (nth 8 state))
145 (depth 0))
146 (while (> (point) start)
147 (re-search-backward "(\\*\\|\\*)" start t)
148 (if (looking-at "(\\*")
149 (incf depth)
150 (decf depth)))
151 (+ (current-indentation) depth)))))