Mercurial > emacs
annotate lisp/progmodes/ebnf-dtd.el @ 101011:04548ca9af08
Replace last-input-char with last-input-event.
author | Glenn Morris <rgm@gnu.org> |
---|---|
date | Fri, 09 Jan 2009 04:55:50 +0000 |
parents | a9dc0e7c3f2b |
children | 1d1d5d9bd884 |
rev | line source |
---|---|
54712
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1 ;;; ebnf-dtd.el --- parser for DTD (Data Type Description for XML) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
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. |
54712
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
5 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
6 ;; Author: Vinicius Jose Latorre <viniciusjl@ig.com.br> |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
7 ;; Maintainer: Vinicius Jose Latorre <viniciusjl@ig.com.br> |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
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.1 |
54712
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
10 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
11 ;; This file is part of GNU Emacs. |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
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 |
54712
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
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. |
54712
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
17 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
18 ;; GNU Emacs is distributed in the hope that it will be useful, |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
19 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
20 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
21 ;; GNU General Public License for more details. |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
22 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
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/>. |
54712
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
25 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
26 ;;; Commentary: |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
27 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
28 ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
29 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
30 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
31 ;; This is part of ebnf2ps package. |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
32 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
33 ;; This package defines a parser for DTD (Data Type Description for XML). |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
34 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
35 ;; See ebnf2ps.el for documentation. |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
36 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
37 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
38 ;; DTD Syntax |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
39 ;; ---------- |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
40 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
41 ;; See the URLs: |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
42 ;; `http://www.w3.org/TR/2004/REC-xml-20040204/' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
43 ;; (Extensible Markup Language (XML) 1.0 (Third Edition)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
44 ;; `http://www.w3.org/TR/html40/' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
45 ;; (HTML 4.01 Specification) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
46 ;; `http://www.w3.org/TR/NOTE-html-970421' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
47 ;; (HTML DTD with support for Style Sheets) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
48 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
49 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
50 ;; /* Document */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
51 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
52 ;; document ::= prolog element Misc* |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
53 ;; /* Note that *only* the prolog will be parsed */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
54 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
55 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
56 ;; /* Characters */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
57 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
58 ;; Char ::= #x9 | #xA | #xD |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
59 ;; | [#x20-#xD7FF] | [#xE000-#xFFFD] | [#x10000-#x10FFFF] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
60 ;; /* any Unicode character, excluding the surrogate blocks, FFFE, and FFFF. */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
61 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
62 ;; /* NOTE: |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
63 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
64 ;; Document authors are encouraged to avoid "compatibility characters", as |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
65 ;; defined in section 6.8 of [Unicode] (see also D21 in section 3.6 of |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
66 ;; [Unicode3]). The characters defined in the following ranges are also |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
67 ;; discouraged. They are either control characters or permanently undefined |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
68 ;; Unicode characters: |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
69 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
70 ;; [#x7F-#x84], [#x86-#x9F], [#xFDD0-#xFDDF], |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
71 ;; [#1FFFE-#x1FFFF], [#2FFFE-#x2FFFF], [#3FFFE-#x3FFFF], |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
72 ;; [#4FFFE-#x4FFFF], [#5FFFE-#x5FFFF], [#6FFFE-#x6FFFF], |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
73 ;; [#7FFFE-#x7FFFF], [#8FFFE-#x8FFFF], [#9FFFE-#x9FFFF], |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
74 ;; [#AFFFE-#xAFFFF], [#BFFFE-#xBFFFF], [#CFFFE-#xCFFFF], |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
75 ;; [#DFFFE-#xDFFFF], [#EFFFE-#xEFFFF], [#FFFFE-#xFFFFF], |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
76 ;; [#10FFFE-#x10FFFF]. */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
77 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
78 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
79 ;; /* White Space */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
80 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
81 ;; S ::= (#x20 | #x9 | #xD | #xA)+ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
82 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
83 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
84 ;; /* Names and Tokens */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
85 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
86 ;; NameChar ::= Letter | Digit | '.' | '-' | '_' | ':' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
87 ;; | CombiningChar | Extender |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
88 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
89 ;; Name ::= (Letter | '_' | ':') (NameChar)* |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
90 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
91 ;; Names ::= Name (#x20 Name)* |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
92 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
93 ;; Nmtoken ::= (NameChar)+ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
94 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
95 ;; Nmtokens ::= Nmtoken (#x20 Nmtoken)* |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
96 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
97 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
98 ;; /* Literals */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
99 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
100 ;; EntityValue ::= '"' ([^%&"] | PEReference | Reference)* '"' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
101 ;; | "'" ([^%&'] | PEReference | Reference)* "'" |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
102 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
103 ;; AttValue ::= '"' ([^<&"] | Reference)* '"' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
104 ;; | "'" ([^<&'] | Reference)* "'" |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
105 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
106 ;; SystemLiteral ::= ('"' [^"]* '"') |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
107 ;; | ("'" [^']* "'") |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
108 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
109 ;; PubidLiteral ::= '"' PubidChar* '"' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
110 ;; | "'" (PubidChar - "'")* "'" |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
111 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
112 ;; PubidChar ::= #x20 | #xD | #xA | [a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
113 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
114 ;; /* NOTE: |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
115 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
116 ;; Although the EntityValue production allows the definition of a general |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
117 ;; entity consisting of a single explicit < in the literal (e.g., <!ENTITY |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
118 ;; mylt "<">), it is strongly advised to avoid this practice since any |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
119 ;; reference to that entity will cause a well-formedness error. */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
120 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
121 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
122 ;; /* Character Data */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
123 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
124 ;; CharData ::= [^<&]* - ([^<&]* ']]>' [^<&]*) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
125 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
126 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
127 ;; /* Comments */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
128 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
129 ;; Comment ::= '<!--' ((Char - '-') | ('-' (Char - '-')))* '-->' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
130 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
131 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
132 ;; /* Processing Instructions */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
133 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
134 ;; PI ::= '<?' PITarget (S (Char* - (Char* '?>' Char*)))? '?>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
135 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
136 ;; PITarget ::= Name - (('X' | 'x') ('M' | 'm') ('L' | 'l')) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
137 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
138 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
139 ;; /* CDATA Sections */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
140 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
141 ;; CDSect ::= CDStart CData CDEnd |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
142 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
143 ;; CDStart ::= '<![CDATA[' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
144 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
145 ;; CData ::= (Char* - (Char* ']]>' Char*)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
146 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
147 ;; CDEnd ::= ']]>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
148 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
149 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
150 ;; /* Prolog */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
151 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
152 ;; prolog ::= XMLDecl? Misc* (doctypedecl Misc*)? |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
153 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
154 ;; XMLDecl ::= '<?xml' VersionInfo EncodingDecl? SDDecl? S? '?>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
155 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
156 ;; VersionInfo ::= S 'version' Eq ("'" VersionNum "'" | '"' VersionNum '"') |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
157 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
158 ;; Eq ::= S? '=' S? |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
159 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
160 ;; VersionNum ::= '1.0' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
161 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
162 ;; Misc ::= Comment | PI | S |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
163 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
164 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
165 ;; /* Document Type Definition */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
166 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
167 ;; doctypedecl ::= '<!DOCTYPE' S Name (S ExternalID)? S? |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
168 ;; ('[' intSubset ']' S?)? '>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
169 ;; [VC: Root Element Type] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
170 ;; [WFC: External Subset] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
171 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
172 ;; DeclSep ::= PEReference | S |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
173 ;; [WFC: PE Between Declarations] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
174 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
175 ;; intSubset ::= (markupdecl | DeclSep)* |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
176 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
177 ;; markupdecl ::= elementdecl | AttlistDecl | EntityDecl |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
178 ;; | NotationDecl | PI | Comment |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
179 ;; [VC: Proper Declaration/PE Nesting] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
180 ;; [WFC: PEs in Internal Subset] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
181 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
182 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
183 ;; /* External Subset */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
184 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
185 ;; extSubset ::= TextDecl? extSubsetDecl |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
186 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
187 ;; extSubsetDecl ::= ( markupdecl | conditionalSect | DeclSep)* |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
188 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
189 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
190 ;; /* Standalone Document Declaration */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
191 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
192 ;; SDDecl ::= S 'standalone' Eq |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
193 ;; (("'" ('yes' | 'no') "'") | ('"' ('yes' | 'no') '"')) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
194 ;; [VC: Standalone Document Declaration] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
195 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
196 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
197 ;; /* Element */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
198 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
199 ;; element ::= EmptyElemTag | STag content ETag |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
200 ;; [WFC: Element Type Match] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
201 ;; [VC: Element Valid] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
202 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
203 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
204 ;; /* Start-tag */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
205 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
206 ;; STag ::= '<' Name (S Attribute)* S? '>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
207 ;; [WFC: Unique Att Spec] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
208 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
209 ;; Attribute ::= Name Eq AttValue |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
210 ;; [VC: Attribute Value Type] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
211 ;; [WFC: No External Entity References] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
212 ;; [WFC: No < in Attribute Values] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
213 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
214 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
215 ;; /* End-tag */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
216 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
217 ;; ETag ::= '</' Name S? '>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
218 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
219 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
220 ;; /* Content of Elements */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
221 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
222 ;; content ::= CharData? |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
223 ;; ((element | Reference | CDSect | PI | Comment) CharData?)* |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
224 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
225 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
226 ;; /* Tags for Empty Elements */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
227 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
228 ;; EmptyElemTag ::= '<' Name (S Attribute)* S? '/>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
229 ;; [WFC: Unique Att Spec] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
230 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
231 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
232 ;; /* Element Type Declaration */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
233 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
234 ;; elementdecl ::= '<!ELEMENT' S Name S contentspec S? '>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
235 ;; [VC: Unique Element Type Declaration] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
236 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
237 ;; contentspec ::= 'EMPTY' | 'ANY' | Mixed | children |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
238 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
239 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
240 ;; /* Element-content Models */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
241 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
242 ;; children ::= (choice | seq) ('?' | '*' | '+')? |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
243 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
244 ;; cp ::= (Name | choice | seq) ('?' | '*' | '+')? |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
245 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
246 ;; choice ::= '(' S? cp ( S? '|' S? cp )+ S? ')' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
247 ;; [VC: Proper Group/PE Nesting] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
248 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
249 ;; seq ::= '(' S? cp ( S? ',' S? cp )* S? ')' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
250 ;; [VC: Proper Group/PE Nesting] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
251 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
252 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
253 ;; /* Mixed-content Declaration */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
254 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
255 ;; Mixed ::= '(' S? '#PCDATA' (S? '|' S? Name)* S? ')*' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
256 ;; | '(' S? '#PCDATA' S? ')' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
257 ;; [VC: Proper Group/PE Nesting] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
258 ;; [VC: No Duplicate Types] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
259 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
260 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
261 ;; /* Attribute-list Declaration */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
262 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
263 ;; AttlistDecl ::= '<!ATTLIST' S Name AttDef* S? '>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
264 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
265 ;; AttDef ::= S Name S AttType S DefaultDecl |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
266 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
267 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
268 ;; /* Attribute Types */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
269 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
270 ;; AttType ::= StringType | TokenizedType | EnumeratedType |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
271 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
272 ;; StringType ::= 'CDATA' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
273 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
274 ;; TokenizedType ::= 'ID' [VC: ID] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
275 ;; [VC: One ID per Element Type] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
276 ;; [VC: ID Attribute Default] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
277 ;; | 'IDREF' [VC: IDREF] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
278 ;; | 'IDREFS' [VC: IDREF] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
279 ;; | 'ENTITY' [VC: Entity Name] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
280 ;; | 'ENTITIES' [VC: Entity Name] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
281 ;; | 'NMTOKEN' [VC: Name Token] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
282 ;; | 'NMTOKENS' [VC: Name Token] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
283 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
284 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
285 ;; /* Enumerated Attribute Types */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
286 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
287 ;; EnumeratedType ::= NotationType | Enumeration |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
288 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
289 ;; NotationType ::= 'NOTATION' S '(' S? Name (S? '|' S? Name)* S? ')' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
290 ;; [VC: Notation Attributes] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
291 ;; [VC: One Notation Per Element Type] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
292 ;; [VC: No Notation on Empty Element] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
293 ;; [VC: No Duplicate Tokens] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
294 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
295 ;; Enumeration ::= '(' S? Nmtoken (S? '|' S? Nmtoken)* S? ')' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
296 ;; [VC: Enumeration] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
297 ;; [VC: No Duplicate Tokens] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
298 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
299 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
300 ;; /* Attribute Defaults */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
301 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
302 ;; DefaultDecl ::= '#REQUIRED' | '#IMPLIED' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
303 ;; | (('#FIXED' S)? AttValue) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
304 ;; [VC: Required Attribute] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
305 ;; [VC: Attribute Default Value Syntactically Correct] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
306 ;; [WFC: No < in Attribute Values] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
307 ;; [VC: Fixed Attribute Default] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
308 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
309 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
310 ;; /* Conditional Section */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
311 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
312 ;; conditionalSect ::= includeSect | ignoreSect |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
313 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
314 ;; includeSect ::= '<![' S? 'INCLUDE' S? '[' extSubsetDecl ']]>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
315 ;; [VC: Proper Conditional Section/PE Nesting] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
316 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
317 ;; ignoreSect ::= '<![' S? 'IGNORE' S? '[' ignoreSectContents* ']]>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
318 ;; [VC: Proper Conditional Section/PE Nesting] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
319 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
320 ;; ignoreSectContents ::= Ignore ('<![' ignoreSectContents ']]>' Ignore)* |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
321 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
322 ;; Ignore ::= Char* - (Char* ('<![' | ']]>') Char*) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
323 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
324 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
325 ;; /* Character Reference */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
326 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
327 ;; CharRef ::= '&#' [0-9]+ ';' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
328 ;; | '&#x' [0-9a-fA-F]+ ';' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
329 ;; [WFC: Legal Character] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
330 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
331 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
332 ;; /* Entity Reference */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
333 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
334 ;; Reference ::= EntityRef | CharRef |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
335 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
336 ;; EntityRef ::= '&' Name ';' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
337 ;; [WFC: Entity Declared] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
338 ;; [VC: Entity Declared] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
339 ;; [WFC: Parsed Entity] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
340 ;; [WFC: No Recursion] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
341 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
342 ;; PEReference ::= '%' Name ';' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
343 ;; [VC: Entity Declared] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
344 ;; [WFC: No Recursion] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
345 ;; [WFC: In DTD] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
346 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
347 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
348 ;; /* Entity Declaration */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
349 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
350 ;; EntityDecl ::= GEDecl | PEDecl |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
351 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
352 ;; GEDecl ::= '<!ENTITY' S Name S EntityDef S? '>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
353 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
354 ;; PEDecl ::= '<!ENTITY' S '%' S Name S PEDef S? '>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
355 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
356 ;; EntityDef ::= EntityValue | (ExternalID NDataDecl?) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
357 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
358 ;; PEDef ::= EntityValue | ExternalID |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
359 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
360 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
361 ;; /* External Entity Declaration */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
362 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
363 ;; ExternalID ::= 'SYSTEM' S SystemLiteral |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
364 ;; | 'PUBLIC' S PubidLiteral S SystemLiteral |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
365 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
366 ;; NDataDecl ::= S 'NDATA' S Name |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
367 ;; [VC: Notation Declared] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
368 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
369 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
370 ;; /* Text Declaration */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
371 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
372 ;; TextDecl ::= '<?xml' VersionInfo? EncodingDecl S? '?>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
373 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
374 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
375 ;; /* Well-Formed External Parsed Entity */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
376 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
377 ;; extParsedEnt ::= TextDecl? content |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
378 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
379 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
380 ;; /* Encoding Declaration */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
381 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
382 ;; EncodingDecl ::= S 'encoding' Eq ('"' EncName '"' | "'" EncName "'" ) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
383 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
384 ;; EncName ::= [A-Za-z] ([A-Za-z0-9._] | '-')* |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
385 ;; /* Encoding name contains only Latin characters */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
386 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
387 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
388 ;; /* Notation Declarations */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
389 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
390 ;; NotationDecl ::= '<!NOTATION' S Name S (ExternalID | PublicID) S? '>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
391 ;; [VC: Unique Notation Name] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
392 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
393 ;; PublicID ::= 'PUBLIC' S PubidLiteral |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
394 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
395 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
396 ;; /* Characters */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
397 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
398 ;; Letter ::= BaseChar | Ideographic |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
399 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
400 ;; BaseChar ::= [#x0041-#x005A] | [#x0061-#x007A] | [#x00C0-#x00D6] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
401 ;; | [#x00D8-#x00F6] | [#x00F8-#x00FF] | [#x0100-#x0131] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
402 ;; | [#x0134-#x013E] | [#x0141-#x0148] | [#x014A-#x017E] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
403 ;; | [#x0180-#x01C3] | [#x01CD-#x01F0] | [#x01F4-#x01F5] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
404 ;; | [#x01FA-#x0217] | [#x0250-#x02A8] | [#x02BB-#x02C1] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
405 ;; | #x0386 | [#x0388-#x038A] | #x038C |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
406 ;; | [#x038E-#x03A1] | [#x03A3-#x03CE] | [#x03D0-#x03D6] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
407 ;; | #x03DA | #x03DC | #x03DE |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
408 ;; | #x03E0 | [#x03E2-#x03F3] | [#x0401-#x040C] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
409 ;; | [#x040E-#x044F] | [#x0451-#x045C] | [#x045E-#x0481] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
410 ;; | [#x0490-#x04C4] | [#x04C7-#x04C8] | [#x04CB-#x04CC] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
411 ;; | [#x04D0-#x04EB] | [#x04EE-#x04F5] | [#x04F8-#x04F9] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
412 ;; | [#x0531-#x0556] | #x0559 | [#x0561-#x0586] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
413 ;; | [#x05D0-#x05EA] | [#x05F0-#x05F2] | [#x0621-#x063A] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
414 ;; | [#x0641-#x064A] | [#x0671-#x06B7] | [#x06BA-#x06BE] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
415 ;; | [#x06C0-#x06CE] | [#x06D0-#x06D3] | #x06D5 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
416 ;; | [#x06E5-#x06E6] | [#x0905-#x0939] | #x093D |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
417 ;; | [#x0958-#x0961] | [#x0985-#x098C] | [#x098F-#x0990] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
418 ;; | [#x0993-#x09A8] | [#x09AA-#x09B0] | #x09B2 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
419 ;; | [#x09B6-#x09B9] | [#x09DC-#x09DD] | [#x09DF-#x09E1] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
420 ;; | [#x09F0-#x09F1] | [#x0A05-#x0A0A] | [#x0A0F-#x0A10] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
421 ;; | [#x0A13-#x0A28] | [#x0A2A-#x0A30] | [#x0A32-#x0A33] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
422 ;; | [#x0A35-#x0A36] | [#x0A38-#x0A39] | [#x0A59-#x0A5C] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
423 ;; | #x0A5E | [#x0A72-#x0A74] | [#x0A85-#x0A8B] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
424 ;; | #x0A8D | [#x0A8F-#x0A91] | [#x0A93-#x0AA8] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
425 ;; | [#x0AAA-#x0AB0] | [#x0AB2-#x0AB3] | [#x0AB5-#x0AB9] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
426 ;; | #x0ABD | #x0AE0 | [#x0B05-#x0B0C] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
427 ;; | [#x0B0F-#x0B10] | [#x0B13-#x0B28] | [#x0B2A-#x0B30] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
428 ;; | [#x0B32-#x0B33] | [#x0B36-#x0B39] | #x0B3D |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
429 ;; | [#x0B5C-#x0B5D] | [#x0B5F-#x0B61] | [#x0B85-#x0B8A] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
430 ;; | [#x0B8E-#x0B90] | [#x0B92-#x0B95] | [#x0B99-#x0B9A] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
431 ;; | #x0B9C | [#x0B9E-#x0B9F] | [#x0BA3-#x0BA4] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
432 ;; | [#x0BA8-#x0BAA] | [#x0BAE-#x0BB5] | [#x0BB7-#x0BB9] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
433 ;; | [#x0C05-#x0C0C] | [#x0C0E-#x0C10] | [#x0C12-#x0C28] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
434 ;; | [#x0C2A-#x0C33] | [#x0C35-#x0C39] | [#x0C60-#x0C61] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
435 ;; | [#x0C85-#x0C8C] | [#x0C8E-#x0C90] | [#x0C92-#x0CA8] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
436 ;; | [#x0CAA-#x0CB3] | [#x0CB5-#x0CB9] | #x0CDE |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
437 ;; | [#x0CE0-#x0CE1] | [#x0D05-#x0D0C] | [#x0D0E-#x0D10] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
438 ;; | [#x0D12-#x0D28] | [#x0D2A-#x0D39] | [#x0D60-#x0D61] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
439 ;; | [#x0E01-#x0E2E] | #x0E30 | [#x0E32-#x0E33] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
440 ;; | [#x0E40-#x0E45] | [#x0E81-#x0E82] | #x0E84 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
441 ;; | [#x0E87-#x0E88] | #x0E8A | #x0E8D |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
442 ;; | [#x0E94-#x0E97] | [#x0E99-#x0E9F] | [#x0EA1-#x0EA3] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
443 ;; | #x0EA5 | #x0EA7 | [#x0EAA-#x0EAB] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
444 ;; | [#x0EAD-#x0EAE] | #x0EB0 | [#x0EB2-#x0EB3] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
445 ;; | #x0EBD | [#x0EC0-#x0EC4] | [#x0F40-#x0F47] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
446 ;; | [#x0F49-#x0F69] | [#x10A0-#x10C5] | [#x10D0-#x10F6] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
447 ;; | #x1100 | [#x1102-#x1103] | [#x1105-#x1107] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
448 ;; | #x1109 | [#x110B-#x110C] | [#x110E-#x1112] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
449 ;; | #x113C | #x113E | #x1140 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
450 ;; | #x114C | #x114E | #x1150 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
451 ;; | [#x1154-#x1155] | #x1159 | [#x115F-#x1161] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
452 ;; | #x1163 | #x1165 | #x1167 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
453 ;; | #x1169 | [#x116D-#x116E] | [#x1172-#x1173] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
454 ;; | #x1175 | #x119E | #x11A8 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
455 ;; | #x11AB | [#x11AE-#x11AF] | [#x11B7-#x11B8] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
456 ;; | #x11BA | [#x11BC-#x11C2] | #x11EB |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
457 ;; | #x11F0 | #x11F9 | [#x1E00-#x1E9B] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
458 ;; | [#x1EA0-#x1EF9] | [#x1F00-#x1F15] | [#x1F18-#x1F1D] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
459 ;; | [#x1F20-#x1F45] | [#x1F48-#x1F4D] | [#x1F50-#x1F57] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
460 ;; | #x1F59 | #x1F5B | #x1F5D |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
461 ;; | [#x1F5F-#x1F7D] | [#x1F80-#x1FB4] | [#x1FB6-#x1FBC] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
462 ;; | #x1FBE | [#x1FC2-#x1FC4] | [#x1FC6-#x1FCC] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
463 ;; | [#x1FD0-#x1FD3] | [#x1FD6-#x1FDB] | [#x1FE0-#x1FEC] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
464 ;; | [#x1FF2-#x1FF4] | [#x1FF6-#x1FFC] | #x2126 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
465 ;; | [#x212A-#x212B] | #x212E | [#x2180-#x2182] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
466 ;; | [#x3041-#x3094] | [#x30A1-#x30FA] | [#x3105-#x312C] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
467 ;; | [#xAC00-#xD7A3] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
468 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
469 ;; Ideographic ::= [#x4E00-#x9FA5] | #x3007 | [#x3021-#x3029] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
470 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
471 ;; CombiningChar ::= [#x0300-#x0345] | [#x0360-#x0361] | [#x0483-#x0486] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
472 ;; | [#x0591-#x05A1] | [#x05A3-#x05B9] | [#x05BB-#x05BD] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
473 ;; | #x05BF | [#x05C1-#x05C2] | #x05C4 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
474 ;; | [#x064B-#x0652] | #x0670 | [#x06D6-#x06DC] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
475 ;; | [#x06DD-#x06DF] | [#x06E0-#x06E4] | [#x06E7-#x06E8] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
476 ;; | [#x06EA-#x06ED] | [#x0901-#x0903] | #x093C |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
477 ;; | [#x093E-#x094C] | #x094D | [#x0951-#x0954] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
478 ;; | [#x0962-#x0963] | [#x0981-#x0983] | #x09BC |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
479 ;; | #x09BE | #x09BF | [#x09C0-#x09C4] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
480 ;; | [#x09C7-#x09C8] | [#x09CB-#x09CD] | #x09D7 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
481 ;; | [#x09E2-#x09E3] | #x0A02 | #x0A3C |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
482 ;; | #x0A3E | #x0A3F | [#x0A40-#x0A42] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
483 ;; | [#x0A47-#x0A48] | [#x0A4B-#x0A4D] | [#x0A70-#x0A71] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
484 ;; | [#x0A81-#x0A83] | #x0ABC | [#x0ABE-#x0AC5] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
485 ;; | [#x0AC7-#x0AC9] | [#x0ACB-#x0ACD] | [#x0B01-#x0B03] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
486 ;; | #x0B3C | [#x0B3E-#x0B43] | [#x0B47-#x0B48] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
487 ;; | [#x0B4B-#x0B4D] | [#x0B56-#x0B57] | [#x0B82-#x0B83] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
488 ;; | [#x0BBE-#x0BC2] | [#x0BC6-#x0BC8] | [#x0BCA-#x0BCD] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
489 ;; | #x0BD7 | [#x0C01-#x0C03] | [#x0C3E-#x0C44] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
490 ;; | [#x0C46-#x0C48] | [#x0C4A-#x0C4D] | [#x0C55-#x0C56] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
491 ;; | [#x0C82-#x0C83] | [#x0CBE-#x0CC4] | [#x0CC6-#x0CC8] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
492 ;; | [#x0CCA-#x0CCD] | [#x0CD5-#x0CD6] | [#x0D02-#x0D03] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
493 ;; | [#x0D3E-#x0D43] | [#x0D46-#x0D48] | [#x0D4A-#x0D4D] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
494 ;; | #x0D57 | #x0E31 | [#x0E34-#x0E3A] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
495 ;; | [#x0E47-#x0E4E] | #x0EB1 | [#x0EB4-#x0EB9] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
496 ;; | [#x0EBB-#x0EBC] | [#x0EC8-#x0ECD] | [#x0F18-#x0F19] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
497 ;; | #x0F35 | #x0F37 | #x0F39 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
498 ;; | #x0F3E | #x0F3F | [#x0F71-#x0F84] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
499 ;; | [#x0F86-#x0F8B] | [#x0F90-#x0F95] | #x0F97 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
500 ;; | [#x0F99-#x0FAD] | [#x0FB1-#x0FB7] | #x0FB9 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
501 ;; | [#x20D0-#x20DC] | #x20E1 | [#x302A-#x302F] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
502 ;; | #x3099 | #x309A |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
503 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
504 ;; Digit ::= [#x0030-#x0039] | [#x0660-#x0669] | [#x06F0-#x06F9] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
505 ;; | [#x0966-#x096F] | [#x09E6-#x09EF] | [#x0A66-#x0A6F] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
506 ;; | [#x0AE6-#x0AEF] | [#x0B66-#x0B6F] | [#x0BE7-#x0BEF] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
507 ;; | [#x0C66-#x0C6F] | [#x0CE6-#x0CEF] | [#x0D66-#x0D6F] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
508 ;; | [#x0E50-#x0E59] | [#x0ED0-#x0ED9] | [#x0F20-#x0F29] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
509 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
510 ;; Extender ::= #x00B7 | #x02D0 | #x02D1 | #x0387 | #x0640 | #x0E46 | #x0EC6 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
511 ;; | #x3005 | [#x3031-#x3035] | [#x309D-#x309E] | [#x30FC-#x30FE] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
512 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
513 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
514 ;; NOTES |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
515 ;; ----- |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
516 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
517 ;; At moment, only the `<!ELEMENT' generates a syntactic chart. The |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
518 ;; `<!ATTLIST', `<!NOTATION' and `<!ENTITY' are syntacticly checked but they |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
519 ;; don't generate a syntactic chart. |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
520 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
521 ;; Besides the syntax above, ebnf-dtd also accepts a `pure' dtd file. An |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
522 ;; example of a `pure' dtd file is: |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
523 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
524 ;; <?xml version="1.0" encoding="UTF-8"?> |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
525 ;; <!-- |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
526 ;; The main element. |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
527 ;; --> |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
528 ;; <!ELEMENT workflow (registers?, trigger-functions?, initial-actions, |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
529 ;; steps, splits?, joins?)> |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
530 ;; <!-- |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
531 ;; An action that can be executed (id must be unique among actions for |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
532 ;; the enclosing step). |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
533 ;; Used in: actions |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
534 ;; --> |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
535 ;; <!ELEMENT action (restrict-to, validators?, pre-functions?, results, |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
536 ;; post-functions?)> |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
537 ;; <!ATTLIST action |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
538 ;; id CDATA #REQUIRED |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
539 ;; name CDATA #REQUIRED |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
540 ;; > |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
541 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
542 ;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
543 ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
544 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
545 ;;; Code: |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
546 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
547 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
548 (require 'ebnf-otz) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
549 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
550 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
551 (defvar ebnf-dtd-lex nil |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
552 "Value returned by `ebnf-dtd-lex' function.") |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
553 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
554 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
555 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
556 ;; Syntactic analyzer |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
557 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
558 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
559 ;;; document ::= prolog element Misc* |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
560 ;;; /* Note that *only* the prolog will be parsed */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
561 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
562 (defun ebnf-dtd-parser (start) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
563 "DTD parser." |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
564 (let ((total (+ (- ebnf-limit start) 1)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
565 (bias (1- start)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
566 (origin (point)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
567 rule-list token rule the-end) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
568 (goto-char start) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
569 (setq token (ebnf-dtd-lex)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
570 (and (eq token 'end-of-input) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
571 (error "Empty DTD file")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
572 (setq token (ebnf-dtd-prolog token)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
573 (unless (eq (car token) 'end-prolog) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
574 (setq the-end (cdr token) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
575 token (car token)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
576 (while (not (eq token the-end)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
577 (ebnf-message-float |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
578 "Parsing...%s%%" |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
579 (/ (* (- (point) bias) 100.0) total)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
580 (setq token (ebnf-dtd-intsubset token) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
581 rule (cdr token) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
582 token (car token)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
583 (or (null rule) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
584 (ebnf-add-empty-rule-list rule) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
585 (setq rule-list (cons rule rule-list)))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
586 (or (eq the-end 'end-of-input) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
587 (eq (ebnf-dtd-lex) 'end-decl) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
588 (error "Missing end of DOCTYPE")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
589 ;; adjust message, 'cause *only* prolog will be parsed |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
590 (ebnf-message-float "Parsing...%s%%" 100.0)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
591 (goto-char origin) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
592 rule-list)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
593 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
594 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
595 ;;; prolog ::= XMLDecl? Misc* (doctypedecl Misc*)? |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
596 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
597 ;;; XMLDecl ::= '<?xml' VersionInfo EncodingDecl? SDDecl? S? '?>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
598 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
599 ;;; VersionInfo ::= S 'version' Eq ("'" VersionNum "'" | '"' VersionNum '"') |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
600 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
601 ;;; Eq ::= S? '=' S? |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
602 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
603 ;;; VersionNum ::= '1.0' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
604 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
605 ;;; Misc ::= Comment | PI | S |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
606 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
607 ;;; EncodingDecl ::= S 'encoding' Eq ('"' EncName '"' | "'" EncName "'" ) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
608 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
609 ;;; EncName ::= [A-Za-z] ([-A-Za-z0-9._])* |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
610 ;;; /* Encoding name contains only Latin characters */ |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
611 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
612 ;;; SDDecl ::= S 'standalone' Eq |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
613 ;;; (("'" ('yes' | 'no') "'") | ('"' ('yes' | 'no') '"')) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
614 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
615 ;;; doctypedecl ::= '<!DOCTYPE' S Name (S ExternalID)? S? |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
616 ;;; ('[' intSubset ']' S?)? '>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
617 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
618 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
619 (defun ebnf-dtd-prolog (token) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
620 (when (and (eq token 'begin-pi) (string= ebnf-dtd-lex "xml")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
621 ;; version = "1.0" |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
622 (setq token (ebnf-dtd-attribute (ebnf-dtd-lex) 'version-attr |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
623 "^1\\.0$" "XML version")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
624 ;; ( encoding = "encoding name" )? |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
625 (setq token (ebnf-dtd-attribute-optional |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
626 token 'encoding-attr |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
627 "^[A-Za-z][-A-Za-z0-9._]*$" "XML encoding")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
628 ;; ( standalone = ( "yes" | "no" ) )? |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
629 (setq token (ebnf-dtd-attribute-optional |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
630 token 'standalone-attr |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
631 "^yes|no$" "XML standalone")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
632 (or (eq token 'end-pi) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
633 (error "Missing end of XML processing instruction"))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
634 ;; processing instructions |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
635 (setq token (ebnf-dtd-pi (ebnf-dtd-lex))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
636 (cond |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
637 ;; DOCTYPE |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
638 ((eq token 'doctype-decl) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
639 (or (eq (ebnf-dtd-lex) 'name) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
640 (error "Document type name is missing")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
641 (cons (if (eq (ebnf-dtd-externalid) 'begin-subset) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
642 (ebnf-dtd-lex) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
643 'end-prolog) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
644 'end-subset)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
645 ((memq token '(element-decl attlist-decl entity-decl notation-decl)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
646 (cons token 'end-of-input)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
647 (t |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
648 '(end-prolog . end-subset)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
649 )) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
650 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
651 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
652 (defun ebnf-dtd-attribute (token attr match attr-name) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
653 (or (eq token attr) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
654 (error "%s attribute is missing" attr-name)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
655 (ebnf-dtd-attribute-optional token attr match attr-name)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
656 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
657 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
658 (defun ebnf-dtd-attribute-optional (token attr match attr-name) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
659 (when (eq token attr) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
660 (or (and (eq (ebnf-dtd-lex) 'equal) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
661 (eq (ebnf-dtd-lex) 'string) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
662 (string-match match ebnf-dtd-lex)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
663 (error "XML %s attribute is invalid" attr-name)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
664 (setq token (ebnf-dtd-lex))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
665 token) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
666 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
667 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
668 ;;; ExternalID ::= 'SYSTEM' S SystemLiteral |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
669 ;;; | 'PUBLIC' S PubidLiteral S SystemLiteral |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
670 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
671 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
672 (defun ebnf-dtd-externalid (&optional token) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
673 (let ((must-have token)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
674 (or token (setq token (ebnf-dtd-lex))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
675 (cond ((eq token 'system) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
676 (ebnf-dtd-systemliteral)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
677 ((eq token 'public) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
678 (ebnf-dtd-pubidliteral) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
679 (ebnf-dtd-systemliteral)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
680 (must-have |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
681 (error "Missing `SYSTEM' or `PUBLIC' in external id")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
682 (t |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
683 token)))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
684 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
685 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
686 ;;; SystemLiteral ::= ('"' [^"]* '"') |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
687 ;;; | ("'" [^']* "'") |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
688 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
689 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
690 (defun ebnf-dtd-systemliteral () |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
691 (or (eq (ebnf-dtd-lex) 'string) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
692 (error "System identifier is invalid")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
693 (ebnf-dtd-lex)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
694 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
695 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
696 ;;; PubidLiteral ::= '"' PubidChar* '"' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
697 ;;; | "'" (PubidChar - "'")* "'" |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
698 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
699 ;;; PubidChar ::= [-'()+,./:=?;!*#@$_%\n\r a-zA-Z0-9] |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
700 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
701 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
702 (defun ebnf-dtd-pubidliteral () |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
703 (or (and (eq (ebnf-dtd-lex) 'string) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
704 (string-match "^[-'()+,./:=?;!*#@$_%\n\r a-zA-Z0-9]*$" |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
705 ebnf-dtd-lex)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
706 (error "Public identifier is invalid"))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
707 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
708 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
709 ;;; PI ::= '<?' PITarget (S (Char* - (Char* '?>' Char*)))? '?>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
710 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
711 ;;; PITarget ::= Name - (('X' | 'x') ('M' | 'm') ('L' | 'l')) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
712 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
713 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
714 (defun ebnf-dtd-pi (token) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
715 (while (eq token 'begin-pi) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
716 (and (string-match "^[xX][mM][lL]$" ebnf-dtd-lex) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
717 (error "Processing instruction name can not be `XML'")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
718 (while (not (eq (ebnf-dtd-lex) 'end-pi))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
719 (setq token (ebnf-dtd-lex))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
720 token) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
721 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
722 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
723 ;;; doctypedecl ::= '<!DOCTYPE' S Name (S ExternalID)? S? |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
724 ;;; ('[' intSubset ']' S?)? '>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
725 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
726 ;;; intSubset ::= (markupdecl | DeclSep)* |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
727 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
728 ;;; DeclSep ::= PEReference | S |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
729 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
730 ;;; markupdecl ::= elementdecl | AttlistDecl | EntityDecl |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
731 ;;; | NotationDecl | PI | Comment |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
732 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
733 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
734 (defun ebnf-dtd-intsubset (token) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
735 ;; PI - Processing Instruction |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
736 (and (eq token 'begin-pi) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
737 (setq token (ebnf-dtd-pi token))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
738 (cond |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
739 ((memq token '(end-subset end-of-input)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
740 (cons token nil)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
741 ((eq token 'pe-ref) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
742 (cons (ebnf-dtd-lex) nil)) ; annotation |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
743 ((eq token 'element-decl) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
744 (ebnf-dtd-elementdecl)) ; rule |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
745 ((eq token 'attlist-decl) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
746 (ebnf-dtd-attlistdecl)) ; annotation |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
747 ((eq token 'entity-decl) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
748 (ebnf-dtd-entitydecl)) ; annotation |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
749 ((eq token 'notation-decl) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
750 (ebnf-dtd-notationdecl)) ; annotation |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
751 (t |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
752 (error "Invalid DOCTYPE element")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
753 )) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
754 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
755 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
756 ;;; elementdecl ::= '<!ELEMENT' S Name S contentspec S? '>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
757 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
758 ;;; contentspec ::= 'EMPTY' | 'ANY' | Mixed | children |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
759 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
760 ;;; Mixed ::= '(' S? '#PCDATA' (S? '|' S? Name)* S? ')*' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
761 ;;; | '(' S? '#PCDATA' S? ')' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
762 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
763 ;;; children ::= (choice | seq) ('?' | '*' | '+')? |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
764 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
765 ;;; choice ::= '(' S? cp ( S? '|' S? cp )+ S? ')' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
766 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
767 ;;; seq ::= '(' S? cp ( S? ',' S? cp )* S? ')' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
768 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
769 ;;; cp ::= (Name | choice | seq) ('?' | '*' | '+')? |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
770 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
771 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
772 (defun ebnf-dtd-elementdecl () |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
773 (let ((action ebnf-action) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
774 name token body) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
775 (setq ebnf-action nil) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
776 (or (eq (ebnf-dtd-lex) 'name) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
777 (error "Invalid ELEMENT name")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
778 (setq name ebnf-dtd-lex |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
779 token (ebnf-dtd-lex) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
780 body (cond ((memq token '(empty any)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
781 (let ((term (ebnf-make-terminal ebnf-dtd-lex))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
782 (cons (ebnf-dtd-lex) term))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
783 ((eq token 'begin-group) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
784 (setq token (ebnf-dtd-lex)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
785 (if (eq token 'pcdata) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
786 (ebnf-dtd-mixed) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
787 (ebnf-dtd-children token))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
788 (t |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
789 (error "Invalid ELEMENT content")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
790 )) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
791 (or (eq (car body) 'end-decl) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
792 (error "Missing `>' in ELEMENT declaration")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
793 (ebnf-eps-add-production name) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
794 (cons (ebnf-dtd-lex) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
795 (ebnf-make-production name (cdr body) action)))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
796 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
797 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
798 ;;; Mixed ::= '(' S? '#PCDATA' (S? '|' S? Name)* S? ')*' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
799 ;;; | '(' S? '#PCDATA' S? ')' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
800 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
801 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
802 (defun ebnf-dtd-mixed () |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
803 (let* ((alt (cons (ebnf-make-terminal ebnf-dtd-lex) nil)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
804 (token (ebnf-dtd-lex)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
805 (has-alternative (eq token 'alternative))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
806 (while (eq token 'alternative) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
807 (or (eq (ebnf-dtd-lex) 'name) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
808 (error "Invalid name")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
809 (setq alt (cons ebnf-dtd-lex alt) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
810 token (ebnf-dtd-lex))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
811 (or (eq token 'end-group) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
812 (error "Missing `)'")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
813 (and has-alternative |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
814 (or (eq (ebnf-dtd-lex) 'zero-or-more) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
815 (error "Missing `*'"))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
816 (ebnf-token-alternative alt (cons (ebnf-dtd-lex) nil)))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
817 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
818 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
819 ;;; children ::= (choice | seq) ('?' | '*' | '+')? |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
820 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
821 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
822 (defun ebnf-dtd-children (token) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
823 (ebnf-dtd-operators (ebnf-dtd-choice-seq token))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
824 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
825 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
826 ;;; choice ::= '(' S? cp ( S? '|' S? cp )+ S? ')' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
827 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
828 ;;; seq ::= '(' S? cp ( S? ',' S? cp )* S? ')' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
829 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
830 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
831 (defun ebnf-dtd-choice-seq (token) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
832 (setq token (ebnf-dtd-cp token)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
833 (let (elist) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
834 (cond |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
835 ;; choice |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
836 ((eq (car token) 'alternative) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
837 (while (eq (car token) 'alternative) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
838 (setq elist (cons (cdr token) elist) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
839 token (ebnf-dtd-cp (ebnf-dtd-lex)))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
840 (setq elist (ebnf-token-alternative elist token))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
841 ;; seq |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
842 ((eq (car token) 'comma) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
843 (while (eq (car token) 'comma) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
844 (setq elist (cons (cdr token) elist) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
845 token (ebnf-dtd-cp (ebnf-dtd-lex)))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
846 (setq elist (ebnf-token-sequence (cons (cdr token) elist)))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
847 ;; only one element |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
848 (t |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
849 (setq elist (cdr token)))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
850 (or (eq (car token) 'end-group) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
851 (error "Missing `)' in ELEMENT content")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
852 elist)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
853 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
854 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
855 ;;; cp ::= (Name | choice | seq) ('?' | '*' | '+')? |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
856 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
857 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
858 (defun ebnf-dtd-cp (token) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
859 (ebnf-dtd-operators (cond ((eq token 'name) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
860 (ebnf-make-terminal ebnf-dtd-lex)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
861 ((eq token 'begin-group) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
862 (ebnf-dtd-choice-seq (ebnf-dtd-lex))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
863 (t |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
864 (error "Invalid element")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
865 ))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
866 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
867 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
868 ;;; elm ('?' | '*' | '+')? |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
869 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
870 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
871 (defun ebnf-dtd-operators (elm) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
872 (let ((token (ebnf-dtd-lex))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
873 (cond ((eq token 'optional) ; ? - optional |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
874 (cons (ebnf-dtd-lex) (ebnf-token-optional elm))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
875 ((eq token 'zero-or-more) ; * - zero or more |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
876 (cons (ebnf-dtd-lex) (ebnf-make-zero-or-more elm))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
877 ((eq token 'one-or-more) ; + - one or more |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
878 (cons (ebnf-dtd-lex) (ebnf-make-one-or-more elm))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
879 (t ; only element |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
880 (cons token elm)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
881 ))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
882 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
883 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
884 ;;; AttlistDecl ::= '<!ATTLIST' S Name AttDef* S? '>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
885 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
886 ;;; AttDef ::= S Name S AttType S DefaultDecl |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
887 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
888 ;;; AttType ::= StringType | TokenizedType | EnumeratedType |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
889 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
890 ;;; StringType ::= 'CDATA' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
891 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
892 ;;; TokenizedType ::= 'ID' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
893 ;;; | 'IDREF' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
894 ;;; | 'IDREFS' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
895 ;;; | 'ENTITY' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
896 ;;; | 'ENTITIES' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
897 ;;; | 'NMTOKEN' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
898 ;;; | 'NMTOKENS' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
899 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
900 ;;; EnumeratedType ::= NotationType | Enumeration |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
901 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
902 ;;; NotationType ::= 'NOTATION' S '(' S? Name (S? '|' S? Name)* S? ')' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
903 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
904 ;;; Enumeration ::= '(' S? Nmtoken (S? '|' S? Nmtoken)* S? ')' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
905 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
906 ;;; DefaultDecl ::= '#REQUIRED' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
907 ;;; | '#IMPLIED' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
908 ;;; | (('#FIXED' S)? AttValue) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
909 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
910 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
911 ;;; AttValue ::= '"' ([^<&"] | Reference)* '"' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
912 ;;; | "'" ([^<&'] | Reference)* "'" |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
913 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
914 ;;; Reference ::= EntityRef | CharRef |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
915 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
916 ;;; EntityRef ::= '&' Name ';' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
917 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
918 ;;; CharRef ::= '&#' [0-9]+ ';' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
919 ;;; | '&#x' [0-9a-fA-F]+ ';' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
920 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
921 ;;; "^\\(&\\([A-Za-z_:][-A-Za-z0-9._:]*\\|#\\(x[0-9a-fA-F]+\\|[0-9]+\\)\\);\\|[^<&]\\)*$" |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
922 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
923 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
924 (defun ebnf-dtd-attlistdecl () |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
925 (or (eq (ebnf-dtd-lex) 'name) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
926 (error "Invalid ATTLIST name")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
927 (let (token) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
928 (while (eq (setq token (ebnf-dtd-lex)) 'name) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
929 ;; type |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
930 (setq token (ebnf-dtd-lex)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
931 (cond |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
932 ((eq token 'notation) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
933 (or (eq (ebnf-dtd-lex) 'begin-group) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
934 (error "Missing `(' in NOTATION type in ATTLIST declaration")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
935 (ebnf-dtd-namelist "NOTATION" '(name))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
936 ((eq token 'begin-group) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
937 (ebnf-dtd-namelist "enumeration" '(name name-char))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
938 ((memq token |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
939 '(cdata id idref idrefs entity entities nmtoken nmtokens))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
940 (t |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
941 (error "Invalid type in ATTLIST declaration"))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
942 ;; default value |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
943 (setq token (ebnf-dtd-lex)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
944 (unless (memq token '(required implied)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
945 (and (eq token 'fixed) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
946 (setq token (ebnf-dtd-lex))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
947 (or (and (eq token 'string) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
948 (string-match |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
949 "^\\(&\\([A-Za-z_:][-A-Za-z0-9._:]*\\|#\\(x[0-9a-fA-F]+\\|[0-9]+\\)\\);\\|[^<&]\\)*$" |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
950 ebnf-dtd-lex)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
951 (error "Invalid default value in ATTLIST declaration")))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
952 (or (eq token 'end-decl) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
953 (error "Missing `>' in end of ATTLIST")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
954 (cons (ebnf-dtd-lex) nil))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
955 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
956 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
957 (defun ebnf-dtd-namelist (type name-list) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
958 (let (token) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
959 (while (progn |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
960 (or (memq (ebnf-dtd-lex) name-list) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
961 (error "Invalid name in %s type in ATTLIST declaration" type)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
962 (eq (setq token (ebnf-dtd-lex)) 'alternative))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
963 (or (eq token 'end-group) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
964 (error "Missing `)' in %s type in ATTLIST declaration" type)))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
965 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
966 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
967 ;;; EntityDecl ::= GEDecl | PEDecl |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
968 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
969 ;;; GEDecl ::= '<!ENTITY' S Name S EntityDef S? '>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
970 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
971 ;;; PEDecl ::= '<!ENTITY' S '%' S Name S PEDef S? '>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
972 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
973 ;;; EntityDef ::= EntityValue | (ExternalID NDataDecl?) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
974 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
975 ;;; PEDef ::= EntityValue | ExternalID |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
976 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
977 ;;; NDataDecl ::= S 'NDATA' S Name |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
978 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
979 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
980 ;;; EntityValue ::= '"' ([^%&"] | PEReference | Reference)* '"' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
981 ;;; | "'" ([^%&'] | PEReference | Reference)* "'" |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
982 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
983 ;;; PEReference ::= '%' Name ';' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
984 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
985 ;;; Reference ::= EntityRef | CharRef |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
986 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
987 ;;; EntityRef ::= '&' Name ';' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
988 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
989 ;;; CharRef ::= '&#' [0-9]+ ';' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
990 ;;; | '&#x' [0-9a-fA-F]+ ';' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
991 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
992 ;;; "^\\(%[A-Za-z_:][-A-Za-z0-9._:]*;\\|&\\([A-Za-z_:][-A-Za-z0-9._:]*\\|#\\(x[0-9a-fA-F]+\\|[0-9]+\\)\\);\\|[^%&]\\)*$" |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
993 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
994 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
995 (defun ebnf-dtd-entitydecl () |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
996 (let* ((token (ebnf-dtd-lex)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
997 (pedecl (eq token 'percent))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
998 (and pedecl |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
999 (setq token (ebnf-dtd-lex))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1000 (or (eq token 'name) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1001 (error "Invalid name of ENTITY")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1002 (setq token (ebnf-dtd-lex)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1003 (if (eq token 'string) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1004 (if (string-match |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1005 "^\\(%[A-Za-z_:][-A-Za-z0-9._:]*;\\|&\\([A-Za-z_:][-A-Za-z0-9._:]*\\|#\\(x[0-9a-fA-F]+\\|[0-9]+\\)\\);\\|[^%&]\\)*$" |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1006 ebnf-dtd-lex) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1007 (setq token (ebnf-dtd-lex)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1008 (error "Invalid ENTITY definition")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1009 (setq token (ebnf-dtd-externalid token)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1010 (when (and (not pedecl) (eq token 'ndata)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1011 (or (eq (ebnf-dtd-lex) 'name) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1012 (error "Invalid NDATA name")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1013 (setq token (ebnf-dtd-lex)))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1014 (or (eq token 'end-decl) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1015 (error "Missing `>' in end of ENTITY")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1016 (cons (ebnf-dtd-lex) nil))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1017 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1018 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1019 ;;; NotationDecl ::= '<!NOTATION' S Name S (ExternalID | PublicID) S? '>' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1020 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1021 ;;; PublicID ::= 'PUBLIC' S PubidLiteral |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1022 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1023 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1024 (defun ebnf-dtd-notationdecl () |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1025 (or (eq (ebnf-dtd-lex) 'name) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1026 (error "Invalid name NOTATION")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1027 (or (eq (ebnf-dtd-externalid-or-publicid) 'end-decl) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1028 (error "Missing `>' in end of NOTATION")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1029 (cons (ebnf-dtd-lex) nil)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1030 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1031 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1032 ;;; ExternalID ::= 'SYSTEM' S SystemLiteral |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1033 ;;; | 'PUBLIC' S PubidLiteral S SystemLiteral |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1034 ;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1035 ;;; PublicID ::= 'PUBLIC' S PubidLiteral |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1036 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1037 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1038 (defun ebnf-dtd-externalid-or-publicid () |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1039 (let ((token (ebnf-dtd-lex))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1040 (cond ((eq token 'system) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1041 (ebnf-dtd-systemliteral)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1042 ((eq token 'public) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1043 (ebnf-dtd-pubidliteral) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1044 (and (eq (setq token (ebnf-dtd-lex)) 'string) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1045 (setq token (ebnf-dtd-lex))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1046 token) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1047 (t |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1048 (error "Missing `SYSTEM' or `PUBLIC'"))))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1049 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1050 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1051 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1052 ;; Lexical analyzer |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1053 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1054 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1055 (defconst ebnf-dtd-token-table (make-vector 256 'error) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1056 "Vector used to map characters to a lexical token.") |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1057 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1058 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1059 (defun ebnf-dtd-initialize () |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1060 "Initialize EBNF token table." |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1061 ;; control character & control 8-bit character are set to `error' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1062 (let ((char ?\060)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1063 ;; digits: 0-9 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1064 (while (< char ?\072) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1065 (aset ebnf-dtd-token-table char 'name-char) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1066 (setq char (1+ char))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1067 ;; printable character: A-Z |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1068 (setq char ?\101) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1069 (while (< char ?\133) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1070 (aset ebnf-dtd-token-table char 'name) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1071 (setq char (1+ char))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1072 ;; printable character: a-z |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1073 (setq char ?\141) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1074 (while (< char ?\173) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1075 (aset ebnf-dtd-token-table char 'name) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1076 (setq char (1+ char))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1077 ;; European 8-bit accentuated characters: |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1078 (setq char ?\240) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1079 (while (< char ?\400) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1080 (aset ebnf-dtd-token-table char 'name) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1081 (setq char (1+ char))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1082 ;; Override name characters: |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1083 (aset ebnf-dtd-token-table ?_ 'name) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1084 (aset ebnf-dtd-token-table ?: 'name) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1085 (aset ebnf-dtd-token-table ?. 'name-char) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1086 (aset ebnf-dtd-token-table ?- 'name-char) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1087 ;; Override space characters: |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1088 (aset ebnf-dtd-token-table ?\n 'space) ; [NL] linefeed |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1089 (aset ebnf-dtd-token-table ?\r 'space) ; [CR] carriage return |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1090 (aset ebnf-dtd-token-table ?\t 'space) ; [HT] horizontal tab |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1091 (aset ebnf-dtd-token-table ?\ 'space) ; [SP] space |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1092 ;; Override other lexical characters: |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1093 (aset ebnf-dtd-token-table ?= 'equal) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1094 (aset ebnf-dtd-token-table ?, 'comma) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1095 (aset ebnf-dtd-token-table ?* 'zero-or-more) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1096 (aset ebnf-dtd-token-table ?+ 'one-or-more) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1097 (aset ebnf-dtd-token-table ?| 'alternative) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1098 (aset ebnf-dtd-token-table ?% 'percent) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1099 (aset ebnf-dtd-token-table ?& 'ampersand) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1100 (aset ebnf-dtd-token-table ?# 'hash) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1101 (aset ebnf-dtd-token-table ?\? 'interrogation) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1102 (aset ebnf-dtd-token-table ?\" 'double-quote) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1103 (aset ebnf-dtd-token-table ?\' 'single-quote) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1104 (aset ebnf-dtd-token-table ?< 'less-than) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1105 (aset ebnf-dtd-token-table ?> 'end-decl) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1106 (aset ebnf-dtd-token-table ?\( 'begin-group) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1107 (aset ebnf-dtd-token-table ?\) 'end-group) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1108 (aset ebnf-dtd-token-table ?\[ 'begin-subset) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1109 (aset ebnf-dtd-token-table ?\] 'end-subset))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1110 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1111 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1112 ;; replace the range "\240-\377" (see `ebnf-range-regexp'). |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1113 (defconst ebnf-dtd-name-chars |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1114 (ebnf-range-regexp "-._:0-9A-Za-z" ?\240 ?\377)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1115 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1116 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1117 (defconst ebnf-dtd-decl-alist |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1118 '(("ATTLIST" . attlist-decl) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1119 ("DOCTYPE" . doctype-decl) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1120 ("ELEMENT" . element-decl) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1121 ("ENTITY" . entity-decl) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1122 ("NOTATION" . notation-decl))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1123 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1124 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1125 (defconst ebnf-dtd-element-alist |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1126 '(("#FIXED" . fixed) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1127 ("#IMPLIED" . implied) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1128 ("#PCDATA" . pcdata) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1129 ("#REQUIRED" . required))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1130 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1131 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1132 (defconst ebnf-dtd-name-alist |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1133 '(("ANY" . any) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1134 ("CDATA" . cdata) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1135 ("EMPTY" . empty) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1136 ("ENTITIES" . entities) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1137 ("ENTITY" . entity) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1138 ("ID" . id) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1139 ("IDREF" . idref) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1140 ("IDREFS" . idrefs) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1141 ("NDATA" . ndata) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1142 ("NMTOKEN" . nmtoken) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1143 ("NMTOKENS" . nmtokens) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1144 ("NOTATION" . notation) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1145 ("PUBLIC" . public) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1146 ("SYSTEM" . system) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1147 ("encoding" . encoding-attr) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1148 ("standalone" . standalone-attr) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1149 ("version" . version-attr))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1150 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1151 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1152 (defun ebnf-dtd-lex () |
63630
feac886f9929
(ebnf-dtd-lex): Fix spellings.
Juanma Barranquero <lekktu@gmail.com>
parents:
60917
diff
changeset
|
1153 "Lexical analyzer for DTD. |
54712
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1154 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1155 Return a lexical token. |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1156 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1157 See documentation for variable `ebnf-dtd-lex'." |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1158 (if (>= (point) ebnf-limit) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1159 'end-of-input |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1160 (let (token) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1161 ;; skip spaces and comments |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1162 (while (if (> (following-char) 255) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1163 (progn |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1164 (setq token 'error) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1165 nil) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1166 (setq token (aref ebnf-dtd-token-table (following-char))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1167 (cond |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1168 ((eq token 'space) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1169 (skip-chars-forward " \n\r\t" ebnf-limit) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1170 (< (point) ebnf-limit)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1171 ((and (eq token 'less-than) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1172 (looking-at "<!--")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1173 (ebnf-dtd-skip-comment)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1174 (t nil) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1175 ))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1176 (cond |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1177 ;; end of input |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1178 ((>= (point) ebnf-limit) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1179 'end-of-input) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1180 ;; error |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1181 ((eq token 'error) |
60917
87f9bb9d3718
* progmodes/ebnf-abn.el, progmodes/ebnf-bnf.el,
Werner LEMBERG <wl@gnu.org>
parents:
54713
diff
changeset
|
1182 (error "Invalid character")) |
54712
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1183 ;; beginning of declaration: |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1184 ;; <?name, <!ATTLIST, <!DOCTYPE, <!ELEMENT, <!ENTITY, <!NOTATION |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1185 ((eq token 'less-than) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1186 (forward-char) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1187 (let ((char (following-char))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1188 (cond ((= char ?\?) ; <? |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1189 (forward-char) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1190 (setq ebnf-dtd-lex (ebnf-buffer-substring ebnf-dtd-name-chars)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1191 'begin-pi) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1192 ((= char ?!) ; <! |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1193 (forward-char) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1194 (let ((decl (ebnf-buffer-substring ebnf-dtd-name-chars))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1195 (or (cdr (assoc decl ebnf-dtd-decl-alist)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1196 (error "Invalid declaration name `%s'" decl)))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1197 (t ; <x |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1198 (error "Invalid declaration `<%c'" char))))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1199 ;; name, namechar |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1200 ((memq token '(name name-char)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1201 (setq ebnf-dtd-lex (ebnf-buffer-substring ebnf-dtd-name-chars)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1202 (or (cdr (assoc ebnf-dtd-lex ebnf-dtd-name-alist)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1203 token)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1204 ;; ?, ?> |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1205 ((eq token 'interrogation) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1206 (forward-char) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1207 (if (/= (following-char) ?>) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1208 'optional |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1209 (forward-char) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1210 'end-pi)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1211 ;; #FIXED, #IMPLIED, #PCDATA, #REQUIRED |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1212 ((eq token 'hash) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1213 (forward-char) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1214 (setq ebnf-dtd-lex |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1215 (concat "#" (ebnf-buffer-substring ebnf-dtd-name-chars))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1216 (or (cdr (assoc ebnf-dtd-lex ebnf-dtd-element-alist)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1217 (error "Invalid element `%s'" ebnf-dtd-lex))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1218 ;; "string" |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1219 ((eq token 'double-quote) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1220 (setq ebnf-dtd-lex (ebnf-dtd-string ?\")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1221 'string) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1222 ;; 'string' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1223 ((eq token 'single-quote) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1224 (setq ebnf-dtd-lex (ebnf-dtd-string ?\')) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1225 'string) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1226 ;; %, %name; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1227 ((eq token 'percent) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1228 (forward-char) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1229 (if (looking-at "[ \n\r\t]") |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1230 'percent |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1231 (setq ebnf-dtd-lex (ebnf-dtd-name-ref "%")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1232 'pe-ref)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1233 ;; &#...;, &#x...;, &name; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1234 ((eq token 'ampersand) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1235 (forward-char) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1236 (if (/= (following-char) ?#) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1237 (progn |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1238 ;; &name; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1239 (setq ebnf-dtd-lex (ebnf-dtd-name-ref "&")) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1240 'entity-ref) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1241 ;; &#...;, &#x...; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1242 (forward-char) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1243 (setq ebnf-dtd-lex (if (/= (following-char) ?x) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1244 (ebnf-dtd-char-ref "&#" "0-9") |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1245 (forward-char) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1246 (ebnf-dtd-char-ref "&#x" "0-9a-fA-F"))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1247 'char-ref)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1248 ;; miscellaneous: (, ), [, ], =, |, *, +, >, `,' |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1249 (t |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1250 (forward-char) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1251 token) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1252 )))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1253 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1254 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1255 (defun ebnf-dtd-name-ref (start) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1256 (ebnf-dtd-char-ref start ebnf-dtd-name-chars)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1257 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1258 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1259 (defun ebnf-dtd-char-ref (start chars) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1260 (let ((char (ebnf-buffer-substring chars))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1261 (or (= (following-char) ?\;) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1262 (error "Invalid element `%s%s%c'" start char (following-char))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1263 (forward-char) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1264 (format "%s%s;" start char))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1265 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1266 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1267 ;; replace the range "\240-\377" (see `ebnf-range-regexp'). |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1268 (defconst ebnf-dtd-double-string-chars |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1269 (ebnf-range-regexp "\t -!#-~" ?\240 ?\377)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1270 (defconst ebnf-dtd-single-string-chars |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1271 (ebnf-range-regexp "\t -&(-~" ?\240 ?\377)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1272 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1273 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1274 (defun ebnf-dtd-string (delim) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1275 (buffer-substring-no-properties |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1276 (progn |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1277 (forward-char) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1278 (point)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1279 (progn |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1280 (skip-chars-forward (if (= delim ?\") |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1281 ebnf-dtd-double-string-chars |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1282 ebnf-dtd-single-string-chars) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1283 ebnf-limit) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1284 (or (= (following-char) delim) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1285 (error "Missing string delimiter `%c'" delim)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1286 (prog1 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1287 (point) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1288 (forward-char))))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1289 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1290 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1291 ;; replace the range "\177-\237" (see `ebnf-range-regexp'). |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1292 (defconst ebnf-dtd-comment-chars |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1293 (ebnf-range-regexp "^-\000-\010\013\014\016-\037" ?\177 ?\237)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1294 (defconst ebnf-dtd-filename-chars |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1295 (ebnf-range-regexp "^-\000-\037" ?\177 ?\237)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1296 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1297 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1298 (defun ebnf-dtd-skip-comment () |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1299 (forward-char 4) ; <!-- |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1300 (cond |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1301 ;; open EPS file |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1302 ((and ebnf-eps-executing (= (following-char) ?\[)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1303 (ebnf-eps-add-context (ebnf-dtd-eps-filename))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1304 ;; close EPS file |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1305 ((and ebnf-eps-executing (= (following-char) ?\])) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1306 (ebnf-eps-remove-context (ebnf-dtd-eps-filename))) |
82143
81c81019e0c6
New: Header/Footer comment & Log messages
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
78234
diff
changeset
|
1307 ;; EPS header |
81c81019e0c6
New: Header/Footer comment & Log messages
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
78234
diff
changeset
|
1308 ((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
|
1309 (ebnf-eps-header-comment (ebnf-dtd-eps-filename))) |
81c81019e0c6
New: Header/Footer comment & Log messages
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
78234
diff
changeset
|
1310 ;; EPS footer |
81c81019e0c6
New: Header/Footer comment & Log messages
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
78234
diff
changeset
|
1311 ((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
|
1312 (ebnf-eps-footer-comment (ebnf-dtd-eps-filename))) |
54712
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1313 ;; any other action in comment |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1314 (t |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1315 (setq ebnf-action (aref ebnf-comment-table (following-char)))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1316 ) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1317 (while (progn |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1318 (skip-chars-forward ebnf-dtd-comment-chars ebnf-limit) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1319 (and (< (point) ebnf-limit) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1320 (not (looking-at "-->")))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1321 (skip-chars-forward "-" ebnf-limit)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1322 ;; check for a valid end of comment |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1323 (cond ((>= (point) ebnf-limit) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1324 nil) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1325 ((looking-at "-->") |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1326 (forward-char 3) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1327 t) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1328 (t |
60917
87f9bb9d3718
* progmodes/ebnf-abn.el, progmodes/ebnf-bnf.el,
Werner LEMBERG <wl@gnu.org>
parents:
54713
diff
changeset
|
1329 (error "Invalid character")) |
54712
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1330 )) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1331 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1332 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1333 (defun ebnf-dtd-eps-filename () |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1334 (forward-char) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1335 (let (fname) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1336 (while (progn |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1337 (setq fname |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1338 (concat fname |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1339 (ebnf-buffer-substring ebnf-dtd-filename-chars))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1340 (and (< (point) ebnf-limit) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1341 (= (following-char) ?-) ; may be \n, \t, \r |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1342 (not (looking-at "-->")))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1343 (setq fname (concat fname (ebnf-buffer-substring "-")))) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1344 fname)) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1345 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1346 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1347 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1348 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1349 |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1350 (provide 'ebnf-dtd) |
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1351 |
93975
1e3a407766b9
Fix up comment convention on the arch-tag lines.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
87649
diff
changeset
|
1352 ;; arch-tag: c21bb640-135f-4afa-8712-fa11d86301c4 |
54712
9b9f2e6accd0
Parser for DTD (Data Type Definition for XML).
Vinicius Jose Latorre <viniciusjl@ig.com.br>
parents:
diff
changeset
|
1353 ;;; ebnf-dtd.el ends here |