annotate lisp/progmodes/ebnf-abn.el @ 106170:f2dc4c9f826f

2009-11-20 Carsten Dominik <dominik@u016822.science.uva.nl> * org.texi: (Column attributes): Fix documentaion of new operators.
author Carsten Dominik <dominik@science.uva.nl>
date Fri, 20 Nov 2009 20:54:22 +0000
parents a9dc0e7c3f2b
children 1d1d5d9bd884
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
a9dc0e7c3f2b Add 2009 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 94673
diff changeset
3 ;; Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009
75347
e3694f1cb928 Add 2007 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 74417
diff changeset
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
6a7a401e1598 Doc fix.
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents: 54141
diff changeset
42 ;; `http://www.ietf.org/rfc/rfc2234.txt'
6a7a401e1598 Doc fix.
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents: 54141
diff changeset
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
fc6e53c00fcf ebnf2ps 4.2
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents: 54622
diff changeset
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