Mercurial > emacs
annotate lisp/xml.el @ 55057:8ac1373b947e
(Info-restore-desktop-buffer): Move from desktop.el. Add Parameters.
(Info-desktop-buffer-misc-data): Move from desktop.el. Add parameter.
author | Lars Hansen <larsh@soem.dk> |
---|---|
date | Wed, 21 Apr 2004 20:51:06 +0000 |
parents | 42293f0612cc |
children | d33879ad154a |
rev | line source |
---|---|
38409
153f1b1f2efd
Emacs lisp coding convention fixes.
Pavel Janík <Pavel@Janik.cz>
parents:
37958
diff
changeset
|
1 ;;; xml.el --- XML parser |
30329 | 2 |
54243
586ffda6e9f9
(xml-get-attribute-or-nil): Simplify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
53384
diff
changeset
|
3 ;; Copyright (C) 2000, 01, 03, 2004 Free Software Foundation, Inc. |
30329 | 4 |
5 ;; Author: Emmanuel Briot <briot@gnat.com> | |
51697 | 6 ;; Maintainer: Mark A. Hershberger <mah@everybody.org> |
51102 | 7 ;; Keywords: xml, data |
30329 | 8 |
9 ;; This file is part of GNU Emacs. | |
10 | |
11 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
12 ;; it under the terms of the GNU General Public License as published by | |
13 ;; the Free Software Foundation; either version 2, or (at your option) | |
14 ;; any later version. | |
15 | |
16 ;; GNU Emacs is distributed in the hope that it will be useful, | |
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
19 ;; GNU General Public License for more details. | |
20 | |
21 ;; You should have received a copy of the GNU General Public License | |
22 ;; along with GNU Emacs; see the file COPYING. If not, write to the | |
23 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
24 ;; Boston, MA 02111-1307, USA. | |
25 | |
26 ;;; Commentary: | |
27 | |
51102 | 28 ;; This file contains a somewhat incomplete non-validating XML parser. It |
29 ;; parses a file, and returns a list that can be used internally by | |
54937 | 30 ;; any other Lisp libraries. |
30329 | 31 |
32 ;;; FILE FORMAT | |
33 | |
51102 | 34 ;; The document type declaration may either be ignored or (optionally) |
35 ;; parsed, but currently the parsing will only accept element | |
54937 | 36 ;; declarations. The XML file is assumed to be well-formed. In case |
51102 | 37 ;; of error, the parsing stops and the XML file is shown where the |
38 ;; parsing stopped. | |
30329 | 39 ;; |
51102 | 40 ;; It also knows how to ignore comments and processing instructions. |
30329 | 41 ;; |
42 ;; The XML file should have the following format: | |
34825
2cad4cde52bd
(top level comment): Updated to reflect the fact that
Gerd Moellmann <gerd@gnu.org>
parents:
33977
diff
changeset
|
43 ;; <node1 attr1="name1" attr2="name2" ...>value |
2cad4cde52bd
(top level comment): Updated to reflect the fact that
Gerd Moellmann <gerd@gnu.org>
parents:
33977
diff
changeset
|
44 ;; <node2 attr3="name3" attr4="name4">value2</node2> |
2cad4cde52bd
(top level comment): Updated to reflect the fact that
Gerd Moellmann <gerd@gnu.org>
parents:
33977
diff
changeset
|
45 ;; <node3 attr5="name5" attr6="name6">value3</node3> |
30329 | 46 ;; </node1> |
54937 | 47 ;; Of course, the name of the nodes and attributes can be anything. There can |
30329 | 48 ;; be any number of attributes (or none), as well as any number of children |
49 ;; below the nodes. | |
50 ;; | |
51 ;; There can be only top level node, but with any number of children below. | |
52 | |
53 ;;; LIST FORMAT | |
54 | |
54877
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
55 ;; The functions `xml-parse-file', `xml-parse-region' and |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
56 ;; `xml-parse-tag' return a list with the following format: |
30329 | 57 ;; |
58 ;; xml-list ::= (node node ...) | |
54877
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
59 ;; node ::= (qname attribute-list . child_node_list) |
30329 | 60 ;; child_node_list ::= child_node child_node ... |
61 ;; child_node ::= node | string | |
54877
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
62 ;; qname ::= (:namespace-uri . "name") | "name" |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
63 ;; attribute_list ::= ((qname . "value") (qname . "value") ...) |
30329 | 64 ;; | nil |
65 ;; string ::= "..." | |
66 ;; | |
51102 | 67 ;; Some macros are provided to ease the parsing of this list. |
68 ;; Whitespace is preserved. Fixme: There should be a tree-walker that | |
69 ;; can remove it. | |
30329 | 70 |
54877
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
71 ;; TODO: |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
72 ;; * xml:base, xml:space support |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
73 ;; * more complete DOCTYPE parsing |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
74 ;; * pi support |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
75 |
30329 | 76 ;;; Code: |
77 | |
51102 | 78 ;; Note that {buffer-substring,match-string}-no-properties were |
79 ;; formerly used in several places, but that removes composition info. | |
80 | |
30329 | 81 ;;******************************************************************* |
82 ;;** | |
83 ;;** Macros to parse the list | |
84 ;;** | |
85 ;;******************************************************************* | |
86 | |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
87 (defsubst xml-node-name (node) |
30329 | 88 "Return the tag associated with NODE. |
54937 | 89 Without namespace-aware parsing, the tag is a symbol. |
90 | |
91 With namespace-aware parsing, the tag is a cons of a string | |
92 representing the uri of the namespace with the local name of the | |
93 tag. For example, | |
94 | |
95 <foo> | |
96 | |
97 would be represented by | |
98 | |
99 '(\"\" . \"foo\")." | |
100 | |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
101 (car node)) |
30329 | 102 |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
103 (defsubst xml-node-attributes (node) |
30329 | 104 "Return the list of attributes of NODE. |
105 The list can be nil." | |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
106 (nth 1 node)) |
30329 | 107 |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
108 (defsubst xml-node-children (node) |
30329 | 109 "Return the list of children of NODE. |
110 This is a list of nodes, and it can be nil." | |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
111 (cddr node)) |
30329 | 112 |
113 (defun xml-get-children (node child-name) | |
114 "Return the children of NODE whose tag is CHILD-NAME. | |
54937 | 115 CHILD-NAME should match the value returned by `xml-node-name'." |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
116 (let ((match ())) |
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
117 (dolist (child (xml-node-children node)) |
54937 | 118 (if (and (listp child) |
119 (equal (xml-node-name child) child-name)) | |
120 (push child match))) | |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
121 (nreverse match))) |
30329 | 122 |
53375
e085973399ee
(xml-get-attribute-or-nil): New function, like
Eli Zaretskii <eliz@is.elta.co.il>
parents:
53011
diff
changeset
|
123 (defun xml-get-attribute-or-nil (node attribute) |
30329 | 124 "Get from NODE the value of ATTRIBUTE. |
54937 | 125 Return nil if the attribute was not found. |
53375
e085973399ee
(xml-get-attribute-or-nil): New function, like
Eli Zaretskii <eliz@is.elta.co.il>
parents:
53011
diff
changeset
|
126 |
e085973399ee
(xml-get-attribute-or-nil): New function, like
Eli Zaretskii <eliz@is.elta.co.il>
parents:
53011
diff
changeset
|
127 See also `xml-get-attribute'." |
54243
586ffda6e9f9
(xml-get-attribute-or-nil): Simplify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
53384
diff
changeset
|
128 (cdr (assoc attribute (xml-node-attributes node)))) |
53375
e085973399ee
(xml-get-attribute-or-nil): New function, like
Eli Zaretskii <eliz@is.elta.co.il>
parents:
53011
diff
changeset
|
129 |
e085973399ee
(xml-get-attribute-or-nil): New function, like
Eli Zaretskii <eliz@is.elta.co.il>
parents:
53011
diff
changeset
|
130 (defsubst xml-get-attribute (node attribute) |
e085973399ee
(xml-get-attribute-or-nil): New function, like
Eli Zaretskii <eliz@is.elta.co.il>
parents:
53011
diff
changeset
|
131 "Get from NODE the value of ATTRIBUTE. |
e085973399ee
(xml-get-attribute-or-nil): New function, like
Eli Zaretskii <eliz@is.elta.co.il>
parents:
53011
diff
changeset
|
132 An empty string is returned if the attribute was not found. |
e085973399ee
(xml-get-attribute-or-nil): New function, like
Eli Zaretskii <eliz@is.elta.co.il>
parents:
53011
diff
changeset
|
133 |
e085973399ee
(xml-get-attribute-or-nil): New function, like
Eli Zaretskii <eliz@is.elta.co.il>
parents:
53011
diff
changeset
|
134 See also `xml-get-attribute-or-nil'." |
e085973399ee
(xml-get-attribute-or-nil): New function, like
Eli Zaretskii <eliz@is.elta.co.il>
parents:
53011
diff
changeset
|
135 (or (xml-get-attribute-or-nil node attribute) "")) |
30329 | 136 |
137 ;;******************************************************************* | |
138 ;;** | |
139 ;;** Creating the list | |
140 ;;** | |
141 ;;******************************************************************* | |
142 | |
51102 | 143 ;;;###autoload |
51930
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
144 (defun xml-parse-file (file &optional parse-dtd parse-ns) |
51102 | 145 "Parse the well-formed XML file FILE. |
146 If FILE is already visited, use its buffer and don't kill it. | |
30329 | 147 Returns the top node with all its children. |
51930
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
148 If PARSE-DTD is non-nil, the DTD is parsed rather than skipped. |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
149 If PARSE-NS is non-nil, then QNAMES are expanded." |
34825
2cad4cde52bd
(top level comment): Updated to reflect the fact that
Gerd Moellmann <gerd@gnu.org>
parents:
33977
diff
changeset
|
150 (let ((keep)) |
2cad4cde52bd
(top level comment): Updated to reflect the fact that
Gerd Moellmann <gerd@gnu.org>
parents:
33977
diff
changeset
|
151 (if (get-file-buffer file) |
2cad4cde52bd
(top level comment): Updated to reflect the fact that
Gerd Moellmann <gerd@gnu.org>
parents:
33977
diff
changeset
|
152 (progn |
2cad4cde52bd
(top level comment): Updated to reflect the fact that
Gerd Moellmann <gerd@gnu.org>
parents:
33977
diff
changeset
|
153 (set-buffer (get-file-buffer file)) |
2cad4cde52bd
(top level comment): Updated to reflect the fact that
Gerd Moellmann <gerd@gnu.org>
parents:
33977
diff
changeset
|
154 (setq keep (point))) |
51102 | 155 (let (auto-mode-alist) ; no need for xml-mode |
156 (find-file file))) | |
49036
466922eb2b8d
(xml-substitute-special): Move "&" -> "&" last.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
48869
diff
changeset
|
157 |
34825
2cad4cde52bd
(top level comment): Updated to reflect the fact that
Gerd Moellmann <gerd@gnu.org>
parents:
33977
diff
changeset
|
158 (let ((xml (xml-parse-region (point-min) |
2cad4cde52bd
(top level comment): Updated to reflect the fact that
Gerd Moellmann <gerd@gnu.org>
parents:
33977
diff
changeset
|
159 (point-max) |
2cad4cde52bd
(top level comment): Updated to reflect the fact that
Gerd Moellmann <gerd@gnu.org>
parents:
33977
diff
changeset
|
160 (current-buffer) |
51930
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
161 parse-dtd parse-ns))) |
34825
2cad4cde52bd
(top level comment): Updated to reflect the fact that
Gerd Moellmann <gerd@gnu.org>
parents:
33977
diff
changeset
|
162 (if keep |
2cad4cde52bd
(top level comment): Updated to reflect the fact that
Gerd Moellmann <gerd@gnu.org>
parents:
33977
diff
changeset
|
163 (goto-char keep) |
2cad4cde52bd
(top level comment): Updated to reflect the fact that
Gerd Moellmann <gerd@gnu.org>
parents:
33977
diff
changeset
|
164 (kill-buffer (current-buffer))) |
2cad4cde52bd
(top level comment): Updated to reflect the fact that
Gerd Moellmann <gerd@gnu.org>
parents:
33977
diff
changeset
|
165 xml))) |
30329 | 166 |
51102 | 167 ;; Note that this is setup so that we can do whitespace-skipping with |
168 ;; `(skip-syntax-forward " ")', inter alia. Previously this was slow | |
169 ;; compared with `re-search-forward', but that has been fixed. Also | |
170 ;; note that the standard syntax table contains other characters with | |
171 ;; whitespace syntax, like NBSP, but they are invalid in contexts in | |
172 ;; which we might skip whitespace -- specifically, they're not | |
173 ;; NameChars [XML 4]. | |
174 | |
175 (defvar xml-syntax-table | |
176 (let ((table (make-syntax-table))) | |
177 ;; Get space syntax correct per XML [3]. | |
178 (dotimes (c 31) | |
179 (modify-syntax-entry c "." table)) ; all are space in standard table | |
180 (dolist (c '(?\t ?\n ?\r)) ; these should be space | |
181 (modify-syntax-entry c " " table)) | |
182 ;; For skipping attributes. | |
183 (modify-syntax-entry ?\" "\"" table) | |
184 (modify-syntax-entry ?' "\"" table) | |
185 ;; Non-alnum name chars should be symbol constituents (`-' and `_' | |
186 ;; are OK by default). | |
187 (modify-syntax-entry ?. "_" table) | |
188 (modify-syntax-entry ?: "_" table) | |
189 ;; XML [89] | |
190 (dolist (c '(#x00B7 #x02D0 #x02D1 #x0387 #x0640 #x0E46 #x0EC6 #x3005 | |
191 #x3031 #x3032 #x3033 #x3034 #x3035 #x309D #x309E #x30FC | |
192 #x30FD #x30FE)) | |
193 (modify-syntax-entry (decode-char 'ucs c) "w" table)) | |
194 ;; Fixme: rest of [4] | |
195 table) | |
196 "Syntax table used by `xml-parse-region'.") | |
197 | |
198 ;; XML [5] | |
199 ;; Note that [:alpha:] matches all multibyte chars with word syntax. | |
51105
aac5eaf1454e
(xml-name-regexp): Wrap in `eval-and-compile'.
John Paul Wallington <jpw@pobox.com>
parents:
51102
diff
changeset
|
200 (eval-and-compile |
aac5eaf1454e
(xml-name-regexp): Wrap in `eval-and-compile'.
John Paul Wallington <jpw@pobox.com>
parents:
51102
diff
changeset
|
201 (defconst xml-name-regexp "[[:alpha:]_:][[:alnum:]._:-]*")) |
51102 | 202 |
203 ;; Fixme: This needs re-writing to deal with the XML grammar properly, i.e. | |
204 ;; document ::= prolog element Misc* | |
205 ;; prolog ::= XMLDecl? Misc* (doctypedecl Misc*)? | |
206 | |
207 ;;;###autoload | |
51930
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
208 (defun xml-parse-region (beg end &optional buffer parse-dtd parse-ns) |
30329 | 209 "Parse the region from BEG to END in BUFFER. |
210 If BUFFER is nil, it defaults to the current buffer. | |
211 Returns the XML list for the region, or raises an error if the region | |
51930
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
212 is not well-formed XML. |
30329 | 213 If PARSE-DTD is non-nil, the DTD is parsed rather than skipped, |
51930
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
214 and returned as the first element of the list. |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
215 If PARSE-NS is non-nil, then QNAMES are expanded." |
51102 | 216 (save-restriction |
217 (narrow-to-region beg end) | |
218 ;; Use fixed syntax table to ensure regexp char classes and syntax | |
219 ;; specs DTRT. | |
220 (with-syntax-table (standard-syntax-table) | |
221 (let ((case-fold-search nil) ; XML is case-sensitive. | |
222 xml result dtd) | |
223 (save-excursion | |
224 (if buffer | |
225 (set-buffer buffer)) | |
226 (goto-char (point-min)) | |
227 (while (not (eobp)) | |
228 (if (search-forward "<" nil t) | |
229 (progn | |
230 (forward-char -1) | |
52975
6958c2be0aa9
Allow comments following the top-level element.
Eli Zaretskii <eliz@gnu.org>
parents:
52401
diff
changeset
|
231 (setq result (xml-parse-tag parse-dtd parse-ns)) |
6958c2be0aa9
Allow comments following the top-level element.
Eli Zaretskii <eliz@gnu.org>
parents:
52401
diff
changeset
|
232 (if (and xml result) |
51102 | 233 ;; translation of rule [1] of XML specifications |
234 (error "XML files can have only one toplevel tag") | |
30329 | 235 (cond |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
236 ((null result)) |
52975
6958c2be0aa9
Allow comments following the top-level element.
Eli Zaretskii <eliz@gnu.org>
parents:
52401
diff
changeset
|
237 ((and (listp (car result)) |
6958c2be0aa9
Allow comments following the top-level element.
Eli Zaretskii <eliz@gnu.org>
parents:
52401
diff
changeset
|
238 parse-dtd) |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
239 (setq dtd (car result)) |
51102 | 240 (if (cdr result) ; possible leading comment |
241 (add-to-list 'xml (cdr result)))) | |
30329 | 242 (t |
51102 | 243 (add-to-list 'xml result))))) |
244 (goto-char (point-max)))) | |
245 (if parse-dtd | |
246 (cons dtd (nreverse xml)) | |
247 (nreverse xml))))))) | |
30329 | 248 |
54877
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
249 (defun xml-maybe-do-ns (name default xml-ns) |
54937 | 250 "Perform any namespace expansion. |
251 NAME is the name to perform the expansion on. | |
54877
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
252 DEFAULT is the default namespace. XML-NS is a cons of namespace |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
253 names to uris. When namespace-aware parsing is off, then XML-NS |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
254 is nil. |
52975
6958c2be0aa9
Allow comments following the top-level element.
Eli Zaretskii <eliz@gnu.org>
parents:
52401
diff
changeset
|
255 |
54877
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
256 During namespace-aware parsing, any name without a namespace is |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
257 put into the namespace identified by DEFAULT. nil is used to |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
258 specify that the name shouldn't be given a namespace." |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
259 (if (consp xml-ns) |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
260 (let* ((nsp (string-match ":" name)) |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
261 (lname (if nsp (substring name (match-end 0)) name)) |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
262 (prefix (if nsp (substring name 0 (match-beginning 0)) default)) |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
263 (special (and (string-equal lname "xmlns") (not prefix))) |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
264 ;; Setting default to nil will insure that there is not |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
265 ;; matching cons in xml-ns. In which case we |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
266 (ns (or (cdr (assoc (if special "xmlns" prefix) |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
267 xml-ns)) |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
268 :))) |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
269 (cons ns (if special "" lname))) |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
270 (intern name))) |
30329 | 271 |
51930
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
272 (defun xml-parse-tag (&optional parse-dtd parse-ns) |
51102 | 273 "Parse the tag at point. |
30329 | 274 If PARSE-DTD is non-nil, the DTD of the document, if any, is parsed and |
275 returned as the first element in the list. | |
51930
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
276 If PARSE-NS is non-nil, then QNAMES are expanded. |
30329 | 277 Returns one of: |
51102 | 278 - a list : the matching node |
279 - nil : the point is not looking at a tag. | |
280 - a pair : the first element is the DTD, the second is the node." | |
51930
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
281 (let ((xml-ns (if (consp parse-ns) |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
282 parse-ns |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
283 (if parse-ns |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
284 (list |
54877
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
285 ;; Default for empty prefix is no namespace |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
286 (cons "" :) |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
287 ;; "xml" namespace |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
288 (cons "xml" :http://www.w3.org/XML/1998/namespace) |
51930
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
289 ;; We need to seed the xmlns namespace |
54877
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
290 (cons "xmlns" :http://www.w3.org/2000/xmlns/)))))) |
51930
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
291 (cond |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
292 ;; Processing instructions (like the <?xml version="1.0"?> tag at the |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
293 ;; beginning of a document). |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
294 ((looking-at "<\\?") |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
295 (search-forward "?>") |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
296 (skip-syntax-forward " ") |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
297 (xml-parse-tag parse-dtd xml-ns)) |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
298 ;; Character data (CDATA) sections, in which no tag should be interpreted |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
299 ((looking-at "<!\\[CDATA\\[") |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
300 (let ((pos (match-end 0))) |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
301 (unless (search-forward "]]>" nil t) |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
302 (error "CDATA section does not end anywhere in the document")) |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
303 (buffer-substring pos (match-beginning 0)))) |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
304 ;; DTD for the document |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
305 ((looking-at "<!DOCTYPE") |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
306 (let (dtd) |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
307 (if parse-dtd |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
308 (setq dtd (xml-parse-dtd)) |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
309 (xml-skip-dtd)) |
51102 | 310 (skip-syntax-forward " ") |
30329 | 311 (if dtd |
51930
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
312 (cons dtd (xml-parse-tag nil xml-ns)) |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
313 (xml-parse-tag nil xml-ns)))) |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
314 ;; skip comments |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
315 ((looking-at "<!--") |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
316 (search-forward "-->") |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
317 nil) |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
318 ;; end tag |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
319 ((looking-at "</") |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
320 '()) |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
321 ;; opening tag |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
322 ((looking-at "<\\([^/>[:space:]]+\\)") |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
323 (goto-char (match-end 1)) |
52975
6958c2be0aa9
Allow comments following the top-level element.
Eli Zaretskii <eliz@gnu.org>
parents:
52401
diff
changeset
|
324 |
6958c2be0aa9
Allow comments following the top-level element.
Eli Zaretskii <eliz@gnu.org>
parents:
52401
diff
changeset
|
325 ;; Parse this node |
51930
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
326 (let* ((node-name (match-string 1)) |
54877
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
327 ;; Parse the attribute list. |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
328 (attrs (xml-parse-attlist xml-ns)) |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
329 children pos) |
51930
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
330 |
54877
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
331 ;; add the xmlns:* attrs to our cache |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
332 (when (consp xml-ns) |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
333 (dolist (attr attrs) |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
334 (when (and (consp (car attr)) |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
335 (eq :http://www.w3.org/2000/xmlns/ |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
336 (caar attr))) |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
337 (push (cons (cdar attr) (intern (concat ":" (cdr attr)))) |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
338 xml-ns)))) |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
339 |
54936
9204ad91984c
(xml-parse-tag): Avoid overwriting node-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54877
diff
changeset
|
340 (setq children (list attrs (xml-maybe-do-ns node-name "" xml-ns))) |
54877
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
341 |
51930
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
342 ;; is this an empty element ? |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
343 (if (looking-at "/>") |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
344 (progn |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
345 (forward-char 2) |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
346 (nreverse children)) |
30329 | 347 |
348 ;; is this a valid start tag ? | |
40030
7507bd185307
(xml-parse-tag): Use eq on char-after's return value.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
39407
diff
changeset
|
349 (if (eq (char-after) ?>) |
30329 | 350 (progn |
351 (forward-char 1) | |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
352 ;; Now check that we have the right end-tag. Note that this |
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
353 ;; one might contain spaces after the tag name |
51102 | 354 (let ((end (concat "</" node-name "\\s-*>"))) |
355 (while (not (looking-at end)) | |
356 (cond | |
357 ((looking-at "</") | |
358 (error "XML: Invalid end tag (expecting %s) at pos %d" | |
359 node-name (point))) | |
360 ((= (char-after) ?<) | |
51930
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
361 (let ((tag (xml-parse-tag nil xml-ns))) |
51102 | 362 (when tag |
363 (push tag children)))) | |
364 (t | |
365 (setq pos (point)) | |
366 (search-forward "<") | |
367 (forward-char -1) | |
368 (let ((string (buffer-substring pos (point))) | |
369 (pos 0)) | |
49036
466922eb2b8d
(xml-substitute-special): Move "&" -> "&" last.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
48869
diff
changeset
|
370 |
51102 | 371 ;; Clean up the string. As per XML |
372 ;; specifications, the XML processor should | |
373 ;; always pass the whole string to the | |
374 ;; application. But \r's should be replaced: | |
375 ;; http://www.w3.org/TR/2000/REC-xml-20001006#sec-line-ends | |
376 (while (string-match "\r\n?" string pos) | |
377 (setq string (replace-match "\n" t t string)) | |
378 (setq pos (1+ (match-beginning 0)))) | |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
379 |
51102 | 380 (setq string (xml-substitute-special string)) |
381 (setq children | |
382 (if (stringp (car children)) | |
383 ;; The two strings were separated by a comment. | |
384 (cons (concat (car children) string) | |
385 (cdr children)) | |
386 (cons string children)))))))) | |
387 | |
30329 | 388 (goto-char (match-end 0)) |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
389 (nreverse children)) |
30329 | 390 ;; This was an invalid start tag |
51102 | 391 (error "XML: Invalid attribute list"))))) |
51930
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
392 (t ;; This is not a tag. |
608552c82ffc
(xml-parse-tag): Namespace support.
Juanma Barranquero <lekktu@gmail.com>
parents:
51697
diff
changeset
|
393 (error "XML: Invalid character"))))) |
30329 | 394 |
54877
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
395 (defun xml-parse-attlist (&optional xml-ns) |
54937 | 396 "Return the attribute-list after point. |
397 Leave point at the first non-blank character after the tag." | |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
398 (let ((attlist ()) |
52975
6958c2be0aa9
Allow comments following the top-level element.
Eli Zaretskii <eliz@gnu.org>
parents:
52401
diff
changeset
|
399 end-pos name) |
51102 | 400 (skip-syntax-forward " ") |
401 (while (looking-at (eval-when-compile | |
402 (concat "\\(" xml-name-regexp "\\)\\s-*=\\s-*"))) | |
54877
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
403 (setq end-pos (match-end 0)) |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
404 (setq name (xml-maybe-do-ns (match-string 1) nil xml-ns)) |
1bf7ef48f54f
(xml-maybe-do-ns): New function to handle namespace
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
54243
diff
changeset
|
405 (goto-char end-pos) |
30329 | 406 |
50144
ff1b1d15e1f2
(xml-ucs-to-string): New function to convert Unicode codepoints to strings.
Juanma Barranquero <lekktu@gmail.com>
parents:
50081
diff
changeset
|
407 ;; See also: http://www.w3.org/TR/2000/REC-xml-20001006#AVNormalize |
ff1b1d15e1f2
(xml-ucs-to-string): New function to convert Unicode codepoints to strings.
Juanma Barranquero <lekktu@gmail.com>
parents:
50081
diff
changeset
|
408 |
30329 | 409 ;; Do we have a string between quotes (or double-quotes), |
410 ;; or a simple word ? | |
50144
ff1b1d15e1f2
(xml-ucs-to-string): New function to convert Unicode codepoints to strings.
Juanma Barranquero <lekktu@gmail.com>
parents:
50081
diff
changeset
|
411 (if (looking-at "\"\\([^\"]*\\)\"") |
52975
6958c2be0aa9
Allow comments following the top-level element.
Eli Zaretskii <eliz@gnu.org>
parents:
52401
diff
changeset
|
412 (setq end-pos (match-end 0)) |
50210
575aa6820adc
(xml-parse-attlist): typo in attribute parsing.
Juanma Barranquero <lekktu@gmail.com>
parents:
50144
diff
changeset
|
413 (if (looking-at "'\\([^']*\\)'") |
52975
6958c2be0aa9
Allow comments following the top-level element.
Eli Zaretskii <eliz@gnu.org>
parents:
52401
diff
changeset
|
414 (setq end-pos (match-end 0)) |
38409
153f1b1f2efd
Emacs lisp coding convention fixes.
Pavel Janík <Pavel@Janik.cz>
parents:
37958
diff
changeset
|
415 (error "XML: Attribute values must be given between quotes"))) |
30329 | 416 |
417 ;; Each attribute must be unique within a given element | |
418 (if (assoc name attlist) | |
38409
153f1b1f2efd
Emacs lisp coding convention fixes.
Pavel Janík <Pavel@Janik.cz>
parents:
37958
diff
changeset
|
419 (error "XML: each attribute must be unique within an element")) |
49036
466922eb2b8d
(xml-substitute-special): Move "&" -> "&" last.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
48869
diff
changeset
|
420 |
50144
ff1b1d15e1f2
(xml-ucs-to-string): New function to convert Unicode codepoints to strings.
Juanma Barranquero <lekktu@gmail.com>
parents:
50081
diff
changeset
|
421 ;; Multiple whitespace characters should be replaced with a single one |
ff1b1d15e1f2
(xml-ucs-to-string): New function to convert Unicode codepoints to strings.
Juanma Barranquero <lekktu@gmail.com>
parents:
50081
diff
changeset
|
422 ;; in the attributes |
51102 | 423 (let ((string (match-string 1)) |
50144
ff1b1d15e1f2
(xml-ucs-to-string): New function to convert Unicode codepoints to strings.
Juanma Barranquero <lekktu@gmail.com>
parents:
50081
diff
changeset
|
424 (pos 0)) |
51102 | 425 (replace-regexp-in-string "\\s-\\{2,\\}" " " string) |
50144
ff1b1d15e1f2
(xml-ucs-to-string): New function to convert Unicode codepoints to strings.
Juanma Barranquero <lekktu@gmail.com>
parents:
50081
diff
changeset
|
426 (push (cons name (xml-substitute-special string)) attlist)) |
ff1b1d15e1f2
(xml-ucs-to-string): New function to convert Unicode codepoints to strings.
Juanma Barranquero <lekktu@gmail.com>
parents:
50081
diff
changeset
|
427 |
52975
6958c2be0aa9
Allow comments following the top-level element.
Eli Zaretskii <eliz@gnu.org>
parents:
52401
diff
changeset
|
428 (goto-char end-pos) |
51102 | 429 (skip-syntax-forward " ")) |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
430 (nreverse attlist))) |
30329 | 431 |
432 ;;******************************************************************* | |
433 ;;** | |
434 ;;** The DTD (document type declaration) | |
435 ;;** The following functions know how to skip or parse the DTD of | |
436 ;;** a document | |
437 ;;** | |
438 ;;******************************************************************* | |
439 | |
51102 | 440 ;; Fixme: This fails at least if the DTD contains conditional sections. |
441 | |
442 (defun xml-skip-dtd () | |
443 "Skip the DTD at point. | |
30329 | 444 This follows the rule [28] in the XML specifications." |
445 (forward-char (length "<!DOCTYPE")) | |
51102 | 446 (if (looking-at "\\s-*>") |
30329 | 447 (error "XML: invalid DTD (excepting name of the document)")) |
448 (condition-case nil | |
449 (progn | |
51102 | 450 (forward-sexp) |
451 (skip-syntax-forward " ") | |
30329 | 452 (if (looking-at "\\[") |
51102 | 453 (re-search-forward "]\\s-*>") |
454 (search-forward ">"))) | |
30329 | 455 (error (error "XML: No end to the DTD")))) |
456 | |
51102 | 457 (defun xml-parse-dtd () |
458 "Parse the DTD at point." | |
459 (forward-char (eval-when-compile (length "<!DOCTYPE"))) | |
460 (skip-syntax-forward " ") | |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
461 (if (looking-at ">") |
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
462 (error "XML: invalid DTD (excepting name of the document)")) |
49036
466922eb2b8d
(xml-substitute-special): Move "&" -> "&" last.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
48869
diff
changeset
|
463 |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
464 ;; Get the name of the document |
51102 | 465 (looking-at xml-name-regexp) |
466 (let ((dtd (list (match-string 0) 'dtd)) | |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
467 type element end-pos) |
30329 | 468 (goto-char (match-end 0)) |
469 | |
51102 | 470 (skip-syntax-forward " ") |
471 ;; XML [75] | |
472 (cond ((looking-at "PUBLIC\\s-+") | |
473 (goto-char (match-end 0)) | |
474 (unless (or (re-search-forward | |
475 "\\=\"\\([[:space:][:alnum:]-'()+,./:=?;!*#@$_%]*\\)\"" | |
476 nil t) | |
477 (re-search-forward | |
478 "\\='\\([[:space:][:alnum:]-()+,./:=?;!*#@$_%]*\\)'" | |
479 nil t)) | |
480 (error "XML: missing public id")) | |
481 (let ((pubid (match-string 1))) | |
482 (unless (or (re-search-forward "\\='\\([^']*\\)'" nil t) | |
483 (re-search-forward "\\=\"\\([^\"]*\\)\"" nil t)) | |
484 (error "XML: missing system id")) | |
485 (push (list pubid (match-string 1) 'public) dtd))) | |
486 ((looking-at "SYSTEM\\s-+") | |
487 (goto-char (match-end 0)) | |
488 (unless (or (re-search-forward "\\='\\([^']*\\)'" nil t) | |
489 (re-search-forward "\\=\"\\([^\"]*\\)\"" nil t)) | |
490 (error "XML: missing system id")) | |
491 (push (list (match-string 1) 'system) dtd))) | |
492 (skip-syntax-forward " ") | |
493 (if (eq ?> (char-after)) | |
494 (forward-char) | |
495 (skip-syntax-forward " ") | |
496 (if (not (eq (char-after) ?\[)) | |
497 (error "XML: bad DTD") | |
498 (forward-char) | |
499 ;; Parse the rest of the DTD | |
500 ;; Fixme: Deal with ENTITY, ATTLIST, NOTATION, PIs. | |
501 (while (not (looking-at "\\s-*\\]")) | |
502 (skip-syntax-forward " ") | |
503 (cond | |
49036
466922eb2b8d
(xml-substitute-special): Move "&" -> "&" last.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
48869
diff
changeset
|
504 |
51102 | 505 ;; Translation of rule [45] of XML specifications |
506 ((looking-at | |
507 "<!ELEMENT\\s-+\\([[:alnum:].%;]+\\)\\s-+\\([^>]+\\)>") | |
508 | |
52975
6958c2be0aa9
Allow comments following the top-level element.
Eli Zaretskii <eliz@gnu.org>
parents:
52401
diff
changeset
|
509 (setq element (match-string 1) |
51102 | 510 type (match-string-no-properties 2)) |
511 (setq end-pos (match-end 0)) | |
30329 | 512 |
51102 | 513 ;; Translation of rule [46] of XML specifications |
514 (cond | |
515 ((string-match "^EMPTY[ \t\n\r]*$" type) ;; empty declaration | |
516 (setq type 'empty)) | |
517 ((string-match "^ANY[ \t\n\r]*$" type) ;; any type of contents | |
518 (setq type 'any)) | |
519 ((string-match "^(\\(.*\\))[ \t\n\r]*$" type) ;; children ([47]) | |
520 (setq type (xml-parse-elem-type (match-string 1 type)))) | |
521 ((string-match "^%[^;]+;[ \t\n\r]*$" type) ;; substitution | |
522 nil) | |
523 (t | |
524 (error "XML: Invalid element type in the DTD"))) | |
30329 | 525 |
51102 | 526 ;; rule [45]: the element declaration must be unique |
527 (if (assoc element dtd) | |
528 (error "XML: element declarations must be unique in a DTD (<%s>)" | |
53011
45bd3ad34572
(xml-parse-dtd): Fix misplaced paren.
Andreas Schwab <schwab@suse.de>
parents:
52975
diff
changeset
|
529 element)) |
30329 | 530 |
51102 | 531 ;; Store the element in the DTD |
532 (push (list element type) dtd) | |
533 (goto-char end-pos)) | |
534 ((looking-at "<!--") | |
535 (search-forward "-->")) | |
30329 | 536 |
51102 | 537 (t |
538 (error "XML: Invalid DTD item"))) | |
539 | |
540 ;; Skip the end of the DTD | |
541 (search-forward ">")))) | |
53011
45bd3ad34572
(xml-parse-dtd): Fix misplaced paren.
Andreas Schwab <schwab@suse.de>
parents:
52975
diff
changeset
|
542 (nreverse dtd))) |
30329 | 543 |
544 (defun xml-parse-elem-type (string) | |
51102 | 545 "Convert element type STRING into a Lisp structure." |
30329 | 546 |
547 (let (elem modifier) | |
548 (if (string-match "(\\([^)]+\\))\\([+*?]?\\)" string) | |
549 (progn | |
550 (setq elem (match-string 1 string) | |
551 modifier (match-string 2 string)) | |
552 (if (string-match "|" elem) | |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
553 (setq elem (cons 'choice |
30329 | 554 (mapcar 'xml-parse-elem-type |
555 (split-string elem "|")))) | |
556 (if (string-match "," elem) | |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
557 (setq elem (cons 'seq |
30329 | 558 (mapcar 'xml-parse-elem-type |
51102 | 559 (split-string elem ","))))))) |
50144
ff1b1d15e1f2
(xml-ucs-to-string): New function to convert Unicode codepoints to strings.
Juanma Barranquero <lekktu@gmail.com>
parents:
50081
diff
changeset
|
560 (if (string-match "[ \t\n\r]*\\([^+*?]+\\)\\([+*?]?\\)" string) |
ff1b1d15e1f2
(xml-ucs-to-string): New function to convert Unicode codepoints to strings.
Juanma Barranquero <lekktu@gmail.com>
parents:
50081
diff
changeset
|
561 (setq elem (match-string 1 string) |
30329 | 562 modifier (match-string 2 string)))) |
563 | |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
564 (if (and (stringp elem) (string= elem "#PCDATA")) |
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
565 (setq elem 'pcdata)) |
49036
466922eb2b8d
(xml-substitute-special): Move "&" -> "&" last.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
48869
diff
changeset
|
566 |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
567 (cond |
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
568 ((string= modifier "+") |
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
569 (list '+ elem)) |
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
570 ((string= modifier "*") |
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
571 (list '* elem)) |
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
572 ((string= modifier "?") |
49787
6269b5c10aec
(xml-parse-elem-type): Fix use of character constant.
Juanma Barranquero <lekktu@gmail.com>
parents:
49133
diff
changeset
|
573 (list '\? elem)) |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
574 (t |
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
575 elem)))) |
30329 | 576 |
50144
ff1b1d15e1f2
(xml-ucs-to-string): New function to convert Unicode codepoints to strings.
Juanma Barranquero <lekktu@gmail.com>
parents:
50081
diff
changeset
|
577 ;;******************************************************************* |
ff1b1d15e1f2
(xml-ucs-to-string): New function to convert Unicode codepoints to strings.
Juanma Barranquero <lekktu@gmail.com>
parents:
50081
diff
changeset
|
578 ;;** |
30329 | 579 ;;** Substituting special XML sequences |
580 ;;** | |
581 ;;******************************************************************* | |
582 | |
51102 | 583 (eval-when-compile |
584 (defvar str)) ; dynamic from replace-regexp-in-string | |
585 | |
586 ;; Fixme: Take declared entities from the DTD when they're available. | |
587 (defun xml-substitute-entity (match) | |
54937 | 588 "Subroutine of `xml-substitute-special'." |
51102 | 589 (save-match-data |
590 (let ((match1 (match-string 1 str))) | |
591 (cond ((string= match1 "lt") "<") | |
592 ((string= match1 "gt") ">") | |
593 ((string= match1 "apos") "'") | |
594 ((string= match1 "quot") "\"") | |
595 ((string= match1 "amp") "&") | |
596 ((and (string-match "#\\([0-9]+\\)" match1) | |
597 (let ((c (decode-char | |
598 'ucs | |
599 (string-to-number (match-string 1 match1))))) | |
600 (if c (string c))))) ; else unrepresentable | |
601 ((and (string-match "#x\\([[:xdigit:]]+\\)" match1) | |
602 (let ((c (decode-char | |
603 'ucs | |
604 (string-to-number (match-string 1 match1) 16)))) | |
605 (if c (string c))))) | |
606 ;; Default to asis. Arguably, unrepresentable code points | |
607 ;; might be best replaced with U+FFFD. | |
608 (t match))))) | |
609 | |
30329 | 610 (defun xml-substitute-special (string) |
51102 | 611 "Return STRING, after subsituting entity references." |
612 ;; This originally made repeated passes through the string from the | |
613 ;; beginning, which isn't correct, since then either "&amp;" or | |
614 ;; "&amp;" won't DTRT. | |
615 (replace-regexp-in-string "&\\([^;]+\\);" | |
616 #'xml-substitute-entity string t t)) | |
30329 | 617 |
618 ;;******************************************************************* | |
619 ;;** | |
620 ;;** Printing a tree. | |
621 ;;** This function is intended mainly for debugging purposes. | |
622 ;;** | |
623 ;;******************************************************************* | |
624 | |
625 (defun xml-debug-print (xml) | |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
626 (dolist (node xml) |
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
627 (xml-debug-print-internal node ""))) |
30329 | 628 |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
629 (defun xml-debug-print-internal (xml indent-string) |
30329 | 630 "Outputs the XML tree in the current buffer. |
51102 | 631 The first line is indented with INDENT-STRING." |
30329 | 632 (let ((tree xml) |
633 attlist) | |
51102 | 634 (insert indent-string ?< (symbol-name (xml-node-name tree))) |
49036
466922eb2b8d
(xml-substitute-special): Move "&" -> "&" last.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
48869
diff
changeset
|
635 |
30329 | 636 ;; output the attribute list |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
637 (setq attlist (xml-node-attributes tree)) |
30329 | 638 (while attlist |
51102 | 639 (insert ?\ (symbol-name (caar attlist)) "=\"" (cdar attlist) ?\") |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
640 (setq attlist (cdr attlist))) |
49036
466922eb2b8d
(xml-substitute-special): Move "&" -> "&" last.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
48869
diff
changeset
|
641 |
51102 | 642 (insert ?>) |
49036
466922eb2b8d
(xml-substitute-special): Move "&" -> "&" last.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
48869
diff
changeset
|
643 |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
644 (setq tree (xml-node-children tree)) |
30329 | 645 |
646 ;; output the children | |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
647 (dolist (node tree) |
30329 | 648 (cond |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
649 ((listp node) |
51102 | 650 (insert ?\n) |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
651 (xml-debug-print-internal node (concat indent-string " "))) |
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
652 ((stringp node) (insert node)) |
30329 | 653 (t |
42031
54db4085a7df
Use setq rather than (set 'foo bar).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
40030
diff
changeset
|
654 (error "Invalid XML tree")))) |
30329 | 655 |
51102 | 656 (insert ?\n indent-string |
657 ?< ?/ (symbol-name (xml-node-name xml)) ?>))) | |
30329 | 658 |
659 (provide 'xml) | |
660 | |
52401 | 661 ;;; arch-tag: 5864b283-5a68-4b59-a20d-36a72b353b9b |
30329 | 662 ;;; xml.el ends here |