lisp/mim-syntax.el

   1 ;;; mim-syntax.el --- syntax checker for Mim (MDL).
   2
   3 ;; Author: K. Shane Hartman
   4 ;; Maintainer: FSF
   5 ;; Last-Modified: 31 Oct 1989
   6 ;; Keywords: languages
   7
   8 ;; Copyright (C) 1985 Free Software Foundation, Inc.
   9
  10 ;; This file is part of GNU Emacs.
  11
  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)
  15 ;; any later version.
  16
  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.
  21
  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.
  25
  26 ;;; Code:
  27
  28 (require 'mim-mode)
  29
  30 (defun slow-syntax-check-mim ()
  31   "Check Mim syntax slowly.
  32 Points out the context of the error, if the syntax is incorrect."
  33   (interactive)
  34   (message "checking syntax...")
  35   (let ((stop (point-max)) point-stack current last-bracket whoops last-point)
  36     (save-excursion
  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 ?\")
  42                (condition-case nil
  43                    (progn (re-search-forward "[^\\]\"")
  44                           (setq current nil))
  45                  (error (setq whoops (point)))))
  46               ((= current ?\\)
  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)
  51                                        ?\177)
  52                                current)))
  53                    (setq whoops (point))
  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))))
  57               (t
  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"))
  63           (whoops
  64            (goto-char whoops)
  65            (cond ((equal current ?\")
  66                   (error "Unterminated string"))
  67                  ((not last-point)
  68                   (error "Extraneous %s" (char-to-string current)))
  69                  (t
  70                   (error "Mismatched %s with %s"
  71                            (save-excursion
  72                              (setq whoops (1- (point)))
  73                              (goto-char (1- last-point))
  74                              (buffer-substring (point)
  75                                                (min (progn (end-of-line) (point))
  76                                                     whoops)))
  77                            (char-to-string current)))))
  78           (t
  79            (goto-char last-point)
  80            (error "Unmatched %s" (char-to-string last-bracket))))))
  81
  82 (defun fast-syntax-check-mim ()
  83   "Checks Mim syntax quickly.
  84 Answers correct or incorrect, cannot point out the error context."
  85   (interactive)
  86   (save-excursion
  87     (goto-char (point-min))
  88     (let (state)
  89       (while (and (not (eobp))
  90                   (equal (car (setq state (parse-partial-sexp (point) (point-max) 0)))
  91                          0)))
  92       (if (equal (car state) 0)
  93           (message "Syntax correct")
  94         (error "Syntax incorrect")))))
  95
  96 ;;; mim-syntax.el ends here