2001-07-14 11:21:08 +00:00
|
|
|
;;; xml.el --- XML parser
|
2000-07-19 15:52:13 +00:00
|
|
|
|
2001-05-31 08:17:31 +00:00
|
|
|
;; Copyright (C) 2000, 2001 Free Software Foundation, Inc.
|
2000-07-19 15:52:13 +00:00
|
|
|
|
|
|
|
;; Author: Emmanuel Briot <briot@gnat.com>
|
|
|
|
;; Maintainer: Emmanuel Briot <briot@gnat.com>
|
|
|
|
;; Keywords: xml
|
|
|
|
|
|
|
|
;; This file is part of GNU Emacs.
|
|
|
|
|
|
|
|
;; GNU Emacs is free software; you can redistribute it and/or modify
|
|
|
|
;; it under the terms of the GNU General Public License as published by
|
|
|
|
;; the Free Software Foundation; either version 2, or (at your option)
|
|
|
|
;; any later version.
|
|
|
|
|
|
|
|
;; GNU Emacs is distributed in the hope that it will be useful,
|
|
|
|
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
;; GNU General Public License for more details.
|
|
|
|
|
|
|
|
;; You should have received a copy of the GNU General Public License
|
|
|
|
;; along with GNU Emacs; see the file COPYING. If not, write to the
|
|
|
|
;; Free Software Foundation, Inc., 59 Temple Place - Suite 330,
|
|
|
|
;; Boston, MA 02111-1307, USA.
|
|
|
|
|
|
|
|
;;; Commentary:
|
|
|
|
|
|
|
|
;; This file contains a full XML parser. It parses a file, and returns a list
|
|
|
|
;; that can be used internally by any other lisp file.
|
|
|
|
;; See some example in todo.el
|
|
|
|
|
|
|
|
;;; FILE FORMAT
|
|
|
|
|
|
|
|
;; It does not parse the DTD, if present in the XML file, but knows how to
|
|
|
|
;; ignore it. The XML file is assumed to be well-formed. In case of error, the
|
|
|
|
;; parsing stops and the XML file is shown where the parsing stopped.
|
|
|
|
;;
|
|
|
|
;; It also knows how to ignore comments, as well as the special ?xml? tag
|
|
|
|
;; in the XML file.
|
|
|
|
;;
|
|
|
|
;; The XML file should have the following format:
|
2000-12-22 12:20:46 +00:00
|
|
|
;; <node1 attr1="name1" attr2="name2" ...>value
|
|
|
|
;; <node2 attr3="name3" attr4="name4">value2</node2>
|
|
|
|
;; <node3 attr5="name5" attr6="name6">value3</node3>
|
2000-07-19 15:52:13 +00:00
|
|
|
;; </node1>
|
|
|
|
;; Of course, the name of the nodes and attributes can be anything. There can
|
|
|
|
;; be any number of attributes (or none), as well as any number of children
|
|
|
|
;; below the nodes.
|
|
|
|
;;
|
|
|
|
;; There can be only top level node, but with any number of children below.
|
|
|
|
|
|
|
|
;;; LIST FORMAT
|
|
|
|
|
|
|
|
;; The functions `xml-parse-file' and `xml-parse-tag' return a list with
|
|
|
|
;; the following format:
|
|
|
|
;;
|
|
|
|
;; xml-list ::= (node node ...)
|
|
|
|
;; node ::= (tag_name attribute-list . child_node_list)
|
|
|
|
;; child_node_list ::= child_node child_node ...
|
|
|
|
;; child_node ::= node | string
|
|
|
|
;; tag_name ::= string
|
|
|
|
;; attribute_list ::= (("attribute" . "value") ("attribute" . "value") ...)
|
|
|
|
;; | nil
|
|
|
|
;; string ::= "..."
|
|
|
|
;;
|
|
|
|
;; Some macros are provided to ease the parsing of this list
|
|
|
|
|
|
|
|
;;; Code:
|
|
|
|
|
|
|
|
;;*******************************************************************
|
|
|
|
;;**
|
|
|
|
;;** Macros to parse the list
|
|
|
|
;;**
|
|
|
|
;;*******************************************************************
|
|
|
|
|
2001-12-14 22:12:30 +00:00
|
|
|
(defsubst xml-node-name (node)
|
2000-07-19 15:52:13 +00:00
|
|
|
"Return the tag associated with NODE.
|
|
|
|
The tag is a lower-case symbol."
|
2001-12-14 22:12:30 +00:00
|
|
|
(car node))
|
2000-07-19 15:52:13 +00:00
|
|
|
|
2001-12-14 22:12:30 +00:00
|
|
|
(defsubst xml-node-attributes (node)
|
2000-07-19 15:52:13 +00:00
|
|
|
"Return the list of attributes of NODE.
|
|
|
|
The list can be nil."
|
2001-12-14 22:12:30 +00:00
|
|
|
(nth 1 node))
|
2000-07-19 15:52:13 +00:00
|
|
|
|
2001-12-14 22:12:30 +00:00
|
|
|
(defsubst xml-node-children (node)
|
2000-07-19 15:52:13 +00:00
|
|
|
"Return the list of children of NODE.
|
|
|
|
This is a list of nodes, and it can be nil."
|
2001-12-14 22:12:30 +00:00
|
|
|
(cddr node))
|
2000-07-19 15:52:13 +00:00
|
|
|
|
|
|
|
(defun xml-get-children (node child-name)
|
|
|
|
"Return the children of NODE whose tag is CHILD-NAME.
|
|
|
|
CHILD-NAME should be a lower case symbol."
|
2001-12-14 22:12:30 +00:00
|
|
|
(let ((match ()))
|
|
|
|
(dolist (child (xml-node-children node))
|
|
|
|
(if child
|
|
|
|
(if (equal (xml-node-name child) child-name)
|
|
|
|
(push child match))))
|
|
|
|
(nreverse match)))
|
2000-07-19 15:52:13 +00:00
|
|
|
|
|
|
|
(defun xml-get-attribute (node attribute)
|
|
|
|
"Get from NODE the value of ATTRIBUTE.
|
|
|
|
An empty string is returned if the attribute was not found."
|
|
|
|
(if (xml-node-attributes node)
|
|
|
|
(let ((value (assoc attribute (xml-node-attributes node))))
|
|
|
|
(if value
|
|
|
|
(cdr value)
|
|
|
|
""))
|
|
|
|
""))
|
|
|
|
|
|
|
|
;;*******************************************************************
|
|
|
|
;;**
|
|
|
|
;;** Creating the list
|
|
|
|
;;**
|
|
|
|
;;*******************************************************************
|
|
|
|
|
|
|
|
(defun xml-parse-file (file &optional parse-dtd)
|
|
|
|
"Parse the well-formed XML FILE.
|
2000-12-22 12:20:46 +00:00
|
|
|
If FILE is already edited, this will keep the buffer alive.
|
2000-07-19 15:52:13 +00:00
|
|
|
Returns the top node with all its children.
|
|
|
|
If PARSE-DTD is non-nil, the DTD is parsed rather than skipped."
|
2000-12-22 12:20:46 +00:00
|
|
|
(let ((keep))
|
|
|
|
(if (get-file-buffer file)
|
|
|
|
(progn
|
|
|
|
(set-buffer (get-file-buffer file))
|
|
|
|
(setq keep (point)))
|
|
|
|
(find-file file))
|
2003-01-04 09:32:17 +00:00
|
|
|
|
2000-12-22 12:20:46 +00:00
|
|
|
(let ((xml (xml-parse-region (point-min)
|
|
|
|
(point-max)
|
|
|
|
(current-buffer)
|
|
|
|
parse-dtd)))
|
|
|
|
(if keep
|
|
|
|
(goto-char keep)
|
|
|
|
(kill-buffer (current-buffer)))
|
|
|
|
xml)))
|
2000-07-19 15:52:13 +00:00
|
|
|
|
|
|
|
(defun xml-parse-region (beg end &optional buffer parse-dtd)
|
|
|
|
"Parse the region from BEG to END in BUFFER.
|
|
|
|
If BUFFER is nil, it defaults to the current buffer.
|
|
|
|
Returns the XML list for the region, or raises an error if the region
|
|
|
|
is not a well-formed XML file.
|
|
|
|
If PARSE-DTD is non-nil, the DTD is parsed rather than skipped,
|
|
|
|
and returned as the first element of the list"
|
|
|
|
(let (xml result dtd)
|
|
|
|
(save-excursion
|
|
|
|
(if buffer
|
|
|
|
(set-buffer buffer))
|
|
|
|
(goto-char beg)
|
|
|
|
(while (< (point) end)
|
|
|
|
(if (search-forward "<" end t)
|
|
|
|
(progn
|
|
|
|
(forward-char -1)
|
|
|
|
(if (null xml)
|
|
|
|
(progn
|
2001-12-14 22:12:30 +00:00
|
|
|
(setq result (xml-parse-tag end parse-dtd))
|
2000-07-19 15:52:13 +00:00
|
|
|
(cond
|
2001-12-14 22:12:30 +00:00
|
|
|
((null result))
|
2000-07-19 15:52:13 +00:00
|
|
|
((listp (car result))
|
2001-12-14 22:12:30 +00:00
|
|
|
(setq dtd (car result))
|
2000-07-19 15:52:13 +00:00
|
|
|
(add-to-list 'xml (cdr result)))
|
|
|
|
(t
|
|
|
|
(add-to-list 'xml result))))
|
|
|
|
|
|
|
|
;; translation of rule [1] of XML specifications
|
2001-07-14 11:21:08 +00:00
|
|
|
(error "XML files can have only one toplevel tag")))
|
2000-07-19 15:52:13 +00:00
|
|
|
(goto-char end)))
|
|
|
|
(if parse-dtd
|
|
|
|
(cons dtd (reverse xml))
|
|
|
|
(reverse xml)))))
|
|
|
|
|
|
|
|
|
|
|
|
(defun xml-parse-tag (end &optional parse-dtd)
|
|
|
|
"Parse the tag that is just in front of point.
|
|
|
|
The end tag must be found before the position END in the current buffer.
|
|
|
|
If PARSE-DTD is non-nil, the DTD of the document, if any, is parsed and
|
|
|
|
returned as the first element in the list.
|
|
|
|
Returns one of:
|
|
|
|
- a list : the matching node
|
|
|
|
- nil : the point is not looking at a tag.
|
|
|
|
- a cons cell: the first element is the DTD, the second is the node"
|
|
|
|
(cond
|
|
|
|
;; Processing instructions (like the <?xml version="1.0"?> tag at the
|
|
|
|
;; beginning of a document)
|
|
|
|
((looking-at "<\\?")
|
|
|
|
(search-forward "?>" end)
|
2003-03-16 10:48:34 +00:00
|
|
|
(goto-char (- (re-search-forward "[^ \t\n\r]") 1))
|
2000-07-19 15:52:13 +00:00
|
|
|
(xml-parse-tag end))
|
|
|
|
;; Character data (CDATA) sections, in which no tag should be interpreted
|
|
|
|
((looking-at "<!\\[CDATA\\[")
|
|
|
|
(let ((pos (match-end 0)))
|
|
|
|
(unless (search-forward "]]>" end t)
|
|
|
|
(error "CDATA section does not end anywhere in the document"))
|
|
|
|
(buffer-substring-no-properties pos (match-beginning 0))))
|
|
|
|
;; DTD for the document
|
|
|
|
((looking-at "<!DOCTYPE")
|
|
|
|
(let (dtd)
|
|
|
|
(if parse-dtd
|
2001-12-14 22:12:30 +00:00
|
|
|
(setq dtd (xml-parse-dtd end))
|
2000-07-19 15:52:13 +00:00
|
|
|
(xml-skip-dtd end))
|
2003-03-16 10:48:34 +00:00
|
|
|
(goto-char (- (re-search-forward "[^ \t\n\r]") 1))
|
2000-07-19 15:52:13 +00:00
|
|
|
(if dtd
|
|
|
|
(cons dtd (xml-parse-tag end))
|
|
|
|
(xml-parse-tag end))))
|
|
|
|
;; skip comments
|
|
|
|
((looking-at "<!--")
|
|
|
|
(search-forward "-->" end)
|
2001-12-14 22:12:30 +00:00
|
|
|
nil)
|
2000-07-19 15:52:13 +00:00
|
|
|
;; end tag
|
|
|
|
((looking-at "</")
|
|
|
|
'())
|
|
|
|
;; opening tag
|
2003-03-16 10:48:34 +00:00
|
|
|
((looking-at "<\\([^/> \t\n\r]+\\)")
|
2001-12-14 22:12:30 +00:00
|
|
|
(goto-char (match-end 1))
|
|
|
|
(let* ((case-fold-search nil) ;; XML is case-sensitive.
|
|
|
|
(node-name (match-string 1))
|
|
|
|
;; Parse the attribute list.
|
|
|
|
(children (list (xml-parse-attlist end) (intern node-name)))
|
2000-07-19 15:52:13 +00:00
|
|
|
pos)
|
|
|
|
|
|
|
|
;; is this an empty element ?
|
2003-03-16 10:48:34 +00:00
|
|
|
(if (looking-at "/[ \t\n\r]*>")
|
2000-07-19 15:52:13 +00:00
|
|
|
(progn
|
|
|
|
(forward-char 2)
|
2001-12-14 22:12:30 +00:00
|
|
|
(nreverse (cons '("") children)))
|
2000-07-19 15:52:13 +00:00
|
|
|
|
|
|
|
;; is this a valid start tag ?
|
2001-10-18 20:24:09 +00:00
|
|
|
(if (eq (char-after) ?>)
|
2000-07-19 15:52:13 +00:00
|
|
|
(progn
|
|
|
|
(forward-char 1)
|
2001-12-14 22:12:30 +00:00
|
|
|
;; Now check that we have the right end-tag. Note that this
|
|
|
|
;; one might contain spaces after the tag name
|
2003-03-16 10:48:34 +00:00
|
|
|
(while (not (looking-at (concat "</" node-name "[ \t\n\r]*>")))
|
2000-07-19 15:52:13 +00:00
|
|
|
(cond
|
|
|
|
((looking-at "</")
|
|
|
|
(error (concat
|
|
|
|
"XML: invalid syntax -- invalid end tag (expecting "
|
|
|
|
node-name
|
2000-12-22 12:20:46 +00:00
|
|
|
") at pos " (number-to-string (point)))))
|
2000-07-19 15:52:13 +00:00
|
|
|
((= (char-after) ?<)
|
2001-12-14 22:12:30 +00:00
|
|
|
(let ((tag (xml-parse-tag end)))
|
|
|
|
(when tag
|
|
|
|
(push tag children))))
|
2000-07-19 15:52:13 +00:00
|
|
|
(t
|
2001-12-14 22:12:30 +00:00
|
|
|
(setq pos (point))
|
2000-07-19 15:52:13 +00:00
|
|
|
(search-forward "<" end)
|
|
|
|
(forward-char -1)
|
|
|
|
(let ((string (buffer-substring-no-properties pos (point)))
|
|
|
|
(pos 0))
|
2003-01-04 09:32:17 +00:00
|
|
|
|
2003-03-16 10:48:34 +00:00
|
|
|
;; Clean up the string. As per XML
|
|
|
|
;; specifications, the XML processor should
|
|
|
|
;; always pass the whole string to the
|
|
|
|
;; application. But \r's should be replaced:
|
|
|
|
;; http://www.w3.org/TR/2000/REC-xml-20001006#sec-line-ends
|
|
|
|
(while (string-match "\r\n?" string pos)
|
|
|
|
(setq string (replace-match "\n" t t string))
|
|
|
|
(setq pos (1+ (match-beginning 0))))
|
2001-12-14 22:12:30 +00:00
|
|
|
|
|
|
|
(setq string (xml-substitute-special string))
|
|
|
|
(setq children
|
|
|
|
(if (stringp (car children))
|
|
|
|
;; The two strings were separated by a comment.
|
|
|
|
(cons (concat (car children) string)
|
|
|
|
(cdr children))
|
|
|
|
(cons string children)))))))
|
2000-07-19 15:52:13 +00:00
|
|
|
(goto-char (match-end 0))
|
|
|
|
(if (> (point) end)
|
2001-07-14 11:21:08 +00:00
|
|
|
(error "XML: End tag for %s not found before end of region"
|
2000-07-19 15:52:13 +00:00
|
|
|
node-name))
|
2001-12-14 22:12:30 +00:00
|
|
|
(nreverse children))
|
2000-07-19 15:52:13 +00:00
|
|
|
|
|
|
|
;; This was an invalid start tag
|
|
|
|
(error "XML: Invalid attribute list")
|
|
|
|
))))
|
2001-05-31 08:17:31 +00:00
|
|
|
(t ;; This is not a tag.
|
2001-07-14 11:21:08 +00:00
|
|
|
(error "XML: Invalid character"))
|
2000-07-19 15:52:13 +00:00
|
|
|
))
|
|
|
|
|
|
|
|
(defun xml-parse-attlist (end)
|
|
|
|
"Return the attribute-list that point is looking at.
|
|
|
|
The search for attributes end at the position END in the current buffer.
|
|
|
|
Leaves the point on the first non-blank character after the tag."
|
2001-12-14 22:12:30 +00:00
|
|
|
(let ((attlist ())
|
2003-03-16 10:48:34 +00:00
|
|
|
start-pos name)
|
|
|
|
(goto-char (- (re-search-forward "[^ \t\n\r]") 1))
|
|
|
|
(while (looking-at "\\([a-zA-Z_:][-a-zA-Z0-9._:]*\\)[ \t\n\r]*=[ \t\n\r]*")
|
2001-12-14 22:12:30 +00:00
|
|
|
(setq name (intern (match-string 1)))
|
2000-07-19 15:52:13 +00:00
|
|
|
(goto-char (match-end 0))
|
|
|
|
|
2003-03-16 10:48:34 +00:00
|
|
|
;; See also: http://www.w3.org/TR/2000/REC-xml-20001006#AVNormalize
|
|
|
|
|
2000-07-19 15:52:13 +00:00
|
|
|
;; Do we have a string between quotes (or double-quotes),
|
|
|
|
;; or a simple word ?
|
2003-03-16 10:48:34 +00:00
|
|
|
(if (looking-at "\"\\([^\"]*\\)\"")
|
|
|
|
(setq start-pos (match-beginning 0))
|
2003-03-20 18:01:58 +00:00
|
|
|
(if (looking-at "'\\([^']*\\)'")
|
2003-03-16 10:48:34 +00:00
|
|
|
(setq start-pos (match-beginning 0))
|
2001-07-14 11:21:08 +00:00
|
|
|
(error "XML: Attribute values must be given between quotes")))
|
2000-07-19 15:52:13 +00:00
|
|
|
|
|
|
|
;; Each attribute must be unique within a given element
|
|
|
|
(if (assoc name attlist)
|
2001-07-14 11:21:08 +00:00
|
|
|
(error "XML: each attribute must be unique within an element"))
|
2003-01-04 09:32:17 +00:00
|
|
|
|
2003-03-16 10:48:34 +00:00
|
|
|
;; Multiple whitespace characters should be replaced with a single one
|
|
|
|
;; in the attributes
|
|
|
|
(let ((string (match-string-no-properties 1))
|
|
|
|
(pos 0))
|
|
|
|
(while (string-match "[ \t\n\r]+" string pos)
|
|
|
|
(setq string (replace-match " " t nil string))
|
|
|
|
(setq pos (1+ (match-beginning 0))))
|
|
|
|
(push (cons name (xml-substitute-special string)) attlist))
|
|
|
|
|
|
|
|
(goto-char start-pos)
|
|
|
|
(if (looking-at "\"\\([^\"]*\\)\"")
|
|
|
|
(goto-char (match-end 0))
|
2003-03-20 18:01:58 +00:00
|
|
|
(if (looking-at "'\\([^']*\\)'")
|
2003-03-16 10:48:34 +00:00
|
|
|
(goto-char (match-end 0))))
|
|
|
|
|
|
|
|
(goto-char (- (re-search-forward "[^ \t\n\r]") 1))
|
2000-07-19 15:52:13 +00:00
|
|
|
(if (> (point) end)
|
2003-03-16 10:48:34 +00:00
|
|
|
(error "XML: end of attribute list not found before end of region")))
|
2001-12-14 22:12:30 +00:00
|
|
|
(nreverse attlist)))
|
2000-07-19 15:52:13 +00:00
|
|
|
|
|
|
|
;;*******************************************************************
|
|
|
|
;;**
|
|
|
|
;;** The DTD (document type declaration)
|
|
|
|
;;** The following functions know how to skip or parse the DTD of
|
|
|
|
;;** a document
|
|
|
|
;;**
|
|
|
|
;;*******************************************************************
|
|
|
|
|
|
|
|
(defun xml-skip-dtd (end)
|
|
|
|
"Skip the DTD that point is looking at.
|
|
|
|
The DTD must end before the position END in the current buffer.
|
|
|
|
The point must be just before the starting tag of the DTD.
|
|
|
|
This follows the rule [28] in the XML specifications."
|
|
|
|
(forward-char (length "<!DOCTYPE"))
|
2003-03-16 10:48:34 +00:00
|
|
|
(if (looking-at "[ \t\n\r]*>")
|
2000-07-19 15:52:13 +00:00
|
|
|
(error "XML: invalid DTD (excepting name of the document)"))
|
|
|
|
(condition-case nil
|
|
|
|
(progn
|
2003-03-16 10:48:34 +00:00
|
|
|
(forward-word 1)
|
|
|
|
(goto-char (- (re-search-forward "[ \t\n\r]") 1))
|
|
|
|
(goto-char (- (re-search-forward "[^ \t\n\r]") 1))
|
2000-07-19 15:52:13 +00:00
|
|
|
(if (looking-at "\\[")
|
2003-03-16 10:48:34 +00:00
|
|
|
(re-search-forward "\\][ \t\n\r]*>" end)
|
2000-07-19 15:52:13 +00:00
|
|
|
(search-forward ">" end)))
|
|
|
|
(error (error "XML: No end to the DTD"))))
|
|
|
|
|
|
|
|
(defun xml-parse-dtd (end)
|
|
|
|
"Parse the DTD that point is looking at.
|
|
|
|
The DTD must end before the position END in the current buffer."
|
2001-12-14 22:12:30 +00:00
|
|
|
(forward-char (length "<!DOCTYPE"))
|
2003-03-16 10:48:34 +00:00
|
|
|
(goto-char (- (re-search-forward "[^ \t\n\r]") 1))
|
2001-12-14 22:12:30 +00:00
|
|
|
(if (looking-at ">")
|
|
|
|
(error "XML: invalid DTD (excepting name of the document)"))
|
2003-01-04 09:32:17 +00:00
|
|
|
|
2001-12-14 22:12:30 +00:00
|
|
|
;; Get the name of the document
|
|
|
|
(looking-at "\\sw+")
|
|
|
|
(let ((dtd (list (match-string-no-properties 0) 'dtd))
|
|
|
|
type element end-pos)
|
2000-07-19 15:52:13 +00:00
|
|
|
(goto-char (match-end 0))
|
|
|
|
|
2003-03-16 10:48:34 +00:00
|
|
|
(goto-char (- (re-search-forward "[^ \t\n\r]") 1))
|
2000-07-19 15:52:13 +00:00
|
|
|
|
2003-03-16 10:48:34 +00:00
|
|
|
;; External DTDs => don't know how to handle them yet
|
2000-07-19 15:52:13 +00:00
|
|
|
(if (looking-at "SYSTEM")
|
2001-07-14 11:21:08 +00:00
|
|
|
(error "XML: Don't know how to handle external DTDs"))
|
2003-01-04 09:32:17 +00:00
|
|
|
|
2000-07-19 15:52:13 +00:00
|
|
|
(if (not (= (char-after) ?\[))
|
2001-07-14 11:21:08 +00:00
|
|
|
(error "XML: Unknown declaration in the DTD"))
|
2000-07-19 15:52:13 +00:00
|
|
|
|
2003-03-16 10:48:34 +00:00
|
|
|
;; Parse the rest of the DTD
|
2000-07-19 15:52:13 +00:00
|
|
|
(forward-char 1)
|
2003-03-16 10:48:34 +00:00
|
|
|
(while (and (not (looking-at "[ \t\n\r]*\\]"))
|
2000-07-19 15:52:13 +00:00
|
|
|
(<= (point) end))
|
|
|
|
(cond
|
|
|
|
|
|
|
|
;; Translation of rule [45] of XML specifications
|
|
|
|
((looking-at
|
2003-03-16 10:48:34 +00:00
|
|
|
"[ \t\n\r]*<!ELEMENT[ \t\n\r]+\\([a-zA-Z0-9.%;]+\\)[ \t\n\r]+\\([^>]+\\)>")
|
2000-07-19 15:52:13 +00:00
|
|
|
|
2000-08-14 12:43:55 +00:00
|
|
|
(setq element (intern (match-string-no-properties 1))
|
2000-07-19 15:52:13 +00:00
|
|
|
type (match-string-no-properties 2))
|
2001-12-14 22:12:30 +00:00
|
|
|
(setq end-pos (match-end 0))
|
2003-01-04 09:32:17 +00:00
|
|
|
|
2000-07-19 15:52:13 +00:00
|
|
|
;; Translation of rule [46] of XML specifications
|
|
|
|
(cond
|
2003-03-16 10:48:34 +00:00
|
|
|
((string-match "^EMPTY[ \t\n\r]*$" type) ;; empty declaration
|
2001-12-14 22:12:30 +00:00
|
|
|
(setq type 'empty))
|
2003-03-16 10:48:34 +00:00
|
|
|
((string-match "^ANY[ \t\n\r]*$" type) ;; any type of contents
|
2001-12-14 22:12:30 +00:00
|
|
|
(setq type 'any))
|
2003-03-16 10:48:34 +00:00
|
|
|
((string-match "^(\\(.*\\))[ \t\n\r]*$" type) ;; children ([47])
|
2001-12-14 22:12:30 +00:00
|
|
|
(setq type (xml-parse-elem-type (match-string-no-properties 1 type))))
|
2003-03-16 10:48:34 +00:00
|
|
|
((string-match "^%[^;]+;[ \t\n\r]*$" type) ;; substitution
|
2000-07-19 15:52:13 +00:00
|
|
|
nil)
|
|
|
|
(t
|
|
|
|
(error "XML: Invalid element type in the DTD")))
|
|
|
|
|
|
|
|
;; rule [45]: the element declaration must be unique
|
|
|
|
(if (assoc element dtd)
|
2001-07-14 11:21:08 +00:00
|
|
|
(error "XML: elements declaration must be unique in a DTD (<%s>)"
|
2000-07-19 15:52:13 +00:00
|
|
|
(symbol-name element)))
|
2003-01-04 09:32:17 +00:00
|
|
|
|
2000-07-19 15:52:13 +00:00
|
|
|
;; Store the element in the DTD
|
2001-12-14 22:12:30 +00:00
|
|
|
(push (list element type) dtd)
|
|
|
|
(goto-char end-pos))
|
2000-07-19 15:52:13 +00:00
|
|
|
|
|
|
|
|
|
|
|
(t
|
|
|
|
(error "XML: Invalid DTD item"))
|
|
|
|
)
|
|
|
|
)
|
|
|
|
|
|
|
|
;; Skip the end of the DTD
|
|
|
|
(search-forward ">" end)
|
2001-12-14 22:12:30 +00:00
|
|
|
(nreverse dtd)))
|
2000-07-19 15:52:13 +00:00
|
|
|
|
|
|
|
|
|
|
|
(defun xml-parse-elem-type (string)
|
|
|
|
"Convert a STRING for an element type into an elisp structure."
|
|
|
|
|
|
|
|
(let (elem modifier)
|
|
|
|
(if (string-match "(\\([^)]+\\))\\([+*?]?\\)" string)
|
|
|
|
(progn
|
|
|
|
(setq elem (match-string 1 string)
|
|
|
|
modifier (match-string 2 string))
|
|
|
|
(if (string-match "|" elem)
|
2001-12-14 22:12:30 +00:00
|
|
|
(setq elem (cons 'choice
|
2000-07-19 15:52:13 +00:00
|
|
|
(mapcar 'xml-parse-elem-type
|
|
|
|
(split-string elem "|"))))
|
|
|
|
(if (string-match "," elem)
|
2001-12-14 22:12:30 +00:00
|
|
|
(setq elem (cons 'seq
|
2000-07-19 15:52:13 +00:00
|
|
|
(mapcar 'xml-parse-elem-type
|
|
|
|
(split-string elem ","))))
|
|
|
|
)))
|
2003-03-16 10:48:34 +00:00
|
|
|
(if (string-match "[ \t\n\r]*\\([^+*?]+\\)\\([+*?]?\\)" string)
|
|
|
|
(setq elem (match-string 1 string)
|
2000-07-19 15:52:13 +00:00
|
|
|
modifier (match-string 2 string))))
|
|
|
|
|
2001-12-14 22:12:30 +00:00
|
|
|
(if (and (stringp elem) (string= elem "#PCDATA"))
|
|
|
|
(setq elem 'pcdata))
|
2003-01-04 09:32:17 +00:00
|
|
|
|
2001-12-14 22:12:30 +00:00
|
|
|
(cond
|
|
|
|
((string= modifier "+")
|
|
|
|
(list '+ elem))
|
|
|
|
((string= modifier "*")
|
|
|
|
(list '* elem))
|
|
|
|
((string= modifier "?")
|
2003-02-14 09:58:04 +00:00
|
|
|
(list '\? elem))
|
2001-12-14 22:12:30 +00:00
|
|
|
(t
|
|
|
|
elem))))
|
2000-07-19 15:52:13 +00:00
|
|
|
|
2003-03-16 10:48:34 +00:00
|
|
|
;;*******************************************************************
|
|
|
|
;;**
|
|
|
|
;;** Converting code points to strings
|
|
|
|
;;**
|
|
|
|
;;*******************************************************************
|
|
|
|
|
|
|
|
(defun xml-ucs-to-string (codepoint)
|
|
|
|
"Return a string representation of CODEPOINT. If it can't be
|
|
|
|
converted, return '?'."
|
|
|
|
(cond ((boundp 'decode-char)
|
|
|
|
(char-to-string (decode-char 'ucs codepoint)))
|
|
|
|
((and (< codepoint 128)
|
|
|
|
(> codepoint 31))
|
|
|
|
(char-to-string codepoint))
|
|
|
|
(t "?"))) ; FIXME: There's gotta be a better way to
|
|
|
|
; designate an unknown character.
|
2000-07-19 15:52:13 +00:00
|
|
|
|
|
|
|
;;*******************************************************************
|
|
|
|
;;**
|
|
|
|
;;** Substituting special XML sequences
|
|
|
|
;;**
|
|
|
|
;;*******************************************************************
|
|
|
|
|
|
|
|
(defun xml-substitute-special (string)
|
|
|
|
"Return STRING, after subsituting special XML sequences."
|
|
|
|
(while (string-match "<" string)
|
2001-12-14 22:12:30 +00:00
|
|
|
(setq string (replace-match "<" t nil string)))
|
2000-07-19 15:52:13 +00:00
|
|
|
(while (string-match ">" string)
|
2001-12-14 22:12:30 +00:00
|
|
|
(setq string (replace-match ">" t nil string)))
|
2000-07-19 15:52:13 +00:00
|
|
|
(while (string-match "'" string)
|
2001-12-14 22:12:30 +00:00
|
|
|
(setq string (replace-match "'" t nil string)))
|
2000-07-19 15:52:13 +00:00
|
|
|
(while (string-match """ string)
|
2001-12-14 22:12:30 +00:00
|
|
|
(setq string (replace-match "\"" t nil string)))
|
2003-03-16 10:48:34 +00:00
|
|
|
(while (string-match "&#\\([0-9]+\\);" string)
|
|
|
|
(setq string (replace-match (xml-ucs-to-string
|
|
|
|
(string-to-number
|
|
|
|
(match-string-no-properties 1 string)))
|
|
|
|
t nil string)))
|
|
|
|
(while (string-match "&#x\\([0-9a-fA-F]+\\);" string)
|
|
|
|
(setq string (replace-match (xml-ucs-to-string
|
|
|
|
(string-to-number
|
|
|
|
(match-string-no-properties 1 string)
|
|
|
|
16))
|
|
|
|
t nil string)))
|
|
|
|
|
2003-01-06 01:10:25 +00:00
|
|
|
;; This goes last so it doesn't confuse the matches above.
|
2003-01-04 09:32:17 +00:00
|
|
|
(while (string-match "&" string)
|
|
|
|
(setq string (replace-match "&" t nil string)))
|
2000-07-19 15:52:13 +00:00
|
|
|
string)
|
|
|
|
|
|
|
|
;;*******************************************************************
|
|
|
|
;;**
|
|
|
|
;;** Printing a tree.
|
|
|
|
;;** This function is intended mainly for debugging purposes.
|
|
|
|
;;**
|
|
|
|
;;*******************************************************************
|
|
|
|
|
|
|
|
(defun xml-debug-print (xml)
|
2001-12-14 22:12:30 +00:00
|
|
|
(dolist (node xml)
|
|
|
|
(xml-debug-print-internal node "")))
|
2000-07-19 15:52:13 +00:00
|
|
|
|
2001-12-14 22:12:30 +00:00
|
|
|
(defun xml-debug-print-internal (xml indent-string)
|
2000-07-19 15:52:13 +00:00
|
|
|
"Outputs the XML tree in the current buffer.
|
|
|
|
The first line indented with INDENT-STRING."
|
|
|
|
(let ((tree xml)
|
|
|
|
attlist)
|
|
|
|
(insert indent-string "<" (symbol-name (xml-node-name tree)))
|
2003-01-04 09:32:17 +00:00
|
|
|
|
2000-07-19 15:52:13 +00:00
|
|
|
;; output the attribute list
|
2001-12-14 22:12:30 +00:00
|
|
|
(setq attlist (xml-node-attributes tree))
|
2000-07-19 15:52:13 +00:00
|
|
|
(while attlist
|
|
|
|
(insert " ")
|
|
|
|
(insert (symbol-name (caar attlist)) "=\"" (cdar attlist) "\"")
|
2001-12-14 22:12:30 +00:00
|
|
|
(setq attlist (cdr attlist)))
|
2003-01-04 09:32:17 +00:00
|
|
|
|
2000-07-19 15:52:13 +00:00
|
|
|
(insert ">")
|
2003-01-04 09:32:17 +00:00
|
|
|
|
2001-12-14 22:12:30 +00:00
|
|
|
(setq tree (xml-node-children tree))
|
2000-07-19 15:52:13 +00:00
|
|
|
|
|
|
|
;; output the children
|
2001-12-14 22:12:30 +00:00
|
|
|
(dolist (node tree)
|
2000-07-19 15:52:13 +00:00
|
|
|
(cond
|
2001-12-14 22:12:30 +00:00
|
|
|
((listp node)
|
2000-07-19 15:52:13 +00:00
|
|
|
(insert "\n")
|
2001-12-14 22:12:30 +00:00
|
|
|
(xml-debug-print-internal node (concat indent-string " ")))
|
|
|
|
((stringp node) (insert node))
|
2000-07-19 15:52:13 +00:00
|
|
|
(t
|
2001-12-14 22:12:30 +00:00
|
|
|
(error "Invalid XML tree"))))
|
2000-07-19 15:52:13 +00:00
|
|
|
|
|
|
|
(insert "\n" indent-string
|
2001-12-14 22:12:30 +00:00
|
|
|
"</" (symbol-name (xml-node-name xml)) ">")))
|
2000-07-19 15:52:13 +00:00
|
|
|
|
|
|
|
(provide 'xml)
|
|
|
|
|
|
|
|
;;; xml.el ends here
|