November 2005 - cxml-cvs@common-lisp.net - mailman3.common-lisp.net

[cxml-cvs] CVS update: cxml/xml/catalog.lisp cxml/xml/characters.lisp cxml/xml/package.lisp cxml/xml/recoder.lisp cxml/xml/sax-proxy.lisp cxml/xml/unparse.lisp cxml/xml/util.lisp cxml/xml/xml-name-rune-p.lisp cxml/xml/xml-parse.lisp cxml/xml/xmls-compat.lisp cxml/xml/COPYING
by dlichteblau＠common-lisp.net 28 Nov '05

28 Nov '05

Update of /project/cxml/cvsroot/cxml/xml In directory common-lisp.net:/tmp/cvs-serv4952/xml Modified Files: catalog.lisp characters.lisp package.lisp recoder.lisp sax-proxy.lisp unparse.lisp util.lisp xml-name-rune-p.lisp xml-parse.lisp xmls-compat.lisp Removed Files: COPYING Log Message: + <li>Gilbert Baumann has clarified the license as Lisp-LGPL.</li> Date: Mon Nov 28 23:33:48 2005 Author: dlichteblau Index: cxml/xml/catalog.lisp diff -u cxml/xml/catalog.lisp:1.1.1.16 cxml/xml/catalog.lisp:1.2 --- cxml/xml/catalog.lisp:1.1.1.16 Sun Mar 13 19:02:56 2005 +++ cxml/xml/catalog.lisp Mon Nov 28 23:33:47 2005 @@ -1,6 +1,6 @@ ;;;; catalogs.lisp -- XML Catalogs -*- Mode: Lisp; readtable: runes -*- ;;;; -;;;; This file is part of the CXML parser, released under (L)LGPL. +;;;; This file is part of the CXML parser, released under Lisp-LGPL. ;;;; See file COPYING for details. ;;;; ;;;; Developed 2004 for headcraft - http://headcraft.de/ Index: cxml/xml/characters.lisp diff -u cxml/xml/characters.lisp:1.1.1.8 cxml/xml/characters.lisp:1.2 --- cxml/xml/characters.lisp:1.1.1.8 Sun Mar 13 19:02:51 2005 +++ cxml/xml/characters.lisp Mon Nov 28 23:33:47 2005 @@ -1,6 +1,6 @@ ;;;; characters.lisp -- character class definitions ;;;; -;;;; This file is part of the CXML parser, released under (L)LGPL. +;;;; This file is part of the CXML parser, released under Lisp-LGPL. ;;;; See file COPYING for details. ;;;; ;;;; Author: David Lichteblau Index: cxml/xml/package.lisp diff -u cxml/xml/package.lisp:1.5 cxml/xml/package.lisp:1.6 --- cxml/xml/package.lisp:1.5 Sun Nov 27 19:41:07 2005 +++ cxml/xml/package.lisp Mon Nov 28 23:33:47 2005 @@ -1,6 +1,6 @@ ;;;; package.lisp -- Paketdefinition ;;;; -;;;; This file is part of the CXML parser, released under (L)LGPL. +;;;; This file is part of the CXML parser, released under Lisp-LGPL. ;;;; See file COPYING for details. (in-package :cl-user) Index: cxml/xml/recoder.lisp diff -u cxml/xml/recoder.lisp:1.1.1.2 cxml/xml/recoder.lisp:1.2 --- cxml/xml/recoder.lisp:1.1.1.2 Sun Mar 13 19:02:51 2005 +++ cxml/xml/recoder.lisp Mon Nov 28 23:33:47 2005 @@ -1,6 +1,6 @@ ;;;; recoder.lisp -- SAX handler for string conversion ;;;; -;;;; This file is part of the CXML parser, released under (L)LGPL. +;;;; This file is part of the CXML parser, released under Lisp-LGPL. ;;;; See file COPYING for details. ;;;; ;;;; Developed 2004 for headcraft - http://headcraft.de/ Index: cxml/xml/sax-proxy.lisp diff -u cxml/xml/sax-proxy.lisp:1.1.1.1 cxml/xml/sax-proxy.lisp:1.2 --- cxml/xml/sax-proxy.lisp:1.1.1.1 Sun Mar 13 19:02:58 2005 +++ cxml/xml/sax-proxy.lisp Mon Nov 28 23:33:47 2005 @@ -1,6 +1,6 @@ ;;;; sax-proxy.lisp ;;;; -;;;; This file is part of the CXML parser, released under (L)LGPL. +;;;; This file is part of the CXML parser, released under Lisp-LGPL. ;;;; See file COPYING for details. ;;;; ;;;; Copyright (c) 2004 David Lichteblau Index: cxml/xml/unparse.lisp diff -u cxml/xml/unparse.lisp:1.2 cxml/xml/unparse.lisp:1.3 --- cxml/xml/unparse.lisp:1.2 Sun Nov 27 00:57:10 2005 +++ cxml/xml/unparse.lisp Mon Nov 28 23:33:47 2005 @@ -5,7 +5,7 @@ ;;; Created: 1999-09-09 ;;; Author: Gilbert Baumann <unk6(a)rz.uni-karlsruhe.de> ;;; Author: David Lichteblau <david(a)lichteblau.com> -;;; License: LGPL (See file COPYING for details). +;;; License: Lisp-LGPL (See file COPYING for details). ;;; --------------------------------------------------------------------------- ;;; © copyright 1999 by Gilbert Baumann ;;; © copyright 2004 by knowledgeTools Int. GmbH Index: cxml/xml/util.lisp diff -u cxml/xml/util.lisp:1.1 cxml/xml/util.lisp:1.2 --- cxml/xml/util.lisp:1.1 Fri Mar 25 19:17:34 2005 +++ cxml/xml/util.lisp Mon Nov 28 23:33:47 2005 @@ -3,7 +3,7 @@ ;;; Title: Some common utilities for the Closure browser ;;; Created: 1997-12-27 ;;; Author: Gilbert Baumann <unk6(a)rz.uni-karlsruhe.de> -;;; License: LLGPL (See file COPYING for details). +;;; License: Lisp-LGPL (See file COPYING for details). ;;; --------------------------------------------------------------------------- ;;; (c) copyright 1997-1999 by Gilbert Baumann Index: cxml/xml/xml-name-rune-p.lisp diff -u cxml/xml/xml-name-rune-p.lisp:1.5 cxml/xml/xml-name-rune-p.lisp:1.6 --- cxml/xml/xml-name-rune-p.lisp:1.5 Sun Nov 27 00:25:29 2005 +++ cxml/xml/xml-name-rune-p.lisp Mon Nov 28 23:33:47 2005 @@ -1,6 +1,6 @@ ;;;; xml-name-rune-p -- character class definitions ;;;; -;;;; This file is part of the CXML parser, released under (L)LGPL. +;;;; This file is part of the CXML parser, released under Lisp-LGPL. ;;;; See file COPYING for details. ;;;; ;;;; Author: Gilbert Baumann <unk6(a)rz.uni-karlsruhe.de> Index: cxml/xml/xml-parse.lisp diff -u cxml/xml/xml-parse.lisp:1.43 cxml/xml/xml-parse.lisp:1.44 --- cxml/xml/xml-parse.lisp:1.43 Mon Nov 28 23:22:52 2005 +++ cxml/xml/xml-parse.lisp Mon Nov 28 23:33:47 2005 @@ -5,7 +5,7 @@ ;;; Author: Gilbert Baumann <unk6(a)rz.uni-karlsruhe.de> ;;; Author: Henrik Motakef <hmot(a)henrik-motakef.de> ;;; Author: David Lichteblau <david(a)lichteblau.com> -;;; License: LGPL (See file COPYING for details). +;;; License: Lisp-LGPL (See file COPYING for details). ;;; --------------------------------------------------------------------------- ;;; © copyright 1999 by Gilbert Baumann ;;; © copyright 2003 by Henrik Motakef Index: cxml/xml/xmls-compat.lisp diff -u cxml/xml/xmls-compat.lisp:1.1.1.5 cxml/xml/xmls-compat.lisp:1.2 --- cxml/xml/xmls-compat.lisp:1.1.1.5 Sun Mar 13 19:02:57 2005 +++ cxml/xml/xmls-compat.lisp Mon Nov 28 23:33:47 2005 @@ -1,6 +1,6 @@ ;;;; xml-compat.lisp -- XMLS-compatible data structures ;;;; -;;;; This file is part of the CXML parser, released under (L)LGPL. +;;;; This file is part of the CXML parser, released under Lisp-LGPL. ;;;; See file COPYING for details. ;;;; ;;;; Developed 2004 for headcraft - http://headcraft.de/

1 0

[cxml-cvs] CVS update: cxml/runes/characters.lisp cxml/runes/definline.lisp cxml/runes/runes.lisp cxml/runes/syntax.lisp cxml/runes/xstream.lisp cxml/runes/COPYING
by dlichteblau＠common-lisp.net 28 Nov '05

28 Nov '05

Update of /project/cxml/cvsroot/cxml/runes In directory common-lisp.net:/tmp/cvs-serv4952/runes Modified Files: characters.lisp definline.lisp runes.lisp syntax.lisp xstream.lisp Removed Files: COPYING Log Message: + <li>Gilbert Baumann has clarified the license as Lisp-LGPL.</li> Date: Mon Nov 28 23:33:36 2005 Author: dlichteblau Index: cxml/runes/characters.lisp diff -u cxml/runes/characters.lisp:1.3 cxml/runes/characters.lisp:1.4 --- cxml/runes/characters.lisp:1.3 Wed Apr 20 21:58:01 2005 +++ cxml/runes/characters.lisp Mon Nov 28 23:33:35 2005 @@ -3,7 +3,7 @@ ;;; ;;; derived from runes.lisp, (c) copyright 1998,1999 by Gilbert Baumann ;;; -;;; License: LLGPL (See file COPYING for details). +;;; License: Lisp-LGPL (See file COPYING for details). ;;; ;;; This code is free software; you can redistribute it and/or modify it ;;; under the terms of the version 2.1 of the GNU Lesser General Public Index: cxml/runes/definline.lisp diff -u cxml/runes/definline.lisp:1.1 cxml/runes/definline.lisp:1.2 --- cxml/runes/definline.lisp:1.1 Sat Nov 26 22:48:18 2005 +++ cxml/runes/definline.lisp Mon Nov 28 23:33:35 2005 @@ -3,7 +3,7 @@ ;;; Title: definline ;;; Created: 1999-05-25 22:32 ;;; Author: Gilbert Baumann <unk6(a)rz.uni-karlsruhe.de> -;;; License: LLGPL (See file COPYING for details). +;;; License: Lisp-LGPL (See file COPYING for details). ;;; --------------------------------------------------------------------------- ;;; (c) copyright 1999 by Gilbert Baumann Index: cxml/runes/runes.lisp diff -u cxml/runes/runes.lisp:1.3 cxml/runes/runes.lisp:1.4 --- cxml/runes/runes.lisp:1.3 Sat Jun 25 15:56:55 2005 +++ cxml/runes/runes.lisp Mon Nov 28 23:33:35 2005 @@ -3,7 +3,7 @@ ;;; Title: Unicode strings (called RODs) ;;; Created: 1999-05-25 22:29 ;;; Author: Gilbert Baumann <unk6(a)rz.uni-karlsruhe.de> -;;; License: LLGPL (See file COPYING for details). +;;; License: Lisp-LGPL (See file COPYING for details). ;;; --------------------------------------------------------------------------- ;;; (c) copyright 1998,1999 by Gilbert Baumann Index: cxml/runes/syntax.lisp diff -u cxml/runes/syntax.lisp:1.1.1.2 cxml/runes/syntax.lisp:1.2 --- cxml/runes/syntax.lisp:1.1.1.2 Sun Mar 13 19:02:44 2005 +++ cxml/runes/syntax.lisp Mon Nov 28 23:33:35 2005 @@ -3,7 +3,7 @@ ;;; Title: Unicode strings (called RODs) ;;; Created: 1999-05-25 22:29 ;;; Author: Gilbert Baumann <unk6(a)rz.uni-karlsruhe.de> -;;; License: LLGPL (See file COPYING for details). +;;; License: Lisp-LGPL (See file COPYING for details). ;;; --------------------------------------------------------------------------- ;;; (c) copyright 1998,1999 by Gilbert Baumann Index: cxml/runes/xstream.lisp diff -u cxml/runes/xstream.lisp:1.3 cxml/runes/xstream.lisp:1.4 --- cxml/runes/xstream.lisp:1.3 Sun Nov 27 18:19:12 2005 +++ cxml/runes/xstream.lisp Mon Nov 28 23:33:35 2005 @@ -3,7 +3,7 @@ ;;; Title: Fast streams ;;; Created: 1999-07-17 ;;; Author: Gilbert Baumann <unk6(a)rz.uni-karlsruhe.de> -;;; License: LGPL (See file COPYING for details). +;;; License: Lisp-LGPL (See file COPYING for details). ;;; --------------------------------------------------------------------------- ;;; © copyright 1999 by Gilbert Baumann

1 0

[cxml-cvs] CVS update: cxml/dom/dom-builder.lisp cxml/dom/dom-impl.lisp cxml/dom/dom-sax.lisp cxml/dom/package.lisp cxml/dom/COPYING
by dlichteblau＠common-lisp.net 28 Nov '05

28 Nov '05

Update of /project/cxml/cvsroot/cxml/dom In directory common-lisp.net:/tmp/cvs-serv4952/dom Modified Files: dom-builder.lisp dom-impl.lisp dom-sax.lisp package.lisp Removed Files: COPYING Log Message: + <li>Gilbert Baumann has clarified the license as Lisp-LGPL.</li> Date: Mon Nov 28 23:33:33 2005 Author: dlichteblau Index: cxml/dom/dom-builder.lisp diff -u cxml/dom/dom-builder.lisp:1.2 cxml/dom/dom-builder.lisp:1.3 --- cxml/dom/dom-builder.lisp:1.2 Sat Nov 26 22:48:17 2005 +++ cxml/dom/dom-builder.lisp Mon Nov 28 23:33:33 2005 @@ -1,6 +1,6 @@ ;;;; dom-builder.lisp -- DOM-building SAX handler ;;;; -;;;; This file is part of the CXML parser, released under (L)LGPL. +;;;; This file is part of the CXML parser, released under Lisp-LGPL. ;;;; See file COPYING for details. ;;;; ;;;; Author: Gilbert Baumann <unk6(a)rz.uni-karlsruhe.de> Index: cxml/dom/dom-impl.lisp diff -u cxml/dom/dom-impl.lisp:1.3 cxml/dom/dom-impl.lisp:1.4 --- cxml/dom/dom-impl.lisp:1.3 Wed Apr 6 21:23:18 2005 +++ cxml/dom/dom-impl.lisp Mon Nov 28 23:33:33 2005 @@ -1,6 +1,6 @@ ;;;; dom-impl.lisp -- Implementation of DOM 1 Core ;;;; -;;;; This file is part of the CXML parser, released under (L)LGPL. +;;;; This file is part of the CXML parser, released under Lisp-LGPL. ;;;; See file COPYING for details. ;;;; ;;;; Author: Gilbert Baumann <unk6(a)rz.uni-karlsruhe.de> Index: cxml/dom/dom-sax.lisp diff -u cxml/dom/dom-sax.lisp:1.1.1.6 cxml/dom/dom-sax.lisp:1.2 --- cxml/dom/dom-sax.lisp:1.1.1.6 Sun Mar 13 19:02:51 2005 +++ cxml/dom/dom-sax.lisp Mon Nov 28 23:33:33 2005 @@ -1,6 +1,6 @@ ;;;; dom-sax.lisp -- DOM walker ;;;; -;;;; This file is part of the CXML parser, released under (L)LGPL. +;;;; This file is part of the CXML parser, released under Lisp-LGPL. ;;;; See file COPYING for details. ;;;; ;;;; Author: David Lichteblau <david(a)lichteblau.com> Index: cxml/dom/package.lisp diff -u cxml/dom/package.lisp:1.1.1.5 cxml/dom/package.lisp:1.2 --- cxml/dom/package.lisp:1.1.1.5 Sun Mar 13 19:02:51 2005 +++ cxml/dom/package.lisp Mon Nov 28 23:33:33 2005 @@ -1,6 +1,6 @@ ;;;; package.lisp -- Paketdefinition ;;;; -;;;; This file is part of the CXML parser, released under (L)LGPL. +;;;; This file is part of the CXML parser, released under Lisp-LGPL. ;;;; See file COPYING for details. (in-package :cl-user)

1 0

[cxml-cvs] CVS update: cxml/COPYING cxml/README.html
by dlichteblau＠common-lisp.net 28 Nov '05

28 Nov '05

Update of /project/cxml/cvsroot/cxml In directory common-lisp.net:/tmp/cvs-serv4952 Modified Files: README.html Added Files: COPYING Log Message: + <li>Gilbert Baumann has clarified the license as Lisp-LGPL.</li> Date: Mon Nov 28 23:33:30 2005 Author: dlichteblau Index: cxml/README.html diff -u cxml/README.html:1.8 cxml/README.html:1.9 --- cxml/README.html:1.8 Mon Nov 28 23:22:49 2005 +++ cxml/README.html Mon Nov 28 23:33:29 2005 @@ -75,7 +75,7 @@ </p> <p> - CXML is licensed under (L)LGPL. + CXML is licensed under Lisp-LGPL. </p> <p> @@ -96,6 +96,7 @@ reported as instances of <tt>well-formedness-violation</tt>. We also print line number information. </li> + <li>Gilbert Baumann has clarified the license as Lisp-LGPL.</li> </ul> <p class="nomargin"><tt>rel-2005-06-25</tt></p> <ul class="nomargin">

1 0

[cxml-cvs] CVS update: cxml/runes/encodings.lisp
by dlichteblau＠common-lisp.net 28 Nov '05

28 Nov '05

Update of /project/cxml/cvsroot/cxml/runes In directory common-lisp.net:/tmp/cvs-serv3876/runes Modified Files: encodings.lisp Log Message: kommentaraenderungen Date: Mon Nov 28 23:22:51 2005 Author: dlichteblau Index: cxml/runes/encodings.lisp diff -u cxml/runes/encodings.lisp:1.5 cxml/runes/encodings.lisp:1.6 --- cxml/runes/encodings.lisp:1.5 Sun Nov 27 21:59:00 2005 +++ cxml/runes/encodings.lisp Mon Nov 28 23:22:51 2005 @@ -107,6 +107,39 @@ (defmacro %< (&rest xs) `(fx-pred < ,@xs)) (defmacro %> (&rest xs) `(fx-pred > ,@xs)) +;;; Decoders + +;; The decoders share a common signature: +;; +;; DECODE input input-start input-end +;; output output-start output-end +;; eof-p +;; -> first-not-written ; first-not-read +;; +;; These decode functions should decode as much characters off `input' +;; into the `output' as possible and return the indexes to the first +;; not read and first not written element of `input' and `output' +;; respectively. If there are not enough bytes in `input' to decode a +;; full character, decoding shold be abandomed; the caller has to +;; ensure that the remaining bytes of `input' are passed to the +;; decoder again with more bytes appended. +;; +;; `eof-p' now in turn indicates, if the given input sequence, is all +;; the producer does have and might be used to produce error messages +;; in case of incomplete codes or decided what to do. +;; +;; Decoders are expected to handle the various CR/NL conventions and +;; canonicalize each end of line into a single NL rune (#xA) in good +;; old Lisp tradition. +;; + +;; TODO: change this to an encoding class, which then might carry +;; additional state. Stateless encodings could been represented by +;; keywords. e.g. +;; +;; defmethod DECODE-SEQUENCE ((encoding (eql :utf-8)) ...) +;; + (defmethod decode-sequence ((encoding (eql :utf-16-big-endian)) in in-start in-end out out-start out-end eof?) ;; -> new wptr, new rptr

1 0

[cxml-cvs] CVS update: cxml/xml/xml-parse.lisp
by dlichteblau＠common-lisp.net 28 Nov '05

28 Nov '05

Update of /project/cxml/cvsroot/cxml/xml In directory common-lisp.net:/tmp/cvs-serv3876/xml Modified Files: xml-parse.lisp Log Message: kommentaraenderungen Date: Mon Nov 28 23:22:52 2005 Author: dlichteblau Index: cxml/xml/xml-parse.lisp diff -u cxml/xml/xml-parse.lisp:1.42 cxml/xml/xml-parse.lisp:1.43 --- cxml/xml/xml-parse.lisp:1.42 Sun Nov 27 21:59:00 2005 +++ cxml/xml/xml-parse.lisp Mon Nov 28 23:22:52 2005 @@ -11,6 +11,7 @@ ;;; © copyright 2003 by Henrik Motakef ;;; © copyright 2004 knowledgeTools Int. GmbH ;;; © copyright 2004 David Lichteblau +;;; © copyright 2005 David Lichteblau ;;; This library is free software; you can redistribute it and/or ;;; modify it under the terms of the GNU Library General Public @@ -91,29 +92,8 @@ ;; :cdata <rod> - - -;;; NOTES -;; -;; Stream buffers as well as RODs are supposed to be encoded in -;; UTF-16. - -;; where does the time go? -;; DATA-RUNE-P -;; CANON-NOT-CDATA-ATTVAL -;; READ-ATTVAL (MUFFLE) -;; CLOSy DOM -;; UTF-8 decoder (13%) -;; READ-ATTVAL (10%) -;; - ;;; TODO ;; -;; o Improve error messages: -;; - line and column number counters -;; - better texts -;; - better handling of errors (no crash'n burn behaviour) -;; ;; o provide for a faster DOM ;; ;; o morph zstream into a context object and thus also get rid of @@ -132,7 +112,7 @@ ;; ;; o max depth together with circle detection ;; (or proof, that our circle detection is enough). -;; [gemeint ist wohl zstream-push--david] +;; [gemeint ist zstream-push--david] ;; ;; o better extensibility wrt character representation, one may want to ;; have @@ -259,39 +239,6 @@ (defmacro with-open-xfile ((stream &rest open-args) &body body) `(call-with-open-xfile (lambda (,stream) .,body) .,open-args)) - -;;; Decoders - -;; The decoders share a common signature: -;; -;; DECODE input input-start input-end -;; output output-start output-end -;; eof-p -;; -> first-not-written ; first-not-read -;; -;; These decode functions should decode as much characters off `input' -;; into the `output' as possible and return the indexes to the first -;; not read and first not written element of `input' and `output' -;; respectively. If there are not enough bytes in `input' to decode a -;; full character, decoding shold be abandomed; the caller has to -;; ensure that the remaining bytes of `input' are passed to the -;; decoder again with more bytes appended. -;; -;; `eof-p' now in turn indicates, if the given input sequence, is all -;; the producer does have and might be used to produce error messages -;; in case of incomplete codes or decided what to do. -;; -;; Decoders are expected to handle the various CR/NL conventions and -;; canonicalize each end of line into a single NL rune (#xA) in good -;; old Lisp tradition. -;; - -;; TODO: change this to an encoding class, which then might carry -;; additional state. Stateless encodings could been represented by -;; keywords. e.g. -;; -;; defmethod DECODE-SEQUENCE ((encoding (eql :utf-8)) ...) -;; ;;;; ------------------------------------------------------------------- ;;;; Rechnen mit Runen

1 0

[cxml-cvs] CVS update: cxml/README.html
by dlichteblau＠common-lisp.net 28 Nov '05

28 Nov '05

Update of /project/cxml/cvsroot/cxml In directory common-lisp.net:/tmp/cvs-serv3876 Modified Files: README.html Log Message: kommentaraenderungen Date: Mon Nov 28 23:22:50 2005 Author: dlichteblau Index: cxml/README.html diff -u cxml/README.html:1.7 cxml/README.html:1.8 --- cxml/README.html:1.7 Sun Nov 27 21:49:10 2005 +++ cxml/README.html Mon Nov 28 23:22:49 2005 @@ -65,8 +65,10 @@ </ul> <p> - CXML currently implements a namespace-aware, validating SAX-like - <a href="http://www.w3.org/TR/2000/REC-xml-20001006">XML 1.0</a> + CXML currently implements a <a + href="http://www.w3.org/TR/REC-xml-names/">namespace-aware</a>, + validating SAX-like <a + href="http://www.w3.org/TR/2000/REC-xml-20001006">XML 1.0</a> parser as well as the <a href="http://www.w3.org/TR/REC-DOM-Level-1/level-one-core.html">DOM Level 1 Core</a> interfaces.

1 0

[cxml-cvs] CVS update: cxml/XMLCONF
by dlichteblau＠common-lisp.net 27 Nov '05

27 Nov '05

Update of /project/cxml/cvsroot/cxml In directory common-lisp.net:/tmp/cvs-serv20698 Modified Files: XMLCONF Log Message: namespace-tests an Date: Sun Nov 27 22:02:57 2005 Author: dlichteblau Index: cxml/XMLCONF diff -u cxml/XMLCONF:1.36 cxml/XMLCONF:1.37 --- cxml/XMLCONF:1.36 Sun Nov 27 20:37:41 2005 +++ cxml/XMLCONF Sun Nov 27 22:02:53 2005 @@ -1788,4 +1788,84 @@ ibm/valid/P87/ibm87v01.xml [not validating:] input [validating:] input ibm/valid/P88/ibm88v01.xml [not validating:] input [validating:] input ibm/valid/P89/ibm89v01.xml [not validating:] input [validating:] input -0/1786 tests failed; 376 tests were skipped \ No newline at end of file +eduni/namespaces/1.0/001.xml [not validating:] input [validating:] input +eduni/namespaces/1.0/002.xml [not validating:] input [validating:] input +eduni/namespaces/1.0/003.xml [not validating:] input [validating:] input +eduni/namespaces/1.0/007.xml [not validating:] input [validating:] input +eduni/namespaces/1.0/008.xml [not validating:] input [validating:] input +eduni/namespaces/1.0/009.xml [not validating:] not-wf [validating:] not-wf +eduni/namespaces/1.0/010.xml [not validating:] not-wf [validating:] not-wf +eduni/namespaces/1.0/011.xml [not validating:] not-wf [validating:] not-wf +eduni/namespaces/1.0/012.xml [not validating:] FAILED: + well-formedness violation not detected +[ +Namespace inequality test: equal after attribute value normalization +] +eduni/namespaces/1.0/013.xml [not validating:] FAILED: + #(98 58 97 116 116 114) fell through ETYPECASE expression. + Wanted one of (STRING SIMPLE-STRING). +[ +Bad QName syntax: multiple colons +] +eduni/namespaces/1.0/014.xml [not validating:] FAILED: + invalid array index 0 for #() (should be nonnegative and <0) +[ +Bad QName syntax: colon at end +] +eduni/namespaces/1.0/015.xml [not validating:] FAILED: + well-formedness violation not detected +[ +Bad QName syntax: colon at start +] +eduni/namespaces/1.0/016.xml [not validating:] FAILED: + invalid array index 0 for #() (should be nonnegative and <0) +[ +Bad QName syntax: xmlns: +] +eduni/namespaces/1.0/017.xml [not validating:] input [validating:] invalid +eduni/namespaces/1.0/018.xml [not validating:] input [validating:] invalid +eduni/namespaces/1.0/019.xml [not validating:] input [validating:] invalid +eduni/namespaces/1.0/020.xml [not validating:] input [validating:] invalid +eduni/namespaces/1.0/021.xml [not validating:] input [validating:] invalid +eduni/namespaces/1.0/022.xml [not validating:] input [validating:] invalid +eduni/namespaces/1.0/023.xml [not validating:] not-wf [validating:] invalid +eduni/namespaces/1.0/024.xml [not validating:] input [validating:] invalid +eduni/namespaces/1.0/025.xml [not validating:] not-wf [validating:] invalid +eduni/namespaces/1.0/026.xml [not validating:] not-wf [validating:] invalid +eduni/namespaces/1.0/027.xml [not validating:] input [validating:] invalid +eduni/namespaces/1.0/028.xml [not validating:] input [validating:] invalid +eduni/namespaces/1.0/029.xml [not validating:] not-wf [validating:] invalid +eduni/namespaces/1.0/030.xml [not validating:] not-wf [validating:] invalid +eduni/namespaces/1.0/031.xml [not validating:] not-wf [validating:] invalid +eduni/namespaces/1.0/032.xml [not validating:] not-wf [validating:] invalid +eduni/namespaces/1.0/033.xml [not validating:] not-wf [validating:] invalid +eduni/namespaces/1.0/034.xml [not validating:] input [validating:] invalid +eduni/namespaces/1.0/035.xml [not validating:] not-wf [validating:] invalid +eduni/namespaces/1.0/036.xml [not validating:] not-wf [validating:] invalid +eduni/namespaces/1.0/037.xml [not validating:] input [validating:] invalid +eduni/namespaces/1.0/038.xml [not validating:] input [validating:] invalid +eduni/namespaces/1.0/039.xml [not validating:] input [validating:] invalid +eduni/namespaces/1.0/040.xml [not validating:] input [validating:] invalid +eduni/namespaces/1.0/041.xml [not validating:] input [validating:] invalid +eduni/namespaces/1.0/042.xml [not validating:] not-wf [validating:] not-wf +eduni/namespaces/1.0/043.xml [not validating:] FAILED: + well-formedness violation not detected +[ +Colon in entity name +] +eduni/namespaces/1.0/044.xml [not validating:] FAILED: + well-formedness violation not detected +[ +Colon in entity name +] +eduni/namespaces/1.0/045.xml [not validating:] input [validating:] FAILED: + validity error not detected +[ +Colon in ID attribute name +] +eduni/namespaces/1.0/046.xml [not validating:] input [validating:] FAILED: + validity error not detected +[ +Colon in ID attribute name +] +9/1829 tests failed; 333 tests were skipped \ No newline at end of file

1 0

[cxml-cvs] CVS update: cxml/test/xmlconf.lisp
by dlichteblau＠common-lisp.net 27 Nov '05

27 Nov '05

Update of /project/cxml/cvsroot/cxml/test In directory common-lisp.net:/tmp/cvs-serv20698/test Modified Files: xmlconf.lisp Log Message: namespace-tests an Date: Sun Nov 27 22:02:58 2005 Author: dlichteblau Index: cxml/test/xmlconf.lisp diff -u cxml/test/xmlconf.lisp:1.6 cxml/test/xmlconf.lisp:1.7 --- cxml/test/xmlconf.lisp:1.6 Sun Nov 27 01:58:06 2005 +++ cxml/test/xmlconf.lisp Sun Nov 27 22:02:58 2005 @@ -18,7 +18,8 @@ ((not (and (let ((version (get-attribute test "RECOMMENDATION"))) (cond ((or (equal version "") ;XXX - (equal version "XML1.0")) + (equal version "XML1.0") + (equal version "NS1.0")) (cond ((equal (get-attribute test "NAMESPACE") "no") (format t "~A: test applies to parsers without namespace support, skipping~%"

1 0

[cxml-cvs] CVS update: cxml/xml/xml-parse.lisp
by dlichteblau＠common-lisp.net 27 Nov '05

27 Nov '05

Update of /project/cxml/cvsroot/cxml/xml In directory common-lisp.net:/tmp/cvs-serv19629/xml Modified Files: xml-parse.lisp Log Message: name-hashtable in den context gezogen, das war wohl kaum thread-safe so. allerdings keine ahnung wofuer sie ueberhaupt da ist. Date: Sun Nov 27 21:59:01 2005 Author: dlichteblau Index: cxml/xml/xml-parse.lisp diff -u cxml/xml/xml-parse.lisp:1.41 cxml/xml/xml-parse.lisp:1.42 --- cxml/xml/xml-parse.lisp:1.41 Sun Nov 27 21:49:12 2005 +++ cxml/xml/xml-parse.lisp Sun Nov 27 21:59:00 2005 @@ -213,6 +213,8 @@ model-stack (referenced-notations '()) (id-table (%make-rod-hash-table)) + ;; FIXME: Wofuer ist name-hashtable da? Will man das wissen? + (name-hashtable (make-rod-hashtable :size 2000)) (standalone-p nil) (entity-resolver nil) (disallow-internal-subset nil) @@ -479,14 +481,12 @@ (defun (setf rod-hash-get) (new-value hashtable rod &optional (start 0) (end (length rod))) (rod-hash-set new-value hashtable rod start end)) -(defparameter *name-hashtable* (make-rod-hashtable :size 2000)) - (defun intern-name (rod &optional (start 0) (end (length rod))) - (multiple-value-bind (value successp key) (rod-hash-get *name-hashtable* rod start end) + (multiple-value-bind (value successp key) (rod-hash-get (name-hashtable *ctx*) rod start end) (declare (ignore value)) (if successp key - (nth-value 1 (rod-hash-set t *name-hashtable* rod start end))))) + (nth-value 1 (rod-hash-set t (name-hashtable *ctx*) rod start end))))) ;;;; --------------------------------------------------------------------------- ;;;;

1 0

[cxml-cvs] CVS update: cxml/runes/encodings.lisp
by dlichteblau＠common-lisp.net 27 Nov '05

27 Nov '05

Update of /project/cxml/cvsroot/cxml/runes In directory common-lisp.net:/tmp/cvs-serv19629/runes Modified Files: encodings.lisp Log Message: name-hashtable in den context gezogen, das war wohl kaum thread-safe so. allerdings keine ahnung wofuer sie ueberhaupt da ist. Date: Sun Nov 27 21:59:00 2005 Author: dlichteblau Index: cxml/runes/encodings.lisp diff -u cxml/runes/encodings.lisp:1.4 cxml/runes/encodings.lisp:1.5 --- cxml/runes/encodings.lisp:1.4 Sun Nov 27 19:20:10 2005 +++ cxml/runes/encodings.lisp Sun Nov 27 21:59:00 2005 @@ -124,7 +124,7 @@ ;; Zeichen abwarten und nachgucken, dass nicht etwa die andere ;; Haelfte fehlt! (let ((x (logior (ash hi 8) lo))) - (when (or (eql x #xFFFE) (eql x #/U+FFFF)) + (when (or (eql x #xFFFE) (eql x #xFFFF)) (xerror "not a valid code point: #x~X" x)) (setf (aref out wptr) x)) (setf wptr (%+ 1 wptr)))) @@ -147,7 +147,7 @@ ;; Zeichen abwarten und nachgucken, dass nicht etwa die andere ;; Haelfte fehlt! (let ((x (logior (ash hi 8) lo))) - (when (or (eql x #xFFFE) (eql x #/U+FFFF)) + (when (or (eql x #xFFFE) (eql x #xFFFF)) (xerror "not a valid code point: #x~X" x)) (setf (aref out wptr) x)) (setf wptr (%+ 1 wptr)))) @@ -169,7 +169,7 @@ (xerror "surrogate encoded in UTF-8: #x~X." x)) (cond ((or (%> x #x10FFFF) (eql x #xFFFE) - (eql x #/U+FFFF)) + (eql x #xFFFF)) (xerror "not a valid code point: #x~X" x)) ((%> x #xFFFF) (setf (aref out (%+ 0 wptr)) (%+ #xD7C0 (ash x -10))

1 0

[cxml-cvs] CVS update: cxml/xml/xml-parse.lisp
by dlichteblau＠common-lisp.net 27 Nov '05

27 Nov '05

Update of /project/cxml/cvsroot/cxml/xml In directory common-lisp.net:/tmp/cvs-serv19554/xml Modified Files: xml-parse.lisp Log Message: zeilennummern fuer den ganzen stack ausgeben Date: Sun Nov 27 21:49:12 2005 Author: dlichteblau Index: cxml/xml/xml-parse.lisp diff -u cxml/xml/xml-parse.lisp:1.40 cxml/xml/xml-parse.lisp:1.41 --- cxml/xml/xml-parse.lisp:1.40 Sun Nov 27 20:37:42 2005 +++ cxml/xml/xml-parse.lisp Sun Nov 27 21:49:12 2005 @@ -215,7 +215,8 @@ (id-table (%make-rod-hash-table)) (standalone-p nil) (entity-resolver nil) - (disallow-internal-subset nil)) + (disallow-internal-subset nil) + main-zstream) (defvar *expand-pe-p* nil) @@ -224,11 +225,19 @@ ;;;; -(defstruct (stream-name (:type list)) +(defstruct (stream-name + (:print-function print-stream-name)) entity-name entity-kind uri) +(defun print-stream-name (object stream depth) + (declare (ignore depth)) + (format stream "[~A ~S ~A]" + (rod-string (stream-name-entity-name object)) + (stream-name-entity-kind object) + (stream-name-uri object))) + (deftype read-element () 'rune) (defun call-with-open-xstream (fn stream) @@ -649,20 +658,61 @@ ;; would prefer not to document this class. (define-condition end-of-xstream (well-formedness-violation) ()) -(defun validity-error (x &rest args) - (error 'validity-error - :format-control "Document not valid: ~?" - :format-arguments (list x args))) - -(defun wf-error (x &rest args) - (error 'well-formedness-violation - :format-control "Document not well-formed: ~?" - :format-arguments (list x args))) +(defun describe-xstream (x s) + (format s " Line ~D, column ~D in ~A~%" + (xstream-line-number x) + (xstream-column-number x) + (let ((name (xstream-name x))) + (cond + ((null name) + "<anonymous stream>") + ((eq :main (stream-name-entity-kind name)) + (stream-name-uri name)) + (t + name))))) + +(defun %error (class stream message) + (let* ((zmain (if *ctx* (main-zstream *ctx*) nil)) + (zstream (if (zstream-p stream) stream zmain)) + (xstream (if (xstream-p stream) stream nil)) + (s (make-string-output-stream))) + (write-string "Parse error: " s) + (write-line message s) + (when xstream + (write-line "Location:" s) + (describe-xstream xstream s)) + (when zstream + (let ((stack + (remove xstream (remove :stop (zstream-input-stack zstream))))) + (when stack + (write-line "Context:" s) + (dolist (x stack) + (describe-xstream x s))))) + (when (and zmain (not (eq zstream zmain))) + (let ((stack + (remove xstream (remove :stop (zstream-input-stack zmain))))) + (when stack + (write-line "Context in main document:" s) + (dolist (x stack) + (describe-xstream x s))))) + (error class + :format-control "~A" + :format-arguments (list (get-output-stream-string s))))) + +(defun validity-error (fmt &rest args) + (%error 'validity-error + nil + (format nil "Document not valid: ~?" fmt args))) + +(defun wf-error (stream fmt &rest args) + (%error 'well-formedness-violation + stream + (format nil "Document not well-formed: ~?" fmt args))) (defun eox (stream &optional x &rest args) - (error 'end-of-xstream - :format-control "End of file on ~A~@[: ~?~]" - :format-arguments (list stream x args))) + (%error 'end-of-xstream + stream + (format nil "End of file~@[: ~?~]" x args))) (defvar *validate* t) (defvar *external-subset-p* nil) @@ -894,7 +944,7 @@ (defun get-entity-definition (entity-name kind dtd) (unless dtd - (wf-error "entity not defined: ~A" (rod-string entity-name))) + (wf-error nil "entity not defined: ~A" (rod-string entity-name))) (destructuring-bind (extp &rest def) (gethash entity-name (ecase kind @@ -910,13 +960,14 @@ ;; `zstream' is for error messages (let ((def (get-entity-definition entity-name kind (dtd *ctx*)))) (unless def - (perror zstream "Entity '~A' is not defined." (rod-string entity-name))) + (wf-error zstream "Entity '~A' is not defined." (rod-string entity-name))) (let (r) (etypecase def (internal-entdef (when (and (standalone-p *ctx*) (entdef-external-subset-p def)) (wf-error + zstream "entity declared in external subset, but document is standalone")) (setf r (make-rod-xstream (entdef-value def))) (setf (xstream-name r) @@ -925,9 +976,11 @@ :uri nil))) (external-entdef (when internalp - (wf-error "entity not internal: ~A" (rod-string entity-name))) + (wf-error zstream + "entity not internal: ~A" (rod-string entity-name))) (when (entdef-ndata def) - (wf-error "reference to unparsed entity: ~A" + (wf-error zstream + "reference to unparsed entity: ~A" (rod-string entity-name))) (setf r (xstream-open-extid (extid-using-catalog (entdef-extid def)))) (setf (stream-name-entity-name (xstream-name r)) entity-name @@ -937,7 +990,7 @@ (defun checked-get-entdef (name type) (let ((def (get-entity-definition name type (dtd *ctx*)))) (unless def - (wf-error "Entity '~A' is not defined." (rod-string name))) + (wf-error nil "Entity '~A' is not defined." (rod-string name))) def)) (defun xstream-open-extid (extid) @@ -1205,7 +1258,7 @@ ((equalp q '#.(string-rod "FIXED")) :|#FIXED|) ((equalp q '#.(string-rod "PCDATA")) :|#PCDATA|) (t - (wf-error "Unknown token: ~S." q))))) + (wf-error zinput "Unknown token: ~S." q))))) ((or (rune= c #/U+0020) (rune= c #/U+0009) (rune= c #/U+000D) @@ -1218,7 +1271,7 @@ (t (values :%)))) (t - (wf-error "Unexpected character ~S." c)))) + (wf-error zinput "Unexpected character ~S." c)))) (:DOC (cond ((rune= c #/&) @@ -1234,9 +1287,8 @@ (values :CDATA (read-cdata input))))))))))) (definline check-rune (input actual expected) - (declare (ignore input)) (unless (eql actual expected) - (wf-error "expected #/~A but found #/~A" + (wf-error input "expected #/~A but found #/~A" (rune-char expected) (rune-char actual)))) @@ -1264,9 +1316,12 @@ (cond ((rod= target '#.(string-rod "xml")) (values :xml-decl (cons target content))) ((rod-equal target '#.(string-rod "XML")) - (wf-error "You lost -- no XML processing instructions.")) + (wf-error zinput + "You lost -- no XML processing instructions.")) ((and sax:*namespace-processing* (position #/: target)) - (wf-error "Processing instruction target ~S is not a valid NcName." + (wf-error zinput + "Processing instruction target ~S is not a ~ + valid NcName." (mu target))) (t (values :PI (cons target content)))))) @@ -1275,12 +1330,13 @@ (cond ((name-start-rune-p c) (read-tag-2 zinput input :etag)) (t - (wf-error "Expecting name start rune after \"</\"."))))) + (wf-error zinput + "Expecting name start rune after \"</\"."))))) ((name-start-rune-p d) (unread-rune d input) (read-tag-2 zinput input :stag)) (t - (wf-error "Expected '!' or '?' after '<' in DTD."))))) + (wf-error zinput "Expected '!' or '?' after '<' in DTD."))))) (defun read-token-after-|<!| (input) (let ((d (read-rune input))) @@ -1295,7 +1351,7 @@ ((rod= name '#.(string-rod "NOTATION")) :|<!NOTATION|) ((rod= name '#.(string-rod "DOCTYPE")) :|<!DOCTYPE|) (t - (wf-error "`<!~A' unknown." (rod-string name)))))) + (wf-error input"`<!~A' unknown." (rod-string name)))))) ((rune= #/\[ d) (values :|<![| nil)) ((rune= #/- d) @@ -1305,9 +1361,9 @@ :COMMENT (read-comment-content input))) (t - (wf-error "Bad character ~S after \"<!-\"" d)))) + (wf-error input"Bad character ~S after \"<!-\"" d)))) (t - (wf-error "Bad character ~S after \"<!\"" d))))) + (wf-error input "Bad character ~S after \"<!\"" d))))) (definline read-S? (input) (while (member (peek-rune input) '(#/U+0020 #/U+0009 #/U+000A #/U+000D) @@ -1342,11 +1398,11 @@ (values :CHARACTER-REFERENCE (read-character-reference input))) (t (unless (name-start-rune-p (peek-rune input)) - (wf-error "Expecting name after &.")) + (wf-error input "Expecting name after &.")) (let ((name (read-name-token input))) (setf c (read-rune input)) (unless (rune= c #/\;) - (perror input "Expected \";\".")) + (wf-error input "Expected \";\".")) (values :ENTITY-REFERENCE name)))))) (defun read-tag-2 (zinput input kind) @@ -1358,7 +1414,7 @@ (do ((q atts (cdr q))) ((null q)) (cond ((find (caar q) (cdr q) :key #'car) - (wf-error "Attribute ~S has two definitions in element ~S." + (wf-error zinput "Attribute ~S has two definitions in element ~S." (rod-string (caar q)) (rod-string name))))) @@ -1370,11 +1426,11 @@ (check-rune input #/> (read-rune input)) (values :ztag (cons name atts))) (t - (wf-error "syntax error in read-tag-2.")) ))) + (wf-error zinput "syntax error in read-tag-2.")) ))) (defun read-attribute (zinput input) (unless (name-start-rune-p (peek-rune input)) - (wf-error "Expected name.")) + (wf-error zinput "Expected name.")) ;; arg thanks to the post mortem nature of name space declarations, ;; we could only process the attribute values post mortem. (let ((name (read-name-token input))) @@ -1386,7 +1442,7 @@ (rune= c #/U+000D)))) (consume-rune input)) (unless (eq (read-rune input) #/=) - (perror zinput "Expected \"=\".")) + (wf-error zinput "Expected \"=\".")) (while (let ((c (peek-rune input))) (and (not (eq c :eof)) (or (rune= c #/U+0020) @@ -1450,7 +1506,7 @@ (%put-unicode-char c collect))) (t (unless (name-start-rune-p (peek-rune input)) - (wf-error "Expecting name after &.")) + (wf-error zinput "Expecting name after &.")) (let ((name (read-name-token input))) (setf c (read-rune input)) (check-rune input c #/\;) @@ -1476,7 +1532,7 @@ (when (eq d :eof) (eox input)) (unless (name-start-rune-p d) - (wf-error "Expecting name after %."))) + (wf-error zinput "Expecting name after %."))) (let ((name (read-name-token input))) (setf c (read-rune input)) (check-rune input c #/\;) @@ -1487,20 +1543,20 @@ (muffle (car (zstream-input-stack zinput)) :eof)))) (t - (wf-error "No PE here."))))) + (wf-error zinput "No PE here."))))) ((and (eq mode :ATT) (rune= c #/<)) - (wf-error "unexpected #\/<")) + (wf-error zinput "unexpected #\/<")) ((and canon-space-p (space-rune-p c)) (collect #/space)) ((not (data-rune-p c)) - (wf-error "illegal char: ~S." c)) + (wf-error zinput "illegal char: ~S." c)) (t (collect c))))))) (declare (dynamic-extent #'muffle)) (muffle input (or delim (let ((delim (read-rune input))) (unless (member delim '(#/\" #/\') :test #'eql) - (wf-error "invalid attribute delimiter")) + (wf-error zinput "invalid attribute delimiter")) delim)))))) (defun read-character-reference (input) @@ -1518,7 +1574,7 @@ (when (eql c :eof) (eox input)) (unless (digit-rune-p c 16) - (wf-error "garbage in character reference")) + (wf-error input "garbage in character reference")) (prog1 (parse-integer (with-output-to-string (sink) @@ -1546,9 +1602,10 @@ :radix 10) (check-rune input c #/\;))) (t - (wf-error "Bad char in numeric character entity.") ))))) + (wf-error input "Bad char in numeric character entity.")))))) (unless (code-data-char-p res) (wf-error + input "expansion of numeric character reference (#x~X) is no data char." res)) res)) @@ -1558,7 +1615,7 @@ (let (name) (let ((c (peek-rune input))) (unless (name-start-rune-p c) - (wf-error "Expecting name after '<?'")) + (wf-error input "Expecting name after '<?'")) (setf name (read-name-token input))) (cond ((member (peek-rune input) '(#/U+0020 #/U+0009 #/U+000A #/U+000D) @@ -1567,7 +1624,7 @@ (t (unless (and (eql (read-rune input) #/?) (eql (read-rune input) #/>)) - (wf-error "malformed processing instruction")) + (wf-error input "malformed processing instruction")) (values name ""))))) (defun read-pi-content (input) @@ -1581,7 +1638,7 @@ (when (eq d :eof) (eox input)) (unless (data-rune-p d) - (wf-error "Illegal char: ~S." d)) + (wf-error input "Illegal char: ~S." d)) (when (rune= d #/?) (go state-2)) (collect d) (go state-1) @@ -1590,7 +1647,7 @@ (when (eq d :eof) (eox input)) (unless (data-rune-p d) - (wf-error "Illegal char: ~S." d)) + (wf-error input "Illegal char: ~S." d)) (when (rune= d #/>) (return)) (when (rune= d #/?) (collect #/?) @@ -1608,7 +1665,7 @@ (when (eq d :eof) (eox input)) (unless (data-rune-p d) - (wf-error "Illegal char: ~S." d)) + (wf-error input "Illegal char: ~S." d)) (when (rune= d #/-) (go state-2)) (collect d) (go state-1) @@ -1617,7 +1674,7 @@ (when (eq d :eof) (eox input)) (unless (data-rune-p d) - (wf-error "Illegal char: ~S." d)) + (wf-error input "Illegal char: ~S." d)) (when (rune= d #/-) (go state-3)) (collect #/-) (collect d) @@ -1627,9 +1684,9 @@ (when (eq d :eof) (eox input)) (unless (data-rune-p d) - (wf-error "Illegal char: ~S." d)) + (wf-error input "Illegal char: ~S." d)) (when (rune= d #/>) (return)) - (wf-error "'--' not allowed in a comment") + (wf-error input "'--' not allowed in a comment") (when (rune= d #/-) (collect #/-) (go state-3)) @@ -1649,7 +1706,7 @@ (when (eq d :eof) (eox input)) (unless (data-rune-p d) - (wf-error "Illegal char: ~S." d)) + (wf-error input "Illegal char: ~S." d)) (when (rune= d #/\]) (go state-2)) (collect d) (go state-1) @@ -1658,7 +1715,7 @@ (when (eq d :eof) (eox input)) (unless (data-rune-p d) - (wf-error "Illegal char: ~S." d)) + (wf-error input "Illegal char: ~S." d)) (when (rune= d #/\]) (go state-3)) (collect #/\]) (collect d) @@ -1668,7 +1725,7 @@ (when (eq d :eof) (eox input)) (unless (data-rune-p d) - (wf-error "Illegal char: ~S." d)) + (wf-error input "Illegal char: ~S." d)) (when (rune= d #/>) (return)) (when (rune= d #/\]) @@ -1708,7 +1765,7 @@ (defun expect (input category) (multiple-value-bind (cat sem) (read-token input) (unless (eq cat category) - (wf-error "Expected ~S saw ~S [~S]" category cat sem)) + (wf-error input "Expected ~S saw ~S [~S]" category cat sem)) (values cat sem))) (defun consume-token (input) @@ -1735,7 +1792,7 @@ (defun p/name (input) (let ((result (p/nmtoken input))) (unless (name-start-rune-p (elt result 0)) - (wf-error "Expected name.")) + (wf-error input "Expected name.")) result)) (defun p/attlist-decl (input) @@ -1758,7 +1815,8 @@ (:> (return)) (otherwise - (wf-error "Expected either another AttDef or end of \"<!ATTLIST\". -- saw ~S." + (wf-error input + "Expected either another AttDef or end of \"<!ATTLIST\". -- saw ~S." tok))))))) (defun p/attdef (input) @@ -1826,7 +1884,7 @@ (append names (referenced-notations *ctx*)))) (cons :NOTATION names))) (t - (wf-error "In p/att-type: ~S ~S." cat sem)))) + (wf-error input "In p/att-type: ~S ~S." cat sem)))) ((eq cat :\() ;; XXX Die Nmtoken-Syntax pruefen wir derzeit nur beim Validieren. (let (names) @@ -1835,7 +1893,7 @@ (expect input :\)) (cons :ENUMERATION names))) (t - (wf-error "In p/att-type: ~S ~S." cat sem)) ))) + (wf-error input "In p/att-type: ~S ~S." cat sem)) ))) (defun p/default-decl (input) ;; [60] DefaultDecl ::= '#REQUIRED' | '#IMPLIED' @@ -1856,7 +1914,7 @@ ((or (eq cat :\') (eq cat :\")) (list :DEFAULT (p/att-value input))) (t - (wf-error "p/default-decl: ~S ~S." cat sem)) ))) + (wf-error input "p/default-decl: ~S ~S." cat sem)) ))) ;;;; ;; [70] EntityDecl ::= GEDecl | PEDecl @@ -1926,7 +1984,7 @@ (push ndata (referenced-notations *ctx*))))))) (make-external-entdef extid ndata))) (t - (wf-error "p/entity-def: ~S / ~S." cat sem)) ))) + (wf-error input "p/entity-def: ~S / ~S." cat sem)) ))) (defun p/entity-value (input) (let ((delim (if (eq (read-token input) :\") #/\" #/\'))) @@ -1960,10 +2018,10 @@ (setf sys (p/system-literal input)))) (when (and (not public-only-ok-p) (null sys)) - (wf-error "System identifier needed for this PUBLIC external identifier.")) + (wf-error input "System identifier needed for this PUBLIC external identifier.")) (make-extid pub sys))) (t - (wf-error "Expected external-id: ~S / ~S." cat sem))))) + (wf-error input "Expected external-id: ~S / ~S." cat sem))))) ;; [11] SystemLiteral ::= ('"' [^"]* '"') | ("'" [^']* "'") @@ -1985,7 +2043,7 @@ (t (collect c)))))))) (t - (wf-error "Expect either \" or \'."))))) + (wf-error input "Expect either \" or \'."))))) ;; it is important to cache the orginal URI rod, since the re-serialized ;; uri-string can be different from the one parsed originally. @@ -2012,7 +2070,7 @@ (defun p/pubid-literal (input) (let ((result (p/id input))) (unless (every #'pubid-char-p result) - (wf-error "Illegal pubid: ~S." (rod-string result))) + (wf-error input "Illegal pubid: ~S." (rod-string result))) result)) @@ -2026,7 +2084,7 @@ (p/S input) (setf content (normalize-mixed-cspec (p/cspec input))) (unless (legal-content-model-p content *validate*) - (wf-error "Malformed or invalid content model: ~S." (mu content))) + (wf-error input "Malformed or invalid content model: ~S." (mu content))) (p/S? input) (expect input :\>) (when *validate* @@ -2185,7 +2243,7 @@ ((rod= sem '#.(string-rod "ANY")) :ANY) ((not recursivep) - (wf-error "invalid content spec")) + (wf-error input "invalid content spec")) (t sem))) ((eq cat :\#PCDATA) @@ -2215,7 +2273,7 @@ (validity-error "(06) Proper Group/PE Nesting"))) res) (t - (wf-error "p/cspec - ~s / ~s" cat sem))))))) + (wf-error input "p/cspec - ~s / ~s" cat sem))))))) (cond ((eq (peek-token input) :?) (consume-token input) (list '? term)) ((eq (peek-token input) :+) (consume-token input) (list '+ term)) ((eq (peek-token input) :*) (consume-token input) (list '* term)) @@ -2302,7 +2360,7 @@ (rod= sem '#.(string-rod "IGNORE"))) (p/ignore-sect input stream)) (t - (wf-error "Expected INCLUDE or IGNORE after \"<![\".")))))) + (wf-error input "Expected INCLUDE or IGNORE after \"<![\".")))))) (defun p/cond-expect (input cat initial-stream) (expect input cat) @@ -2361,7 +2419,7 @@ (internal-entdef (p/ext-subset-decl input))) (unless (eq :eof (peek-token input)) - (wf-error "Trailing garbage.")))))) + (wf-error input "Trailing garbage.")))))) (otherwise (return)))) ) (defun p/markup-decl (input) @@ -2389,7 +2447,7 @@ (sax:processing-instruction (handler *ctx*) (car sem) (cdr sem)))) (:COMMENT (consume-token input)) (otherwise - (wf-error "p/markup-decl ~S" (peek-token input)))))) + (wf-error input "p/markup-decl ~S" (peek-token input)))))) (defun setup-encoding (input xml-header) (when (xml-header-encoding xml-header) @@ -2413,7 +2471,7 @@ (set-full-speed input) (p/ext-subset-decl input) (unless (eq (peek-token input) :eof) - (wf-error "Trailing garbage - ~S." (peek-token input)))) + (wf-error input "Trailing garbage - ~S." (peek-token input)))) (defvar *catalog* nil) @@ -2451,7 +2509,7 @@ (and extid (uri-rod (extid-system extid)))) (when (eq (peek-token input) :\[ ) (when (disallow-internal-subset *ctx*) - (wf-error "document includes an internal subset")) + (wf-error input "document includes an internal subset")) (ensure-dtd) (consume-token input) (while (progn (p/S? input) @@ -2466,7 +2524,7 @@ (internal-entdef (p/ext-subset-decl input))) (unless (eq :eof (peek-token input)) - (wf-error "Trailing garbage."))))) + (wf-error input "Trailing garbage."))))) (let ((*expand-pe-p* t)) (p/markup-decl input)))) (consume-token input) @@ -2543,6 +2601,7 @@ (check-type disallow-internal-subset boolean) (let ((*ctx* (make-context :handler handler + :main-zstream input :entity-resolver entity-resolver :disallow-internal-subset disallow-internal-subset)) (*validate* validate)) @@ -2588,7 +2647,7 @@ ;; optional Misc* (p/misc*-2 input) (unless (eq (peek-token input) :eof) - (wf-error "Garbage at end of document.")) + (wf-error input "Garbage at end of document.")) (when *validate* (maphash (lambda (k v) (unless v @@ -2619,11 +2678,11 @@ (multiple-value-bind (cat2 sem2) (read-token input) (unless (and (eq cat2 :etag) (eq (car sem2) (car sem))) - (perror input "Bad nesting. ~S / ~S" (mu sem) (mu (cons cat2 sem2))))) + (wf-error input "Bad nesting. ~S / ~S" (mu sem) (mu (cons cat2 sem2))))) (sax:end-element (handler *ctx*) nil nil (car sem))) (t - (wf-error "Expecting element."))))) + (wf-error input "Expecting element."))))) (defun p/element-ns (input) @@ -2631,7 +2690,7 @@ (case cat ((:stag :ztag)) (:eof (eox input)) - (t (wf-error "element expected"))) + (t (wf-error input "element expected"))) (destructuring-bind (&optional name &rest attrs) sem (validate-start-element *ctx* name) (let ((ns-decls (declare-namespaces name attrs))) @@ -2653,26 +2712,16 @@ (multiple-value-bind (cat2 sem2) (read-token input) (unless (and (eq cat2 :etag) (eq (car sem2) name)) - (perror input "Bad nesting. ~S / ~S" (mu name) (mu (cons cat2 sem2)))) + (wf-error input "Bad nesting. ~S / ~S" (mu name) (mu (cons cat2 sem2)))) (when (cdr sem2) - (wf-error "no attributes allowed in end tag"))) + (wf-error input "no attributes allowed in end tag"))) (sax:end-element (handler *ctx*) ns-uri local-name name)) (t - (wf-error "Expecting element, got ~S." cat))))) + (wf-error input "Expecting element, got ~S." cat))))) (undeclare-namespaces ns-decls)) (validate-end-element *ctx* name)))) -(defun perror (stream format-string &rest format-args) - (when (zstream-p stream) - (setf stream (car (zstream-input-stack stream)))) - (if stream - (wf-error "Parse error at line ~D column ~D: ~?" - (xstream-line-number stream) - (xstream-column-number stream) - format-string format-args) - (apply #'wf-error format-string format-args))) - (defun p/content (input) ;; [43] content ::= (element | CharData | Reference | CDSect | PI | Comment)* (multiple-value-bind (cat sem) (peek-token input) @@ -2683,7 +2732,7 @@ ((:CDATA) (consume-token input) (when (search #"]]>" sem) - (wf-error "']]>' not allowed in CharData")) + (wf-error input "']]>' not allowed in CharData")) (validate-characters *ctx* sem) (sax:characters (handler *ctx*) sem) (p/content input)) @@ -2698,7 +2747,7 @@ (internal-entdef (p/content input)) (external-entdef (p/ext-parsed-ent input))) (unless (eq (peek-token input) :eof) - (wf-error "Trailing garbage. - ~S" + (wf-error input "Trailing garbage. - ~S" (peek-token input)))))) (p/content input)))) ((:<!\[) @@ -2711,7 +2760,7 @@ (rune= #/T (read-rune input)) (rune= #/A (read-rune input)) (rune= #/\[ (read-rune input))) - (wf-error "After '<![', 'CDATA[' is expected.")) + (wf-error input "After '<![', 'CDATA[' is expected.")) (validate-characters *ctx* #"hack") ;anything other than whitespace (sax:start-cdata (handler *ctx*)) (sax:characters (handler *ctx*) (read-cdata-sect input)) @@ -2751,13 +2800,13 @@ (z (make-zstream :input-stack (list i))) (atts (read-attribute-list z i t))) (unless (eq (peek-rune i) :eof) - (wf-error "Garbage at end of XMLDecl.")) + (wf-error i "Garbage at end of XMLDecl.")) ;; versioninfo muss da sein ;; dann ? encodingdecl ;; dann ? sddecl ;; dann ende (unless (eq (caar atts) (intern-name '#.(string-rod "version"))) - (wf-error "XMLDecl needs version.")) + (wf-error i "XMLDecl needs version.")) (unless (and (>= (length (cdar atts)) 1) (every (lambda (x) (or (rune<= #/a x #/z) @@ -2768,7 +2817,7 @@ (rune= x #/:) (rune= x #/-))) (cdar atts))) - (wf-error "Bad XML version number: ~S." (rod-string (cdar atts)))) + (wf-error i"Bad XML version number: ~S." (rod-string (cdar atts)))) (setf (xml-header-version res) (rod-string (cdar atts))) (pop atts) (when (eq (caar atts) (intern-name '#.(string-rod "encoding"))) @@ -2785,13 +2834,13 @@ (or (rune<= #/a x #/z) (rune<= #/A x #/Z))) (aref (cdar atts) 0))) - (wf-error "Bad XML encoding name: ~S." (rod-string (cdar atts)))) + (wf-error i "Bad XML encoding name: ~S." (rod-string (cdar atts)))) (setf (xml-header-encoding res) (rod-string (cdar atts))) (pop atts)) (when (eq (caar atts) (intern-name '#.(string-rod "standalone"))) (unless (or (rod= (cdar atts) '#.(string-rod "yes")) (rod= (cdar atts) '#.(string-rod "no"))) - (wf-error "XMLDecl's 'standalone' attribute must be exactly \"yes\" or \"no\" and not ~S." + (wf-error i "XMLDecl's 'standalone' attribute must be exactly \"yes\" or \"no\" and not ~S." (rod-string (cdar atts)))) (setf (xml-header-standalone-p res) (if (rod-equal '#.(string-rod "yes") (cdar atts)) @@ -2799,7 +2848,7 @@ :no)) (pop atts)) (when atts - (wf-error "Garbage in XMLDecl: ~A" (rod-string content))) + (wf-error i "Garbage in XMLDecl: ~A" (rod-string content))) res)) (defun parse-text-decl (content) @@ -2808,7 +2857,7 @@ (z (make-zstream :input-stack (list i))) (atts (read-attribute-list z i t))) (unless (eq (peek-rune i) :eof) - (wf-error "Garbage at end of TextDecl")) + (wf-error i "Garbage at end of TextDecl")) ;; versioninfo optional ;; encodingdecl muss da sein ;; dann ende @@ -2823,11 +2872,11 @@ (rune= x #/:) (rune= x #/-))) (cdar atts))) - (wf-error "Bad XML version number: ~S." (rod-string (cdar atts)))) + (wf-error i "Bad XML version number: ~S." (rod-string (cdar atts)))) (setf (xml-header-version res) (rod-string (cdar atts))) (pop atts)) (unless (eq (caar atts) (intern-name '#.(string-rod "encoding"))) - (wf-error "TextDecl needs encoding.")) + (wf-error i "TextDecl needs encoding.")) (unless (and (>= (length (cdar atts)) 1) (every (lambda (x) (or (rune<= #/a x #/z) @@ -2842,11 +2891,11 @@ (rune<= #/A x #/Z) (rune<= #/0 x #/9))) (aref (cdar atts) 0))) - (wf-error "Bad XML encoding name: ~S." (rod-string (cdar atts)))) + (wf-error i "Bad XML encoding name: ~S." (rod-string (cdar atts)))) (setf (xml-header-encoding res) (rod-string (cdar atts))) (pop atts) (when atts - (wf-error "Garbage in TextDecl: ~A" (rod-string content))) + (wf-error i "Garbage in TextDecl: ~A" (rod-string content))) res)) ;;;; --------------------------------------------------------------------------- @@ -2966,13 +3015,14 @@ :type type)))))) (defun parse-xstream (xstream handler &rest args) - (handler-case - (let ((zstream (make-zstream :input-stack (list xstream)))) - (peek-rune xstream) - (with-scratch-pads () - (apply #'p/document zstream handler args))) - (runes-encoding:encoding-error (c) - (wf-error "~A" c)))) + (let ((*ctx* nil)) + (handler-case + (let ((zstream (make-zstream :input-stack (list xstream)))) + (peek-rune xstream) + (with-scratch-pads () + (apply #'p/document zstream handler args))) + (runes-encoding:encoding-error (c) + (wf-error xstream "~A" c))))) (defun parse-file (filename handler &rest args) (with-open-xfile (input filename) @@ -3079,7 +3129,7 @@ (eql (stream-name-entity-kind (xstream-name x)) (stream-name-entity-kind (xstream-name new-xstream))))) (zstream-input-stack zstream)) - (wf-error "Infinite recursion."))) + (wf-error zstream "Infinite recursion."))) (push new-xstream (zstream-input-stack zstream)) zstream) @@ -3200,7 +3250,7 @@ (not (or (%rune= rune #/U+0009) (%rune= rune #/U+000a) (%rune= rune #/U+000d)))) - (wf-error "code point invalid: ~A" rune)) + (wf-error input "code point invalid: ~A" rune)) (or (%rune= rune #/<) (%rune= rune #/&))) input source start end) @@ -3223,9 +3273,9 @@ (defun internal-entity-expansion (name) (let ((def (get-entity-definition name :general (dtd *ctx*)))) (unless def - (wf-error "Entity '~A' is not defined." (rod-string name))) + (wf-error nil "Entity '~A' is not defined." (rod-string name))) (unless (typep def 'internal-entdef) - (wf-error "Entity '~A' is not an internal entity." name)) + (wf-error nil "Entity '~A' is not an internal entity." name)) (or (entdef-expansion def) (setf (entdef-expansion def) (find-internal-entity-expansion name))))) @@ -3247,7 +3297,7 @@ (%put-unicode-char c collect))) (t (unless (name-start-rune-p c) - (wf-error "Expecting name after &.")) + (wf-error zinput "Expecting name after &.")) (let ((name (read-name-token input))) (setf c (read-rune input)) (check-rune input c #/\;) @@ -3256,11 +3306,11 @@ (lambda (zinput) (muffle (car (zstream-input-stack zinput))))))))) ((rune= c #/<) - (wf-error "unexpected #\/<")) + (wf-error zinput "unexpected #\/<")) ((space-rune-p c) (collect #/space)) ((not (data-rune-p c)) - (wf-error "illegal char: ~S." c)) + (wf-error zinput "illegal char: ~S." c)) (t (collect c))))))) (declare (dynamic-extent #'muffle)) @@ -3284,7 +3334,8 @@ (internal-entdef (p/content input)) (external-entdef (p/ext-parsed-ent input))) (unless (eq (peek-token input) :eof) - (wf-error "Trailing garbage. - ~S" (peek-token input)))))))) + (wf-error input "Trailing garbage. - ~S" + (peek-token input)))))))) nil))) (defun read-att-value-2 (input) @@ -3292,8 +3343,9 @@ (when (eql delim :eof) (eox input)) (unless (member delim '(#/\" #/\') :test #'eql) - (wf-error "Bad attribute value delimiter ~S, must be either #\\\" or #\\\'." - (rune-char delim))) + (wf-error input + "Bad attribute value delimiter ~S, must be either #\\\" or #\\\'." + (rune-char delim))) (with-rune-collector-4 (collect) (loop (let ((c (read-rune input))) @@ -3302,7 +3354,7 @@ ((rune= c delim) (return)) ((rune= c #/<) - (wf-error "'<' not allowed in attribute values")) + (wf-error input "'<' not allowed in attribute values")) ((rune= #/& c) (multiple-value-bind (kind sem) (read-entity-like input) (ecase kind @@ -3359,7 +3411,7 @@ (defun find-namespace-binding (prefix) (cdr (or (assoc (or prefix #"") (namespace-bindings *ctx*) :test #'rod=) - (wf-error "Undeclared namespace prefix: ~A" (rod-string prefix))))) + (wf-error nil "Undeclared namespace prefix: ~A" (rod-string prefix))))) ;; FIXME: Should probably be refactored by adding :start and :end to rod=/rod-equal (defun rod-starts-with (prefix rod) @@ -3410,26 +3462,32 @@ (cond ((and (rod= prefix #"xml") (not (rod= uri #"http://www.w3.org/XML/1998/namespace"))) - (wf-error "Attempt to rebind the prefix \"xml\" to ~S." (mu uri))) + (wf-error nil + "Attempt to rebind the prefix \"xml\" to ~S." (mu uri))) ((and (rod= uri #"http://www.w3.org/XML/1998/namespace") (not (rod= prefix #"xml"))) - (wf-error "The namespace ~ + (wf-error nil + "The namespace ~ URI \"http://www.w3.org/XML/1998/namespace\" may not ~ be bound to the prefix ~S, only \"xml\" is legal." (mu prefix))) ((and (rod= prefix #"xmlns") (rod= uri #"http://www.w3.org/2000/xmlns/")) - (wf-error "Attempt to bind the prefix \"xmlns\" to its predefined ~ + (wf-error nil + "Attempt to bind the prefix \"xmlns\" to its predefined ~ URI \"http://www.w3.org/2000/xmlns/\", which is ~ forbidden for no good reason.")) ((rod= prefix #"xmlns") - (wf-error "Attempt to bind the prefix \"xmlns\" to the URI ~S, ~ + (wf-error nil + "Attempt to bind the prefix \"xmlns\" to the URI ~S, ~ but it may not be declared." (mu uri))) ((rod= uri #"http://www.w3.org/2000/xmlns/") - (wf-error "The namespace URI \"http://www.w3.org/2000/xmlns/\" may ~ + (wf-error nil + "The namespace URI \"http://www.w3.org/2000/xmlns/\" may ~ not be bound to prefix ~S (or any other)." (mu prefix))) ((and (rod= uri #"") prefix) - (wf-error "Only the default namespace (the one without a prefix) ~ + (wf-error nil + "Only the default namespace (the one without a prefix) ~ may be bound to an empty namespace URI, thus ~ undeclaring it.")) (t @@ -3476,7 +3534,8 @@ (rod= (sax:attribute-local-name attr-1) (sax:attribute-local-name attr-2)))) (cdr sublist))) - (wf-error "Multiple definitions of attribute ~S in namespace ~S." + (wf-error nil + "Multiple definitions of attribute ~S in namespace ~S." (mu (sax:attribute-local-name attr-1)) (mu (sax:attribute-namespace-uri attr-1))))))))

1 0

[cxml-cvs] CVS update: cxml/doc/installation.html cxml/doc/using.html
by dlichteblau＠common-lisp.net 27 Nov '05

27 Nov '05

Update of /project/cxml/cvsroot/cxml/doc In directory common-lisp.net:/tmp/cvs-serv19554/doc Modified Files: installation.html using.html Log Message: zeilennummern fuer den ganzen stack ausgeben Date: Sun Nov 27 21:49:11 2005 Author: dlichteblau Index: cxml/doc/installation.html diff -u cxml/doc/installation.html:1.2 cxml/doc/installation.html:1.3 --- cxml/doc/installation.html:1.2 Sat Nov 26 22:48:16 2005 +++ cxml/doc/installation.html Sun Nov 27 21:49:11 2005 @@ -131,11 +131,14 @@ with cxml yet. The <tt>ant</tt> step is necessary to run the DOM tests. </p> - <p>Usage and expected output:</p> + <p>Usage:</p> <pre>* (xmlconf:run-all-tests "/path/to/2001/XML-Test-Suite/xmlconf/") -0/556 tests failed; 1606 tests were skipped * (domtest:run-all-tests "/path/to/2001/DOM-Test-Suite/") -0/449 tests failed; 71 tests were skipped</pre> +</pre> + <p> + To compare your results with known output, refer to the files + <tt>XMLCONF</tt> and <tt>DOMTEST</tt> in the cxml distribution. + </p> <p> <i>fixme</i>: Add an explanation of xml/sax-tests here. Index: cxml/doc/using.html diff -u cxml/doc/using.html:1.1 cxml/doc/using.html:1.2 --- cxml/doc/using.html:1.1 Sat Jun 25 15:56:54 2005 +++ cxml/doc/using.html Sun Nov 27 21:49:11 2005 @@ -161,6 +161,23 @@ </p> <pre>(cxml:parse-file "test.xml" (dom:make-dom-builder))</pre> + <p> + <div class="def">Condition class CXML:XML-PARSE-ERROR ()</div> + Superclass of all conditions signalled by the CXML parser. + </p> + <p> + <div class="def">Condition class CXML:WELL-FORMEDNESS-VIOLATION (cxml:xml-parse-error)</div> + This condition is signalled for all well-formedness violations. + (Note that, when parsing document that is not well-formed in validating + mode, the parser might encounter validity errors before detecting + well-formedness problems, so also be prepared for <tt>validity-error</tt> + in that situation.) + </p> + <p> + <div class="def">Condition class CXML:VALIDITY-ERROR (cxml:xml-parse-error)</div> + Reports the violation of a validity constraint. + </p> + <a name="serialization"/> <h3>Serialization</h3> <p>

1 0

[cxml-cvs] CVS update: cxml/README.html
by dlichteblau＠common-lisp.net 27 Nov '05

27 Nov '05

Update of /project/cxml/cvsroot/cxml In directory common-lisp.net:/tmp/cvs-serv19554 Modified Files: README.html Log Message: zeilennummern fuer den ganzen stack ausgeben Date: Sun Nov 27 21:49:10 2005 Author: dlichteblau Index: cxml/README.html diff -u cxml/README.html:1.6 cxml/README.html:1.7 --- cxml/README.html:1.6 Sat Nov 26 22:48:15 2005 +++ cxml/README.html Sun Nov 27 21:49:10 2005 @@ -89,6 +89,11 @@ <p class="nomargin"><tt>rel-2005-xx-yy</tt></p> <ul class="nomargin"> <li>Use trivial-gray-streams.</li> + <li> + Error handling overhaul: All syntax errors should now be + reported as instances of <tt>well-formedness-violation</tt>. We + also print line number information. + </li> </ul> <p class="nomargin"><tt>rel-2005-06-25</tt></p> <ul class="nomargin">

1 0

[cxml-cvs] CVS update: cxml/xml/xml-parse.lisp
by dlichteblau＠common-lisp.net 27 Nov '05

27 Nov '05

Update of /project/cxml/cvsroot/cxml/xml In directory common-lisp.net:/tmp/cvs-serv14037/xml Modified Files: xml-parse.lisp Log Message: '<'-fehlermeldung angepasst 0/1786 tests failed; 376 tests were skipped Date: Sun Nov 27 20:37:42 2005 Author: dlichteblau Index: cxml/xml/xml-parse.lisp diff -u cxml/xml/xml-parse.lisp:1.39 cxml/xml/xml-parse.lisp:1.40 --- cxml/xml/xml-parse.lisp:1.39 Sun Nov 27 20:31:19 2005 +++ cxml/xml/xml-parse.lisp Sun Nov 27 20:37:42 2005 @@ -1489,11 +1489,7 @@ (t (wf-error "No PE here."))))) ((and (eq mode :ATT) (rune= c #/<)) - ;; xxx fix error message - (cerror "Eat them in spite of this." - "For no apparent reason #\/< is forbidden in attribute values. ~ - You lost -- next time choose SEXPR syntax.") - (collect c)) + (wf-error "unexpected #\/<")) ((and canon-space-p (space-rune-p c)) (collect #/space)) ((not (data-rune-p c))

1 0

[cxml-cvs] CVS update: cxml/XMLCONF
by dlichteblau＠common-lisp.net 27 Nov '05

27 Nov '05

Update of /project/cxml/cvsroot/cxml In directory common-lisp.net:/tmp/cvs-serv14037 Modified Files: XMLCONF Log Message: '<'-fehlermeldung angepasst 0/1786 tests failed; 376 tests were skipped Date: Sun Nov 27 20:37:41 2005 Author: dlichteblau Index: cxml/XMLCONF diff -u cxml/XMLCONF:1.35 cxml/XMLCONF:1.36 --- cxml/XMLCONF:1.35 Sun Nov 27 20:31:18 2005 +++ cxml/XMLCONF Sun Nov 27 20:37:41 2005 @@ -1194,13 +1194,7 @@ ibm/not-wf/P60/ibm60n01.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P60/ibm60n02.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P60/ibm60n03.xml [not validating:] not-wf [validating:] not-wf -ibm/not-wf/P60/ibm60n04.xml [not validating:] FAILED: - For no apparent reason #/< is forbidden in attribute values. You lost -- next time choose SEXPR syntax. -[ - Tests DefaultDecl with a required field missing. There is no - attribute value specified after the key word "#FIXED" in the DefaultDecl in - the AttDef in the AttlistDecl in the DTD. - ] +ibm/not-wf/P60/ibm60n04.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P60/ibm60n05.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P60/ibm60n06.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P60/ibm60n07.xml [not validating:] not-wf [validating:] not-wf @@ -1794,4 +1788,4 @@ ibm/valid/P87/ibm87v01.xml [not validating:] input [validating:] input ibm/valid/P88/ibm88v01.xml [not validating:] input [validating:] input ibm/valid/P89/ibm89v01.xml [not validating:] input [validating:] input -1/1786 tests failed; 376 tests were skipped \ No newline at end of file +0/1786 tests failed; 376 tests were skipped \ No newline at end of file

1 0

[cxml-cvs] CVS update: cxml/xml/xml-parse.lisp
by dlichteblau＠common-lisp.net 27 Nov '05

27 Nov '05

Update of /project/cxml/cvsroot/cxml/xml In directory common-lisp.net:/tmp/cvs-serv13276/xml Modified Files: xml-parse.lisp Log Message: *patsch* -- noch ein eof erschlagen Date: Sun Nov 27 20:31:19 2005 Author: dlichteblau Index: cxml/xml/xml-parse.lisp diff -u cxml/xml/xml-parse.lisp:1.38 cxml/xml/xml-parse.lisp:1.39 --- cxml/xml/xml-parse.lisp:1.38 Sun Nov 27 20:28:46 2005 +++ cxml/xml/xml-parse.lisp Sun Nov 27 20:31:19 2005 @@ -3293,9 +3293,11 @@ (defun read-att-value-2 (input) (let ((delim (read-rune input))) + (when (eql delim :eof) + (eox input)) (unless (member delim '(#/\" #/\') :test #'eql) (wf-error "Bad attribute value delimiter ~S, must be either #\\\" or #\\\'." - (rune-char delim delim))) + (rune-char delim))) (with-rune-collector-4 (collect) (loop (let ((c (read-rune input)))

1 0

[cxml-cvs] CVS update: cxml/XMLCONF
by dlichteblau＠common-lisp.net 27 Nov '05

27 Nov '05

Update of /project/cxml/cvsroot/cxml In directory common-lisp.net:/tmp/cvs-serv13276 Modified Files: XMLCONF Log Message: *patsch* -- noch ein eof erschlagen Date: Sun Nov 27 20:31:18 2005 Author: dlichteblau Index: cxml/XMLCONF diff -u cxml/XMLCONF:1.34 cxml/XMLCONF:1.35 --- cxml/XMLCONF:1.34 Sun Nov 27 20:28:45 2005 +++ cxml/XMLCONF Sun Nov 27 20:31:18 2005 @@ -1025,12 +1025,7 @@ ibm/not-wf/P23/ibm23n04.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P23/ibm23n05.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P23/ibm23n06.xml [not validating:] not-wf [validating:] not-wf -ibm/not-wf/P24/ibm24n01.xml [not validating:] FAILED: - Argument X is not a REAL: :EOF -[ - Tests VersionInfo with a required field missing. The VersionNum is - missing in the VersionInfo in the XMLDecl. - ] +ibm/not-wf/P24/ibm24n01.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P24/ibm24n02.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P24/ibm24n03.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P24/ibm24n04.xml [not validating:] not-wf [validating:] not-wf @@ -1313,12 +1308,7 @@ ibm/not-wf/P79/ibm79n02.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P80/ibm80n01.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P80/ibm80n02.xml [not validating:] not-wf [validating:] not-wf -ibm/not-wf/P80/ibm80n03.xml [not validating:] FAILED: - Argument X is not a REAL: :EOF -[ - Tests EncodingDecl with a required field missing. The double quoted - EncName are missing in the EncodingDecl in the XMLDecl. - ] +ibm/not-wf/P80/ibm80n03.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P80/ibm80n04.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P80/ibm80n05.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P80/ibm80n06.xml [not validating:] not-wf [validating:] not-wf @@ -1804,4 +1794,4 @@ ibm/valid/P87/ibm87v01.xml [not validating:] input [validating:] input ibm/valid/P88/ibm88v01.xml [not validating:] input [validating:] input ibm/valid/P89/ibm89v01.xml [not validating:] input [validating:] input -3/1786 tests failed; 376 tests were skipped \ No newline at end of file +1/1786 tests failed; 376 tests were skipped \ No newline at end of file

1 0

[cxml-cvs] CVS update: cxml/XMLCONF
by dlichteblau＠common-lisp.net 27 Nov '05

27 Nov '05

Update of /project/cxml/cvsroot/cxml In directory common-lisp.net:/tmp/cvs-serv12853 Modified Files: XMLCONF Log Message: ich sag nur: 'foo Date: Sun Nov 27 20:28:45 2005 Author: dlichteblau Index: cxml/XMLCONF diff -u cxml/XMLCONF:1.33 cxml/XMLCONF:1.34 --- cxml/XMLCONF:1.33 Sun Nov 27 19:41:06 2005 +++ cxml/XMLCONF Sun Nov 27 20:28:45 2005 @@ -734,10 +734,7 @@ oasis/p23fail5.xml [not validating:] not-wf [validating:] not-wf oasis/p24fail1.xml [not validating:] not-wf [validating:] not-wf oasis/p24fail2.xml [not validating:] not-wf [validating:] not-wf -oasis/p25fail1.xml [not validating:] FAILED: - The value CXML::FOO is not of type RUNES::XSTREAM. -[ - Comment is illegal in VersionInfo. ] +oasis/p25fail1.xml [not validating:] not-wf [validating:] not-wf oasis/p26fail1.xml [not validating:] not-wf [validating:] not-wf oasis/p26fail2.xml [not validating:] not-wf [validating:] not-wf oasis/p27fail1.xml [not validating:] not-wf [validating:] not-wf @@ -1035,29 +1032,15 @@ missing in the VersionInfo in the XMLDecl. ] ibm/not-wf/P24/ibm24n02.xml [not validating:] not-wf [validating:] not-wf -ibm/not-wf/P24/ibm24n03.xml [not validating:] FAILED: - The value CXML::FOO is not of type RUNES::XSTREAM. -[ - Tests VersionInfo with a required field missing. The "=" - (equal sign) is missing between the key word "version" and the VersionNum. - ] +ibm/not-wf/P24/ibm24n03.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P24/ibm24n04.xml [not validating:] not-wf [validating:] not-wf -ibm/not-wf/P24/ibm24n05.xml [not validating:] FAILED: - The value CXML::FOO is not of type RUNES::XSTREAM. -[ - Tests VersionInfo with wrong field ordering. The "=" occurs - after "version" and the VersionNum. - ] +ibm/not-wf/P24/ibm24n05.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P24/ibm24n06.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P24/ibm24n07.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P24/ibm24n08.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P24/ibm24n09.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P25/ibm25n01.xml [not validating:] not-wf [validating:] not-wf -ibm/not-wf/P25/ibm25n02.xml [not validating:] FAILED: - The value CXML::FOO is not of type RUNES::XSTREAM. -[ - Tests eq with a wrong key word "eq". - ] +ibm/not-wf/P25/ibm25n02.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P26/ibm26n01.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P27/ibm27n01.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P28/ibm28n01.xml [not validating:] not-wf [validating:] not-wf @@ -1079,23 +1062,13 @@ ibm/not-wf/P30/ibm30n01.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P31/ibm31n01.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P32/ibm32n01.xml [not validating:] not-wf [validating:] not-wf -ibm/not-wf/P32/ibm32n02.xml [not validating:] FAILED: - The value CXML::FOO is not of type RUNES::XSTREAM. -[ - Tests SDDecl with a required field missing. The "=" sign is missing - in the SDDecl in the XMLDecl. - ] +ibm/not-wf/P32/ibm32n02.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P32/ibm32n03.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P32/ibm32n04.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P32/ibm32n05.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P32/ibm32n06.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P32/ibm32n07.xml [not validating:] not-wf [validating:] not-wf -ibm/not-wf/P32/ibm32n08.xml [not validating:] FAILED: - The value CXML::FOO is not of type RUNES::XSTREAM. -[ - Tests SDDecl with wrong field ordering. The "=" sign occurs - after the key word "yes" in the SDDecl in the XMLDecl. - ] +ibm/not-wf/P32/ibm32n08.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P32/ibm32n09.xml [not validating:] not-wf [validating:] invalid ibm/not-wf/P39/ibm39n01.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P39/ibm39n02.xml [not validating:] not-wf [validating:] not-wf @@ -1339,12 +1312,7 @@ ibm/not-wf/P79/ibm79n01.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P79/ibm79n02.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P80/ibm80n01.xml [not validating:] not-wf [validating:] not-wf -ibm/not-wf/P80/ibm80n02.xml [not validating:] FAILED: - The value CXML::FOO is not of type RUNES::XSTREAM. -[ - Tests EncodingDecl with a required field missing. The "=" sign is - missing in the EncodingDecl in the XMLDecl. - ] +ibm/not-wf/P80/ibm80n02.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P80/ibm80n03.xml [not validating:] FAILED: Argument X is not a REAL: :EOF [ @@ -1836,4 +1804,4 @@ ibm/valid/P87/ibm87v01.xml [not validating:] input [validating:] input ibm/valid/P88/ibm88v01.xml [not validating:] input [validating:] input ibm/valid/P89/ibm89v01.xml [not validating:] input [validating:] input -10/1786 tests failed; 376 tests were skipped \ No newline at end of file +3/1786 tests failed; 376 tests were skipped \ No newline at end of file

1 0

[cxml-cvs] CVS update: cxml/xml/xml-parse.lisp
by dlichteblau＠common-lisp.net 27 Nov '05

27 Nov '05

Update of /project/cxml/cvsroot/cxml/xml In directory common-lisp.net:/tmp/cvs-serv12853/xml Modified Files: xml-parse.lisp Log Message: ich sag nur: 'foo Date: Sun Nov 27 20:28:46 2005 Author: dlichteblau Index: cxml/xml/xml-parse.lisp diff -u cxml/xml/xml-parse.lisp:1.37 cxml/xml/xml-parse.lisp:1.38 --- cxml/xml/xml-parse.lisp:1.37 Sun Nov 27 19:41:07 2005 +++ cxml/xml/xml-parse.lisp Sun Nov 27 20:28:46 2005 @@ -2752,7 +2752,8 @@ (defun parse-xml-decl (content) (let* ((res (make-xml-header)) (i (make-rod-xstream content)) - (atts (read-attribute-list 'foo i t))) ;xxx on 'foo + (z (make-zstream :input-stack (list i))) + (atts (read-attribute-list z i t))) (unless (eq (peek-rune i) :eof) (wf-error "Garbage at end of XMLDecl.")) ;; versioninfo muss da sein @@ -2808,7 +2809,8 @@ (defun parse-text-decl (content) (let* ((res (make-xml-header)) (i (make-rod-xstream content)) - (atts (read-attribute-list 'foo i t))) ;xxx on 'foo + (z (make-zstream :input-stack (list i))) + (atts (read-attribute-list z i t))) (unless (eq (peek-rune i) :eof) (wf-error "Garbage at end of TextDecl")) ;; versioninfo optional

1 0

[cxml-cvs] CVS update: cxml/xml/package.lisp cxml/xml/xml-parse.lisp
by dlichteblau＠common-lisp.net 27 Nov '05

27 Nov '05

Update of /project/cxml/cvsroot/cxml/xml In directory common-lisp.net:/tmp/cvs-serv9524/xml Modified Files: package.lisp xml-parse.lisp Log Message: -ibm/not-wf/P32/ibm32n09.xml [not validating:] FAILED: - well-formedness violation not detected -[ - This is test violates WFC: Entity Declared in P68. - The standalone document declaration has the value yes, BUT there is an - external markup declaration of an entity (other than amp, lt, gt, apos, - quot), and references to this entity appear in the document. - ] Date: Sun Nov 27 19:41:07 2005 Author: dlichteblau Index: cxml/xml/package.lisp diff -u cxml/xml/package.lisp:1.4 cxml/xml/package.lisp:1.5 --- cxml/xml/package.lisp:1.4 Sun Nov 27 01:51:36 2005 +++ cxml/xml/package.lisp Sun Nov 27 19:41:07 2005 @@ -6,7 +6,7 @@ (in-package :cl-user) (defpackage :cxml - (:use :cl :runes :encoding :trivial-gray-streams) + (:use :cl :runes :runes-encoding :trivial-gray-streams) (:export ;; xstreams #:make-xstream Index: cxml/xml/xml-parse.lisp diff -u cxml/xml/xml-parse.lisp:1.36 cxml/xml/xml-parse.lisp:1.37 --- cxml/xml/xml-parse.lisp:1.36 Sun Nov 27 19:20:11 2005 +++ cxml/xml/xml-parse.lisp Sun Nov 27 19:41:07 2005 @@ -62,7 +62,7 @@ ;; slot of zstreams instead). ;; Common -;; :xml-pi (<target> . <content>) ;processing-instruction starting with "<?xml" +;; :xml-decl (<target> . <content>) ;processing-instruction starting with "<?xml" ;; :pi (<target> . <content>) ;processing-instruction ;; :stag (<name> . <atts>) ;start tag ;; :etag (<name> . <atts>) ;end tag @@ -665,7 +665,7 @@ :format-arguments (list stream x args))) (defvar *validate* t) -(defvar *markup-declaration-external-p* nil) +(defvar *external-subset-p* nil) (defun validate-start-element (ctx name) (when *validate* @@ -816,7 +816,8 @@ (:constructor make-internal-entdef (value)) (:conc-name #:entdef-)) (value (error "missing argument") :type rod) - (expansion nil)) + (expansion nil) + (external-subset-p *external-subset-p*)) (defstruct (external-entdef (:include entdef) @@ -889,7 +890,7 @@ (setf (entdef-extid def) (absolute-extid source-stream (entdef-extid def)))) (setf (gethash name table) - (cons *markup-declaration-external-p* def))))) + (cons *external-subset-p* def))))) (defun get-entity-definition (entity-name kind dtd) (unless dtd @@ -913,6 +914,10 @@ (let (r) (etypecase def (internal-entdef + (when (and (standalone-p *ctx*) + (entdef-external-subset-p def)) + (wf-error + "entity declared in external subset, but document is standalone")) (setf r (make-rod-xstream (entdef-value def))) (setf (xstream-name r) (make-stream-name :entity-name entity-name @@ -977,7 +982,7 @@ ; (:ENUMERATION <name>*) default ;default value of attribute: ; :REQUIRED, :IMPLIED, (:FIXED content) or (:DEFAULT content) - (external-p *markup-declaration-external-p*) + (external-p *external-subset-p*) ) (defstruct elmdef @@ -986,7 +991,7 @@ content ;content model [*] attributes ;list of defined attributes compiled-cspec ;cons of validation function for contentspec - (external-p *markup-declaration-external-p*) + (external-p *external-subset-p*) ) ;; [*] in XML it is possible to define attributes before the element @@ -1060,7 +1065,7 @@ (rod-string element-name))))))) (sax:element-declaration (handler *ctx*) element-name content-model) (setf (elmdef-content e) content-model) - (setf (elmdef-external-p e) *markup-declaration-external-p*) + (setf (elmdef-external-p e) *external-subset-p*) e)))) (defvar *redefinition-warning* nil) @@ -1257,7 +1262,7 @@ ((rune= #/? d) (multiple-value-bind (target content) (read-pi input) (cond ((rod= target '#.(string-rod "xml")) - (values :xml-pi (cons target content))) + (values :xml-decl (cons target content))) ((rod-equal target '#.(string-rod "XML")) (wf-error "You lost -- no XML processing instructions.")) ((and sax:*namespace-processing* (position #/: target)) @@ -2348,7 +2353,7 @@ (:eof (return)) ((:|<!ELEMENT| :|<!ATTLIST| :|<!ENTITY| :|<!NOTATION| :PI :COMMENT) (let ((*expand-pe-p* t) - (*markup-declaration-external-p* t)) + (*external-subset-p* t)) (p/markup-decl input))) ((:PE-REFERENCE) (let ((name (nth-value 1 (read-token input)))) @@ -2377,7 +2382,7 @@ ;; | EntityDecl | NotationDecl ;; | PI | Comment /* WFC: PEs in Internal Subset */ (let ((token (peek-token input)) - (*expand-pe-p* (and *expand-pe-p* *markup-declaration-external-p*))) + (*expand-pe-p* (and *expand-pe-p* *external-subset-p*))) (case token (:|<!ELEMENT| (p/element-decl input)) (:|<!ATTLIST| (p/attlist-decl input)) @@ -2405,7 +2410,7 @@ (set-to-full-speed xstream)))) (defun p/ext-subset (input) - (cond ((eq (peek-token input) :xml-pi) + (cond ((eq (peek-token input) :xml-decl) (let ((hd (parse-text-decl (cdr (nth-value 1 (peek-token input)))))) (setup-encoding input hd)) (consume-token input))) @@ -2554,7 +2559,7 @@ ;; we will use the attribute-value parser for the xml decl. (let ((*data-behaviour* :DTD)) ;; optional XMLDecl? - (cond ((eq (peek-token input) :xml-pi) + (cond ((eq (peek-token input) :xml-decl) (let ((hd (parse-xml-decl (cdr (nth-value 1 (peek-token input)))))) (setf (standalone-p *ctx*) (eq (xml-header-standalone-p hd) :yes)) (setup-encoding input hd)) @@ -2737,7 +2742,7 @@ (defun p/ext-parsed-ent (input) ;; [78] extParsedEnt ::= '<?xml' VersionInfo? EncodingDecl S? '?>' content - (when (eq (peek-token input) :xml-pi) + (when (eq (peek-token input) :xml-decl) (let ((hd (parse-text-decl (cdr (nth-value 1 (peek-token input)))))) (setup-encoding input hd)) (consume-token input))

1 0

[cxml-cvs] CVS update: cxml/XMLCONF
by dlichteblau＠common-lisp.net 27 Nov '05

27 Nov '05

Update of /project/cxml/cvsroot/cxml In directory common-lisp.net:/tmp/cvs-serv9524 Modified Files: XMLCONF Log Message: -ibm/not-wf/P32/ibm32n09.xml [not validating:] FAILED: - well-formedness violation not detected -[ - This is test violates WFC: Entity Declared in P68. - The standalone document declaration has the value yes, BUT there is an - external markup declaration of an entity (other than amp, lt, gt, apos, - quot), and references to this entity appear in the document. - ] Date: Sun Nov 27 19:41:07 2005 Author: dlichteblau Index: cxml/XMLCONF diff -u cxml/XMLCONF:1.32 cxml/XMLCONF:1.33 --- cxml/XMLCONF:1.32 Sun Nov 27 19:20:08 2005 +++ cxml/XMLCONF Sun Nov 27 19:41:06 2005 @@ -469,11 +469,7 @@ sun/invalid/utf16b.xml [not validating:] input [validating:] invalid sun/invalid/utf16l.xml [not validating:] input [validating:] invalid sun/invalid/empty.xml [not validating:] input [validating:] invalid -sun/not-wf/not-sa03.xml [not validating:] FAILED: - well-formedness violation not detected -[ - Tests the Entity Declared WFC, ensuring that - a reference to externally defined entity causes a well-formedness error.] +sun/not-wf/not-sa03.xml [not validating:] not-wf [validating:] invalid sun/not-wf/attlist01.xml [not validating:] not-wf [validating:] not-wf sun/not-wf/attlist02.xml [not validating:] not-wf [validating:] not-wf sun/not-wf/attlist03.xml [not validating:] not-wf [validating:] not-wf @@ -1100,14 +1096,7 @@ Tests SDDecl with wrong field ordering. The "=" sign occurs after the key word "yes" in the SDDecl in the XMLDecl. ] -ibm/not-wf/P32/ibm32n09.xml [not validating:] FAILED: - well-formedness violation not detected -[ - This is test violates WFC: Entity Declared in P68. - The standalone document declaration has the value yes, BUT there is an - external markup declaration of an entity (other than amp, lt, gt, apos, - quot), and references to this entity appear in the document. - ] +ibm/not-wf/P32/ibm32n09.xml [not validating:] not-wf [validating:] invalid ibm/not-wf/P39/ibm39n01.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P39/ibm39n02.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P39/ibm39n03.xml [not validating:] not-wf [validating:] not-wf @@ -1289,13 +1278,7 @@ ibm/not-wf/P68/ibm68n03.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P68/ibm68n04.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P68/ibm68n05.xml [not validating:] not-wf [validating:] not-wf -ibm/not-wf/P68/ibm68n06.xml [not validating:] FAILED: - well-formedness violation not detected -[ - Tests EntityRef which is against P68 WFC: Entity Declared. The - entity with the name "aaa" in the EntityRef in the AttValue in the STag of - the element "root" is externally declared, but standalone is "yes". - ] +ibm/not-wf/P68/ibm68n06.xml [not validating:] not-wf [validating:] invalid ibm/not-wf/P68/ibm68n07.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P68/ibm68n08.xml [not validating:] not-wf [validating:] not-wf ibm/not-wf/P68/ibm68n09.xml [not validating:] not-wf [validating:] not-wf @@ -1853,4 +1836,4 @@ ibm/valid/P87/ibm87v01.xml [not validating:] input [validating:] input ibm/valid/P88/ibm88v01.xml [not validating:] input [validating:] input ibm/valid/P89/ibm89v01.xml [not validating:] input [validating:] input -13/1786 tests failed; 376 tests were skipped \ No newline at end of file +10/1786 tests failed; 376 tests were skipped \ No newline at end of file

1 0

[cxml-cvs] CVS update: cxml/xml/xml-parse.lisp
by dlichteblau＠common-lisp.net 27 Nov '05

27 Nov '05

Update of /project/cxml/cvsroot/cxml/xml In directory common-lisp.net:/tmp/cvs-serv8375/xml Modified Files: xml-parse.lisp Log Message: Hmm. Auf U+ffff und dergleichen wurde durch data-rune-p geprueft, das aber eben nicht ueberall benutzt wurde. Ich habe die Pruefung jetzt mal direkt im Decoding eingebaut. -xmltest/not-wf/sa/171.xml [not validating:] FAILED: - well-formedness violation not detected -[ - Character FFFF is not legal anywhere in an XML document. ] Date: Sun Nov 27 19:20:11 2005 Author: dlichteblau Index: cxml/xml/xml-parse.lisp diff -u cxml/xml/xml-parse.lisp:1.35 cxml/xml/xml-parse.lisp:1.36 --- cxml/xml/xml-parse.lisp:1.35 Sun Nov 27 18:19:14 2005 +++ cxml/xml/xml-parse.lisp Sun Nov 27 19:20:11 2005 @@ -1413,15 +1413,18 @@ (definline data-rune-p (rune) ;; any Unicode character, excluding the surrogate blocks, FFFE, and FFFF. + ;; + ;; FIXME: das halte ich fuer verkehrt. Surrogates als Unicode-Zeichen + ;; sind verboten. Das liegt hier aber nicht vor, denn wir arbeiten + ;; ja tatsaechlich mit UTF-16. Verboten ist es nur, wenn wir ein + ;; solches Zeichen beim Dekodieren finden, das wird aber eben + ;; in encodings.lisp bereits geprueft. --david (let ((c (rune-code rune))) (or (= c #x9) (= c #xA) (= c #xD) (<= #x20 c #xD7FF) (<= #xE000 c #xFFFD) - ;; (<= #xD800 c #xDBFF) - (<= #xDC00 c #xDFFF) - ;; - ))) + (<= #xDC00 c #xDFFF)))) (defun read-att-value (zinput input mode &optional canon-space-p (delim nil)) (with-rune-collector-2 (collect) @@ -2686,7 +2689,7 @@ ((:ENTITY-REF) (let ((name sem)) (consume-token input) - (append ;; nil #+(OR) + (append (recurse-on-entity input name :general (lambda (input) (prog1 @@ -3190,17 +3193,10 @@ (defun read-cdata (input) (read-data-until* ((lambda (rune) (declare (type rune rune)) - (when (or (and (%rune< rune #/U+0020) - (not (or (%rune= rune #/U+0009) - (%rune= rune #/U+000a) - (%rune= rune #/U+000d)))) - ;; Surrogates nicht ausschliessen, denn wir - ;; haben ja UTF-16 Runen. - #+(or) - (and (%rune<= #/U+D800 rune) - (%rune< rune #/U+E000)) - (%rune= rune #/U+FFFE) - (%rune= rune #/U+FFFF)) + (when (and (%rune< rune #/U+0020) + (not (or (%rune= rune #/U+0009) + (%rune= rune #/U+000a) + (%rune= rune #/U+000d)))) (wf-error "code point invalid: ~A" rune)) (or (%rune= rune #/<) (%rune= rune #/&))) input

1 0

[cxml-cvs] CVS update: cxml/runes/encodings.lisp
by dlichteblau＠common-lisp.net 27 Nov '05

27 Nov '05

Update of /project/cxml/cvsroot/cxml/runes In directory common-lisp.net:/tmp/cvs-serv8375/runes Modified Files: encodings.lisp Log Message: Hmm. Auf U+ffff und dergleichen wurde durch data-rune-p geprueft, das aber eben nicht ueberall benutzt wurde. Ich habe die Pruefung jetzt mal direkt im Decoding eingebaut. -xmltest/not-wf/sa/171.xml [not validating:] FAILED: - well-formedness violation not detected -[ - Character FFFF is not legal anywhere in an XML document. ] Date: Sun Nov 27 19:20:10 2005 Author: dlichteblau Index: cxml/runes/encodings.lisp diff -u cxml/runes/encodings.lisp:1.3 cxml/runes/encodings.lisp:1.4 --- cxml/runes/encodings.lisp:1.3 Sun Nov 27 18:34:23 2005 +++ cxml/runes/encodings.lisp Sun Nov 27 19:20:10 2005 @@ -123,7 +123,10 @@ ;; FIXME: Wenn wir hier ein Surrogate sehen, muessen wir das naechste ;; Zeichen abwarten und nachgucken, dass nicht etwa die andere ;; Haelfte fehlt! - (setf (aref out wptr) (logior (ash hi 8) lo)) + (let ((x (logior (ash hi 8) lo))) + (when (or (eql x #xFFFE) (eql x #/U+FFFF)) + (xerror "not a valid code point: #x~X" x)) + (setf (aref out wptr) x)) (setf wptr (%+ 1 wptr)))) (values wptr rptr))) @@ -143,7 +146,10 @@ ;; FIXME: Wenn wir hier ein Surrogate sehen, muessen wir das naechste ;; Zeichen abwarten und nachgucken, dass nicht etwa die andere ;; Haelfte fehlt! - (setf (aref out wptr) (logior (ash hi 8) lo)) + (let ((x (logior (ash hi 8) lo))) + (when (or (eql x #xFFFE) (eql x #/U+FFFF)) + (xerror "not a valid code point: #x~X" x)) + (setf (aref out wptr) x)) (setf wptr (%+ 1 wptr)))) (values wptr rptr))) @@ -161,7 +167,9 @@ (when (or (<= #xD800 x #xDBFF) (<= #xDC00 x #xDFFF)) (xerror "surrogate encoded in UTF-8: #x~X." x)) - (cond ((%> x #x10FFFF) + (cond ((or (%> x #x10FFFF) + (eql x #xFFFE) + (eql x #/U+FFFF)) (xerror "not a valid code point: #x~X" x)) ((%> x #xFFFF) (setf (aref out (%+ 0 wptr)) (%+ #xD7C0 (ash x -10))

1 0

[cxml-cvs] CVS update: cxml/XMLCONF
by dlichteblau＠common-lisp.net 27 Nov '05

27 Nov '05

Update of /project/cxml/cvsroot/cxml In directory common-lisp.net:/tmp/cvs-serv8375 Modified Files: XMLCONF Log Message: Hmm. Auf U+ffff und dergleichen wurde durch data-rune-p geprueft, das aber eben nicht ueberall benutzt wurde. Ich habe die Pruefung jetzt mal direkt im Decoding eingebaut. -xmltest/not-wf/sa/171.xml [not validating:] FAILED: - well-formedness violation not detected -[ - Character FFFF is not legal anywhere in an XML document. ] Date: Sun Nov 27 19:20:09 2005 Author: dlichteblau Index: cxml/XMLCONF diff -u cxml/XMLCONF:1.31 cxml/XMLCONF:1.32 --- cxml/XMLCONF:1.31 Sun Nov 27 18:34:22 2005 +++ cxml/XMLCONF Sun Nov 27 19:20:08 2005 @@ -168,10 +168,7 @@ xmltest/not-wf/sa/168.xml [not validating:] not-wf [validating:] invalid xmltest/not-wf/sa/169.xml [not validating:] not-wf [validating:] invalid xmltest/not-wf/sa/170.xml [not validating:] not-wf [validating:] invalid -xmltest/not-wf/sa/171.xml [not validating:] FAILED: - well-formedness violation not detected -[ - Character FFFF is not legal anywhere in an XML document. ] +xmltest/not-wf/sa/171.xml [not validating:] not-wf [validating:] not-wf xmltest/not-wf/sa/172.xml [not validating:] not-wf [validating:] not-wf xmltest/not-wf/sa/173.xml [not validating:] not-wf [validating:] not-wf xmltest/not-wf/sa/174.xml [not validating:] not-wf [validating:] invalid @@ -1856,4 +1853,4 @@ ibm/valid/P87/ibm87v01.xml [not validating:] input [validating:] input ibm/valid/P88/ibm88v01.xml [not validating:] input [validating:] input ibm/valid/P89/ibm89v01.xml [not validating:] input [validating:] input -14/1786 tests failed; 376 tests were skipped \ No newline at end of file +13/1786 tests failed; 376 tests were skipped \ No newline at end of file

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

cxml-cvs November 2005