Mercurial > emacs
annotate lisp/progmodes/ebnf-abn.el @ 102615:6192629dc5c9
* minibuf.texi (Basic Completion): Note that
read-file-name-completion-ignore-case and
read-buffer-completion-ignore-case can override
completion-ignore-case.
(Minibuffer Completion): Document completing-read changes.
(Completion Commands): Avoid mentioning partial completion mode.
Document minibuffer-completion-confirm changes, and
minibuffer-confirm-exit-commands.
(High-Level Completion): Document new require-match behavior for
read-buffer. Document read-buffer-completion-ignore-case.
(Reading File Names): Document new require-match behavior for
read-file-name.
author | Chong Yidong <cyd@stupidchicken.com> |
---|---|
date | Tue, 17 Mar 2009 04:54:03 +0000 |
parents | a9dc0e7c3f2b |
children | 1d1d5d9bd884 |
rev | line source |
---|---|
54139
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1 ;;; ebnf-abn.el --- parser for ABNF (Augmented BNF) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
2 |
100908 | 3 ;; Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009 |
75347 | 4 ;; Free Software Foundation, Inc. |
54139
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
5 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
6 ;; Author: Vinicius Jose Latorre <viniciusjl@ig.com.br> |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
7 ;; Maintainer: Vinicius Jose Latorre <viniciusjl@ig.com.br> |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
8 ;; Keywords: wp, ebnf, PostScript |
82143
81c81019e0c6
New: Header/Footer comment & Log messages
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
78234
diff
changeset
|
9 ;; Version: 1.2 |
54139
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
10 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
11 ;; This file is part of GNU Emacs. |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
12 |
94673
52b7a8c22af5
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93975
diff
changeset
|
13 ;; GNU Emacs is free software: you can redistribute it and/or modify |
54139
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
14 ;; it under the terms of the GNU General Public License as published by |
94673
52b7a8c22af5
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93975
diff
changeset
|
15 ;; the Free Software Foundation, either version 3 of the License, or |
52b7a8c22af5
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93975
diff
changeset
|
16 ;; (at your option) any later version. |
54139
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
17 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
18 ;; GNU Emacs is distributed in the hope that it will be useful, |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
19 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
20 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
21 ;; GNU General Public License for more details. |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
22 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
23 ;; You should have received a copy of the GNU General Public License |
94673
52b7a8c22af5
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93975
diff
changeset
|
24 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. |
54139
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
25 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
26 ;;; Commentary: |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
27 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
28 ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
29 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
30 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
31 ;; This is part of ebnf2ps package. |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
32 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
33 ;; This package defines a parser for ABNF (Augmented BNF). |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
34 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
35 ;; See ebnf2ps.el for documentation. |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
36 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
37 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
38 ;; ABNF Syntax |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
39 ;; ----------- |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
40 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
41 ;; See the URL: |
54190 | 42 ;; `http://www.ietf.org/rfc/rfc2234.txt' |
43 ;; or | |
54139
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
44 ;; `http://www.faqs.org/rfcs/rfc2234.html' |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
45 ;; or |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
46 ;; `http://www.rnp.br/ietf/rfc/rfc2234.txt' |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
47 ;; ("Augmented BNF for Syntax Specifications: ABNF"). |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
48 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
49 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
50 ;; rulelist = 1*( rule / (*c-wsp c-nl) ) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
51 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
52 ;; rule = rulename defined-as elements c-nl |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
53 ;; ; continues if next line starts with white space |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
54 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
55 ;; rulename = ALPHA *(ALPHA / DIGIT / "-") |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
56 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
57 ;; defined-as = *c-wsp ("=" / "=/") *c-wsp |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
58 ;; ; basic rules definition and incremental |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
59 ;; ; alternatives |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
60 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
61 ;; elements = alternation *c-wsp |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
62 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
63 ;; c-wsp = WSP / (c-nl WSP) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
64 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
65 ;; c-nl = comment / CRLF |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
66 ;; ; comment or newline |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
67 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
68 ;; comment = ";" *(WSP / VCHAR) CRLF |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
69 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
70 ;; alternation = concatenation |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
71 ;; *(*c-wsp "/" *c-wsp concatenation) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
72 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
73 ;; concatenation = repetition *(1*c-wsp repetition) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
74 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
75 ;; repetition = [repeat] element |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
76 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
77 ;; repeat = 1*DIGIT / (*DIGIT "*" *DIGIT) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
78 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
79 ;; element = rulename / group / option / |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
80 ;; char-val / num-val / prose-val |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
81 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
82 ;; group = "(" *c-wsp alternation *c-wsp ")" |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
83 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
84 ;; option = "[" *c-wsp alternation *c-wsp "]" |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
85 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
86 ;; char-val = DQUOTE *(%x20-21 / %x23-7E) DQUOTE |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
87 ;; ; quoted string of SP and VCHAR without DQUOTE |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
88 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
89 ;; num-val = "%" (bin-val / dec-val / hex-val) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
90 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
91 ;; bin-val = "b" 1*BIT |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
92 ;; [ 1*("." 1*BIT) / ("-" 1*BIT) ] |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
93 ;; ; series of concatenated bit values |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
94 ;; ; or single ONEOF range |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
95 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
96 ;; dec-val = "d" 1*DIGIT |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
97 ;; [ 1*("." 1*DIGIT) / ("-" 1*DIGIT) ] |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
98 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
99 ;; hex-val = "x" 1*HEXDIG |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
100 ;; [ 1*("." 1*HEXDIG) / ("-" 1*HEXDIG) ] |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
101 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
102 ;; prose-val = "<" *(%x20-3D / %x3F-7E) ">" |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
103 ;; ; bracketed string of SP and VCHAR without |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
104 ;; ; angles |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
105 ;; ; prose description, to be used as last resort |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
106 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
107 ;; ; Core rules -- the coding depends on the system, here is used 7-bit ASCII |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
108 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
109 ;; ALPHA = %x41-5A / %x61-7A |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
110 ;; ; A-Z / a-z |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
111 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
112 ;; BIT = "0" / "1" |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
113 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
114 ;; CHAR = %x01-7F |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
115 ;; ; any 7-bit US-ASCII character, excluding NUL |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
116 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
117 ;; CR = %x0D |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
118 ;; ; carriage return |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
119 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
120 ;; CRLF = CR LF |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
121 ;; ; Internet standard newline |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
122 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
123 ;; CTL = %x00-1F / %x7F |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
124 ;; ; controls |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
125 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
126 ;; DIGIT = %x30-39 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
127 ;; ; 0-9 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
128 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
129 ;; DQUOTE = %x22 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
130 ;; ; " (Double Quote) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
131 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
132 ;; HEXDIG = DIGIT / "A" / "B" / "C" / "D" / "E" / "F" |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
133 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
134 ;; HTAB = %x09 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
135 ;; ; horizontal tab |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
136 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
137 ;; LF = %x0A |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
138 ;; ; linefeed |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
139 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
140 ;; LWSP = *(WSP / CRLF WSP) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
141 ;; ; linear white space (past newline) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
142 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
143 ;; OCTET = %x00-FF |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
144 ;; ; 8 bits of data |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
145 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
146 ;; SP = %x20 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
147 ;; ; space |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
148 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
149 ;; VCHAR = %x21-7E |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
150 ;; ; visible (printing) characters |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
151 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
152 ;; WSP = SP / HTAB |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
153 ;; ; white space |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
154 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
155 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
156 ;; NOTES: |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
157 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
158 ;; 1. Rules name and terminal strings are case INSENSITIVE. |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
159 ;; So, the following rule names are all equals: |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
160 ;; Rule-name, rule-Name, rule-name, RULE-NAME |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
161 ;; Also, the following strings are equals: |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
162 ;; "abc", "ABC", "aBc", "Abc", "aBC", etc. |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
163 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
164 ;; 2. To have a case SENSITIVE string, use the character notation. |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
165 ;; For example, to specify the lowercase string "abc", use: |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
166 ;; %d97.98.99 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
167 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
168 ;; 3. There are no implicit spaces between elements, for example, the |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
169 ;; following rules: |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
170 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
171 ;; foo = %x61 ; a |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
172 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
173 ;; bar = %x62 ; b |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
174 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
175 ;; mumble = foo bar foo |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
176 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
177 ;; Are equivalent to the following rule: |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
178 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
179 ;; mumble = %x61.62.61 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
180 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
181 ;; If spaces are needed, it should be explicit specified, like: |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
182 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
183 ;; spaces = 1*(%x20 / %x09) ; one or more spaces or tabs |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
184 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
185 ;; mumble = foo spaces bar spaces foo |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
186 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
187 ;; 4. Lines starting with space or tab are considered a continuation line. |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
188 ;; For example, the rule: |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
189 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
190 ;; rule = foo |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
191 ;; bar |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
192 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
193 ;; Is equivalent to: |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
194 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
195 ;; rule = foo bar |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
196 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
197 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
198 ;; Differences Between ABNF And ebnf2ps ABNF |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
199 ;; ----------------------------------------- |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
200 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
201 ;; Besides the characters that ABNF accepts, ebnf2ps ABNF accepts also the |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
202 ;; underscore (_) for rule name and european 8-bit accentuated characters (from |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
203 ;; \240 to \377) for rule name, string and comment. |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
204 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
205 ;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
206 ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
207 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
208 ;;; Code: |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
209 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
210 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
211 (require 'ebnf-otz) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
212 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
213 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
214 (defvar ebnf-abn-lex nil |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
215 "Value returned by `ebnf-abn-lex' function.") |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
216 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
217 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
218 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
219 ;; Syntactic analyzer |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
220 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
221 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
222 ;;; rulelist = 1*( rule / (*c-wsp c-nl) ) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
223 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
224 (defun ebnf-abn-parser (start) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
225 "ABNF parser." |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
226 (let ((total (+ (- ebnf-limit start) 1)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
227 (bias (1- start)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
228 (origin (point)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
229 rule-list token rule) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
230 (goto-char start) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
231 (setq token (ebnf-abn-lex)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
232 (and (eq token 'end-of-input) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
233 (error "Invalid ABNF file format")) |
54622
f7bb72b19510
Handle initial comments.
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
54190
diff
changeset
|
234 (and (eq token 'end-of-rule) |
f7bb72b19510
Handle initial comments.
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
54190
diff
changeset
|
235 (setq token (ebnf-abn-lex))) |
54139
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
236 (while (not (eq token 'end-of-input)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
237 (ebnf-message-float |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
238 "Parsing...%s%%" |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
239 (/ (* (- (point) bias) 100.0) total)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
240 (setq token (ebnf-abn-rule token) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
241 rule (cdr token) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
242 token (car token)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
243 (or (ebnf-add-empty-rule-list rule) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
244 (setq rule-list (cons rule rule-list)))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
245 (goto-char origin) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
246 rule-list)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
247 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
248 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
249 ;;; rule = rulename defined-as elements c-nl |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
250 ;;; ; continues if next line starts with white space |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
251 ;;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
252 ;;; rulename = ALPHA *(ALPHA / DIGIT / "-") |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
253 ;;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
254 ;;; defined-as = *c-wsp ("=" / "=/") *c-wsp |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
255 ;;; ; basic rules definition and incremental |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
256 ;;; ; alternatives |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
257 ;;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
258 ;;; elements = alternation *c-wsp |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
259 ;;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
260 ;;; c-wsp = WSP / (c-nl WSP) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
261 ;;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
262 ;;; c-nl = comment / CRLF |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
263 ;;; ; comment or newline |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
264 ;;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
265 ;;; comment = ";" *(WSP / VCHAR) CRLF |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
266 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
267 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
268 (defun ebnf-abn-rule (token) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
269 (let ((name ebnf-abn-lex) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
270 (action ebnf-action) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
271 elements) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
272 (setq ebnf-action nil) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
273 (or (eq token 'non-terminal) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
274 (error "Invalid rule name")) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
275 (setq token (ebnf-abn-lex)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
276 (or (memq token '(equal incremental-alternative)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
277 (error "Invalid rule: missing `=' or `=/'")) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
278 (and (eq token 'incremental-alternative) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
279 (setq name (concat name " =/"))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
280 (setq elements (ebnf-abn-alternation)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
281 (or (memq (car elements) '(end-of-rule end-of-input)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
282 (error "Invalid rule: there is no end of rule")) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
283 (setq elements (cdr elements)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
284 (ebnf-eps-add-production name) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
285 (cons (ebnf-abn-lex) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
286 (ebnf-make-production name elements action)))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
287 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
288 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
289 ;;; alternation = concatenation |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
290 ;;; *(*c-wsp "/" *c-wsp concatenation) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
291 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
292 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
293 (defun ebnf-abn-alternation () |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
294 (let (body concatenation) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
295 (while (eq (car (setq concatenation |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
296 (ebnf-abn-concatenation (ebnf-abn-lex)))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
297 'alternative) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
298 (setq body (cons (cdr concatenation) body))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
299 (ebnf-token-alternative body concatenation))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
300 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
301 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
302 ;;; concatenation = repetition *(1*c-wsp repetition) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
303 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
304 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
305 (defun ebnf-abn-concatenation (token) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
306 (let ((term (ebnf-abn-repetition token)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
307 seq) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
308 (or (setq token (car term) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
309 term (cdr term)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
310 (error "Empty element")) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
311 (setq seq (cons term seq)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
312 (while (setq term (ebnf-abn-repetition token) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
313 token (car term) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
314 term (cdr term)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
315 (setq seq (cons term seq))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
316 (cons token |
54714 | 317 (ebnf-token-sequence seq)))) |
54139
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
318 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
319 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
320 ;;; repetition = [repeat] element |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
321 ;;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
322 ;;; repeat = 1*DIGIT / (*DIGIT "*" *DIGIT) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
323 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
324 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
325 (defun ebnf-abn-repetition (token) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
326 (let (lower upper) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
327 ;; INTEGER [ "*" [ INTEGER ] ] |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
328 (when (eq token 'integer) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
329 (setq lower ebnf-abn-lex |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
330 token (ebnf-abn-lex)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
331 (or (eq token 'repeat) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
332 (setq upper lower))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
333 ;; "*" [ INTEGER ] |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
334 (when (eq token 'repeat) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
335 ;; only * ==> lower & upper are empty string |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
336 (or lower |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
337 (setq lower "" |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
338 upper "")) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
339 (when (eq (setq token (ebnf-abn-lex)) 'integer) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
340 (setq upper ebnf-abn-lex |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
341 token (ebnf-abn-lex)))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
342 (let ((element (ebnf-abn-element token))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
343 (cond |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
344 ;; there is a repetition |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
345 (lower |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
346 (or element |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
347 (error "Missing element repetition")) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
348 (setq token (ebnf-abn-lex)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
349 (cond |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
350 ;; one or more |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
351 ((and (string= lower "1") (null upper)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
352 (cons token (ebnf-make-one-or-more element))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
353 ;; zero or more |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
354 ((or (and (string= lower "0") (null upper)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
355 (and (string= lower "") (string= upper ""))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
356 (cons token (ebnf-make-zero-or-more element))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
357 ;; real repetition |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
358 (t |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
359 (ebnf-token-repeat lower (cons token element) upper)))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
360 ;; there is an element |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
361 (element |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
362 (cons (ebnf-abn-lex) element)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
363 ;; something that caller has to deal |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
364 (t |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
365 (cons token nil)))))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
366 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
367 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
368 ;;; element = rulename / group / option / |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
369 ;;; char-val / num-val / prose-val |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
370 ;;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
371 ;;; group = "(" *c-wsp alternation *c-wsp ")" |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
372 ;;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
373 ;;; option = "[" *c-wsp alternation *c-wsp "]" |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
374 ;;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
375 ;;; char-val = DQUOTE *(%x20-21 / %x23-7E) DQUOTE |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
376 ;;; ; quoted string of SP and VCHAR without DQUOTE |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
377 ;;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
378 ;;; num-val = "%" (bin-val / dec-val / hex-val) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
379 ;;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
380 ;;; bin-val = "b" 1*BIT |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
381 ;;; [ 1*("." 1*BIT) / ("-" 1*BIT) ] |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
382 ;;; ; series of concatenated bit values |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
383 ;;; ; or single ONEOF range |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
384 ;;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
385 ;;; dec-val = "d" 1*DIGIT |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
386 ;;; [ 1*("." 1*DIGIT) / ("-" 1*DIGIT) ] |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
387 ;;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
388 ;;; hex-val = "x" 1*HEXDIG |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
389 ;;; [ 1*("." 1*HEXDIG) / ("-" 1*HEXDIG) ] |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
390 ;;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
391 ;;; prose-val = "<" *(%x20-3D / %x3F-7E) ">" |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
392 ;;; ; bracketed string of SP and VCHAR without |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
393 ;;; ; angles |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
394 ;;; ; prose description, to be used as last resort |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
395 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
396 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
397 (defun ebnf-abn-element (token) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
398 (cond |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
399 ;; terminal |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
400 ((eq token 'terminal) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
401 (ebnf-make-terminal ebnf-abn-lex)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
402 ;; non-terminal |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
403 ((eq token 'non-terminal) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
404 (ebnf-make-non-terminal ebnf-abn-lex)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
405 ;; group |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
406 ((eq token 'begin-group) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
407 (let ((body (ebnf-abn-alternation))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
408 (or (eq (car body) 'end-group) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
409 (error "Missing `)'")) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
410 (cdr body))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
411 ;; optional |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
412 ((eq token 'begin-optional) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
413 (let ((body (ebnf-abn-alternation))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
414 (or (eq (car body) 'end-optional) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
415 (error "Missing `]'")) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
416 (ebnf-token-optional (cdr body)))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
417 ;; no element |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
418 (t |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
419 nil) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
420 )) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
421 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
422 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
423 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
424 ;; Lexical analyzer |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
425 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
426 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
427 (defconst ebnf-abn-token-table (make-vector 256 'error) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
428 "Vector used to map characters to a lexical token.") |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
429 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
430 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
431 (defun ebnf-abn-initialize () |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
432 "Initialize EBNF token table." |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
433 ;; control character & control 8-bit character are set to `error' |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
434 (let ((char ?\060)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
435 ;; digits: 0-9 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
436 (while (< char ?\072) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
437 (aset ebnf-abn-token-table char 'integer) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
438 (setq char (1+ char))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
439 ;; printable character: A-Z |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
440 (setq char ?\101) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
441 (while (< char ?\133) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
442 (aset ebnf-abn-token-table char 'non-terminal) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
443 (setq char (1+ char))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
444 ;; printable character: a-z |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
445 (setq char ?\141) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
446 (while (< char ?\173) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
447 (aset ebnf-abn-token-table char 'non-terminal) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
448 (setq char (1+ char))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
449 ;; European 8-bit accentuated characters: |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
450 (setq char ?\240) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
451 (while (< char ?\400) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
452 (aset ebnf-abn-token-table char 'non-terminal) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
453 (setq char (1+ char))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
454 ;; Override end of line characters: |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
455 (aset ebnf-abn-token-table ?\n 'end-of-rule) ; [NL] linefeed |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
456 (aset ebnf-abn-token-table ?\r 'end-of-rule) ; [CR] carriage return |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
457 ;; Override space characters: |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
458 (aset ebnf-abn-token-table ?\013 'space) ; [VT] vertical tab |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
459 (aset ebnf-abn-token-table ?\t 'space) ; [HT] horizontal tab |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
460 (aset ebnf-abn-token-table ?\ 'space) ; [SP] space |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
461 ;; Override form feed character: |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
462 (aset ebnf-abn-token-table ?\f 'form-feed) ; [FF] form feed |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
463 ;; Override other lexical characters: |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
464 (aset ebnf-abn-token-table ?< 'non-terminal) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
465 (aset ebnf-abn-token-table ?% 'terminal) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
466 (aset ebnf-abn-token-table ?\" 'terminal) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
467 (aset ebnf-abn-token-table ?\( 'begin-group) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
468 (aset ebnf-abn-token-table ?\) 'end-group) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
469 (aset ebnf-abn-token-table ?* 'repeat) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
470 (aset ebnf-abn-token-table ?= 'equal) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
471 (aset ebnf-abn-token-table ?\[ 'begin-optional) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
472 (aset ebnf-abn-token-table ?\] 'end-optional) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
473 (aset ebnf-abn-token-table ?/ 'alternative) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
474 ;; Override comment character: |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
475 (aset ebnf-abn-token-table ?\; 'comment))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
476 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
477 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
478 ;; replace the range "\240-\377" (see `ebnf-range-regexp'). |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
479 (defconst ebnf-abn-non-terminal-chars |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
480 (ebnf-range-regexp "-_0-9A-Za-z" ?\240 ?\377)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
481 (defconst ebnf-abn-non-terminal-letter-chars |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
482 (ebnf-range-regexp "A-Za-z" ?\240 ?\377)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
483 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
484 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
485 (defun ebnf-abn-lex () |
63628
6465d5fb8665
(ebnf-abn-lex): Fix spellings.
Juanma Barranquero <lekktu@gmail.com>
parents:
60917
diff
changeset
|
486 "Lexical analyzer for ABNF. |
54139
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
487 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
488 Return a lexical token. |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
489 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
490 See documentation for variable `ebnf-abn-lex'." |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
491 (if (>= (point) ebnf-limit) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
492 'end-of-input |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
493 (let (token) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
494 ;; skip spaces and comments |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
495 (while (if (> (following-char) 255) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
496 (progn |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
497 (setq token 'error) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
498 nil) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
499 (setq token (aref ebnf-abn-token-table (following-char))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
500 (cond |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
501 ((eq token 'space) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
502 (skip-chars-forward " \013\t" ebnf-limit) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
503 (< (point) ebnf-limit)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
504 ((eq token 'comment) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
505 (ebnf-abn-skip-comment)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
506 ((eq token 'form-feed) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
507 (forward-char) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
508 (setq ebnf-action 'form-feed)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
509 ((eq token 'end-of-rule) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
510 (ebnf-abn-skip-end-of-rule)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
511 (t nil) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
512 ))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
513 (cond |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
514 ;; end of input |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
515 ((>= (point) ebnf-limit) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
516 'end-of-input) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
517 ;; error |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
518 ((eq token 'error) |
60917
87f9bb9d3718
* progmodes/ebnf-abn.el, progmodes/ebnf-bnf.el,
Werner LEMBERG <wl@gnu.org>
parents:
54714
diff
changeset
|
519 (error "Invalid character")) |
54139
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
520 ;; end of rule |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
521 ((eq token 'end-of-rule) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
522 'end-of-rule) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
523 ;; integer |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
524 ((eq token 'integer) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
525 (setq ebnf-abn-lex (ebnf-buffer-substring "0-9")) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
526 'integer) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
527 ;; terminal: "string" or %[bdx]NNN((.NNN)+|-NNN)? |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
528 ((eq token 'terminal) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
529 (setq ebnf-abn-lex |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
530 (if (= (following-char) ?\") |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
531 (ebnf-abn-string) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
532 (ebnf-abn-character))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
533 'terminal) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
534 ;; non-terminal: NAME or <NAME> |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
535 ((eq token 'non-terminal) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
536 (let ((prose-p (= (following-char) ?<))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
537 (when prose-p |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
538 (forward-char) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
539 (or (looking-at ebnf-abn-non-terminal-letter-chars) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
540 (error "Invalid prose value"))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
541 (setq ebnf-abn-lex |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
542 (ebnf-buffer-substring ebnf-abn-non-terminal-chars)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
543 (when prose-p |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
544 (or (= (following-char) ?>) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
545 (error "Invalid prose value")) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
546 (setq ebnf-abn-lex (concat "<" ebnf-abn-lex ">")))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
547 'non-terminal) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
548 ;; equal: =, =/ |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
549 ((eq token 'equal) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
550 (forward-char) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
551 (if (/= (following-char) ?/) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
552 'equal |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
553 (forward-char) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
554 'incremental-alternative)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
555 ;; miscellaneous: (, ), [, ], /, * |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
556 (t |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
557 (forward-char) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
558 token) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
559 )))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
560 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
561 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
562 (defun ebnf-abn-skip-end-of-rule () |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
563 (let (eor-p) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
564 (while (progn |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
565 ;; end of rule ==> 2 or more consecutive end of lines |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
566 (setq eor-p (or (> (skip-chars-forward "\r\n" ebnf-limit) 1) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
567 eor-p)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
568 ;; skip spaces |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
569 (skip-chars-forward " \013\t" ebnf-limit) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
570 ;; skip comments |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
571 (and (= (following-char) ?\;) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
572 (ebnf-abn-skip-comment)))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
573 (not eor-p))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
574 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
575 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
576 ;; replace the range "\177-\237" (see `ebnf-range-regexp'). |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
577 (defconst ebnf-abn-comment-chars |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
578 (ebnf-range-regexp "^\n\000-\010\016-\037" ?\177 ?\237)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
579 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
580 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
581 (defun ebnf-abn-skip-comment () |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
582 (forward-char) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
583 (cond |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
584 ;; open EPS file |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
585 ((and ebnf-eps-executing (= (following-char) ?\[)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
586 (ebnf-eps-add-context (ebnf-abn-eps-filename))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
587 ;; close EPS file |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
588 ((and ebnf-eps-executing (= (following-char) ?\])) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
589 (ebnf-eps-remove-context (ebnf-abn-eps-filename))) |
82143
81c81019e0c6
New: Header/Footer comment & Log messages
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
78234
diff
changeset
|
590 ;; EPS header |
81c81019e0c6
New: Header/Footer comment & Log messages
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
78234
diff
changeset
|
591 ((and ebnf-eps-executing (= (following-char) ?H)) |
81c81019e0c6
New: Header/Footer comment & Log messages
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
78234
diff
changeset
|
592 (ebnf-eps-header-comment (ebnf-abn-eps-filename))) |
81c81019e0c6
New: Header/Footer comment & Log messages
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
78234
diff
changeset
|
593 ;; EPS footer |
81c81019e0c6
New: Header/Footer comment & Log messages
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
78234
diff
changeset
|
594 ((and ebnf-eps-executing (= (following-char) ?F)) |
81c81019e0c6
New: Header/Footer comment & Log messages
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
78234
diff
changeset
|
595 (ebnf-eps-footer-comment (ebnf-abn-eps-filename))) |
54139
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
596 ;; any other action in comment |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
597 (t |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
598 (setq ebnf-action (aref ebnf-comment-table (following-char))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
599 (skip-chars-forward ebnf-abn-comment-chars ebnf-limit)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
600 ) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
601 ;; check for a valid end of comment |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
602 (cond ((>= (point) ebnf-limit) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
603 nil) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
604 ((= (following-char) ?\n) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
605 t) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
606 (t |
60917
87f9bb9d3718
* progmodes/ebnf-abn.el, progmodes/ebnf-bnf.el,
Werner LEMBERG <wl@gnu.org>
parents:
54714
diff
changeset
|
607 (error "Invalid character")) |
54139
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
608 )) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
609 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
610 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
611 (defun ebnf-abn-eps-filename () |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
612 (forward-char) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
613 (ebnf-buffer-substring ebnf-abn-comment-chars)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
614 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
615 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
616 ;; replace the range "\240-\377" (see `ebnf-range-regexp'). |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
617 (defconst ebnf-abn-string-chars |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
618 (ebnf-range-regexp " -!#-~" ?\240 ?\377)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
619 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
620 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
621 (defun ebnf-abn-string () |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
622 (buffer-substring-no-properties |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
623 (progn |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
624 (forward-char) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
625 (point)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
626 (progn |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
627 (skip-chars-forward ebnf-abn-string-chars ebnf-limit) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
628 (or (= (following-char) ?\") |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
629 (error "Missing `\"'")) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
630 (prog1 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
631 (point) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
632 (forward-char))))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
633 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
634 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
635 (defun ebnf-abn-character () |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
636 ;; %[bdx]NNN((-NNN)|(.NNN)+)? |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
637 (buffer-substring-no-properties |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
638 (point) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
639 (progn |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
640 (forward-char) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
641 (let* ((char (following-char)) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
642 (chars (cond ((or (= char ?B) (= char ?b)) "01") |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
643 ((or (= char ?D) (= char ?d)) "0-9") |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
644 ((or (= char ?X) (= char ?x)) "0-9A-Fa-f") |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
645 (t (error "Invalid terminal value"))))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
646 (forward-char) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
647 (or (> (skip-chars-forward chars ebnf-limit) 0) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
648 (error "Invalid terminal value")) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
649 (if (= (following-char) ?-) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
650 (progn |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
651 (forward-char) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
652 (or (> (skip-chars-forward chars ebnf-limit) 0) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
653 (error "Invalid terminal value range"))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
654 (while (= (following-char) ?.) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
655 (forward-char) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
656 (or (> (skip-chars-forward chars ebnf-limit) 0) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
657 (error "Invalid terminal value"))))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
658 (point)))) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
659 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
660 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
661 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
662 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
663 |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
664 (provide 'ebnf-abn) |
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
665 |
93975
1e3a407766b9
Fix up comment convention on the arch-tag lines.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
87649
diff
changeset
|
666 ;; arch-tag: 8d1b3c4d-4226-4393-b9ae-b7ccf07cf779 |
54139
3aff710a91c0
ABNF parser (ebnf2ps)
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
667 ;;; ebnf-abn.el ends here |