home *** CD-ROM | disk | FTP | other *** search
/ Fresh Fish 4 / FreshFish_May-June1994.bin / bbs / gnu / emacs-18.59-bin.lha / lib / emacs / 18.59 / lisp / mim-syntax.el < prev    next >
Lisp/Scheme  |  1991-01-09  |  3KB  |  92 lines
  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.     
  92.