1 ;;; fuel-syntax.el --- auxiliar definitions for factor code navigation.
\r
3 ;; Copyright (C) 2008, 2009 Jose Antonio Ortega Ruiz
\r
4 ;; See http://factorcode.org/license.txt for BSD license.
\r
6 ;; Author: Jose Antonio Ortega Ruiz <jao@gnu.org>
\r
7 ;; Keywords: languages
\r
11 ;; Auxiliar constants and functions to parse factor code.
\r
15 (require 'thingatpt)
\r
18 ;;; Thing-at-point support for factor symbols:
\r
20 (defun fuel-syntax--beginning-of-symbol ()
\r
21 "Move point to the beginning of the current symbol."
\r
22 (skip-syntax-backward "w_()"))
\r
24 (defsubst fuel-syntax--beginning-of-symbol-pos ()
\r
25 (save-excursion (fuel-syntax--beginning-of-symbol) (point)))
\r
27 (defun fuel-syntax--end-of-symbol ()
\r
28 "Move point to the end of the current symbol."
\r
29 (skip-syntax-forward "w_()"))
\r
31 (defsubst fuel-syntax--end-of-symbol-pos ()
\r
32 (save-excursion (fuel-syntax--end-of-symbol) (point)))
\r
34 (put 'factor-symbol 'end-op 'fuel-syntax--end-of-symbol)
\r
35 (put 'factor-symbol 'beginning-op 'fuel-syntax--beginning-of-symbol)
\r
37 (defsubst fuel-syntax-symbol-at-point ()
\r
38 (let ((s (substring-no-properties (thing-at-point 'factor-symbol))))
\r
39 (and (> (length s) 0) s)))
\r
45 (defconst fuel-syntax--parsing-words
\r
46 '(":" "::" ";" "&:" "<<" "<PRIVATE" ">>"
\r
47 "ABOUT:" "ALIAS:" "ALIEN:" "ARTICLE:"
\r
49 "C:" "CALLBACK:" "C-ENUM:" "C-STRUCT:" "C-TYPE:" "C-UNION:" "CHAR:" "CONSTANT:" "call-next-method"
\r
51 "EBNF:" ";EBNF" "ERROR:" "EXCLUDE:"
\r
52 "f" "FORGET:" "FROM:" "FUNCTION:"
\r
53 "GAME:" "GENERIC#" "GENERIC:"
\r
54 "GLSL-SHADER:" "GLSL-PROGRAM:"
\r
55 "HELP:" "HEX:" "HOOK:"
\r
56 "IN:" "initial:" "INSTANCE:" "INTERSECTION:"
\r
58 "M:" "M::" "MACRO:" "MACRO::" "MAIN:" "MATH:"
\r
59 "MEMO:" "MEMO:" "METHOD:" "MIXIN:"
\r
61 "POSTPONE:" "PREDICATE:" "PRIMITIVE:" "PRIVATE>" "PROVIDE:"
\r
62 "QUALIFIED-WITH:" "QUALIFIED:"
\r
63 "read-only" "RENAME:" "REQUIRE:" "REQUIRES:"
\r
64 "SINGLETON:" "SINGLETONS:" "SLOT:" "SPECIALIZED-ARRAY:" "SPECIALIZED-ARRAYS:" "STRING:" "STRUCT:" "SYMBOL:" "SYMBOLS:" "SYNTAX:"
\r
65 "TUPLE:" "t" "t?" "TYPEDEF:" "TYPED:" "TYPED::"
\r
66 "UNIFORM-TUPLE:" "UNION:" "UNION-STRUCT:" "USE:" "USING:"
\r
67 "VARS:" "VERTEX-FORMAT:"))
\r
69 (defconst fuel-syntax--parsing-words-regex
\r
70 (regexp-opt fuel-syntax--parsing-words 'words))
\r
72 (defconst fuel-syntax--bracers
\r
73 '("B" "BV" "C" "CS" "H" "T" "V" "W"))
\r
75 (defconst fuel-syntax--brace-words-regex
\r
76 (format "%s{" (regexp-opt fuel-syntax--bracers t)))
\r
78 (defconst fuel-syntax--declaration-words
\r
79 '("flushable" "foldable" "inline" "parsing" "recursive" "delimiter"))
\r
81 (defconst fuel-syntax--declaration-words-regex
\r
82 (regexp-opt fuel-syntax--declaration-words 'words))
\r
84 (defsubst fuel-syntax--second-word-regex (prefixes)
\r
85 (format "%s +\\([^ \r\n]+\\)" (regexp-opt prefixes t)))
\r
87 (defconst fuel-syntax--method-definition-regex
\r
88 "^M::? +\\([^ ]+\\) +\\([^ ]+\\)")
\r
90 (defconst fuel-syntax--integer-regex
\r
93 (defconst fuel-syntax--raw-float-regex
\r
94 "[0-9]*\\.[0-9]*\\([eE][+-]?[0-9]+\\)?")
\r
96 (defconst fuel-syntax--float-regex
\r
97 (format "\\_<-?%s\\_>" fuel-syntax--raw-float-regex))
\r
99 (defconst fuel-syntax--number-regex
\r
100 (format "\\([0-9]+\\|%s\\)" fuel-syntax--raw-float-regex))
\r
102 (defconst fuel-syntax--ratio-regex
\r
103 (format "\\_<[+-]?%s/-?%s\\_>"
\r
104 fuel-syntax--number-regex
\r
105 fuel-syntax--number-regex))
\r
107 (defconst fuel-syntax--bad-string-regex
\r
108 "\\_<\"[^>]\\([^\"\n]\\|\\\\\"\\)*\n")
\r
110 (defconst fuel-syntax--word-definition-regex
\r
111 (format "\\_<\\(%s\\)?: +\\_<\\(\\w+\\)\\_>"
\r
113 '(":" "GENERIC" "DEFER" "HOOK" "MAIN" "MATH" "POSTPONE"
\r
114 "SYMBOL" "SYNTAX" "TYPED" "RENAME"))))
\r
116 (defconst fuel-syntax--alias-definition-regex
\r
117 "^ALIAS: +\\(\\_<.+?\\_>\\) +\\(\\_<.+?\\_>\\)")
\r
119 (defconst fuel-syntax--vocab-ref-regexp
\r
120 (fuel-syntax--second-word-regex
\r
121 '("IN:" "USE:" "FROM:" "EXCLUDE:" "QUALIFIED:" "QUALIFIED-WITH:")))
\r
123 (defconst fuel-syntax--int-constant-def-regex
\r
124 (fuel-syntax--second-word-regex '("ALIEN:" "CHAR:" "BIN:" "HEX:" "OCT:")))
\r
126 (defconst fuel-syntax--type-definition-regex
\r
127 (fuel-syntax--second-word-regex
\r
128 '("C-STRUCT:" "C-UNION:" "MIXIN:" "TUPLE:" "SINGLETON:" "SPECIALIZED-ARRAY:" "STRUCT:" "UNION:" "UNION-STRUCT:")))
\r
130 (defconst fuel-syntax--tuple-decl-regex
\r
131 "^TUPLE: +\\([^ \n]+\\) +< +\\([^ \n]+\\)\\_>")
\r
133 (defconst fuel-syntax--constructor-regex "<[^ >]+>")
\r
135 (defconst fuel-syntax--getter-regex "\\(^\\|\\_<\\)[^ ]+?>>\\_>")
\r
136 (defconst fuel-syntax--setter-regex "\\_<>>.+?\\_>")
\r
138 (defconst fuel-syntax--symbol-definition-regex
\r
139 (fuel-syntax--second-word-regex '("&:" "SYMBOL:" "VAR:")))
\r
141 (defconst fuel-syntax--stack-effect-regex
\r
142 "\\( ( [^\n]* )\\)\\|\\( (( [^\n]* ))\\)")
\r
144 (defconst fuel-syntax--using-lines-regex "^USING: +\\([^;]+\\);")
\r
146 (defconst fuel-syntax--use-line-regex "^USE: +\\(.*\\)$")
\r
148 (defconst fuel-syntax--current-vocab-regex "^IN: +\\([^ \r\n\f]+\\)")
\r
150 (defconst fuel-syntax--sub-vocab-regex "^<\\([^ \n]+\\) *$")
\r
152 (defconst fuel-syntax--alien-function-regex
\r
153 "\\_<FUNCTION: \\(\\w+\\) \\(\\w+\\)")
\r
155 (defconst fuel-syntax--alien-callback-regex
\r
156 "\\_<CALLBACK: \\(\\w+\\) \\(\\w+\\)")
\r
158 (defconst fuel-syntax--indent-def-starts '("" ":"
\r
159 "C-ENUM" "C-STRUCT" "C-UNION"
\r
162 "M" "M:" "MACRO" "MACRO:"
\r
163 "MEMO" "MEMO:" "METHOD"
\r
165 "PREDICATE" "PRIMITIVE"
\r
166 "STRUCT" "TAG" "TUPLE"
\r
169 "UNION-STRUCT" "UNION"
\r
172 (defconst fuel-syntax--no-indent-def-starts '("ARTICLE"
\r
175 "SPECIALIZED-ARRAYS"
\r
179 (defconst fuel-syntax--indent-def-start-regex
\r
180 (format "^\\(%s:\\)\\( \\|\n\\)" (regexp-opt fuel-syntax--indent-def-starts)))
\r
182 (defconst fuel-syntax--definition-start-regex
\r
183 (format "^\\(%s:\\) " (regexp-opt (append fuel-syntax--no-indent-def-starts
\r
184 fuel-syntax--indent-def-starts))))
\r
186 (defconst fuel-syntax--definition-end-regex
\r
187 (format "\\(\\(^\\| +\\);\\( *%s\\)*\\($\\| +\\)\\)"
\r
188 fuel-syntax--declaration-words-regex))
\r
190 (defconst fuel-syntax--single-liner-regex
\r
191 (regexp-opt '("ABOUT:"
\r
193 "CONSTANT:" "C:" "C-TYPE:"
\r
196 "GAME:" "GENERIC:" "GENERIC#" "GLSL-PROGRAM:"
\r
200 "MAIN:" "MATH:" "MIXIN:"
\r
202 "POSTPONE:" "PRIVATE>" "<PRIVATE"
\r
203 "QUALIFIED-WITH:" "QUALIFIED:"
\r
205 "SINGLETON:" "SLOT:" "SPECIALIZED-ARRAY:" "SYMBOL:"
\r
210 (defconst fuel-syntax--begin-of-def-regex
\r
211 (format "^USING: \\|\\(%s\\)\\|\\(^%s .*\\)"
\r
212 fuel-syntax--definition-start-regex
\r
213 fuel-syntax--single-liner-regex))
\r
215 (defconst fuel-syntax--end-of-def-line-regex
\r
216 (format "^.*%s" fuel-syntax--definition-end-regex))
\r
218 (defconst fuel-syntax--end-of-def-regex
\r
219 (format "\\(%s\\)\\|\\(^%s .*\\)"
\r
220 fuel-syntax--end-of-def-line-regex
\r
221 fuel-syntax--single-liner-regex))
\r
223 (defconst fuel-syntax--word-signature-regex
\r
224 (format ":[^ ]* \\([^ ]+\\)\\(%s\\)*" fuel-syntax--stack-effect-regex))
\r
226 (defconst fuel-syntax--defun-signature-regex
\r
227 (format "\\(%s\\|%s\\)"
\r
228 fuel-syntax--word-signature-regex
\r
229 "M[^:]*: [^ ]+ [^ ]+"))
\r
231 (defconst fuel-syntax--constructor-decl-regex
\r
232 "\\_<C: +\\(\\w+\\) +\\(\\w+\\)\\( .*\\)?$")
\r
234 (defconst fuel-syntax--typedef-regex
\r
235 "\\_<TYPEDEF: +\\(\\w+\\) +\\(\\w+\\)\\( .*\\)?$")
\r
237 (defconst fuel-syntax--rename-regex
\r
238 "\\_<RENAME: +\\(\\w+\\) +\\(\\w+\\) +=> +\\(\\w+\\)\\( .*\\)?$")
\r
241 ;;; Factor syntax table
\r
243 (setq fuel-syntax--syntax-table
\r
244 (let ((table (make-syntax-table)))
\r
245 ;; Default is word constituent
\r
247 (modify-syntax-entry i "w" table))
\r
248 ;; Whitespace (TAB is not whitespace)
\r
249 (modify-syntax-entry ?\f " " table)
\r
250 (modify-syntax-entry ?\r " " table)
\r
251 (modify-syntax-entry ?\ " " table)
\r
252 (modify-syntax-entry ?\n " " table)
\r
255 (defconst fuel-syntax--syntactic-keywords
\r
256 `(;; Strings and chars
\r
257 ("\\_<<\\(\"\\)\\_>" (1 "<b"))
\r
258 ("\\_<\\(\"\\)>\\_>" (1 ">b"))
\r
259 ("\\( \\|^\\)\\(DLL\\|P\\|SBUF\\)?\\(\"\\)\\(\\([^\n\r\f\"\\]\\|\\\\.\\)*\\)\\(\"\\)"
\r
261 ("CHAR: \\(\"\\) [^\\\"]*?\\(\"\\)\\([^\\\"]\\|\\\\.\\)*?\\(\"\\)"
\r
262 (1 "w") (2 "<b") (4 ">b"))
\r
263 ("\\(CHAR:\\|\\\\\\) \\(\\w\\|!\\)\\( \\|$\\)" (2 "w"))
\r
265 ("\\_<\\(#?!\\) .*\\(\n\\|$\\)" (1 "<") (2 ">"))
\r
266 ("\\_<\\(#?!\\)\\(\n\\|$\\)" (1 "<") (2 ">"))
\r
268 ("\\_<POSTPONE:\\( \\).*\\(\n\\)" (1 "<b") (2 ">b"))
\r
269 ;; Multiline constructs
\r
270 ("\\_<\\(E\\)BNF:\\( \\|\n\\)" (1 "<b"))
\r
271 ("\\_<;EBN\\(F\\)\\_>" (1 ">b"))
\r
272 ("\\_<\\(U\\)SING: \\(;\\)" (1 "<b") (2 ">b"))
\r
273 ("\\_<USING:\\( \\)" (1 "<b"))
\r
274 ("\\_<\\(C\\)-ENUM: \\(;\\)" (1 "<b") (2 ">b"))
\r
275 ("\\_<C-ENUM:\\( \\|\n\\)" (1 "<b"))
\r
276 ("\\_<TUPLE: +\\w+? +< +\\w+? *\\( \\|\n\\)\\([^;]\\|$\\)" (1 "<b"))
\r
277 ("\\_<TUPLE: +\\w+? *\\( \\|\n\\)\\([^;<\n]\\|\\_>\\)" (1 "<b"))
\r
278 ("\\_<\\(SYMBOLS\\|VARS\\|SPECIALIZED-ARRAYS\\|SINGLETONS\\): *?\\( \\|\n\\)\\([^;\n]\\|\\_>\\)"
\r
280 ("\\(\n\\| \\);\\_>" (1 ">b"))
\r
282 ("\\_<\\(!(\\) .* \\()\\)" (1 "<") (2 ">"))
\r
283 ("\\(\\[\\)\\(let\\|let\\*\\)\\( \\|$\\)" (1 "(]"))
\r
284 ("\\(\\[\\)\\(|\\) +[^|]* \\(|\\)" (1 "(]") (2 "(|") (3 ")|"))
\r
285 (" \\(|\\) " (1 "(|"))
\r
286 (" \\(|\\)$" (1 ")"))
\r
287 ;; Opening brace words:
\r
288 ("\\_<\\w*\\({\\)\\_>" (1 "(}"))
\r
289 ("\\_<\\(}\\)\\_>" (1 "){"))
\r
291 ("\\_<\\((\\)\\_>" (1 "()"))
\r
292 ("\\_<\\w*\\((\\)\\_>" (1 "()"))
\r
293 ("\\_<\\()\\)\\_>" (1 ")("))
\r
294 ("\\_<(\\((\\)\\_>" (1 "()"))
\r
295 ("\\_<\\()\\))\\_>" (1 ")("))
\r
297 ("\\_<'\\(\\[\\)\\_>" (1 "(]")) ; fried
\r
298 ("\\_<$\\(\\[\\)\\_>" (1 "(]")) ; parse-time
\r
299 ("\\_<\\(\\[\\)\\_>" (1 "(]"))
\r
300 ("\\_<\\(\\]\\)\\_>" (1 ")["))))
\r
303 ;;; Source code analysis:
\r
305 (defsubst fuel-syntax--brackets-depth ()
\r
306 (nth 0 (syntax-ppss)))
\r
308 (defsubst fuel-syntax--brackets-start ()
\r
309 (nth 1 (syntax-ppss)))
\r
311 (defun fuel-syntax--brackets-end ()
\r
313 (goto-char (fuel-syntax--brackets-start))
\r
314 (condition-case nil
\r
315 (progn (forward-sexp)
\r
319 (defsubst fuel-syntax--indentation-at (pos)
\r
320 (save-excursion (goto-char pos) (current-indentation)))
\r
322 (defsubst fuel-syntax--increased-indentation (&optional i)
\r
323 (+ (or i (current-indentation)) factor-indent-width))
\r
324 (defsubst fuel-syntax--decreased-indentation (&optional i)
\r
325 (- (or i (current-indentation)) factor-indent-width))
\r
327 (defsubst fuel-syntax--at-begin-of-def ()
\r
328 (looking-at fuel-syntax--begin-of-def-regex))
\r
330 (defsubst fuel-syntax--at-begin-of-indent-def ()
\r
331 (looking-at fuel-syntax--indent-def-start-regex))
\r
333 (defsubst fuel-syntax--at-end-of-def ()
\r
334 (looking-at fuel-syntax--end-of-def-regex))
\r
336 (defsubst fuel-syntax--looking-at-emptiness ()
\r
337 (looking-at "^[ ]*$\\|$"))
\r
339 (defsubst fuel-syntax--is-last-char (pos)
\r
341 (goto-char (1+ pos))
\r
342 (looking-at-p "[ ]*$")))
\r
344 (defsubst fuel-syntax--line-offset (pos)
\r
345 (- pos (save-excursion
\r
347 (beginning-of-line)
\r
350 (defun fuel-syntax--previous-non-blank ()
\r
352 (while (and (not (bobp)) (fuel-syntax--looking-at-emptiness))
\r
353 (forward-line -1)))
\r
355 (defun fuel-syntax--beginning-of-block-pos ()
\r
357 (if (> (fuel-syntax--brackets-depth) 0)
\r
358 (fuel-syntax--brackets-start)
\r
359 (fuel-syntax--beginning-of-defun)
\r
362 (defun fuel-syntax--at-setter-line ()
\r
364 (beginning-of-line)
\r
365 (when (re-search-forward fuel-syntax--setter-regex
\r
366 (line-end-position)
\r
368 (let* ((to (match-beginning 0))
\r
369 (from (fuel-syntax--beginning-of-block-pos)))
\r
371 (let ((depth (fuel-syntax--brackets-depth)))
\r
372 (and (or (re-search-forward fuel-syntax--constructor-regex to t)
\r
373 (re-search-forward fuel-syntax--setter-regex to t))
\r
374 (= depth (fuel-syntax--brackets-depth))))))))
\r
376 (defun fuel-syntax--at-constructor-line ()
\r
378 (beginning-of-line)
\r
379 (re-search-forward fuel-syntax--constructor-regex (line-end-position) t)))
\r
381 (defsubst fuel-syntax--at-using ()
\r
382 (looking-at fuel-syntax--using-lines-regex))
\r
384 (defun fuel-syntax--in-using ()
\r
387 (and (re-search-backward "^USING: " nil t)
\r
388 (re-search-forward " ;" nil t)
\r
389 (< p (match-end 0))))))
\r
391 (defsubst fuel-syntax--beginning-of-defun (&optional times)
\r
392 (re-search-backward fuel-syntax--begin-of-def-regex nil t times))
\r
394 (defsubst fuel-syntax--end-of-defun ()
\r
395 (re-search-forward fuel-syntax--end-of-def-regex nil t))
\r
397 (defsubst fuel-syntax--end-of-defun-pos ()
\r
399 (re-search-forward fuel-syntax--end-of-def-regex nil t)
\r
402 (defun fuel-syntax--beginning-of-body ()
\r
404 (and (fuel-syntax--beginning-of-defun)
\r
405 (re-search-forward fuel-syntax--defun-signature-regex p t)
\r
406 (not (re-search-forward fuel-syntax--end-of-def-regex p t)))))
\r
408 (defun fuel-syntax--beginning-of-sexp ()
\r
409 (if (> (fuel-syntax--brackets-depth) 0)
\r
410 (goto-char (fuel-syntax--brackets-start))
\r
411 (fuel-syntax--beginning-of-body)))
\r
413 (defsubst fuel-syntax--beginning-of-sexp-pos ()
\r
414 (save-excursion (fuel-syntax--beginning-of-sexp) (point)))
\r
419 (make-variable-buffer-local
\r
420 (defvar fuel-syntax--current-vocab-function 'fuel-syntax--find-in))
\r
422 (defsubst fuel-syntax--current-vocab ()
\r
423 (funcall fuel-syntax--current-vocab-function))
\r
425 (defun fuel-syntax--find-in ()
\r
427 (when (re-search-backward fuel-syntax--current-vocab-regex nil t)
\r
428 (match-string-no-properties 1))))
\r
430 (make-variable-buffer-local
\r
431 (defvar fuel-syntax--usings-function 'fuel-syntax--find-usings))
\r
433 (defsubst fuel-syntax--usings ()
\r
434 (funcall fuel-syntax--usings-function))
\r
436 (defun fuel-syntax--file-has-private ()
\r
438 (goto-char (point-min))
\r
439 (and (re-search-forward "\\_<<PRIVATE\\_>" nil t)
\r
440 (re-search-forward "\\_<PRIVATE>\\_>" nil t))))
\r
442 (defun fuel-syntax--find-usings (&optional no-private)
\r
445 (goto-char (point-max))
\r
446 (while (re-search-backward fuel-syntax--using-lines-regex nil t)
\r
447 (dolist (u (split-string (match-string-no-properties 1) nil t))
\r
449 (when (and (not no-private) (fuel-syntax--file-has-private))
\r
450 (goto-char (point-max))
\r
451 (push (concat (fuel-syntax--find-in) ".private") usings))
\r
455 (provide 'fuel-syntax)
\r
456 ;;; fuel-syntax.el ends here
\r