# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 1001353320 0
# Node ID 5695968e6eb1ab48cfc1fc036484ec81752eef1e
# Parent  3e68652d365d8d6b09ba04eb63474d0471b2e86d
Fix character range regexp.  Doc fix.
(ebnf-iso-non-terminal-chars): New internal const.
(ebnf-iso-lex): Fix code.

diff -r 3e68652d365d -r 5695968e6eb1 lisp/progmodes/ebnf-iso.el
--- a/lisp/progmodes/ebnf-iso.el	Mon Sep 24 17:41:41 2001 +0000
+++ b/lisp/progmodes/ebnf-iso.el	Mon Sep 24 17:42:00 2001 +0000
@@ -5,8 +5,8 @@
 ;; Author: Vinicius Jose Latorre <vinicius@cpqd.com.br>
 ;; Maintainer: Vinicius Jose Latorre <vinicius@cpqd.com.br>
 ;; Keywords: wp, ebnf, PostScript
-;; Time-stamp: <2001/08/15 17:12:51 vinicius>
-;; Version: 1.5
+;; Time-stamp: <2001/09/24 10:17:20 vinicius>
+;; Version: 1.6
 
 ;; This file is part of GNU Emacs.
 
@@ -387,6 +387,11 @@
     (aset ebnf-iso-token-table ?.  'character)))
 
 
+;; replace the range "\240-\377" (see `ebnf-range-regexp').
+(defconst ebnf-iso-non-terminal-chars
+  (ebnf-range-regexp " 0-9A-Za-z" ?\240 ?\377))
+
+
 (defun ebnf-iso-lex ()
   "Lexical analyser for ISO EBNF.
 
@@ -447,9 +452,10 @@
 	'terminal)
        ;; non-terminal
        ((eq token 'non-terminal)
-	(setq ebnf-iso-lex (ebnf-iso-normalize
-			    (ebnf-trim-right
-			     (ebnf-buffer-substring " 0-9A-Za-z\240-\377"))))
+	(setq ebnf-iso-lex
+	      (ebnf-iso-normalize
+	       (ebnf-trim-right
+		(ebnf-buffer-substring ebnf-iso-non-terminal-chars))))
 	(and ebnf-no-meta-identifier
 	     (error "Exception sequence should not contain a meta identifier"))
 	'non-terminal)