|
adamc@350
|
1 ;;; urweb-mode.el --- Major mode for editing (Standard) ML
|
|
adamc@350
|
2
|
|
adamc@350
|
3 ;; Based on sml-mode:
|
|
adamc@350
|
4 ;; Copyright (C) 1999,2000,2004 Stefan Monnier
|
|
adamc@350
|
5 ;; Copyright (C) 1994-1997 Matthew J. Morley
|
|
adamc@350
|
6 ;; Copyright (C) 1989 Lars Bo Nielsen
|
|
adamc@350
|
7 ;;
|
|
adamc@350
|
8 ;; Modified for urweb-mode:
|
|
adamc@350
|
9 ;; Copyright (C) 2008 Adam Chlipala <adamc@hcoop.net>
|
|
adamc@350
|
10
|
|
adamc@350
|
11 ;; Author: Lars Bo Nielsen
|
|
adamc@350
|
12 ;; Olin Shivers
|
|
adamc@350
|
13 ;; Fritz Knabe (?)
|
|
adamc@350
|
14 ;; Steven Gilmore (?)
|
|
adamc@350
|
15 ;; Matthew Morley <mjm@scs.leeds.ac.uk> (aka <matthew@verisity.com>)
|
|
adamc@350
|
16 ;; Matthias Blume <blume@cs.princeton.edu> (aka <blume@kurims.kyoto-u.ac.jp>)
|
|
adamc@350
|
17 ;; (Stefan Monnier) monnier@cs.yale.edu
|
|
adamc@350
|
18 ;; Adam Chlipala
|
|
adamc@350
|
19
|
|
adamc@350
|
20 ;; This file is not part of GNU Emacs, but it is distributed under the
|
|
adamc@350
|
21 ;; same conditions.
|
|
adamc@350
|
22
|
|
adamc@350
|
23 ;; This program is free software; you can redistribute it and/or
|
|
adamc@350
|
24 ;; modify it under the terms of the GNU General Public License as
|
|
adamc@350
|
25 ;; published by the Free Software Foundation; either version 2, or (at
|
|
adamc@350
|
26 ;; your option) any later version.
|
|
adamc@350
|
27
|
|
adamc@350
|
28 ;; This program is distributed in the hope that it will be useful, but
|
|
adamc@350
|
29 ;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
adamc@350
|
30 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
adamc@350
|
31 ;; General Public License for more details.
|
|
adamc@350
|
32
|
|
adamc@350
|
33 ;; You should have received a copy of the GNU General Public License
|
|
adamc@350
|
34 ;; along with GNU Emacs; see the file COPYING. If not, write to the
|
|
adamc@350
|
35 ;; Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
|
|
adamc@350
|
36
|
|
adamc@350
|
37 ;;; Commentary:
|
|
adamc@350
|
38
|
|
adamc@350
|
39 ;;; HISTORY
|
|
adamc@350
|
40
|
|
adamc@350
|
41 ;; Still under construction: History obscure, needs a biographer as
|
|
adamc@350
|
42 ;; well as a M-x doctor. Change Log on request.
|
|
adamc@350
|
43
|
|
adamc@358
|
44 ;; Hacked by Olin Shivers for comint from Lars Bo Nielsen's sml.el.
|
|
adamc@350
|
45
|
|
adamc@350
|
46 ;; Hacked by Matthew Morley to incorporate Fritz Knabe's hilite and
|
|
adamc@350
|
47 ;; font-lock patterns, some of Steven Gilmore's (reduced) easy-menus,
|
|
adamc@350
|
48 ;; and numerous bugs and bug-fixes.
|
|
adamc@350
|
49
|
|
adamc@350
|
50 ;;; DESCRIPTION
|
|
adamc@350
|
51
|
|
adamc@350
|
52 ;; See accompanying info file: urweb-mode.info
|
|
adamc@350
|
53
|
|
adamc@350
|
54 ;;; FOR YOUR .EMACS FILE
|
|
adamc@350
|
55
|
|
adamc@350
|
56 ;; If urweb-mode.el lives in some non-standard directory, you must tell
|
|
adamc@350
|
57 ;; emacs where to get it. This may or may not be necessary:
|
|
adamc@350
|
58
|
|
adamc@350
|
59 ;; (add-to-list 'load-path "~jones/lib/emacs/")
|
|
adamc@350
|
60
|
|
adamc@350
|
61 ;; Then to access the commands autoload urweb-mode with that command:
|
|
adamc@350
|
62
|
|
adamc@350
|
63 ;; (load "urweb-mode-startup")
|
|
adamc@350
|
64
|
|
adamc@350
|
65 ;; urweb-mode-hook is run whenever a new urweb-mode buffer is created.
|
|
adamc@350
|
66
|
|
adamc@350
|
67 ;;; Code:
|
|
adamc@350
|
68
|
|
adamc@350
|
69 (eval-when-compile (require 'cl))
|
|
adamc@350
|
70 (require 'urweb-util)
|
|
adamc@350
|
71 (require 'urweb-move)
|
|
adamc@350
|
72 (require 'urweb-defs)
|
|
adamc@350
|
73 (condition-case nil (require 'skeleton) (error nil))
|
|
adamc@350
|
74
|
|
adamc@350
|
75 ;;; VARIABLES CONTROLLING INDENTATION
|
|
adamc@350
|
76
|
|
adamc@350
|
77 (defcustom urweb-indent-level 4
|
|
adamc@350
|
78 "*Indentation of blocks in Ur/Web (see also `urweb-structure-indent')."
|
|
adamc@350
|
79 :group 'urweb
|
|
adamc@350
|
80 :type '(integer))
|
|
adamc@350
|
81
|
|
adamc@350
|
82 (defcustom urweb-indent-args urweb-indent-level
|
|
adamc@350
|
83 "*Indentation of args placed on a separate line."
|
|
adamc@350
|
84 :group 'urweb
|
|
adamc@350
|
85 :type '(integer))
|
|
adamc@350
|
86
|
|
adamc@350
|
87 (defcustom urweb-electric-semi-mode nil
|
|
adamc@350
|
88 "*If non-nil, `\;' will self insert, reindent the line, and do a newline.
|
|
adamc@350
|
89 If nil, just insert a `\;'. (To insert while t, do: \\[quoted-insert] \;)."
|
|
adamc@350
|
90 :group 'urweb
|
|
adamc@350
|
91 :type 'boolean)
|
|
adamc@350
|
92
|
|
adamc@350
|
93 (defcustom urweb-rightalign-and t
|
|
adamc@350
|
94 "If non-nil, right-align `and' with its leader.
|
|
adamc@350
|
95 If nil: If t:
|
|
adamc@350
|
96 datatype a = A datatype a = A
|
|
adamc@350
|
97 and b = B and b = B"
|
|
adamc@350
|
98 :group 'urweb
|
|
adamc@350
|
99 :type 'boolean)
|
|
adamc@350
|
100
|
|
adamc@350
|
101 ;;; OTHER GENERIC MODE VARIABLES
|
|
adamc@350
|
102
|
|
adamc@350
|
103 (defvar urweb-mode-info "urweb-mode"
|
|
adamc@350
|
104 "*Where to find Info file for `urweb-mode'.
|
|
adamc@350
|
105 The default assumes the info file \"urweb-mode.info\" is on Emacs' info
|
|
adamc@350
|
106 directory path. If it is not, either put the file on the standard path
|
|
adamc@350
|
107 or set the variable `urweb-mode-info' to the exact location of this file
|
|
adamc@350
|
108
|
|
adamc@350
|
109 (setq urweb-mode-info \"/usr/me/lib/info/urweb-mode\")
|
|
adamc@350
|
110
|
|
adamc@350
|
111 in your .emacs file. You can always set it interactively with the
|
|
adamc@350
|
112 set-variable command.")
|
|
adamc@350
|
113
|
|
adamc@350
|
114 (defvar urweb-mode-hook nil
|
|
adamc@350
|
115 "*Run upon entering `urweb-mode'.
|
|
adamc@350
|
116 This is a good place to put your preferred key bindings.")
|
|
adamc@350
|
117
|
|
adamc@350
|
118 ;;; CODE FOR Ur/Web-MODE
|
|
adamc@350
|
119
|
|
adamc@350
|
120 (defun urweb-mode-info ()
|
|
adamc@350
|
121 "Command to access the TeXinfo documentation for `urweb-mode'.
|
|
adamc@350
|
122 See doc for the variable `urweb-mode-info'."
|
|
adamc@350
|
123 (interactive)
|
|
adamc@350
|
124 (require 'info)
|
|
adamc@350
|
125 (condition-case nil
|
|
adamc@350
|
126 (info urweb-mode-info)
|
|
adamc@350
|
127 (error (progn
|
|
adamc@350
|
128 (describe-variable 'urweb-mode-info)
|
|
adamc@350
|
129 (message "Can't find it... set this variable first!")))))
|
|
adamc@350
|
130
|
|
adamc@350
|
131
|
|
adamc@350
|
132 ;; font-lock setup
|
|
adamc@350
|
133
|
|
adamc@350
|
134 (defconst urweb-keywords-regexp
|
|
adamc@350
|
135 (urweb-syms-re "and" "case" "class" "con" "constraint" "constraints"
|
|
adamc@621
|
136 "datatype" "else" "end" "extern" "fn" "map"
|
|
adamc@350
|
137 "fun" "functor" "if" "include"
|
|
adamc@446
|
138 "of" "open" "let" "in"
|
|
adamc@459
|
139 "rec" "sequence" "sig" "signature" "cookie"
|
|
adamc@350
|
140 "struct" "structure" "table" "then" "type" "val" "where"
|
|
adamc@350
|
141 "with"
|
|
adamc@350
|
142
|
|
adamc@350
|
143 "Name" "Type" "Unit")
|
|
adamc@350
|
144 "A regexp that matches any non-SQL keywords of Ur/Web.")
|
|
adamc@350
|
145
|
|
adamc@350
|
146 (defconst urweb-sql-keywords-regexp
|
|
adamc@350
|
147 (urweb-syms-re "SELECT" "FROM" "AS" "WHERE" "SQL" "GROUP" "ORDER" "BY"
|
|
adamc@350
|
148 "HAVING" "LIMIT" "OFFSET" "ALL" "UNION" "INTERSECT" "EXCEPT"
|
|
adamc@350
|
149 "TRUE" "FALSE" "AND" "OR" "NOT" "COUNT" "AVG" "SUM" "MIN" "MAX"
|
|
adamc@708
|
150 "ASC" "DESC" "INSERT" "INTO" "VALUES" "UPDATE" "SET" "DELETE"
|
|
adamc@708
|
151 "PRIMARY" "KEY" "CONSTRAINT" "UNIQUE")
|
|
adamc@350
|
152 "A regexp that matches SQL keywords.")
|
|
adamc@350
|
153
|
|
adamc@351
|
154 (defconst urweb-lident-regexp "\\<[a-z_][A-Za-z0-9_']*\\>"
|
|
adamc@351
|
155 "A regexp that matches lowercase Ur/Web identifiers.")
|
|
adamc@351
|
156
|
|
adamc@351
|
157 (defconst urweb-cident-regexp "\\<[A-Z][A-Za-z0-9_']*\\>"
|
|
adamc@351
|
158 "A regexp that matches uppercase Ur/Web identifiers.")
|
|
adamc@351
|
159
|
|
adamc@350
|
160 ;;; Font-lock settings ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
adamc@350
|
161
|
|
adamc@350
|
162 ;; The font lock regular expressions.
|
|
adamc@350
|
163
|
|
adamc@363
|
164 (defun urweb-in-xml ()
|
|
adamc@360
|
165 (save-excursion
|
|
adamc@360
|
166 (let (
|
|
adamc@360
|
167 (depth 0)
|
|
adamc@360
|
168 (finished nil)
|
|
adamc@360
|
169 (answer nil)
|
|
adamc@360
|
170 )
|
|
adamc@360
|
171 (while (and (not finished) (re-search-backward "[<>{}]" nil t))
|
|
adamc@360
|
172 (cond
|
|
adamc@360
|
173 ((looking-at "{")
|
|
adamc@360
|
174 (if (> depth 0)
|
|
adamc@363
|
175 (decf depth)
|
|
adamc@360
|
176 (setq finished t)))
|
|
adamc@360
|
177 ((looking-at "}")
|
|
adamc@363
|
178 (incf depth))
|
|
adamc@374
|
179 ((save-excursion (backward-char 1) (or (looking-at "=>")
|
|
adamc@374
|
180 (looking-at "->")
|
|
adamc@374
|
181 (looking-at "<>")))
|
|
adamc@360
|
182 nil)
|
|
adamc@393
|
183 ((or (looking-at "< ") (looking-at "<="))
|
|
adamc@393
|
184 nil)
|
|
adamc@360
|
185 ((looking-at "<")
|
|
adamc@360
|
186 (setq finished t))
|
|
adamc@393
|
187 ((save-excursion (backward-char 1) (looking-at " >"))
|
|
adamc@393
|
188 nil)
|
|
adamc@360
|
189 ((looking-at ">")
|
|
adamc@374
|
190 (cond
|
|
adamc@374
|
191 ((> depth 0)
|
|
adamc@374
|
192 (if (not (re-search-backward "<" nil t))
|
|
adamc@374
|
193 (setq finished t)))
|
|
adamc@393
|
194 ((save-excursion (backward-char 1) (looking-at " "))
|
|
adamc@393
|
195 (setq finished t))
|
|
adamc@374
|
196 (t
|
|
adamc@360
|
197 (progn (backward-char 4)
|
|
adamc@360
|
198 (setq answer (not (or
|
|
adamc@360
|
199 (looking-at "/xml")
|
|
adamc@360
|
200 (looking-at "xml/"))))
|
|
adamc@374
|
201 (setq finished t)))))))
|
|
adamc@360
|
202 answer)))
|
|
adamc@360
|
203
|
|
adamc@360
|
204 (defun amAttribute (face)
|
|
adamc@360
|
205 (if (ignore-errors (save-excursion (backward-word 2) (backward-char 1) (looking-at "<")))
|
|
adamc@360
|
206 nil
|
|
adamc@360
|
207 face))
|
|
adamc@358
|
208
|
|
adamc@350
|
209 (defconst urweb-font-lock-keywords
|
|
adamc@350
|
210 `(;;(urweb-font-comments-and-strings)
|
|
adamc@362
|
211 ("\\(<\\sw+\\)\\(\\s-\\|\\sw\\|=\\|\"[^\"]*\"\\|{[^}]*}\\)*\\(/?>\\)"
|
|
adamc@359
|
212 (1 font-lock-tag-face)
|
|
adamc@359
|
213 (3 font-lock-tag-face))
|
|
adamc@359
|
214 ("\\(</\\sw+>\\)"
|
|
adamc@359
|
215 (1 font-lock-tag-face))
|
|
adamc@359
|
216 ("\\([^<>{}]+\\)"
|
|
adamc@363
|
217 (1 (if (urweb-in-xml)
|
|
adamc@359
|
218 font-lock-string-face
|
|
adamc@359
|
219 nil)))
|
|
adamc@359
|
220
|
|
adamc@357
|
221 ("\\<\\(fun\\|and\\)\\s-+\\(\\sw+\\)\\s-+[^ \t\n=]"
|
|
adamc@350
|
222 (1 font-lock-keyword-face)
|
|
adamc@360
|
223 (2 (amAttribute font-lock-function-name-face)))
|
|
adamc@357
|
224 ("\\<\\(\\(data\\)?type\\|con\\|class\\)\\s-+\\(\\sw+\\)"
|
|
adamc@350
|
225 (1 font-lock-keyword-face)
|
|
adamc@360
|
226 (3 (amAttribute font-lock-type-def-face)))
|
|
adamc@459
|
227 ("\\<\\(val\\|table\\|sequence\\|cookie\\)\\s-+\\(\\sw+\\>\\s-*\\)?\\(\\sw+\\)\\s-*[=:]"
|
|
adamc@350
|
228 (1 font-lock-keyword-face)
|
|
adamc@360
|
229 (3 (amAttribute font-lock-variable-name-face)))
|
|
adamc@350
|
230 ("\\<\\(structure\\|functor\\)\\s-+\\(\\sw+\\)"
|
|
adamc@350
|
231 (1 font-lock-keyword-face)
|
|
adamc@360
|
232 (2 (amAttribute font-lock-module-def-face)))
|
|
adamc@350
|
233 ("\\<\\(signature\\)\\s-+\\(\\sw+\\)"
|
|
adamc@350
|
234 (1 font-lock-keyword-face)
|
|
adamc@360
|
235 (2 (amAttribute font-lock-interface-def-face)))
|
|
adamc@350
|
236
|
|
adamc@350
|
237 (,urweb-keywords-regexp . font-lock-keyword-face)
|
|
adamc@351
|
238 (,urweb-sql-keywords-regexp . font-lock-sql-face)
|
|
adamc@351
|
239 (,urweb-cident-regexp . font-lock-cvariable-face))
|
|
adamc@350
|
240 "Regexps matching standard Ur/Web keywords.")
|
|
adamc@350
|
241
|
|
adamc@350
|
242 (defface font-lock-type-def-face
|
|
adamc@350
|
243 '((t (:bold t)))
|
|
adamc@350
|
244 "Font Lock mode face used to highlight type definitions."
|
|
adamc@350
|
245 :group 'font-lock-highlighting-faces)
|
|
adamc@350
|
246 (defvar font-lock-type-def-face 'font-lock-type-def-face
|
|
adamc@350
|
247 "Face name to use for type definitions.")
|
|
adamc@350
|
248
|
|
adamc@350
|
249 (defface font-lock-module-def-face
|
|
adamc@350
|
250 '((t (:bold t)))
|
|
adamc@350
|
251 "Font Lock mode face used to highlight module definitions."
|
|
adamc@350
|
252 :group 'font-lock-highlighting-faces)
|
|
adamc@350
|
253 (defvar font-lock-module-def-face 'font-lock-module-def-face
|
|
adamc@350
|
254 "Face name to use for module definitions.")
|
|
adamc@350
|
255
|
|
adamc@350
|
256 (defface font-lock-interface-def-face
|
|
adamc@350
|
257 '((t (:bold t)))
|
|
adamc@350
|
258 "Font Lock mode face used to highlight interface definitions."
|
|
adamc@350
|
259 :group 'font-lock-highlighting-faces)
|
|
adamc@350
|
260 (defvar font-lock-interface-def-face 'font-lock-interface-def-face
|
|
adamc@350
|
261 "Face name to use for interface definitions.")
|
|
adamc@350
|
262
|
|
adamc@350
|
263 (defface font-lock-sql-face
|
|
adamc@350
|
264 '((t (:bold t)))
|
|
adamc@350
|
265 "Font Lock mode face used to highlight SQL keywords."
|
|
adamc@350
|
266 :group 'font-lock-highlighting-faces)
|
|
adamc@350
|
267 (defvar font-lock-sql-face 'font-lock-sql-face
|
|
adamc@350
|
268 "Face name to use for SQL keywords.")
|
|
adamc@350
|
269
|
|
adamc@351
|
270 (defface font-lock-cvariable-face
|
|
adamc@351
|
271 '((t (:foreground "dark blue")))
|
|
adamc@351
|
272 "Font Lock mode face used to highlight capitalized identifiers."
|
|
adamc@351
|
273 :group 'font-lock-highlighting-faces)
|
|
adamc@351
|
274 (defvar font-lock-cvariable-face 'font-lock-cvariable-face
|
|
adamc@351
|
275 "Face name to use for capitalized identifiers.")
|
|
adamc@351
|
276
|
|
adamc@357
|
277 (defface font-lock-tag-face
|
|
adamc@357
|
278 '((t (:bold t)))
|
|
adamc@357
|
279 "Font Lock mode face used to highlight XML tags."
|
|
adamc@357
|
280 :group 'font-lock-highlighting-faces)
|
|
adamc@357
|
281 (defvar font-lock-tag-face 'font-lock-tag-face
|
|
adamc@357
|
282 "Face name to use for XML tags.")
|
|
adamc@357
|
283
|
|
adamc@358
|
284 (defface font-lock-attr-face
|
|
adamc@358
|
285 '((t (:bold t)))
|
|
adamc@358
|
286 "Font Lock mode face used to highlight XML attributes."
|
|
adamc@358
|
287 :group 'font-lock-highlighting-faces)
|
|
adamc@358
|
288 (defvar font-lock-attr-face 'font-lock-attr-face
|
|
adamc@358
|
289 "Face name to use for XML attributes.")
|
|
adamc@358
|
290
|
|
adamc@350
|
291 ;;
|
|
adamc@350
|
292 ;; Code to handle nested comments and unusual string escape sequences
|
|
adamc@350
|
293 ;;
|
|
adamc@350
|
294
|
|
adamc@350
|
295 (defsyntax urweb-syntax-prop-table
|
|
adamc@350
|
296 '((?\\ . ".") (?* . "."))
|
|
adamc@350
|
297 "Syntax table for text-properties")
|
|
adamc@350
|
298
|
|
adamc@350
|
299 ;; For Emacsen that have no built-in support for nested comments
|
|
adamc@350
|
300 (defun urweb-get-depth-st ()
|
|
adamc@350
|
301 (save-excursion
|
|
adamc@350
|
302 (let* ((disp (if (eq (char-before) ?\)) (progn (backward-char) -1) nil))
|
|
adamc@350
|
303 (_ (backward-char))
|
|
adamc@350
|
304 (disp (if (eq (char-before) ?\() (progn (backward-char) 0) disp))
|
|
adamc@350
|
305 (pt (point)))
|
|
adamc@350
|
306 (when disp
|
|
adamc@350
|
307 (let* ((depth
|
|
adamc@350
|
308 (save-match-data
|
|
adamc@350
|
309 (if (re-search-backward "\\*)\\|(\\*" nil t)
|
|
adamc@350
|
310 (+ (or (get-char-property (point) 'comment-depth) 0)
|
|
adamc@350
|
311 (case (char-after) (?\( 1) (?* 0))
|
|
adamc@350
|
312 disp)
|
|
adamc@350
|
313 0)))
|
|
adamc@350
|
314 (depth (if (> depth 0) depth)))
|
|
adamc@350
|
315 (put-text-property pt (1+ pt) 'comment-depth depth)
|
|
adamc@350
|
316 (when depth urweb-syntax-prop-table))))))
|
|
adamc@350
|
317
|
|
adamc@350
|
318 (defconst urweb-font-lock-syntactic-keywords
|
|
adamc@350
|
319 `(("^\\s-*\\(\\\\\\)" (1 ',urweb-syntax-prop-table))
|
|
adamc@350
|
320 ,@(unless urweb-builtin-nested-comments-flag
|
|
adamc@350
|
321 '(("(?\\(\\*\\))?" (1 (urweb-get-depth-st)))))))
|
|
adamc@350
|
322
|
|
adamc@350
|
323 (defconst urweb-font-lock-defaults
|
|
adamc@350
|
324 '(urweb-font-lock-keywords nil nil ((?_ . "w") (?' . "w")) nil
|
|
adamc@350
|
325 (font-lock-syntactic-keywords . urweb-font-lock-syntactic-keywords)))
|
|
adamc@350
|
326
|
|
adamc@350
|
327 ;;;;
|
|
adamc@350
|
328 ;;;; Imenu support
|
|
adamc@350
|
329 ;;;;
|
|
adamc@350
|
330
|
|
adamc@350
|
331 (defvar urweb-imenu-regexp
|
|
adamc@350
|
332 (concat "^[ \t]*\\(let[ \t]+\\)?"
|
|
adamc@350
|
333 (regexp-opt (append urweb-module-head-syms
|
|
adamc@350
|
334 '("and" "fun" "datatype" "type")) t)
|
|
adamc@350
|
335 "\\>"))
|
|
adamc@350
|
336
|
|
adamc@350
|
337 (defun urweb-imenu-create-index ()
|
|
adamc@350
|
338 (let (alist)
|
|
adamc@350
|
339 (goto-char (point-max))
|
|
adamc@350
|
340 (while (re-search-backward urweb-imenu-regexp nil t)
|
|
adamc@350
|
341 (save-excursion
|
|
adamc@350
|
342 (let ((kind (match-string 2))
|
|
adamc@350
|
343 (column (progn (goto-char (match-beginning 2)) (current-column)))
|
|
adamc@350
|
344 (location
|
|
adamc@350
|
345 (progn (goto-char (match-end 0))
|
|
adamc@350
|
346 (urweb-forward-spaces)
|
|
adamc@350
|
347 (when (looking-at urweb-tyvarseq-re)
|
|
adamc@350
|
348 (goto-char (match-end 0)))
|
|
adamc@350
|
349 (point)))
|
|
adamc@350
|
350 (name (urweb-forward-sym)))
|
|
adamc@350
|
351 ;; Eliminate trivial renamings.
|
|
adamc@350
|
352 (when (or (not (member kind '("structure" "signature")))
|
|
adamc@350
|
353 (progn (search-forward "=")
|
|
adamc@350
|
354 (urweb-forward-spaces)
|
|
adamc@350
|
355 (looking-at "sig\\|struct")))
|
|
adamc@350
|
356 (push (cons (concat (make-string (/ column 2) ?\ ) name) location)
|
|
adamc@350
|
357 alist)))))
|
|
adamc@350
|
358 alist))
|
|
adamc@350
|
359
|
|
adamc@350
|
360 ;;; MORE CODE FOR URWEB-MODE
|
|
adamc@350
|
361
|
|
adamc@350
|
362 ;;;###autoload (add-to-list 'load-path (file-name-directory load-file-name))
|
|
adamc@350
|
363 ;;;###autoload
|
|
adamc@362
|
364 (add-to-list 'auto-mode-alist '("\\.urs?\\'" . urweb-mode))
|
|
adamc@350
|
365
|
|
adamc@350
|
366 ;;;###autoload
|
|
adamc@350
|
367 (define-derived-mode urweb-mode fundamental-mode "Ur/Web"
|
|
adamc@350
|
368 "\\<urweb-mode-map>Major mode for editing Ur/Web code.
|
|
adamc@350
|
369 This mode runs `urweb-mode-hook' just before exiting.
|
|
adamc@350
|
370 \\{urweb-mode-map}"
|
|
adamc@350
|
371 (set (make-local-variable 'font-lock-defaults) urweb-font-lock-defaults)
|
|
adamc@358
|
372 (set (make-local-variable 'font-lock-multiline) 'undecided)
|
|
adamc@350
|
373 (set (make-local-variable 'outline-regexp) urweb-outline-regexp)
|
|
adamc@350
|
374 (set (make-local-variable 'imenu-create-index-function)
|
|
adamc@350
|
375 'urweb-imenu-create-index)
|
|
adamc@350
|
376 (set (make-local-variable 'add-log-current-defun-function)
|
|
adamc@350
|
377 'urweb-current-fun-name)
|
|
adamc@350
|
378 ;; Treat paragraph-separators in comments as paragraph-separators.
|
|
adamc@350
|
379 (set (make-local-variable 'paragraph-separate)
|
|
adamc@350
|
380 (concat "\\([ \t]*\\*)?\\)?\\(" paragraph-separate "\\)"))
|
|
adamc@350
|
381 (set (make-local-variable 'require-final-newline) t)
|
|
adamc@350
|
382 ;; forward-sexp-function is an experimental variable in my hacked Emacs.
|
|
adamc@350
|
383 (set (make-local-variable 'forward-sexp-function) 'urweb-user-forward-sexp)
|
|
adamc@350
|
384 ;; For XEmacs
|
|
adamc@350
|
385 (easy-menu-add urweb-mode-menu)
|
|
adamc@358
|
386
|
|
adamc@350
|
387 ;; Compatibility. FIXME: we should use `-' in Emacs-CVS.
|
|
adamc@350
|
388 (unless (boundp 'skeleton-positions) (set (make-local-variable '@) nil))
|
|
adamc@358
|
389
|
|
adamc@360
|
390 (urweb-mode-variables))
|
|
adamc@350
|
391
|
|
adamc@350
|
392 (defun urweb-mode-variables ()
|
|
adamc@350
|
393 (set-syntax-table urweb-mode-syntax-table)
|
|
adamc@350
|
394 (setq local-abbrev-table urweb-mode-abbrev-table)
|
|
adamc@350
|
395 ;; A paragraph is separated by blank lines or ^L only.
|
|
adamc@350
|
396
|
|
adamc@350
|
397 (set (make-local-variable 'indent-line-function) 'urweb-indent-line)
|
|
adamc@350
|
398 (set (make-local-variable 'comment-start) "(* ")
|
|
adamc@350
|
399 (set (make-local-variable 'comment-end) " *)")
|
|
adamc@350
|
400 (set (make-local-variable 'comment-nested) t)
|
|
adamc@350
|
401 ;;(set (make-local-variable 'block-comment-start) "* ")
|
|
adamc@350
|
402 ;;(set (make-local-variable 'block-comment-end) "")
|
|
adamc@350
|
403 ;; (set (make-local-variable 'comment-column) 40)
|
|
adamc@350
|
404 (set (make-local-variable 'comment-start-skip) "(\\*+\\s-*"))
|
|
adamc@350
|
405
|
|
adamc@350
|
406 (defun urweb-funname-of-and ()
|
|
adamc@350
|
407 "Name of the function this `and' defines, or nil if not a function.
|
|
adamc@350
|
408 Point has to be right after the `and' symbol and is not preserved."
|
|
adamc@350
|
409 (urweb-forward-spaces)
|
|
adamc@350
|
410 (if (looking-at urweb-tyvarseq-re) (goto-char (match-end 0)))
|
|
adamc@350
|
411 (let ((sym (urweb-forward-sym)))
|
|
adamc@350
|
412 (urweb-forward-spaces)
|
|
adamc@350
|
413 (unless (or (member sym '(nil "d="))
|
|
adamc@350
|
414 (member (urweb-forward-sym) '("d=")))
|
|
adamc@350
|
415 sym)))
|
|
adamc@350
|
416
|
|
adamc@350
|
417 ;;; INDENTATION !!!
|
|
adamc@350
|
418
|
|
adamc@350
|
419 (defun urweb-mark-function ()
|
|
adamc@350
|
420 "Synonym for `mark-paragraph' -- sorry.
|
|
adamc@350
|
421 If anyone has a good algorithm for this..."
|
|
adamc@350
|
422 (interactive)
|
|
adamc@350
|
423 (mark-paragraph))
|
|
adamc@350
|
424
|
|
adamc@350
|
425 (defun urweb-indent-line ()
|
|
adamc@350
|
426 "Indent current line of Ur/Web code."
|
|
adamc@350
|
427 (interactive)
|
|
adamc@350
|
428 (let ((savep (> (current-column) (current-indentation)))
|
|
adamc@350
|
429 (indent (max (or (ignore-errors (urweb-calculate-indentation)) 0) 0)))
|
|
adamc@350
|
430 (if savep
|
|
adamc@350
|
431 (save-excursion (indent-line-to indent))
|
|
adamc@350
|
432 (indent-line-to indent))))
|
|
adamc@350
|
433
|
|
adamc@350
|
434 (defun urweb-back-to-outer-indent ()
|
|
adamc@350
|
435 "Unindents to the next outer level of indentation."
|
|
adamc@350
|
436 (interactive)
|
|
adamc@350
|
437 (save-excursion
|
|
adamc@350
|
438 (beginning-of-line)
|
|
adamc@350
|
439 (skip-chars-forward "\t ")
|
|
adamc@350
|
440 (let ((start-column (current-column))
|
|
adamc@350
|
441 (indent (current-column)))
|
|
adamc@350
|
442 (if (> start-column 0)
|
|
adamc@350
|
443 (progn
|
|
adamc@350
|
444 (save-excursion
|
|
adamc@350
|
445 (while (>= indent start-column)
|
|
adamc@350
|
446 (if (re-search-backward "^[^\n]" nil t)
|
|
adamc@350
|
447 (setq indent (current-indentation))
|
|
adamc@350
|
448 (setq indent 0))))
|
|
adamc@350
|
449 (backward-delete-char-untabify (- start-column indent)))))))
|
|
adamc@350
|
450
|
|
adamc@350
|
451 (defun urweb-find-comment-indent ()
|
|
adamc@350
|
452 (save-excursion
|
|
adamc@350
|
453 (let ((depth 1))
|
|
adamc@350
|
454 (while (> depth 0)
|
|
adamc@350
|
455 (if (re-search-backward "(\\*\\|\\*)" nil t)
|
|
adamc@350
|
456 (cond
|
|
adamc@350
|
457 ;; FIXME: That's just a stop-gap.
|
|
adamc@350
|
458 ((eq (get-text-property (point) 'face) 'font-lock-string-face))
|
|
adamc@350
|
459 ((looking-at "*)") (incf depth))
|
|
adamc@350
|
460 ((looking-at comment-start-skip) (decf depth)))
|
|
adamc@350
|
461 (setq depth -1)))
|
|
adamc@350
|
462 (if (= depth 0)
|
|
adamc@350
|
463 (1+ (current-column))
|
|
adamc@350
|
464 nil))))
|
|
adamc@350
|
465
|
|
adamc@369
|
466 (defun urweb-empty-line ()
|
|
adamc@365
|
467 (save-excursion
|
|
adamc@369
|
468 (beginning-of-line)
|
|
adamc@365
|
469 (let ((start-pos (point)))
|
|
adamc@369
|
470 (end-of-line)
|
|
adamc@369
|
471 (not (re-search-backward "[^\n \t]" start-pos t)))))
|
|
adamc@365
|
472
|
|
adamc@369
|
473 (defun urweb-seek-back ()
|
|
adamc@369
|
474 (while (urweb-empty-line) (previous-line 1)))
|
|
adamc@363
|
475
|
|
adamc@369
|
476 (defun urweb-skip-matching-braces ()
|
|
adamc@367
|
477 "Skip backwards past matching brace pairs, to calculate XML indentation after quoted Ur code"
|
|
adamc@367
|
478 (beginning-of-line)
|
|
adamc@367
|
479 (let ((start-pos (point))
|
|
adamc@367
|
480 (depth 0))
|
|
adamc@367
|
481 (end-of-line)
|
|
adamc@367
|
482 (while (re-search-backward "[{}]" start-pos t)
|
|
adamc@367
|
483 (cond
|
|
adamc@367
|
484 ((looking-at "}")
|
|
adamc@367
|
485 (incf depth))
|
|
adamc@367
|
486 ((looking-at "{")
|
|
adamc@367
|
487 (decf depth))))
|
|
adamc@367
|
488 (while (and (> depth 0) (re-search-backward "[{}]" nil t)
|
|
adamc@367
|
489 (cond
|
|
adamc@367
|
490 ((looking-at "}")
|
|
adamc@367
|
491 (incf depth))
|
|
adamc@367
|
492 ((looking-at "{")
|
|
adamc@367
|
493 (decf depth)))))))
|
|
adamc@367
|
494
|
|
adamc@369
|
495 (defun urweb-new-tags ()
|
|
adamc@369
|
496 "Decide if the previous line of XML introduced unclosed tags"
|
|
adamc@369
|
497 (save-excursion
|
|
adamc@369
|
498 (let ((start-pos (point))
|
|
adamc@369
|
499 (depth 0)
|
|
adamc@369
|
500 (done nil))
|
|
adamc@369
|
501 (previous-line 1)
|
|
adamc@369
|
502 (urweb-seek-back)
|
|
adamc@369
|
503 (urweb-skip-matching-braces)
|
|
adamc@369
|
504 (urweb-seek-back)
|
|
adamc@369
|
505 (beginning-of-line)
|
|
adamc@369
|
506 (while (and (not done) (search-forward "<" start-pos t))
|
|
adamc@396
|
507 (cond
|
|
adamc@396
|
508 ((or (looking-at " ") (looking-at "="))
|
|
adamc@396
|
509 nil)
|
|
adamc@396
|
510 ((looking-at "/")
|
|
adamc@396
|
511 (if (re-search-forward "[^\\sw]>" start-pos t)
|
|
adamc@369
|
512 (when (> depth 0) (decf depth))
|
|
adamc@396
|
513 (setq done t)))
|
|
adamc@396
|
514 (t
|
|
adamc@396
|
515 (if (re-search-forward "[^\\sw]>" start-pos t)
|
|
adamc@369
|
516 (if (not (save-excursion (backward-char 2) (looking-at "/")))
|
|
adamc@369
|
517 (incf depth))
|
|
adamc@396
|
518 (setq done t)))))
|
|
adamc@369
|
519 (and (not done) (> depth 0)))))
|
|
adamc@369
|
520
|
|
adamc@363
|
521 (defun urweb-tag-matching-indent ()
|
|
adamc@363
|
522 "Seek back to a matching opener tag and get its line's indent"
|
|
adamc@363
|
523 (save-excursion
|
|
adamc@369
|
524 (end-of-line)
|
|
adamc@369
|
525 (search-backward "</" nil t)
|
|
adamc@368
|
526 (urweb-tag-matcher)
|
|
adamc@369
|
527 (beginning-of-line)
|
|
adamc@369
|
528 (current-indentation)))
|
|
adamc@363
|
529
|
|
adamc@373
|
530 (defconst urweb-sql-main-starters
|
|
adamc@374
|
531 '("SQL" "SELECT" "INSERT" "UPDATE" "DELETE"))
|
|
adamc@373
|
532
|
|
adamc@372
|
533 (defconst urweb-sql-starters
|
|
adamc@373
|
534 (append urweb-sql-main-starters
|
|
adamc@373
|
535 '("^\\s-+FROM" "WHERE" "GROUP" "ORDER" "HAVING" "LIMIT" "OFFSET"
|
|
adamc@373
|
536 "VALUES" "SET")))
|
|
adamc@372
|
537
|
|
adamc@373
|
538 (defconst urweb-sql-main-starters-re
|
|
adamc@373
|
539 (urweb-syms-re urweb-sql-main-starters))
|
|
adamc@372
|
540 (defconst urweb-sql-starters-re
|
|
adamc@372
|
541 (urweb-syms-re urweb-sql-starters))
|
|
adamc@372
|
542
|
|
adamc@374
|
543 (defconst urweb-sql-main-starters-paren-re
|
|
adamc@374
|
544 (concat "(" urweb-sql-main-starters-re))
|
|
adamc@374
|
545
|
|
adamc@374
|
546 (defun urweb-in-sql ()
|
|
adamc@374
|
547 "Check if the point is in a block of SQL syntax."
|
|
adamc@374
|
548 (save-excursion
|
|
adamc@375
|
549 (let ((start-pos (point))
|
|
adamc@375
|
550 (depth 0)
|
|
adamc@375
|
551 done
|
|
adamc@375
|
552 (good t))
|
|
adamc@375
|
553 (when (re-search-backward urweb-sql-main-starters-paren-re nil t)
|
|
adamc@375
|
554 (forward-char)
|
|
adamc@375
|
555 (while (and (not done) (re-search-forward "[()]" start-pos t))
|
|
adamc@375
|
556 (save-excursion
|
|
adamc@375
|
557 (backward-char)
|
|
adamc@375
|
558 (cond
|
|
adamc@375
|
559 ((looking-at ")")
|
|
adamc@375
|
560 (cond
|
|
adamc@375
|
561 ((= depth 0) (setq done t) (setq good nil))
|
|
adamc@375
|
562 (t (decf depth))))
|
|
adamc@375
|
563 ((looking-at "(")
|
|
adamc@375
|
564 (incf depth)))))
|
|
adamc@375
|
565 good))))
|
|
adamc@374
|
566
|
|
adamc@374
|
567 (defun urweb-sql-depth ()
|
|
adamc@374
|
568 "Check if the point is in a block of SQL syntax.
|
|
adamc@374
|
569 Returns the paren nesting depth if so, and nil otherwise."
|
|
adamc@374
|
570 (save-excursion
|
|
adamc@374
|
571 (let ((depth 0)
|
|
adamc@374
|
572 done)
|
|
adamc@374
|
573 (while (and (not done)
|
|
adamc@374
|
574 (re-search-backward "[()]" nil t))
|
|
adamc@374
|
575 (cond
|
|
adamc@374
|
576 ((looking-at ")")
|
|
adamc@374
|
577 (decf depth))
|
|
adamc@374
|
578 ((looking-at "(")
|
|
adamc@374
|
579 (if (looking-at urweb-sql-main-starters-paren-re)
|
|
adamc@374
|
580 (setq done t)
|
|
adamc@374
|
581 (incf depth)))))
|
|
adamc@374
|
582 (max 0 depth))))
|
|
adamc@374
|
583
|
|
adamc@350
|
584 (defun urweb-calculate-indentation ()
|
|
adamc@350
|
585 (save-excursion
|
|
adamc@350
|
586 (beginning-of-line) (skip-chars-forward "\t ")
|
|
adamc@350
|
587 (urweb-with-ist
|
|
adamc@350
|
588 ;; Indentation for comments alone on a line, matches the
|
|
adamc@350
|
589 ;; proper indentation of the next line.
|
|
adamc@350
|
590 (when (looking-at "(\\*") (urweb-forward-spaces))
|
|
adamc@350
|
591 (let (data
|
|
adamc@350
|
592 (sym (save-excursion (urweb-forward-sym))))
|
|
adamc@350
|
593 (or
|
|
adamc@350
|
594 ;; Allow the user to override the indentation.
|
|
adamc@350
|
595 (when (looking-at (concat ".*" (regexp-quote comment-start)
|
|
adamc@350
|
596 "[ \t]*fixindent[ \t]*"
|
|
adamc@350
|
597 (regexp-quote comment-end)))
|
|
adamc@350
|
598 (current-indentation))
|
|
adamc@350
|
599
|
|
adamc@350
|
600 ;; Continued comment.
|
|
adamc@350
|
601 (and (looking-at "\\*") (urweb-find-comment-indent))
|
|
adamc@350
|
602
|
|
adamc@363
|
603 (and (urweb-in-xml)
|
|
adamc@363
|
604 (let ((prev-indent (save-excursion
|
|
adamc@363
|
605 (previous-line 1)
|
|
adamc@369
|
606 (urweb-seek-back)
|
|
adamc@369
|
607 (urweb-skip-matching-braces)
|
|
adamc@369
|
608 (urweb-seek-back)
|
|
adamc@363
|
609 (current-indentation))))
|
|
adamc@363
|
610 (cond
|
|
adamc@363
|
611 ((looking-at "</")
|
|
adamc@363
|
612 (urweb-tag-matching-indent))
|
|
adamc@363
|
613 ((urweb-new-tags)
|
|
adamc@363
|
614 (+ prev-indent 2))
|
|
adamc@363
|
615 (t
|
|
adamc@363
|
616 prev-indent))))
|
|
adamc@363
|
617
|
|
adamc@350
|
618 ;; Continued string ? (Added 890113 lbn)
|
|
adamc@350
|
619 (and (looking-at "\\\\")
|
|
adamc@350
|
620 (save-excursion
|
|
adamc@350
|
621 (if (save-excursion (previous-line 1)
|
|
adamc@350
|
622 (beginning-of-line)
|
|
adamc@350
|
623 (looking-at "[\t ]*\\\\"))
|
|
adamc@350
|
624 (progn (previous-line 1) (current-indentation))
|
|
adamc@350
|
625 (if (re-search-backward "[^\\\\]\"" nil t)
|
|
adamc@350
|
626 (1+ (current-column))
|
|
adamc@350
|
627 0))))
|
|
adamc@350
|
628
|
|
adamc@350
|
629 ;; Closing parens. Could be handled below with `urweb-indent-relative'?
|
|
adamc@350
|
630 (and (looking-at "\\s)")
|
|
adamc@350
|
631 (save-excursion
|
|
adamc@350
|
632 (skip-syntax-forward ")")
|
|
adamc@350
|
633 (backward-sexp 1)
|
|
adamc@350
|
634 (if (urweb-dangling-sym)
|
|
adamc@350
|
635 (urweb-indent-default 'noindent)
|
|
adamc@350
|
636 (current-column))))
|
|
adamc@350
|
637
|
|
adamc@374
|
638 (and (or (looking-at "FROM") (looking-at urweb-sql-starters-re))
|
|
adamc@386
|
639
|
|
adamc@372
|
640 (save-excursion
|
|
adamc@372
|
641 (and (re-search-backward urweb-sql-starters-re nil t)
|
|
adamc@373
|
642 (if (looking-at urweb-sql-main-starters-re)
|
|
adamc@373
|
643 (current-column)
|
|
adamc@373
|
644 (current-indentation)))))
|
|
adamc@372
|
645
|
|
adamc@374
|
646 (and (urweb-in-sql)
|
|
adamc@374
|
647 (setq data (urweb-sql-depth))
|
|
adamc@374
|
648 (save-excursion
|
|
adamc@374
|
649 (re-search-backward urweb-sql-starters-re nil t)
|
|
adamc@374
|
650 (+ (current-column) 2 (* 2 data))))
|
|
adamc@374
|
651
|
|
adamc@350
|
652 (and (setq data (assoc sym urweb-close-paren))
|
|
adamc@350
|
653 (urweb-indent-relative sym data))
|
|
adamc@350
|
654
|
|
adamc@350
|
655 (and (member sym urweb-starters-syms)
|
|
adamc@350
|
656 (urweb-indent-starter sym))
|
|
adamc@350
|
657
|
|
adamc@350
|
658 (and (string= sym "|") (urweb-indent-pipe))
|
|
adamc@350
|
659
|
|
adamc@350
|
660 (urweb-indent-arg)
|
|
adamc@350
|
661 (urweb-indent-default))))))
|
|
adamc@350
|
662
|
|
adamc@350
|
663 (defsubst urweb-bolp ()
|
|
adamc@350
|
664 (save-excursion (skip-chars-backward " \t|") (bolp)))
|
|
adamc@350
|
665
|
|
adamc@350
|
666 (defun urweb-indent-starter (orig-sym)
|
|
adamc@350
|
667 "Return the indentation to use for a symbol in `urweb-starters-syms'.
|
|
adamc@350
|
668 Point should be just before the symbol ORIG-SYM and is not preserved."
|
|
adamc@350
|
669 (let ((sym (unless (save-excursion (urweb-backward-arg))
|
|
adamc@350
|
670 (urweb-backward-spaces)
|
|
adamc@350
|
671 (urweb-backward-sym))))
|
|
adamc@350
|
672 (if (member sym '(";" "d=")) (setq sym nil))
|
|
adamc@350
|
673 (if sym (urweb-get-sym-indent sym)
|
|
adamc@350
|
674 ;; FIXME: this can take a *long* time !!
|
|
adamc@350
|
675 (setq sym (urweb-find-matching-starter urweb-starters-syms))
|
|
adamc@350
|
676 ;; Don't align with `and' because it might be specially indented.
|
|
adamc@350
|
677 (if (and (or (equal orig-sym "and") (not (equal sym "and")))
|
|
adamc@350
|
678 (urweb-bolp))
|
|
adamc@350
|
679 (+ (current-column)
|
|
adamc@350
|
680 (if (and urweb-rightalign-and (equal orig-sym "and"))
|
|
adamc@350
|
681 (- (length sym) 3) 0))
|
|
adamc@350
|
682 (urweb-indent-starter orig-sym)))))
|
|
adamc@350
|
683
|
|
adamc@350
|
684 (defun urweb-indent-relative (sym data)
|
|
adamc@350
|
685 (save-excursion
|
|
adamc@350
|
686 (urweb-forward-sym) (urweb-backward-sexp nil)
|
|
adamc@350
|
687 (unless (second data) (urweb-backward-spaces) (urweb-backward-sym))
|
|
adamc@350
|
688 (+ (or (cdr (assoc sym urweb-symbol-indent)) 0)
|
|
adamc@350
|
689 (urweb-delegated-indent))))
|
|
adamc@350
|
690
|
|
adamc@350
|
691 (defun urweb-indent-pipe ()
|
|
adamc@350
|
692 (let ((sym (urweb-find-matching-starter urweb-pipeheads
|
|
adamc@350
|
693 (urweb-op-prec "|" 'back))))
|
|
adamc@350
|
694 (when sym
|
|
adamc@350
|
695 (if (string= sym "|")
|
|
adamc@350
|
696 (if (urweb-bolp) (current-column) (urweb-indent-pipe))
|
|
adamc@350
|
697 (let ((pipe-indent (or (cdr (assoc "|" urweb-symbol-indent)) -2)))
|
|
adamc@350
|
698 (when (or (member sym '("datatype"))
|
|
adamc@350
|
699 (and (equal sym "and")
|
|
adamc@350
|
700 (save-excursion
|
|
adamc@350
|
701 (forward-word 1)
|
|
adamc@350
|
702 (not (urweb-funname-of-and)))))
|
|
adamc@350
|
703 (re-search-forward "="))
|
|
adamc@350
|
704 (urweb-forward-sym)
|
|
adamc@350
|
705 (urweb-forward-spaces)
|
|
adamc@350
|
706 (+ pipe-indent (current-column)))))))
|
|
adamc@350
|
707
|
|
adamc@350
|
708 (defun urweb-find-forward (re)
|
|
adamc@350
|
709 (urweb-forward-spaces)
|
|
adamc@350
|
710 (while (and (not (looking-at re))
|
|
adamc@350
|
711 (progn
|
|
adamc@350
|
712 (or (ignore-errors (forward-sexp 1) t) (forward-char 1))
|
|
adamc@350
|
713 (urweb-forward-spaces)
|
|
adamc@350
|
714 (not (looking-at re))))))
|
|
adamc@350
|
715
|
|
adamc@350
|
716 (defun urweb-indent-arg ()
|
|
adamc@350
|
717 (and (save-excursion (ignore-errors (urweb-forward-arg)))
|
|
adamc@350
|
718 ;;(not (looking-at urweb-not-arg-re))
|
|
adamc@350
|
719 ;; looks like a function or an argument
|
|
adamc@350
|
720 (urweb-move-if (urweb-backward-arg))
|
|
adamc@350
|
721 ;; an argument
|
|
adamc@350
|
722 (if (save-excursion (not (urweb-backward-arg)))
|
|
adamc@350
|
723 ;; a first argument
|
|
adamc@350
|
724 (+ (current-column) urweb-indent-args)
|
|
adamc@350
|
725 ;; not a first arg
|
|
adamc@350
|
726 (while (and (/= (current-column) (current-indentation))
|
|
adamc@350
|
727 (urweb-move-if (urweb-backward-arg))))
|
|
adamc@350
|
728 (unless (save-excursion (urweb-backward-arg))
|
|
adamc@350
|
729 ;; all earlier args are on the same line
|
|
adamc@350
|
730 (urweb-forward-arg) (urweb-forward-spaces))
|
|
adamc@350
|
731 (current-column))))
|
|
adamc@350
|
732
|
|
adamc@350
|
733 (defun urweb-get-indent (data sym)
|
|
adamc@350
|
734 (let (d)
|
|
adamc@350
|
735 (cond
|
|
adamc@350
|
736 ((not (listp data)) data)
|
|
adamc@350
|
737 ((setq d (member sym data)) (cadr d))
|
|
adamc@350
|
738 ((and (consp data) (not (stringp (car data)))) (car data))
|
|
adamc@350
|
739 (t urweb-indent-level))))
|
|
adamc@350
|
740
|
|
adamc@350
|
741 (defun urweb-dangling-sym ()
|
|
adamc@350
|
742 "Non-nil if the symbol after point is dangling.
|
|
adamc@350
|
743 The symbol can be an Ur/Web symbol or an open-paren. \"Dangling\" means that
|
|
adamc@350
|
744 it is not on its own line but is the last element on that line."
|
|
adamc@350
|
745 (save-excursion
|
|
adamc@350
|
746 (and (not (urweb-bolp))
|
|
adamc@350
|
747 (< (urweb-point-after (end-of-line))
|
|
adamc@350
|
748 (urweb-point-after (or (urweb-forward-sym) (skip-syntax-forward "("))
|
|
adamc@350
|
749 (urweb-forward-spaces))))))
|
|
adamc@350
|
750
|
|
adamc@350
|
751 (defun urweb-delegated-indent ()
|
|
adamc@350
|
752 (if (urweb-dangling-sym)
|
|
adamc@350
|
753 (urweb-indent-default 'noindent)
|
|
adamc@350
|
754 (urweb-move-if (backward-word 1)
|
|
adamc@350
|
755 (looking-at urweb-agglomerate-re))
|
|
adamc@350
|
756 (current-column)))
|
|
adamc@350
|
757
|
|
adamc@350
|
758 (defun urweb-get-sym-indent (sym &optional style)
|
|
adamc@350
|
759 "Find the indentation for the SYM we're `looking-at'.
|
|
adamc@350
|
760 If indentation is delegated, point will move to the start of the parent.
|
|
adamc@350
|
761 Optional argument STYLE is currently ignored."
|
|
adamc@371
|
762 ;;(assert (equal sym (save-excursion (urweb-forward-sym))))
|
|
adamc@350
|
763 (save-excursion
|
|
adamc@350
|
764 (let ((delegate (and (not (equal sym "end")) (assoc sym urweb-close-paren)))
|
|
adamc@350
|
765 (head-sym sym))
|
|
adamc@350
|
766 (when (and delegate (not (eval (third delegate))))
|
|
adamc@350
|
767 ;;(urweb-find-match-backward sym delegate)
|
|
adamc@350
|
768 (urweb-forward-sym) (urweb-backward-sexp nil)
|
|
adamc@350
|
769 (setq head-sym
|
|
adamc@350
|
770 (if (second delegate)
|
|
adamc@350
|
771 (save-excursion (urweb-forward-sym))
|
|
adamc@350
|
772 (urweb-backward-spaces) (urweb-backward-sym))))
|
|
adamc@350
|
773 (let ((idata (assoc head-sym urweb-indent-rule)))
|
|
adamc@350
|
774 (when idata
|
|
adamc@350
|
775 ;;(if (or style (not delegate))
|
|
adamc@350
|
776 ;; normal indentation
|
|
adamc@350
|
777 (let ((indent (urweb-get-indent (cdr idata) sym)))
|
|
adamc@350
|
778 (when indent (+ (urweb-delegated-indent) indent)))
|
|
adamc@350
|
779 ;; delgate indentation to the parent
|
|
adamc@350
|
780 ;;(urweb-forward-sym) (urweb-backward-sexp nil)
|
|
adamc@350
|
781 ;;(let* ((parent-sym (save-excursion (urweb-forward-sym)))
|
|
adamc@350
|
782 ;; (parent-indent (cdr (assoc parent-sym urweb-indent-starters))))
|
|
adamc@350
|
783 ;; check the special rules
|
|
adamc@350
|
784 ;;(+ (urweb-delegated-indent)
|
|
adamc@350
|
785 ;; (or (urweb-get-indent (cdr indent-data) 1 'strict)
|
|
adamc@350
|
786 ;; (urweb-get-indent (cdr parent-indent) 1 'strict)
|
|
adamc@350
|
787 ;; (urweb-get-indent (cdr indent-data) 0)
|
|
adamc@350
|
788 ;; (urweb-get-indent (cdr parent-indent) 0))))))))
|
|
adamc@350
|
789 )))))
|
|
adamc@350
|
790
|
|
adamc@350
|
791 (defun urweb-indent-default (&optional noindent)
|
|
adamc@386
|
792 (condition-case nil
|
|
adamc@386
|
793 (progn
|
|
adamc@386
|
794 (let* ((sym-after (save-excursion (urweb-forward-sym)))
|
|
adamc@386
|
795 (_ (urweb-backward-spaces))
|
|
adamc@386
|
796 (sym-before (urweb-backward-sym))
|
|
adamc@386
|
797 (sym-indent (and sym-before (urweb-get-sym-indent sym-before)))
|
|
adamc@386
|
798 (indent-after (or (cdr (assoc sym-after urweb-symbol-indent)) 0)))
|
|
adamc@386
|
799 (when (equal sym-before "end")
|
|
adamc@386
|
800 ;; I don't understand what's really happening here, but when
|
|
adamc@386
|
801 ;; it's `end' clearly, we need to do something special.
|
|
adamc@386
|
802 (forward-word 1)
|
|
adamc@386
|
803 (setq sym-before nil sym-indent nil))
|
|
adamc@386
|
804 (cond
|
|
adamc@386
|
805 (sym-indent
|
|
adamc@386
|
806 ;; the previous sym is an indentation introducer: follow the rule
|
|
adamc@386
|
807 (if noindent
|
|
adamc@386
|
808 ;;(current-column)
|
|
adamc@386
|
809 sym-indent
|
|
adamc@386
|
810 (+ sym-indent indent-after)))
|
|
adamc@386
|
811 ;; If we're just after a hanging open paren.
|
|
adamc@386
|
812 ((and (eq (char-syntax (preceding-char)) ?\()
|
|
adamc@386
|
813 (save-excursion (backward-char) (urweb-dangling-sym)))
|
|
adamc@386
|
814 (backward-char)
|
|
adamc@386
|
815 (urweb-indent-default))
|
|
adamc@386
|
816 (t
|
|
adamc@386
|
817 ;; default-default
|
|
adamc@386
|
818 (let* ((prec-after (urweb-op-prec sym-after 'back))
|
|
adamc@386
|
819 (prec (or (urweb-op-prec sym-before 'back) prec-after 100)))
|
|
adamc@386
|
820 ;; go back until you hit a symbol that has a lower prec than the
|
|
adamc@386
|
821 ;; "current one", or until you backed over a sym that has the same prec
|
|
adamc@386
|
822 ;; but is at the beginning of a line.
|
|
adamc@386
|
823 (while (and (not (urweb-bolp))
|
|
adamc@386
|
824 (while (urweb-move-if (urweb-backward-sexp (1- prec))))
|
|
adamc@386
|
825 (not (urweb-bolp)))
|
|
adamc@386
|
826 (while (urweb-move-if (urweb-backward-sexp prec))))
|
|
adamc@386
|
827 (if noindent
|
|
adamc@386
|
828 ;; the `noindent' case does back over an introductory symbol
|
|
adamc@386
|
829 ;; such as `fun', ...
|
|
adamc@386
|
830 (progn
|
|
adamc@386
|
831 (urweb-move-if
|
|
adamc@386
|
832 (urweb-backward-spaces)
|
|
adamc@386
|
833 (member (urweb-backward-sym) urweb-starters-syms))
|
|
adamc@386
|
834 (current-column))
|
|
adamc@386
|
835 ;; Use `indent-after' for cases such as when , or ; should be
|
|
adamc@386
|
836 ;; outdented so that their following terms are aligned.
|
|
adamc@386
|
837 (+ (if (progn
|
|
adamc@386
|
838 (if (equal sym-after ";")
|
|
adamc@386
|
839 (urweb-move-if
|
|
adamc@386
|
840 (urweb-backward-spaces)
|
|
adamc@386
|
841 (member (urweb-backward-sym) urweb-starters-syms)))
|
|
adamc@386
|
842 (and sym-after (not (looking-at sym-after))))
|
|
adamc@386
|
843 indent-after 0)
|
|
adamc@386
|
844 (current-column))))))))
|
|
adamc@386
|
845 (error 0)))
|
|
adamc@350
|
846
|
|
adamc@350
|
847
|
|
adamc@350
|
848 ;; maybe `|' should be set to word-syntax in our temp syntax table ?
|
|
adamc@350
|
849 (defun urweb-current-indentation ()
|
|
adamc@350
|
850 (save-excursion
|
|
adamc@350
|
851 (beginning-of-line)
|
|
adamc@350
|
852 (skip-chars-forward " \t|")
|
|
adamc@350
|
853 (current-column)))
|
|
adamc@350
|
854
|
|
adamc@350
|
855
|
|
adamc@350
|
856 (defun urweb-find-matching-starter (syms &optional prec)
|
|
adamc@350
|
857 (let (sym)
|
|
adamc@350
|
858 (ignore-errors
|
|
adamc@350
|
859 (while
|
|
adamc@350
|
860 (progn (urweb-backward-sexp prec)
|
|
adamc@350
|
861 (setq sym (save-excursion (urweb-forward-sym)))
|
|
adamc@350
|
862 (not (or (member sym syms) (bobp)))))
|
|
adamc@350
|
863 (if (member sym syms) sym))))
|
|
adamc@350
|
864
|
|
adamc@350
|
865 (defun urweb-skip-siblings ()
|
|
adamc@350
|
866 (while (and (not (bobp)) (urweb-backward-arg))
|
|
adamc@350
|
867 (urweb-find-matching-starter urweb-starters-syms)))
|
|
adamc@350
|
868
|
|
adamc@350
|
869 (defun urweb-beginning-of-defun ()
|
|
adamc@350
|
870 (let ((sym (urweb-find-matching-starter urweb-starters-syms)))
|
|
adamc@350
|
871 (if (member sym '("fun" "and" "functor" "signature" "structure"
|
|
adamc@350
|
872 "datatype"))
|
|
adamc@350
|
873 (save-excursion (urweb-forward-sym) (urweb-forward-spaces)
|
|
adamc@350
|
874 (urweb-forward-sym))
|
|
adamc@350
|
875 ;; We're inside a "non function declaration": let's skip all other
|
|
adamc@350
|
876 ;; declarations that we find at the same level and try again.
|
|
adamc@350
|
877 (urweb-skip-siblings)
|
|
adamc@350
|
878 ;; Obviously, let's not try again if we're at bobp.
|
|
adamc@350
|
879 (unless (bobp) (urweb-beginning-of-defun)))))
|
|
adamc@350
|
880
|
|
adamc@350
|
881 (defcustom urweb-max-name-components 3
|
|
adamc@350
|
882 "Maximum number of components to use for the current function name."
|
|
adamc@350
|
883 :group 'urweb
|
|
adamc@350
|
884 :type 'integer)
|
|
adamc@350
|
885
|
|
adamc@350
|
886 (defun urweb-current-fun-name ()
|
|
adamc@350
|
887 (save-excursion
|
|
adamc@350
|
888 (let ((count urweb-max-name-components)
|
|
adamc@350
|
889 fullname name)
|
|
adamc@350
|
890 (end-of-line)
|
|
adamc@350
|
891 (while (and (> count 0)
|
|
adamc@350
|
892 (setq name (urweb-beginning-of-defun)))
|
|
adamc@350
|
893 (decf count)
|
|
adamc@350
|
894 (setq fullname (if fullname (concat name "." fullname) name))
|
|
adamc@350
|
895 ;; Skip all other declarations that we find at the same level.
|
|
adamc@350
|
896 (urweb-skip-siblings))
|
|
adamc@350
|
897 fullname)))
|
|
adamc@350
|
898
|
|
adamc@358
|
899
|
|
adamc@358
|
900
|
|
adamc@350
|
901 (provide 'urweb-mode)
|
|
adamc@350
|
902
|
|
adamc@350
|
903 ;;; urweb-mode.el ends here
|
