HCoop / bpt / emacs.git / blame
| Commit | Line | Data |
|---|---|---|
| 0d20f9a0 JB |
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 |