|
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@350
|
136 "datatype" "else" "end" "extern" "fn" "fold"
|
|
adamc@350
|
137 "fun" "functor" "if" "include"
|
|
adamc@350
|
138 "of" "open"
|
|
adamc@350
|
139 "rec" "sequence" "sig" "signature"
|
|
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@350
|
150 "ASC" "DESC" "INSERT" "INTO" "VALUES" "UPDATE" "SET" "DELETE")
|
|
adamc@350
|
151 "A regexp that matches SQL keywords.")
|
|
adamc@350
|
152
|
|
adamc@351
|
153 (defconst urweb-lident-regexp "\\<[a-z_][A-Za-z0-9_']*\\>"
|
|
adamc@351
|
154 "A regexp that matches lowercase Ur/Web identifiers.")
|
|
adamc@351
|
155
|
|
adamc@351
|
156 (defconst urweb-cident-regexp "\\<[A-Z][A-Za-z0-9_']*\\>"
|
|
adamc@351
|
157 "A regexp that matches uppercase Ur/Web identifiers.")
|
|
adamc@351
|
158
|
|
adamc@350
|
159 ;;; Font-lock settings ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
adamc@350
|
160
|
|
adamc@350
|
161 ;; The font lock regular expressions.
|
|
adamc@350
|
162
|
|
adamc@363
|
163 (defun urweb-in-xml ()
|
|
adamc@360
|
164 (save-excursion
|
|
adamc@360
|
165 (let (
|
|
adamc@360
|
166 (depth 0)
|
|
adamc@360
|
167 (finished nil)
|
|
adamc@360
|
168 (answer nil)
|
|
adamc@360
|
169 )
|
|
adamc@360
|
170 (while (and (not finished) (re-search-backward "[<>{}]" nil t))
|
|
adamc@360
|
171 (cond
|
|
adamc@360
|
172 ((looking-at "{")
|
|
adamc@360
|
173 (if (> depth 0)
|
|
adamc@363
|
174 (decf depth)
|
|
adamc@360
|
175 (setq finished t)))
|
|
adamc@360
|
176 ((looking-at "}")
|
|
adamc@363
|
177 (incf depth))
|
|
adamc@374
|
178 ((save-excursion (backward-char 1) (or (looking-at "=>")
|
|
adamc@374
|
179 (looking-at "->")
|
|
adamc@374
|
180 (looking-at "<>")))
|
|
adamc@360
|
181 nil)
|
|
adamc@393
|
182 ((or (looking-at "< ") (looking-at "<="))
|
|
adamc@393
|
183 nil)
|
|
adamc@360
|
184 ((looking-at "<")
|
|
adamc@360
|
185 (setq finished t))
|
|
adamc@393
|
186 ((save-excursion (backward-char 1) (looking-at " >"))
|
|
adamc@393
|
187 nil)
|
|
adamc@360
|
188 ((looking-at ">")
|
|
adamc@374
|
189 (cond
|
|
adamc@374
|
190 ((> depth 0)
|
|
adamc@374
|
191 (if (not (re-search-backward "<" nil t))
|
|
adamc@374
|
192 (setq finished t)))
|
|
adamc@393
|
193 ((save-excursion (backward-char 1) (looking-at " "))
|
|
adamc@393
|
194 (setq finished t))
|
|
adamc@374
|
195 (t
|
|
adamc@360
|
196 (progn (backward-char 4)
|
|
adamc@360
|
197 (setq answer (not (or
|
|
adamc@360
|
198 (looking-at "/xml")
|
|
adamc@360
|
199 (looking-at "xml/"))))
|
|
adamc@374
|
200 (setq finished t)))))))
|
|
adamc@360
|
201 answer)))
|
|
adamc@360
|
202
|
|
adamc@360
|
203 (defun amAttribute (face)
|
|
adamc@360
|
204 (if (ignore-errors (save-excursion (backward-word 2) (backward-char 1) (looking-at "<")))
|
|
adamc@360
|
205 nil
|
|
adamc@360
|
206 face))
|
|
adamc@358
|
207
|
|
adamc@350
|
208 (defconst urweb-font-lock-keywords
|
|
adamc@350
|
209 `(;;(urweb-font-comments-and-strings)
|
|
adamc@362
|
210 ("\\(<\\sw+\\)\\(\\s-\\|\\sw\\|=\\|\"[^\"]*\"\\|{[^}]*}\\)*\\(/?>\\)"
|
|
adamc@359
|
211 (1 font-lock-tag-face)
|
|
adamc@359
|
212 (3 font-lock-tag-face))
|
|
adamc@359
|
213 ("\\(</\\sw+>\\)"
|
|
adamc@359
|
214 (1 font-lock-tag-face))
|
|
adamc@359
|
215 ("\\([^<>{}]+\\)"
|
|
adamc@363
|
216 (1 (if (urweb-in-xml)
|
|
adamc@359
|
217 font-lock-string-face
|
|
adamc@359
|
218 nil)))
|
|
adamc@359
|
219
|
|
adamc@357
|
220 ("\\<\\(fun\\|and\\)\\s-+\\(\\sw+\\)\\s-+[^ \t\n=]"
|
|
adamc@350
|
221 (1 font-lock-keyword-face)
|
|
adamc@360
|
222 (2 (amAttribute font-lock-function-name-face)))
|
|
adamc@357
|
223 ("\\<\\(\\(data\\)?type\\|con\\|class\\)\\s-+\\(\\sw+\\)"
|
|
adamc@350
|
224 (1 font-lock-keyword-face)
|
|
adamc@360
|
225 (3 (amAttribute font-lock-type-def-face)))
|
|
adamc@353
|
226 ("\\<\\(val\\|table\\|sequence\\)\\s-+\\(\\sw+\\>\\s-*\\)?\\(\\sw+\\)\\s-*[=:]"
|
|
adamc@350
|
227 (1 font-lock-keyword-face)
|
|
adamc@360
|
228 (3 (amAttribute font-lock-variable-name-face)))
|
|
adamc@350
|
229 ("\\<\\(structure\\|functor\\)\\s-+\\(\\sw+\\)"
|
|
adamc@350
|
230 (1 font-lock-keyword-face)
|
|
adamc@360
|
231 (2 (amAttribute font-lock-module-def-face)))
|
|
adamc@350
|
232 ("\\<\\(signature\\)\\s-+\\(\\sw+\\)"
|
|
adamc@350
|
233 (1 font-lock-keyword-face)
|
|
adamc@360
|
234 (2 (amAttribute font-lock-interface-def-face)))
|
|
adamc@350
|
235
|
|
adamc@350
|
236 (,urweb-keywords-regexp . font-lock-keyword-face)
|
|
adamc@351
|
237 (,urweb-sql-keywords-regexp . font-lock-sql-face)
|
|
adamc@351
|
238 (,urweb-cident-regexp . font-lock-cvariable-face))
|
|
adamc@350
|
239 "Regexps matching standard Ur/Web keywords.")
|
|
adamc@350
|
240
|
|
adamc@350
|
241 (defface font-lock-type-def-face
|
|
adamc@350
|
242 '((t (:bold t)))
|
|
adamc@350
|
243 "Font Lock mode face used to highlight type definitions."
|
|
adamc@350
|
244 :group 'font-lock-highlighting-faces)
|
|
adamc@350
|
245 (defvar font-lock-type-def-face 'font-lock-type-def-face
|
|
adamc@350
|
246 "Face name to use for type definitions.")
|
|
adamc@350
|
247
|
|
adamc@350
|
248 (defface font-lock-module-def-face
|
|
adamc@350
|
249 '((t (:bold t)))
|
|
adamc@350
|
250 "Font Lock mode face used to highlight module definitions."
|
|
adamc@350
|
251 :group 'font-lock-highlighting-faces)
|
|
adamc@350
|
252 (defvar font-lock-module-def-face 'font-lock-module-def-face
|
|
adamc@350
|
253 "Face name to use for module definitions.")
|
|
adamc@350
|
254
|
|
adamc@350
|
255 (defface font-lock-interface-def-face
|
|
adamc@350
|
256 '((t (:bold t)))
|
|
adamc@350
|
257 "Font Lock mode face used to highlight interface definitions."
|
|
adamc@350
|
258 :group 'font-lock-highlighting-faces)
|
|
adamc@350
|
259 (defvar font-lock-interface-def-face 'font-lock-interface-def-face
|
|
adamc@350
|
260 "Face name to use for interface definitions.")
|
|
adamc@350
|
261
|
|
adamc@350
|
262 (defface font-lock-sql-face
|
|
adamc@350
|
263 '((t (:bold t)))
|
|
adamc@350
|
264 "Font Lock mode face used to highlight SQL keywords."
|
|
adamc@350
|
265 :group 'font-lock-highlighting-faces)
|
|
adamc@350
|
266 (defvar font-lock-sql-face 'font-lock-sql-face
|
|
adamc@350
|
267 "Face name to use for SQL keywords.")
|
|
adamc@350
|
268
|
|
adamc@351
|
269 (defface font-lock-cvariable-face
|
|
adamc@351
|
270 '((t (:foreground "dark blue")))
|
|
adamc@351
|
271 "Font Lock mode face used to highlight capitalized identifiers."
|
|
adamc@351
|
272 :group 'font-lock-highlighting-faces)
|
|
adamc@351
|
273 (defvar font-lock-cvariable-face 'font-lock-cvariable-face
|
|
adamc@351
|
274 "Face name to use for capitalized identifiers.")
|
|
adamc@351
|
275
|
|
adamc@357
|
276 (defface font-lock-tag-face
|
|
adamc@357
|
277 '((t (:bold t)))
|
|
adamc@357
|
278 "Font Lock mode face used to highlight XML tags."
|
|
adamc@357
|
279 :group 'font-lock-highlighting-faces)
|
|
adamc@357
|
280 (defvar font-lock-tag-face 'font-lock-tag-face
|
|
adamc@357
|
281 "Face name to use for XML tags.")
|
|
adamc@357
|
282
|
|
adamc@358
|
283 (defface font-lock-attr-face
|
|
adamc@358
|
284 '((t (:bold t)))
|
|
adamc@358
|
285 "Font Lock mode face used to highlight XML attributes."
|
|
adamc@358
|
286 :group 'font-lock-highlighting-faces)
|
|
adamc@358
|
287 (defvar font-lock-attr-face 'font-lock-attr-face
|
|
adamc@358
|
288 "Face name to use for XML attributes.")
|
|
adamc@358
|
289
|
|
adamc@350
|
290 ;;
|
|
adamc@350
|
291 ;; Code to handle nested comments and unusual string escape sequences
|
|
adamc@350
|
292 ;;
|
|
adamc@350
|
293
|
|
adamc@350
|
294 (defsyntax urweb-syntax-prop-table
|
|
adamc@350
|
295 '((?\\ . ".") (?* . "."))
|
|
adamc@350
|
296 "Syntax table for text-properties")
|
|
adamc@350
|
297
|
|
adamc@350
|
298 ;; For Emacsen that have no built-in support for nested comments
|
|
adamc@350
|
299 (defun urweb-get-depth-st ()
|
|
adamc@350
|
300 (save-excursion
|
|
adamc@350
|
301 (let* ((disp (if (eq (char-before) ?\)) (progn (backward-char) -1) nil))
|
|
adamc@350
|
302 (_ (backward-char))
|
|
adamc@350
|
303 (disp (if (eq (char-before) ?\() (progn (backward-char) 0) disp))
|
|
adamc@350
|
304 (pt (point)))
|
|
adamc@350
|
305 (when disp
|
|
adamc@350
|
306 (let* ((depth
|
|
adamc@350
|
307 (save-match-data
|
|
adamc@350
|
308 (if (re-search-backward "\\*)\\|(\\*" nil t)
|
|
adamc@350
|
309 (+ (or (get-char-property (point) 'comment-depth) 0)
|
|
adamc@350
|
310 (case (char-after) (?\( 1) (?* 0))
|
|
adamc@350
|
311 disp)
|
|
adamc@350
|
312 0)))
|
|
adamc@350
|
313 (depth (if (> depth 0) depth)))
|
|
adamc@350
|
314 (put-text-property pt (1+ pt) 'comment-depth depth)
|
|
adamc@350
|
315 (when depth urweb-syntax-prop-table))))))
|
|
adamc@350
|
316
|
|
adamc@350
|
317 (defconst urweb-font-lock-syntactic-keywords
|
|
adamc@350
|
318 `(("^\\s-*\\(\\\\\\)" (1 ',urweb-syntax-prop-table))
|
|
adamc@350
|
319 ,@(unless urweb-builtin-nested-comments-flag
|
|
adamc@350
|
320 '(("(?\\(\\*\\))?" (1 (urweb-get-depth-st)))))))
|
|
adamc@350
|
321
|
|
adamc@350
|
322 (defconst urweb-font-lock-defaults
|
|
adamc@350
|
323 '(urweb-font-lock-keywords nil nil ((?_ . "w") (?' . "w")) nil
|
|
adamc@350
|
324 (font-lock-syntactic-keywords . urweb-font-lock-syntactic-keywords)))
|
|
adamc@350
|
325
|
|
adamc@350
|
326 ;;;;
|
|
adamc@350
|
327 ;;;; Imenu support
|
|
adamc@350
|
328 ;;;;
|
|
adamc@350
|
329
|
|
adamc@350
|
330 (defvar urweb-imenu-regexp
|
|
adamc@350
|
331 (concat "^[ \t]*\\(let[ \t]+\\)?"
|
|
adamc@350
|
332 (regexp-opt (append urweb-module-head-syms
|
|
adamc@350
|
333 '("and" "fun" "datatype" "type")) t)
|
|
adamc@350
|
334 "\\>"))
|
|
adamc@350
|
335
|
|
adamc@350
|
336 (defun urweb-imenu-create-index ()
|
|
adamc@350
|
337 (let (alist)
|
|
adamc@350
|
338 (goto-char (point-max))
|
|
adamc@350
|
339 (while (re-search-backward urweb-imenu-regexp nil t)
|
|
adamc@350
|
340 (save-excursion
|
|
adamc@350
|
341 (let ((kind (match-string 2))
|
|
adamc@350
|
342 (column (progn (goto-char (match-beginning 2)) (current-column)))
|
|
adamc@350
|
343 (location
|
|
adamc@350
|
344 (progn (goto-char (match-end 0))
|
|
adamc@350
|
345 (urweb-forward-spaces)
|
|
adamc@350
|
346 (when (looking-at urweb-tyvarseq-re)
|
|
adamc@350
|
347 (goto-char (match-end 0)))
|
|
adamc@350
|
348 (point)))
|
|
adamc@350
|
349 (name (urweb-forward-sym)))
|
|
adamc@350
|
350 ;; Eliminate trivial renamings.
|
|
adamc@350
|
351 (when (or (not (member kind '("structure" "signature")))
|
|
adamc@350
|
352 (progn (search-forward "=")
|
|
adamc@350
|
353 (urweb-forward-spaces)
|
|
adamc@350
|
354 (looking-at "sig\\|struct")))
|
|
adamc@350
|
355 (push (cons (concat (make-string (/ column 2) ?\ ) name) location)
|
|
adamc@350
|
356 alist)))))
|
|
adamc@350
|
357 alist))
|
|
adamc@350
|
358
|
|
adamc@350
|
359 ;;; MORE CODE FOR URWEB-MODE
|
|
adamc@350
|
360
|
|
adamc@350
|
361 ;;;###autoload (add-to-list 'load-path (file-name-directory load-file-name))
|
|
adamc@350
|
362 ;;;###autoload
|
|
adamc@362
|
363 (add-to-list 'auto-mode-alist '("\\.urs?\\'" . urweb-mode))
|
|
adamc@350
|
364
|
|
adamc@350
|
365 ;;;###autoload
|
|
adamc@350
|
366 (define-derived-mode urweb-mode fundamental-mode "Ur/Web"
|
|
adamc@350
|
367 "\\<urweb-mode-map>Major mode for editing Ur/Web code.
|
|
adamc@350
|
368 This mode runs `urweb-mode-hook' just before exiting.
|
|
adamc@350
|
369 \\{urweb-mode-map}"
|
|
adamc@350
|
370 (set (make-local-variable 'font-lock-defaults) urweb-font-lock-defaults)
|
|
adamc@358
|
371 (set (make-local-variable 'font-lock-multiline) 'undecided)
|
|
adamc@350
|
372 (set (make-local-variable 'outline-regexp) urweb-outline-regexp)
|
|
adamc@350
|
373 (set (make-local-variable 'imenu-create-index-function)
|
|
adamc@350
|
374 'urweb-imenu-create-index)
|
|
adamc@350
|
375 (set (make-local-variable 'add-log-current-defun-function)
|
|
adamc@350
|
376 'urweb-current-fun-name)
|
|
adamc@350
|
377 ;; Treat paragraph-separators in comments as paragraph-separators.
|
|
adamc@350
|
378 (set (make-local-variable 'paragraph-separate)
|
|
adamc@350
|
379 (concat "\\([ \t]*\\*)?\\)?\\(" paragraph-separate "\\)"))
|
|
adamc@350
|
380 (set (make-local-variable 'require-final-newline) t)
|
|
adamc@350
|
381 ;; forward-sexp-function is an experimental variable in my hacked Emacs.
|
|
adamc@350
|
382 (set (make-local-variable 'forward-sexp-function) 'urweb-user-forward-sexp)
|
|
adamc@350
|
383 ;; For XEmacs
|
|
adamc@350
|
384 (easy-menu-add urweb-mode-menu)
|
|
adamc@358
|
385
|
|
adamc@350
|
386 ;; Compatibility. FIXME: we should use `-' in Emacs-CVS.
|
|
adamc@350
|
387 (unless (boundp 'skeleton-positions) (set (make-local-variable '@) nil))
|
|
adamc@358
|
388
|
|
adamc@360
|
389 (urweb-mode-variables))
|
|
adamc@350
|
390
|
|
adamc@350
|
391 (defun urweb-mode-variables ()
|
|
adamc@350
|
392 (set-syntax-table urweb-mode-syntax-table)
|
|
adamc@350
|
393 (setq local-abbrev-table urweb-mode-abbrev-table)
|
|
adamc@350
|
394 ;; A paragraph is separated by blank lines or ^L only.
|
|
adamc@350
|
395
|
|
adamc@350
|
396 (set (make-local-variable 'indent-line-function) 'urweb-indent-line)
|
|
adamc@350
|
397 (set (make-local-variable 'comment-start) "(* ")
|
|
adamc@350
|
398 (set (make-local-variable 'comment-end) " *)")
|
|
adamc@350
|
399 (set (make-local-variable 'comment-nested) t)
|
|
adamc@350
|
400 ;;(set (make-local-variable 'block-comment-start) "* ")
|
|
adamc@350
|
401 ;;(set (make-local-variable 'block-comment-end) "")
|
|
adamc@350
|
402 ;; (set (make-local-variable 'comment-column) 40)
|
|
adamc@350
|
403 (set (make-local-variable 'comment-start-skip) "(\\*+\\s-*"))
|
|
adamc@350
|
404
|
|
adamc@350
|
405 (defun urweb-funname-of-and ()
|
|
adamc@350
|
406 "Name of the function this `and' defines, or nil if not a function.
|
|
adamc@350
|
407 Point has to be right after the `and' symbol and is not preserved."
|
|
adamc@350
|
408 (urweb-forward-spaces)
|
|
adamc@350
|
409 (if (looking-at urweb-tyvarseq-re) (goto-char (match-end 0)))
|
|
adamc@350
|
410 (let ((sym (urweb-forward-sym)))
|
|
adamc@350
|
411 (urweb-forward-spaces)
|
|
adamc@350
|
412 (unless (or (member sym '(nil "d="))
|
|
adamc@350
|
413 (member (urweb-forward-sym) '("d=")))
|
|
adamc@350
|
414 sym)))
|
|
adamc@350
|
415
|
|
adamc@350
|
416 ;;; INDENTATION !!!
|
|
adamc@350
|
417
|
|
adamc@350
|
418 (defun urweb-mark-function ()
|
|
adamc@350
|
419 "Synonym for `mark-paragraph' -- sorry.
|
|
adamc@350
|
420 If anyone has a good algorithm for this..."
|
|
adamc@350
|
421 (interactive)
|
|
adamc@350
|
422 (mark-paragraph))
|
|
adamc@350
|
423
|
|
adamc@350
|
424 (defun urweb-indent-line ()
|
|
adamc@350
|
425 "Indent current line of Ur/Web code."
|
|
adamc@350
|
426 (interactive)
|
|
adamc@350
|
427 (let ((savep (> (current-column) (current-indentation)))
|
|
adamc@350
|
428 (indent (max (or (ignore-errors (urweb-calculate-indentation)) 0) 0)))
|
|
adamc@350
|
429 (if savep
|
|
adamc@350
|
430 (save-excursion (indent-line-to indent))
|
|
adamc@350
|
431 (indent-line-to indent))))
|
|
adamc@350
|
432
|
|
adamc@350
|
433 (defun urweb-back-to-outer-indent ()
|
|
adamc@350
|
434 "Unindents to the next outer level of indentation."
|
|
adamc@350
|
435 (interactive)
|
|
adamc@350
|
436 (save-excursion
|
|
adamc@350
|
437 (beginning-of-line)
|
|
adamc@350
|
438 (skip-chars-forward "\t ")
|
|
adamc@350
|
439 (let ((start-column (current-column))
|
|
adamc@350
|
440 (indent (current-column)))
|
|
adamc@350
|
441 (if (> start-column 0)
|
|
adamc@350
|
442 (progn
|
|
adamc@350
|
443 (save-excursion
|
|
adamc@350
|
444 (while (>= indent start-column)
|
|
adamc@350
|
445 (if (re-search-backward "^[^\n]" nil t)
|
|
adamc@350
|
446 (setq indent (current-indentation))
|
|
adamc@350
|
447 (setq indent 0))))
|
|
adamc@350
|
448 (backward-delete-char-untabify (- start-column indent)))))))
|
|
adamc@350
|
449
|
|
adamc@350
|
450 (defun urweb-find-comment-indent ()
|
|
adamc@350
|
451 (save-excursion
|
|
adamc@350
|
452 (let ((depth 1))
|
|
adamc@350
|
453 (while (> depth 0)
|
|
adamc@350
|
454 (if (re-search-backward "(\\*\\|\\*)" nil t)
|
|
adamc@350
|
455 (cond
|
|
adamc@350
|
456 ;; FIXME: That's just a stop-gap.
|
|
adamc@350
|
457 ((eq (get-text-property (point) 'face) 'font-lock-string-face))
|
|
adamc@350
|
458 ((looking-at "*)") (incf depth))
|
|
adamc@350
|
459 ((looking-at comment-start-skip) (decf depth)))
|
|
adamc@350
|
460 (setq depth -1)))
|
|
adamc@350
|
461 (if (= depth 0)
|
|
adamc@350
|
462 (1+ (current-column))
|
|
adamc@350
|
463 nil))))
|
|
adamc@350
|
464
|
|
adamc@369
|
465 (defun urweb-empty-line ()
|
|
adamc@365
|
466 (save-excursion
|
|
adamc@369
|
467 (beginning-of-line)
|
|
adamc@365
|
468 (let ((start-pos (point)))
|
|
adamc@369
|
469 (end-of-line)
|
|
adamc@369
|
470 (not (re-search-backward "[^\n \t]" start-pos t)))))
|
|
adamc@365
|
471
|
|
adamc@369
|
472 (defun urweb-seek-back ()
|
|
adamc@369
|
473 (while (urweb-empty-line) (previous-line 1)))
|
|
adamc@363
|
474
|
|
adamc@369
|
475 (defun urweb-skip-matching-braces ()
|
|
adamc@367
|
476 "Skip backwards past matching brace pairs, to calculate XML indentation after quoted Ur code"
|
|
adamc@367
|
477 (beginning-of-line)
|
|
adamc@367
|
478 (let ((start-pos (point))
|
|
adamc@367
|
479 (depth 0))
|
|
adamc@367
|
480 (end-of-line)
|
|
adamc@367
|
481 (while (re-search-backward "[{}]" start-pos t)
|
|
adamc@367
|
482 (cond
|
|
adamc@367
|
483 ((looking-at "}")
|
|
adamc@367
|
484 (incf depth))
|
|
adamc@367
|
485 ((looking-at "{")
|
|
adamc@367
|
486 (decf depth))))
|
|
adamc@367
|
487 (while (and (> depth 0) (re-search-backward "[{}]" nil t)
|
|
adamc@367
|
488 (cond
|
|
adamc@367
|
489 ((looking-at "}")
|
|
adamc@367
|
490 (incf depth))
|
|
adamc@367
|
491 ((looking-at "{")
|
|
adamc@367
|
492 (decf depth)))))))
|
|
adamc@367
|
493
|
|
adamc@369
|
494 (defun urweb-new-tags ()
|
|
adamc@369
|
495 "Decide if the previous line of XML introduced unclosed tags"
|
|
adamc@369
|
496 (save-excursion
|
|
adamc@369
|
497 (let ((start-pos (point))
|
|
adamc@369
|
498 (depth 0)
|
|
adamc@369
|
499 (done nil))
|
|
adamc@369
|
500 (previous-line 1)
|
|
adamc@369
|
501 (urweb-seek-back)
|
|
adamc@369
|
502 (urweb-skip-matching-braces)
|
|
adamc@369
|
503 (urweb-seek-back)
|
|
adamc@369
|
504 (beginning-of-line)
|
|
adamc@369
|
505 (while (and (not done) (search-forward "<" start-pos t))
|
|
adamc@396
|
506 (cond
|
|
adamc@396
|
507 ((or (looking-at " ") (looking-at "="))
|
|
adamc@396
|
508 nil)
|
|
adamc@396
|
509 ((looking-at "/")
|
|
adamc@396
|
510 (if (re-search-forward "[^\\sw]>" start-pos t)
|
|
adamc@369
|
511 (when (> depth 0) (decf depth))
|
|
adamc@396
|
512 (setq done t)))
|
|
adamc@396
|
513 (t
|
|
adamc@396
|
514 (if (re-search-forward "[^\\sw]>" start-pos t)
|
|
adamc@369
|
515 (if (not (save-excursion (backward-char 2) (looking-at "/")))
|
|
adamc@369
|
516 (incf depth))
|
|
adamc@396
|
517 (setq done t)))))
|
|
adamc@369
|
518 (and (not done) (> depth 0)))))
|
|
adamc@369
|
519
|
|
adamc@363
|
520 (defun urweb-tag-matching-indent ()
|
|
adamc@363
|
521 "Seek back to a matching opener tag and get its line's indent"
|
|
adamc@363
|
522 (save-excursion
|
|
adamc@369
|
523 (end-of-line)
|
|
adamc@369
|
524 (search-backward "</" nil t)
|
|
adamc@368
|
525 (urweb-tag-matcher)
|
|
adamc@369
|
526 (beginning-of-line)
|
|
adamc@369
|
527 (current-indentation)))
|
|
adamc@363
|
528
|
|
adamc@373
|
529 (defconst urweb-sql-main-starters
|
|
adamc@374
|
530 '("SQL" "SELECT" "INSERT" "UPDATE" "DELETE"))
|
|
adamc@373
|
531
|
|
adamc@372
|
532 (defconst urweb-sql-starters
|
|
adamc@373
|
533 (append urweb-sql-main-starters
|
|
adamc@373
|
534 '("^\\s-+FROM" "WHERE" "GROUP" "ORDER" "HAVING" "LIMIT" "OFFSET"
|
|
adamc@373
|
535 "VALUES" "SET")))
|
|
adamc@372
|
536
|
|
adamc@373
|
537 (defconst urweb-sql-main-starters-re
|
|
adamc@373
|
538 (urweb-syms-re urweb-sql-main-starters))
|
|
adamc@372
|
539 (defconst urweb-sql-starters-re
|
|
adamc@372
|
540 (urweb-syms-re urweb-sql-starters))
|
|
adamc@372
|
541
|
|
adamc@374
|
542 (defconst urweb-sql-main-starters-paren-re
|
|
adamc@374
|
543 (concat "(" urweb-sql-main-starters-re))
|
|
adamc@374
|
544
|
|
adamc@374
|
545 (defun urweb-in-sql ()
|
|
adamc@374
|
546 "Check if the point is in a block of SQL syntax."
|
|
adamc@374
|
547 (save-excursion
|
|
adamc@375
|
548 (let ((start-pos (point))
|
|
adamc@375
|
549 (depth 0)
|
|
adamc@375
|
550 done
|
|
adamc@375
|
551 (good t))
|
|
adamc@375
|
552 (when (re-search-backward urweb-sql-main-starters-paren-re nil t)
|
|
adamc@375
|
553 (forward-char)
|
|
adamc@375
|
554 (while (and (not done) (re-search-forward "[()]" start-pos t))
|
|
adamc@375
|
555 (save-excursion
|
|
adamc@375
|
556 (backward-char)
|
|
adamc@375
|
557 (cond
|
|
adamc@375
|
558 ((looking-at ")")
|
|
adamc@375
|
559 (cond
|
|
adamc@375
|
560 ((= depth 0) (setq done t) (setq good nil))
|
|
adamc@375
|
561 (t (decf depth))))
|
|
adamc@375
|
562 ((looking-at "(")
|
|
adamc@375
|
563 (incf depth)))))
|
|
adamc@375
|
564 good))))
|
|
adamc@374
|
565
|
|
adamc@374
|
566 (defun urweb-sql-depth ()
|
|
adamc@374
|
567 "Check if the point is in a block of SQL syntax.
|
|
adamc@374
|
568 Returns the paren nesting depth if so, and nil otherwise."
|
|
adamc@374
|
569 (save-excursion
|
|
adamc@374
|
570 (let ((depth 0)
|
|
adamc@374
|
571 done)
|
|
adamc@374
|
572 (while (and (not done)
|
|
adamc@374
|
573 (re-search-backward "[()]" nil t))
|
|
adamc@374
|
574 (cond
|
|
adamc@374
|
575 ((looking-at ")")
|
|
adamc@374
|
576 (decf depth))
|
|
adamc@374
|
577 ((looking-at "(")
|
|
adamc@374
|
578 (if (looking-at urweb-sql-main-starters-paren-re)
|
|
adamc@374
|
579 (setq done t)
|
|
adamc@374
|
580 (incf depth)))))
|
|
adamc@374
|
581 (max 0 depth))))
|
|
adamc@374
|
582
|
|
adamc@350
|
583 (defun urweb-calculate-indentation ()
|
|
adamc@350
|
584 (save-excursion
|
|
adamc@350
|
585 (beginning-of-line) (skip-chars-forward "\t ")
|
|
adamc@350
|
586 (urweb-with-ist
|
|
adamc@350
|
587 ;; Indentation for comments alone on a line, matches the
|
|
adamc@350
|
588 ;; proper indentation of the next line.
|
|
adamc@350
|
589 (when (looking-at "(\\*") (urweb-forward-spaces))
|
|
adamc@350
|
590 (let (data
|
|
adamc@350
|
591 (sym (save-excursion (urweb-forward-sym))))
|
|
adamc@350
|
592 (or
|
|
adamc@350
|
593 ;; Allow the user to override the indentation.
|
|
adamc@350
|
594 (when (looking-at (concat ".*" (regexp-quote comment-start)
|
|
adamc@350
|
595 "[ \t]*fixindent[ \t]*"
|
|
adamc@350
|
596 (regexp-quote comment-end)))
|
|
adamc@350
|
597 (current-indentation))
|
|
adamc@350
|
598
|
|
adamc@350
|
599 ;; Continued comment.
|
|
adamc@350
|
600 (and (looking-at "\\*") (urweb-find-comment-indent))
|
|
adamc@350
|
601
|
|
adamc@363
|
602 (and (urweb-in-xml)
|
|
adamc@363
|
603 (let ((prev-indent (save-excursion
|
|
adamc@363
|
604 (previous-line 1)
|
|
adamc@369
|
605 (urweb-seek-back)
|
|
adamc@369
|
606 (urweb-skip-matching-braces)
|
|
adamc@369
|
607 (urweb-seek-back)
|
|
adamc@363
|
608 (current-indentation))))
|
|
adamc@363
|
609 (cond
|
|
adamc@363
|
610 ((looking-at "</")
|
|
adamc@363
|
611 (urweb-tag-matching-indent))
|
|
adamc@363
|
612 ((urweb-new-tags)
|
|
adamc@363
|
613 (+ prev-indent 2))
|
|
adamc@363
|
614 (t
|
|
adamc@363
|
615 prev-indent))))
|
|
adamc@363
|
616
|
|
adamc@350
|
617 ;; Continued string ? (Added 890113 lbn)
|
|
adamc@350
|
618 (and (looking-at "\\\\")
|
|
adamc@350
|
619 (save-excursion
|
|
adamc@350
|
620 (if (save-excursion (previous-line 1)
|
|
adamc@350
|
621 (beginning-of-line)
|
|
adamc@350
|
622 (looking-at "[\t ]*\\\\"))
|
|
adamc@350
|
623 (progn (previous-line 1) (current-indentation))
|
|
adamc@350
|
624 (if (re-search-backward "[^\\\\]\"" nil t)
|
|
adamc@350
|
625 (1+ (current-column))
|
|
adamc@350
|
626 0))))
|
|
adamc@350
|
627
|
|
adamc@350
|
628 ;; Closing parens. Could be handled below with `urweb-indent-relative'?
|
|
adamc@350
|
629 (and (looking-at "\\s)")
|
|
adamc@350
|
630 (save-excursion
|
|
adamc@350
|
631 (skip-syntax-forward ")")
|
|
adamc@350
|
632 (backward-sexp 1)
|
|
adamc@350
|
633 (if (urweb-dangling-sym)
|
|
adamc@350
|
634 (urweb-indent-default 'noindent)
|
|
adamc@350
|
635 (current-column))))
|
|
adamc@350
|
636
|
|
adamc@374
|
637 (and (or (looking-at "FROM") (looking-at urweb-sql-starters-re))
|
|
adamc@386
|
638
|
|
adamc@372
|
639 (save-excursion
|
|
adamc@372
|
640 (and (re-search-backward urweb-sql-starters-re nil t)
|
|
adamc@373
|
641 (if (looking-at urweb-sql-main-starters-re)
|
|
adamc@373
|
642 (current-column)
|
|
adamc@373
|
643 (current-indentation)))))
|
|
adamc@372
|
644
|
|
adamc@374
|
645 (and (urweb-in-sql)
|
|
adamc@374
|
646 (setq data (urweb-sql-depth))
|
|
adamc@374
|
647 (save-excursion
|
|
adamc@374
|
648 (re-search-backward urweb-sql-starters-re nil t)
|
|
adamc@374
|
649 (+ (current-column) 2 (* 2 data))))
|
|
adamc@374
|
650
|
|
adamc@350
|
651 (and (setq data (assoc sym urweb-close-paren))
|
|
adamc@350
|
652 (urweb-indent-relative sym data))
|
|
adamc@350
|
653
|
|
adamc@350
|
654 (and (member sym urweb-starters-syms)
|
|
adamc@350
|
655 (urweb-indent-starter sym))
|
|
adamc@350
|
656
|
|
adamc@350
|
657 (and (string= sym "|") (urweb-indent-pipe))
|
|
adamc@350
|
658
|
|
adamc@350
|
659 (urweb-indent-arg)
|
|
adamc@350
|
660 (urweb-indent-default))))))
|
|
adamc@350
|
661
|
|
adamc@350
|
662 (defsubst urweb-bolp ()
|
|
adamc@350
|
663 (save-excursion (skip-chars-backward " \t|") (bolp)))
|
|
adamc@350
|
664
|
|
adamc@350
|
665 (defun urweb-indent-starter (orig-sym)
|
|
adamc@350
|
666 "Return the indentation to use for a symbol in `urweb-starters-syms'.
|
|
adamc@350
|
667 Point should be just before the symbol ORIG-SYM and is not preserved."
|
|
adamc@350
|
668 (let ((sym (unless (save-excursion (urweb-backward-arg))
|
|
adamc@350
|
669 (urweb-backward-spaces)
|
|
adamc@350
|
670 (urweb-backward-sym))))
|
|
adamc@350
|
671 (if (member sym '(";" "d=")) (setq sym nil))
|
|
adamc@350
|
672 (if sym (urweb-get-sym-indent sym)
|
|
adamc@350
|
673 ;; FIXME: this can take a *long* time !!
|
|
adamc@350
|
674 (setq sym (urweb-find-matching-starter urweb-starters-syms))
|
|
adamc@350
|
675 ;; Don't align with `and' because it might be specially indented.
|
|
adamc@350
|
676 (if (and (or (equal orig-sym "and") (not (equal sym "and")))
|
|
adamc@350
|
677 (urweb-bolp))
|
|
adamc@350
|
678 (+ (current-column)
|
|
adamc@350
|
679 (if (and urweb-rightalign-and (equal orig-sym "and"))
|
|
adamc@350
|
680 (- (length sym) 3) 0))
|
|
adamc@350
|
681 (urweb-indent-starter orig-sym)))))
|
|
adamc@350
|
682
|
|
adamc@350
|
683 (defun urweb-indent-relative (sym data)
|
|
adamc@350
|
684 (save-excursion
|
|
adamc@350
|
685 (urweb-forward-sym) (urweb-backward-sexp nil)
|
|
adamc@350
|
686 (unless (second data) (urweb-backward-spaces) (urweb-backward-sym))
|
|
adamc@350
|
687 (+ (or (cdr (assoc sym urweb-symbol-indent)) 0)
|
|
adamc@350
|
688 (urweb-delegated-indent))))
|
|
adamc@350
|
689
|
|
adamc@350
|
690 (defun urweb-indent-pipe ()
|
|
adamc@350
|
691 (let ((sym (urweb-find-matching-starter urweb-pipeheads
|
|
adamc@350
|
692 (urweb-op-prec "|" 'back))))
|
|
adamc@350
|
693 (when sym
|
|
adamc@350
|
694 (if (string= sym "|")
|
|
adamc@350
|
695 (if (urweb-bolp) (current-column) (urweb-indent-pipe))
|
|
adamc@350
|
696 (let ((pipe-indent (or (cdr (assoc "|" urweb-symbol-indent)) -2)))
|
|
adamc@350
|
697 (when (or (member sym '("datatype"))
|
|
adamc@350
|
698 (and (equal sym "and")
|
|
adamc@350
|
699 (save-excursion
|
|
adamc@350
|
700 (forward-word 1)
|
|
adamc@350
|
701 (not (urweb-funname-of-and)))))
|
|
adamc@350
|
702 (re-search-forward "="))
|
|
adamc@350
|
703 (urweb-forward-sym)
|
|
adamc@350
|
704 (urweb-forward-spaces)
|
|
adamc@350
|
705 (+ pipe-indent (current-column)))))))
|
|
adamc@350
|
706
|
|
adamc@350
|
707 (defun urweb-find-forward (re)
|
|
adamc@350
|
708 (urweb-forward-spaces)
|
|
adamc@350
|
709 (while (and (not (looking-at re))
|
|
adamc@350
|
710 (progn
|
|
adamc@350
|
711 (or (ignore-errors (forward-sexp 1) t) (forward-char 1))
|
|
adamc@350
|
712 (urweb-forward-spaces)
|
|
adamc@350
|
713 (not (looking-at re))))))
|
|
adamc@350
|
714
|
|
adamc@350
|
715 (defun urweb-indent-arg ()
|
|
adamc@350
|
716 (and (save-excursion (ignore-errors (urweb-forward-arg)))
|
|
adamc@350
|
717 ;;(not (looking-at urweb-not-arg-re))
|
|
adamc@350
|
718 ;; looks like a function or an argument
|
|
adamc@350
|
719 (urweb-move-if (urweb-backward-arg))
|
|
adamc@350
|
720 ;; an argument
|
|
adamc@350
|
721 (if (save-excursion (not (urweb-backward-arg)))
|
|
adamc@350
|
722 ;; a first argument
|
|
adamc@350
|
723 (+ (current-column) urweb-indent-args)
|
|
adamc@350
|
724 ;; not a first arg
|
|
adamc@350
|
725 (while (and (/= (current-column) (current-indentation))
|
|
adamc@350
|
726 (urweb-move-if (urweb-backward-arg))))
|
|
adamc@350
|
727 (unless (save-excursion (urweb-backward-arg))
|
|
adamc@350
|
728 ;; all earlier args are on the same line
|
|
adamc@350
|
729 (urweb-forward-arg) (urweb-forward-spaces))
|
|
adamc@350
|
730 (current-column))))
|
|
adamc@350
|
731
|
|
adamc@350
|
732 (defun urweb-get-indent (data sym)
|
|
adamc@350
|
733 (let (d)
|
|
adamc@350
|
734 (cond
|
|
adamc@350
|
735 ((not (listp data)) data)
|
|
adamc@350
|
736 ((setq d (member sym data)) (cadr d))
|
|
adamc@350
|
737 ((and (consp data) (not (stringp (car data)))) (car data))
|
|
adamc@350
|
738 (t urweb-indent-level))))
|
|
adamc@350
|
739
|
|
adamc@350
|
740 (defun urweb-dangling-sym ()
|
|
adamc@350
|
741 "Non-nil if the symbol after point is dangling.
|
|
adamc@350
|
742 The symbol can be an Ur/Web symbol or an open-paren. \"Dangling\" means that
|
|
adamc@350
|
743 it is not on its own line but is the last element on that line."
|
|
adamc@350
|
744 (save-excursion
|
|
adamc@350
|
745 (and (not (urweb-bolp))
|
|
adamc@350
|
746 (< (urweb-point-after (end-of-line))
|
|
adamc@350
|
747 (urweb-point-after (or (urweb-forward-sym) (skip-syntax-forward "("))
|
|
adamc@350
|
748 (urweb-forward-spaces))))))
|
|
adamc@350
|
749
|
|
adamc@350
|
750 (defun urweb-delegated-indent ()
|
|
adamc@350
|
751 (if (urweb-dangling-sym)
|
|
adamc@350
|
752 (urweb-indent-default 'noindent)
|
|
adamc@350
|
753 (urweb-move-if (backward-word 1)
|
|
adamc@350
|
754 (looking-at urweb-agglomerate-re))
|
|
adamc@350
|
755 (current-column)))
|
|
adamc@350
|
756
|
|
adamc@350
|
757 (defun urweb-get-sym-indent (sym &optional style)
|
|
adamc@350
|
758 "Find the indentation for the SYM we're `looking-at'.
|
|
adamc@350
|
759 If indentation is delegated, point will move to the start of the parent.
|
|
adamc@350
|
760 Optional argument STYLE is currently ignored."
|
|
adamc@371
|
761 ;;(assert (equal sym (save-excursion (urweb-forward-sym))))
|
|
adamc@350
|
762 (save-excursion
|
|
adamc@350
|
763 (let ((delegate (and (not (equal sym "end")) (assoc sym urweb-close-paren)))
|
|
adamc@350
|
764 (head-sym sym))
|
|
adamc@350
|
765 (when (and delegate (not (eval (third delegate))))
|
|
adamc@350
|
766 ;;(urweb-find-match-backward sym delegate)
|
|
adamc@350
|
767 (urweb-forward-sym) (urweb-backward-sexp nil)
|
|
adamc@350
|
768 (setq head-sym
|
|
adamc@350
|
769 (if (second delegate)
|
|
adamc@350
|
770 (save-excursion (urweb-forward-sym))
|
|
adamc@350
|
771 (urweb-backward-spaces) (urweb-backward-sym))))
|
|
adamc@350
|
772 (let ((idata (assoc head-sym urweb-indent-rule)))
|
|
adamc@350
|
773 (when idata
|
|
adamc@350
|
774 ;;(if (or style (not delegate))
|
|
adamc@350
|
775 ;; normal indentation
|
|
adamc@350
|
776 (let ((indent (urweb-get-indent (cdr idata) sym)))
|
|
adamc@350
|
777 (when indent (+ (urweb-delegated-indent) indent)))
|
|
adamc@350
|
778 ;; delgate indentation to the parent
|
|
adamc@350
|
779 ;;(urweb-forward-sym) (urweb-backward-sexp nil)
|
|
adamc@350
|
780 ;;(let* ((parent-sym (save-excursion (urweb-forward-sym)))
|
|
adamc@350
|
781 ;; (parent-indent (cdr (assoc parent-sym urweb-indent-starters))))
|
|
adamc@350
|
782 ;; check the special rules
|
|
adamc@350
|
783 ;;(+ (urweb-delegated-indent)
|
|
adamc@350
|
784 ;; (or (urweb-get-indent (cdr indent-data) 1 'strict)
|
|
adamc@350
|
785 ;; (urweb-get-indent (cdr parent-indent) 1 'strict)
|
|
adamc@350
|
786 ;; (urweb-get-indent (cdr indent-data) 0)
|
|
adamc@350
|
787 ;; (urweb-get-indent (cdr parent-indent) 0))))))))
|
|
adamc@350
|
788 )))))
|
|
adamc@350
|
789
|
|
adamc@350
|
790 (defun urweb-indent-default (&optional noindent)
|
|
adamc@386
|
791 (condition-case nil
|
|
adamc@386
|
792 (progn
|
|
adamc@386
|
793 (let* ((sym-after (save-excursion (urweb-forward-sym)))
|
|
adamc@386
|
794 (_ (urweb-backward-spaces))
|
|
adamc@386
|
795 (sym-before (urweb-backward-sym))
|
|
adamc@386
|
796 (sym-indent (and sym-before (urweb-get-sym-indent sym-before)))
|
|
adamc@386
|
797 (indent-after (or (cdr (assoc sym-after urweb-symbol-indent)) 0)))
|
|
adamc@386
|
798 (when (equal sym-before "end")
|
|
adamc@386
|
799 ;; I don't understand what's really happening here, but when
|
|
adamc@386
|
800 ;; it's `end' clearly, we need to do something special.
|
|
adamc@386
|
801 (forward-word 1)
|
|
adamc@386
|
802 (setq sym-before nil sym-indent nil))
|
|
adamc@386
|
803 (cond
|
|
adamc@386
|
804 (sym-indent
|
|
adamc@386
|
805 ;; the previous sym is an indentation introducer: follow the rule
|
|
adamc@386
|
806 (if noindent
|
|
adamc@386
|
807 ;;(current-column)
|
|
adamc@386
|
808 sym-indent
|
|
adamc@386
|
809 (+ sym-indent indent-after)))
|
|
adamc@386
|
810 ;; If we're just after a hanging open paren.
|
|
adamc@386
|
811 ((and (eq (char-syntax (preceding-char)) ?\()
|
|
adamc@386
|
812 (save-excursion (backward-char) (urweb-dangling-sym)))
|
|
adamc@386
|
813 (backward-char)
|
|
adamc@386
|
814 (urweb-indent-default))
|
|
adamc@386
|
815 (t
|
|
adamc@386
|
816 ;; default-default
|
|
adamc@386
|
817 (let* ((prec-after (urweb-op-prec sym-after 'back))
|
|
adamc@386
|
818 (prec (or (urweb-op-prec sym-before 'back) prec-after 100)))
|
|
adamc@386
|
819 ;; go back until you hit a symbol that has a lower prec than the
|
|
adamc@386
|
820 ;; "current one", or until you backed over a sym that has the same prec
|
|
adamc@386
|
821 ;; but is at the beginning of a line.
|
|
adamc@386
|
822 (while (and (not (urweb-bolp))
|
|
adamc@386
|
823 (while (urweb-move-if (urweb-backward-sexp (1- prec))))
|
|
adamc@386
|
824 (not (urweb-bolp)))
|
|
adamc@386
|
825 (while (urweb-move-if (urweb-backward-sexp prec))))
|
|
adamc@386
|
826 (if noindent
|
|
adamc@386
|
827 ;; the `noindent' case does back over an introductory symbol
|
|
adamc@386
|
828 ;; such as `fun', ...
|
|
adamc@386
|
829 (progn
|
|
adamc@386
|
830 (urweb-move-if
|
|
adamc@386
|
831 (urweb-backward-spaces)
|
|
adamc@386
|
832 (member (urweb-backward-sym) urweb-starters-syms))
|
|
adamc@386
|
833 (current-column))
|
|
adamc@386
|
834 ;; Use `indent-after' for cases such as when , or ; should be
|
|
adamc@386
|
835 ;; outdented so that their following terms are aligned.
|
|
adamc@386
|
836 (+ (if (progn
|
|
adamc@386
|
837 (if (equal sym-after ";")
|
|
adamc@386
|
838 (urweb-move-if
|
|
adamc@386
|
839 (urweb-backward-spaces)
|
|
adamc@386
|
840 (member (urweb-backward-sym) urweb-starters-syms)))
|
|
adamc@386
|
841 (and sym-after (not (looking-at sym-after))))
|
|
adamc@386
|
842 indent-after 0)
|
|
adamc@386
|
843 (current-column))))))))
|
|
adamc@386
|
844 (error 0)))
|
|
adamc@350
|
845
|
|
adamc@350
|
846
|
|
adamc@350
|
847 ;; maybe `|' should be set to word-syntax in our temp syntax table ?
|
|
adamc@350
|
848 (defun urweb-current-indentation ()
|
|
adamc@350
|
849 (save-excursion
|
|
adamc@350
|
850 (beginning-of-line)
|
|
adamc@350
|
851 (skip-chars-forward " \t|")
|
|
adamc@350
|
852 (current-column)))
|
|
adamc@350
|
853
|
|
adamc@350
|
854
|
|
adamc@350
|
855 (defun urweb-find-matching-starter (syms &optional prec)
|
|
adamc@350
|
856 (let (sym)
|
|
adamc@350
|
857 (ignore-errors
|
|
adamc@350
|
858 (while
|
|
adamc@350
|
859 (progn (urweb-backward-sexp prec)
|
|
adamc@350
|
860 (setq sym (save-excursion (urweb-forward-sym)))
|
|
adamc@350
|
861 (not (or (member sym syms) (bobp)))))
|
|
adamc@350
|
862 (if (member sym syms) sym))))
|
|
adamc@350
|
863
|
|
adamc@350
|
864 (defun urweb-skip-siblings ()
|
|
adamc@350
|
865 (while (and (not (bobp)) (urweb-backward-arg))
|
|
adamc@350
|
866 (urweb-find-matching-starter urweb-starters-syms)))
|
|
adamc@350
|
867
|
|
adamc@350
|
868 (defun urweb-beginning-of-defun ()
|
|
adamc@350
|
869 (let ((sym (urweb-find-matching-starter urweb-starters-syms)))
|
|
adamc@350
|
870 (if (member sym '("fun" "and" "functor" "signature" "structure"
|
|
adamc@350
|
871 "datatype"))
|
|
adamc@350
|
872 (save-excursion (urweb-forward-sym) (urweb-forward-spaces)
|
|
adamc@350
|
873 (urweb-forward-sym))
|
|
adamc@350
|
874 ;; We're inside a "non function declaration": let's skip all other
|
|
adamc@350
|
875 ;; declarations that we find at the same level and try again.
|
|
adamc@350
|
876 (urweb-skip-siblings)
|
|
adamc@350
|
877 ;; Obviously, let's not try again if we're at bobp.
|
|
adamc@350
|
878 (unless (bobp) (urweb-beginning-of-defun)))))
|
|
adamc@350
|
879
|
|
adamc@350
|
880 (defcustom urweb-max-name-components 3
|
|
adamc@350
|
881 "Maximum number of components to use for the current function name."
|
|
adamc@350
|
882 :group 'urweb
|
|
adamc@350
|
883 :type 'integer)
|
|
adamc@350
|
884
|
|
adamc@350
|
885 (defun urweb-current-fun-name ()
|
|
adamc@350
|
886 (save-excursion
|
|
adamc@350
|
887 (let ((count urweb-max-name-components)
|
|
adamc@350
|
888 fullname name)
|
|
adamc@350
|
889 (end-of-line)
|
|
adamc@350
|
890 (while (and (> count 0)
|
|
adamc@350
|
891 (setq name (urweb-beginning-of-defun)))
|
|
adamc@350
|
892 (decf count)
|
|
adamc@350
|
893 (setq fullname (if fullname (concat name "." fullname) name))
|
|
adamc@350
|
894 ;; Skip all other declarations that we find at the same level.
|
|
adamc@350
|
895 (urweb-skip-siblings))
|
|
adamc@350
|
896 fullname)))
|
|
adamc@350
|
897
|
|
adamc@358
|
898
|
|
adamc@358
|
899
|
|
adamc@350
|
900 (provide 'urweb-mode)
|
|
adamc@350
|
901
|
|
adamc@350
|
902 ;;; urweb-mode.el ends here
|
