1992-05-30 22:12:04 +00:00
|
|
|
;;; mim-syntax.el --- syntax checker for Mim (MDL).
|
|
|
|
|
|
1992-07-22 04:22:30 +00:00
|
|
|
;; Copyright (C) 1985 Free Software Foundation, Inc.
|
|
|
|
|
|
1992-07-16 21:47:34 +00:00
|
|
|
;; Author: K. Shane Hartman
|
|
|
|
|
;; Maintainer: FSF
|
1992-07-17 08:15:29 +00:00
|
|
|
;; Keywords: languages
|
1992-07-16 21:47:34 +00:00
|
|
|
|
1989-10-31 15:59:53 +00:00
|
|
|
;; This file is part of GNU Emacs.
|
|
|
|
|
|
|
|
|
|
;; GNU Emacs is free software; you can redistribute it and/or modify
|
|
|
|
|
;; it under the terms of the GNU General Public License as published by
|
1992-07-16 21:47:34 +00:00
|
|
|
;; the Free Software Foundation; either version 2, or (at your option)
|
1989-10-31 15:59:53 +00:00
|
|
|
;; any later version.
|
|
|
|
|
|
|
|
|
|
;; GNU Emacs is distributed in the hope that it will be useful,
|
|
|
|
|
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
;; GNU General Public License for more details.
|
|
|
|
|
|
|
|
|
|
;; You should have received a copy of the GNU General Public License
|
|
|
|
|
;; along with GNU Emacs; see the file COPYING. If not, write to
|
|
|
|
|
;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
|
|
|
|
|
|
1992-07-16 21:47:34 +00:00
|
|
|
;;; Code:
|
1989-10-31 15:59:53 +00:00
|
|
|
|
|
|
|
|
(require 'mim-mode)
|
|
|
|
|
|
|
|
|
|
(defun slow-syntax-check-mim ()
|
|
|
|
|
"Check Mim syntax slowly.
|
|
|
|
|
Points out the context of the error, if the syntax is incorrect."
|
|
|
|
|
(interactive)
|
|
|
|
|
(message "checking syntax...")
|
|
|
|
|
(let ((stop (point-max)) point-stack current last-bracket whoops last-point)
|
|
|
|
|
(save-excursion
|
|
|
|
|
(goto-char (point-min))
|
|
|
|
|
(while (and (not whoops)
|
|
|
|
|
(re-search-forward "\\s(\\|\\s)\\|\"\\|[\\]" stop t))
|
|
|
|
|
(setq current (preceding-char))
|
|
|
|
|
(cond ((= current ?\")
|
|
|
|
|
(condition-case nil
|
|
|
|
|
(progn (re-search-forward "[^\\]\"")
|
|
|
|
|
(setq current nil))
|
|
|
|
|
(error (setq whoops (point)))))
|
|
|
|
|
((= current ?\\)
|
|
|
|
|
(condition-case nil (forward-char 1) (error nil)))
|
|
|
|
|
((= (char-syntax current) ?\))
|
|
|
|
|
(if (or (not last-bracket)
|
|
|
|
|
(not (= (logand (lsh (aref (syntax-table) last-bracket) -8)
|
|
|
|
|
?\177)
|
|
|
|
|
current)))
|
|
|
|
|
(setq whoops (point))
|
|
|
|
|
(setq last-point (car point-stack))
|
|
|
|
|
(setq last-bracket (if last-point (char-after (1- last-point))))
|
|
|
|
|
(setq point-stack (cdr point-stack))))
|
|
|
|
|
(t
|
|
|
|
|
(if last-point (setq point-stack (cons last-point point-stack)))
|
|
|
|
|
(setq last-point (point))
|
|
|
|
|
(setq last-bracket current)))))
|
|
|
|
|
(cond ((not (or whoops last-point))
|
|
|
|
|
(message "Syntax correct"))
|
|
|
|
|
(whoops
|
|
|
|
|
(goto-char whoops)
|
|
|
|
|
(cond ((equal current ?\")
|
|
|
|
|
(error "Unterminated string"))
|
|
|
|
|
((not last-point)
|
|
|
|
|
(error "Extraneous %s" (char-to-string current)))
|
|
|
|
|
(t
|
|
|
|
|
(error "Mismatched %s with %s"
|
|
|
|
|
(save-excursion
|
|
|
|
|
(setq whoops (1- (point)))
|
|
|
|
|
(goto-char (1- last-point))
|
|
|
|
|
(buffer-substring (point)
|
|
|
|
|
(min (progn (end-of-line) (point))
|
|
|
|
|
whoops)))
|
|
|
|
|
(char-to-string current)))))
|
|
|
|
|
(t
|
|
|
|
|
(goto-char last-point)
|
|
|
|
|
(error "Unmatched %s" (char-to-string last-bracket))))))
|
|
|
|
|
|
|
|
|
|
(defun fast-syntax-check-mim ()
|
|
|
|
|
"Checks Mim syntax quickly.
|
|
|
|
|
Answers correct or incorrect, cannot point out the error context."
|
|
|
|
|
(interactive)
|
|
|
|
|
(save-excursion
|
|
|
|
|
(goto-char (point-min))
|
|
|
|
|
(let (state)
|
|
|
|
|
(while (and (not (eobp))
|
|
|
|
|
(equal (car (setq state (parse-partial-sexp (point) (point-max) 0)))
|
|
|
|
|
0)))
|
|
|
|
|
(if (equal (car state) 0)
|
|
|
|
|
(message "Syntax correct")
|
|
|
|
|
(error "Syntax incorrect")))))
|
|
|
|
|
|
1992-05-30 22:12:04 +00:00
|
|
|
;;; mim-syntax.el ends here
|
