2007-11-23 06:58:00 +00:00
|
|
|
;;; rng-parse.el --- parse an XML file and validate it against a schema
|
|
|
|
|
2014-01-01 07:43:34 +00:00
|
|
|
;; Copyright (C) 2003, 2007-2014 Free Software Foundation, Inc.
|
2007-11-23 06:58:00 +00:00
|
|
|
|
|
|
|
;; Author: James Clark
|
|
|
|
;; Keywords: XML, RelaxNG
|
|
|
|
|
2007-11-28 04:14:05 +00:00
|
|
|
;; This file is part of GNU Emacs.
|
2007-11-23 06:58:00 +00:00
|
|
|
|
2008-05-06 04:29:13 +00:00
|
|
|
;; GNU Emacs is free software: you can redistribute it and/or modify
|
2007-11-28 04:14:05 +00:00
|
|
|
;; it under the terms of the GNU General Public License as published by
|
2008-05-06 04:29:13 +00:00
|
|
|
;; the Free Software Foundation, either version 3 of the License, or
|
|
|
|
;; (at your option) any later version.
|
2007-11-23 06:58:00 +00:00
|
|
|
|
2007-11-28 04:14:05 +00:00
|
|
|
;; 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
|
2008-05-06 04:29:13 +00:00
|
|
|
;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
|
2007-11-23 06:58:00 +00:00
|
|
|
|
|
|
|
;;; Commentary:
|
|
|
|
|
|
|
|
;; This combines the validation machinery in rng-match.el with the
|
|
|
|
;; parser in nxml-parse.el by using the `nxml-validate-function' hook.
|
|
|
|
|
|
|
|
;;; Code:
|
|
|
|
|
|
|
|
(require 'nxml-parse)
|
|
|
|
(require 'rng-match)
|
|
|
|
(require 'rng-dt)
|
|
|
|
|
|
|
|
(defvar rng-parse-prev-was-start-tag nil)
|
|
|
|
|
|
|
|
(defun rng-parse-validate-file (schema file)
|
|
|
|
"Parse and validate the XML document in FILE and return it as a list.
|
|
|
|
The returned list has the same form as that returned by
|
|
|
|
`nxml-parse-file'. SCHEMA is a list representing the schema to use
|
|
|
|
for validation, such as returned by the function `rng-c-load-schema'.
|
|
|
|
If the XML document is invalid with respect to schema, an error will
|
|
|
|
be signaled in the same way as when it is not well-formed."
|
2009-11-05 21:01:32 +00:00
|
|
|
(with-current-buffer (nxml-parse-find-file file)
|
2007-11-23 06:58:00 +00:00
|
|
|
(unwind-protect
|
|
|
|
(let ((nxml-parse-file-name file)
|
|
|
|
(nxml-validate-function 'rng-parse-do-validate)
|
|
|
|
(rng-dt-namespace-context-getter '(nxml-ns-get-context))
|
|
|
|
rng-parse-prev-was-start-tag)
|
|
|
|
;; We don't simply call nxml-parse-file, because
|
|
|
|
;; we want to do rng-match-with-schema in the same
|
|
|
|
;; buffer in which we will call the other rng-match-* functions.
|
|
|
|
(rng-match-with-schema schema
|
|
|
|
(nxml-parse-instance)))
|
|
|
|
(kill-buffer nil))))
|
|
|
|
|
|
|
|
(defun rng-parse-do-validate (text start-tag)
|
|
|
|
(cond ((and (let ((tem rng-parse-prev-was-start-tag))
|
|
|
|
(setq rng-parse-prev-was-start-tag (and start-tag t))
|
|
|
|
tem)
|
|
|
|
(not start-tag)
|
|
|
|
(rng-match-text-typed-p))
|
|
|
|
(unless (rng-match-element-value (or text ""))
|
|
|
|
(cons "Invalid data" (and text 'text))))
|
|
|
|
((and text
|
|
|
|
(not (rng-blank-p text))
|
|
|
|
(not (rng-match-mixed-text)))
|
|
|
|
(cons "Text not allowed" 'text))
|
|
|
|
((not start-tag)
|
|
|
|
(unless (rng-match-end-tag)
|
|
|
|
(cons "Missing elements" nil)))
|
|
|
|
((not (rng-match-start-tag-open
|
|
|
|
(rng-parse-to-match-name (car start-tag))))
|
|
|
|
(cons "Element not allowed" nil))
|
|
|
|
(t
|
|
|
|
(let ((atts (cadr start-tag))
|
|
|
|
(i 0)
|
|
|
|
att err)
|
|
|
|
(while (and atts (not err))
|
|
|
|
(setq att (car atts))
|
|
|
|
(when (not (and (consp (car att))
|
|
|
|
(eq (caar att) nxml-xmlns-namespace-uri)))
|
|
|
|
(setq err
|
|
|
|
(cond ((not (rng-match-attribute-name
|
|
|
|
(rng-parse-to-match-name (car att))))
|
|
|
|
(cons "Attribute not allowed"
|
|
|
|
(cons 'attribute-name i)))
|
|
|
|
((not (rng-match-attribute-value (cdr att)))
|
|
|
|
(cons "Invalid attribute value"
|
|
|
|
(cons 'attribute-value i))))))
|
|
|
|
(setq atts (cdr atts))
|
|
|
|
(setq i (1+ i)))
|
|
|
|
(or err
|
|
|
|
(unless (rng-match-start-tag-close)
|
|
|
|
(cons "Missing attributes" 'tag-close)))))))
|
|
|
|
|
|
|
|
(defun rng-parse-to-match-name (name)
|
|
|
|
(if (consp name)
|
|
|
|
name
|
|
|
|
(cons nil name)))
|
|
|
|
|
|
|
|
(provide 'rng-parse)
|
|
|
|
|
|
|
|
;;; rng-parse.el ends here
|