|
|
1.1 root 1: ;; Syntax checker for Mim (MDL).
2: ;; Copyright (C) 1985 Free Software Foundation, Inc.
3: ;; Principal author K. Shane Hartman
4:
5: ;; This file is part of GNU Emacs.
6:
7: ;; GNU Emacs is free software; you can redistribute it and/or modify
8: ;; it under the terms of the GNU General Public License as published by
9: ;; the Free Software Foundation; either version 1, or (at your option)
10: ;; any later version.
11:
12: ;; GNU Emacs is distributed in the hope that it will be useful,
13: ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
14: ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15: ;; GNU General Public License for more details.
16:
17: ;; You should have received a copy of the GNU General Public License
18: ;; along with GNU Emacs; see the file COPYING. If not, write to
19: ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
20:
21:
22: (require 'mim-mode)
23:
24: (defun slow-syntax-check-mim ()
25: "Check Mim syntax slowly.
26: Points out the context of the error, if the syntax is incorrect."
27: (interactive)
28: (message "checking syntax...")
29: (let ((stop (point-max)) point-stack current last-bracket whoops last-point)
30: (save-excursion
31: (goto-char (point-min))
32: (while (and (not whoops)
33: (re-search-forward "\\s(\\|\\s)\\|\"\\|[\\]" stop t))
34: (setq current (preceding-char))
35: (cond ((= current ?\")
36: (condition-case nil
37: (progn (re-search-forward "[^\\]\"")
38: (setq current nil))
39: (error (setq whoops (point)))))
40: ((= current ?\\)
41: (condition-case nil (forward-char 1) (error nil)))
42: ((= (char-syntax current) ?\))
43: (if (or (not last-bracket)
44: (not (= (logand (lsh (aref (syntax-table) last-bracket) -8)
45: ?\177)
46: current)))
47: (setq whoops (point))
48: (setq last-point (car point-stack))
49: (setq last-bracket (if last-point (char-after (1- last-point))))
50: (setq point-stack (cdr point-stack))))
51: (t
52: (if last-point (setq point-stack (cons last-point point-stack)))
53: (setq last-point (point))
54: (setq last-bracket current)))))
55: (cond ((not (or whoops last-point))
56: (message "Syntax correct"))
57: (whoops
58: (goto-char whoops)
59: (cond ((equal current ?\")
60: (error "Unterminated string"))
61: ((not last-point)
62: (error "Extraneous %s" (char-to-string current)))
63: (t
64: (error "Mismatched %s with %s"
65: (save-excursion
66: (setq whoops (1- (point)))
67: (goto-char (1- last-point))
68: (buffer-substring (point)
69: (min (progn (end-of-line) (point))
70: whoops)))
71: (char-to-string current)))))
72: (t
73: (goto-char last-point)
74: (error "Unmatched %s" (char-to-string last-bracket))))))
75:
76: (defun fast-syntax-check-mim ()
77: "Checks Mim syntax quickly.
78: Answers correct or incorrect, cannot point out the error context."
79: (interactive)
80: (save-excursion
81: (goto-char (point-min))
82: (let (state)
83: (while (and (not (eobp))
84: (equal (car (setq state (parse-partial-sexp (point) (point-max) 0)))
85: 0)))
86: (if (equal (car state) 0)
87: (message "Syntax correct")
88: (error "Syntax incorrect")))))
89:
90:
91:
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.