annotate lisp/xml.el @ 53898:d9e22d65acd3

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