bc511a64f6
Most of this change is to boilerplate commentary such as license URLs. This change was prompted by ftp://ftp.gnu.org's going-away party, planned for November. Change these FTP URLs to https://ftp.gnu.org instead. Make similar changes for URLs to other organizations moving away from FTP. Also, change HTTP to HTTPS for URLs to gnu.org and fsf.org when this works, as this will further help defend against man-in-the-middle attacks (for this part I omitted the MS-DOS and MS-Windows sources and the test tarballs to keep the workload down). HTTPS is not fully working to lists.gnu.org so I left those URLs alone for now.
103 lines
3.5 KiB
EmacsLisp
103 lines
3.5 KiB
EmacsLisp
;;; rng-parse.el --- parse an XML file and validate it against a schema -*- lexical-binding:t -*-
|
|
|
|
;; Copyright (C) 2003, 2007-2017 Free Software Foundation, Inc.
|
|
|
|
;; Author: James Clark
|
|
;; Keywords: wp, hypermedia, languages, XML, RelaxNG
|
|
|
|
;; 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 3 of the License, 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. If not, see <https://www.gnu.org/licenses/>.
|
|
|
|
;;; 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."
|
|
(with-current-buffer (nxml-parse-find-file file)
|
|
(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
|