1 ;;; mim-syntax.el --- syntax checker for Mim (MDL).
3 ;; Author: K. Shane Hartman
5 ;; Last-Modified: 31 Oct 1989
8 ;; Copyright (C) 1985 Free Software Foundation, Inc.
10 ;; This file is part of GNU Emacs.
12 ;; GNU Emacs is free software; you can redistribute it and/or modify
13 ;; it under the terms of the GNU General Public License as published by
14 ;; the Free Software Foundation; either version 2, or (at your option)
17 ;; GNU Emacs is distributed in the hope that it will be useful,
18 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
19 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
20 ;; GNU General Public License for more details.
22 ;; You should have received a copy of the GNU General Public License
23 ;; along with GNU Emacs; see the file COPYING. If not, write to
24 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
30 (defun slow-syntax-check-mim ()
31 "Check Mim syntax slowly.
32 Points out the context of the error, if the syntax is incorrect."
34 (message "checking syntax...")
35 (let ((stop (point-max)) point-stack current last-bracket whoops last-point
)
37 (goto-char (point-min))
38 (while (and (not whoops
)
39 (re-search-forward "\\s(\\|\\s)\\|\"\\|[\\]" stop t
))
40 (setq current
(preceding-char))
41 (cond ((= current ?
\")
43 (progn (re-search-forward "[^\\]\"")
45 (error (setq whoops
(point)))))
47 (condition-case nil
(forward-char 1) (error nil
)))
48 ((= (char-syntax current
) ?\
))
49 (if (or (not last-bracket
)
50 (not (= (logand (lsh (aref (syntax-table) last-bracket
) -
8)
54 (setq last-point
(car point-stack
))
55 (setq last-bracket
(if last-point
(char-after (1- last-point
))))
56 (setq point-stack
(cdr point-stack
))))
58 (if last-point
(setq point-stack
(cons last-point point-stack
)))
59 (setq last-point
(point))
60 (setq last-bracket current
)))))
61 (cond ((not (or whoops last-point
))
62 (message "Syntax correct"))
65 (cond ((equal current ?
\")
66 (error "Unterminated string"))
68 (error "Extraneous %s" (char-to-string current
)))
70 (error "Mismatched %s with %s"
72 (setq whoops
(1- (point)))
73 (goto-char (1- last-point
))
74 (buffer-substring (point)
75 (min (progn (end-of-line) (point))
77 (char-to-string current
)))))
79 (goto-char last-point
)
80 (error "Unmatched %s" (char-to-string last-bracket
))))))
82 (defun fast-syntax-check-mim ()
83 "Checks Mim syntax quickly.
84 Answers correct or incorrect, cannot point out the error context."
87 (goto-char (point-min))
89 (while (and (not (eobp))
90 (equal (car (setq state
(parse-partial-sexp (point) (point-max) 0)))
92 (if (equal (car state
) 0)
93 (message "Syntax correct")
94 (error "Syntax incorrect")))))
96 ;;; mim-syntax.el ends here