elisp updates
[bpt/guile.git] / module / sxml / xpath.scm
1 ;;;; (sxml xpath) -- SXPath
2 ;;;;
3 ;;;; Copyright (C) 2009 Free Software Foundation, Inc.
4 ;;;; Modified 2004 by Andy Wingo <wingo at pobox dot com>.
5 ;;;; Written 2001 by Oleg Kiselyov <oleg at pobox dot com> SXPath.scm.
6 ;;;;
7 ;;;; This library is free software; you can redistribute it and/or
8 ;;;; modify it under the terms of the GNU Lesser General Public
9 ;;;; License as published by the Free Software Foundation; either
10 ;;;; version 3 of the License, or (at your option) any later version.
11 ;;;;
12 ;;;; This library is distributed in the hope that it will be useful,
13 ;;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
14 ;;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 ;;;; Lesser General Public License for more details.
16 ;;;;
17 ;;;; You should have received a copy of the GNU Lesser General Public
18 ;;;; License along with this library; if not, write to the Free Software
19 ;;;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
20 ;;;;
21 \f
22 ;;; Commentary:
23 ;;
24 ;;@heading SXPath: SXML Query Language
25 ;;
26 ;; SXPath is a query language for SXML, an instance of XML Information
27 ;; set (Infoset) in the form of s-expressions. See @code{(sxml ssax)}
28 ;; for the definition of SXML and more details. SXPath is also a
29 ;; translation into Scheme of an XML Path Language,
30 ;; @uref{http://www.w3.org/TR/xpath,XPath}. XPath and SXPath describe
31 ;; means of selecting a set of Infoset's items or their properties.
32 ;;
33 ;; To facilitate queries, XPath maps the XML Infoset into an explicit
34 ;; tree, and introduces important notions of a location path and a
35 ;; current, context node. A location path denotes a selection of a set of
36 ;; nodes relative to a context node. Any XPath tree has a distinguished,
37 ;; root node -- which serves as the context node for absolute location
38 ;; paths. Location path is recursively defined as a location step joined
39 ;; with a location path. A location step is a simple query of the
40 ;; database relative to a context node. A step may include expressions
41 ;; that further filter the selected set. Each node in the resulting set
42 ;; is used as a context node for the adjoining location path. The result
43 ;; of the step is a union of the sets returned by the latter location
44 ;; paths.
45 ;;
46 ;; The SXML representation of the XML Infoset (see SSAX.scm) is rather
47 ;; suitable for querying as it is. Bowing to the XPath specification,
48 ;; we will refer to SXML information items as 'Nodes':
49 ;;@example
50 ;; <Node> ::= <Element> | <attributes-coll> | <attrib>
51 ;; | "text string" | <PI>
52 ;;@end example
53 ;; This production can also be described as
54 ;;@example
55 ;; <Node> ::= (name . <Nodeset>) | "text string"
56 ;;@end example
57 ;; An (ordered) set of nodes is just a list of the constituent nodes:
58 ;;@example
59 ;; <Nodeset> ::= (<Node> ...)
60 ;;@end example
61 ;; Nodesets, and Nodes other than text strings are both lists. A
62 ;; <Nodeset> however is either an empty list, or a list whose head is not
63 ;; a symbol. A symbol at the head of a node is either an XML name (in
64 ;; which case it's a tag of an XML element), or an administrative name
65 ;; such as '@@'. This uniform list representation makes processing rather
66 ;; simple and elegant, while avoiding confusion. The multi-branch tree
67 ;; structure formed by the mutually-recursive datatypes <Node> and
68 ;; <Nodeset> lends itself well to processing by functional languages.
69 ;;
70 ;; A location path is in fact a composite query over an XPath tree or
71 ;; its branch. A singe step is a combination of a projection, selection
72 ;; or a transitive closure. Multiple steps are combined via join and
73 ;; union operations. This insight allows us to @emph{elegantly}
74 ;; implement XPath as a sequence of projection and filtering primitives
75 ;; -- converters -- joined by @dfn{combinators}. Each converter takes a
76 ;; node and returns a nodeset which is the result of the corresponding
77 ;; query relative to that node. A converter can also be called on a set
78 ;; of nodes. In that case it returns a union of the corresponding
79 ;; queries over each node in the set. The union is easily implemented as
80 ;; a list append operation as all nodes in a SXML tree are considered
81 ;; distinct, by XPath conventions. We also preserve the order of the
82 ;; members in the union. Query combinators are high-order functions:
83 ;; they take converter(s) (which is a Node|Nodeset -> Nodeset function)
84 ;; and compose or otherwise combine them. We will be concerned with only
85 ;; relative location paths [XPath]: an absolute location path is a
86 ;; relative path applied to the root node.
87 ;;
88 ;; Similarly to XPath, SXPath defines full and abbreviated notations
89 ;; for location paths. In both cases, the abbreviated notation can be
90 ;; mechanically expanded into the full form by simple rewriting
91 ;; rules. In case of SXPath the corresponding rules are given as
92 ;; comments to a sxpath function, below. The regression test suite at
93 ;; the end of this file shows a representative sample of SXPaths in
94 ;; both notations, juxtaposed with the corresponding XPath
95 ;; expressions. Most of the samples are borrowed literally from the
96 ;; XPath specification, while the others are adjusted for our running
97 ;; example, tree1.
98 ;;
99 ;;; Code:
100
101 (define-module (sxml xpath)
102 #:use-module (ice-9 pretty-print)
103 #:export (nodeset? node-typeof? node-eq? node-equal? node-pos
104 filter take-until take-after map-union node-reverse
105 node-trace select-kids node-self node-join node-reduce
106 node-or node-closure node-parent
107 sxpath))
108
109 ;; Upstream version:
110 ; $Id: SXPath.scm,v 3.5 2001/01/12 23:20:35 oleg Exp oleg $
111
112 (define (nodeset? x)
113 (or (and (pair? x) (not (symbol? (car x)))) (null? x)))
114
115 ;-------------------------
116 ; Basic converters and applicators
117 ; A converter is a function
118 ; type Converter = Node|Nodeset -> Nodeset
119 ; A converter can also play a role of a predicate: in that case, if a
120 ; converter, applied to a node or a nodeset, yields a non-empty
121 ; nodeset, the converter-predicate is deemed satisfied. Throughout
122 ; this file a nil nodeset is equivalent to #f in denoting a failure.
123
124 ; The following function implements a 'Node test' as defined in
125 ; Sec. 2.3 of XPath document. A node test is one of the components of a
126 ; location step. It is also a converter-predicate in SXPath.
127 ;
128 ; The function node-typeof? takes a type criterion and returns a function,
129 ; which, when applied to a node, will tell if the node satisfies
130 ; the test.
131 ; node-typeof? :: Crit -> Node -> Boolean
132 ;
133 ; The criterion 'crit' is a symbol, one of the following:
134 ; id - tests if the Node has the right name (id)
135 ; @ - tests if the Node is an <attributes-coll>
136 ; * - tests if the Node is an <Element>
137 ; *text* - tests if the Node is a text node
138 ; *PI* - tests if the Node is a PI node
139 ; *any* - #t for any type of Node
140
141 (define (node-typeof? crit)
142 (lambda (node)
143 (case crit
144 ((*) (and (pair? node) (not (memq (car node) '(@ *PI*)))))
145 ((*any*) #t)
146 ((*text*) (string? node))
147 (else
148 (and (pair? node) (eq? crit (car node))))
149 )))
150
151
152 ; Curried equivalence converter-predicates
153 (define (node-eq? other)
154 (lambda (node)
155 (eq? other node)))
156
157 (define (node-equal? other)
158 (lambda (node)
159 (equal? other node)))
160
161 ; node-pos:: N -> Nodeset -> Nodeset, or
162 ; node-pos:: N -> Converter
163 ; Select the N'th element of a Nodeset and return as a singular Nodeset;
164 ; Return an empty nodeset if the Nth element does not exist.
165 ; ((node-pos 1) Nodeset) selects the node at the head of the Nodeset,
166 ; if exists; ((node-pos 2) Nodeset) selects the Node after that, if
167 ; exists.
168 ; N can also be a negative number: in that case the node is picked from
169 ; the tail of the list.
170 ; ((node-pos -1) Nodeset) selects the last node of a non-empty nodeset;
171 ; ((node-pos -2) Nodeset) selects the last but one node, if exists.
172
173 (define (node-pos n)
174 (lambda (nodeset)
175 (cond
176 ((not (nodeset? nodeset)) '())
177 ((null? nodeset) nodeset)
178 ((eqv? n 1) (list (car nodeset)))
179 ((negative? n) ((node-pos (+ n 1 (length nodeset))) nodeset))
180 (else
181 (or (positive? n) (error "yikes!"))
182 ((node-pos (1- n)) (cdr nodeset))))))
183
184 ; filter:: Converter -> Converter
185 ; A filter applicator, which introduces a filtering context. The argument
186 ; converter is considered a predicate, with either #f or nil result meaning
187 ; failure.
188 (define (filter pred?)
189 (lambda (lst) ; a nodeset or a node (will be converted to a singleton nset)
190 (let loop ((lst (if (nodeset? lst) lst (list lst))) (res '()))
191 (if (null? lst)
192 (reverse res)
193 (let ((pred-result (pred? (car lst))))
194 (loop (cdr lst)
195 (if (and pred-result (not (null? pred-result)))
196 (cons (car lst) res)
197 res)))))))
198
199 ; take-until:: Converter -> Converter, or
200 ; take-until:: Pred -> Node|Nodeset -> Nodeset
201 ; Given a converter-predicate and a nodeset, apply the predicate to
202 ; each element of the nodeset, until the predicate yields anything but #f or
203 ; nil. Return the elements of the input nodeset that have been processed
204 ; till that moment (that is, which fail the predicate).
205 ; take-until is a variation of the filter above: take-until passes
206 ; elements of an ordered input set till (but not including) the first
207 ; element that satisfies the predicate.
208 ; The nodeset returned by ((take-until (not pred)) nset) is a subset --
209 ; to be more precise, a prefix -- of the nodeset returned by
210 ; ((filter pred) nset)
211
212 (define (take-until pred?)
213 (lambda (lst) ; a nodeset or a node (will be converted to a singleton nset)
214 (let loop ((lst (if (nodeset? lst) lst (list lst))))
215 (if (null? lst) lst
216 (let ((pred-result (pred? (car lst))))
217 (if (and pred-result (not (null? pred-result)))
218 '()
219 (cons (car lst) (loop (cdr lst)))))
220 ))))
221
222
223 ; take-after:: Converter -> Converter, or
224 ; take-after:: Pred -> Node|Nodeset -> Nodeset
225 ; Given a converter-predicate and a nodeset, apply the predicate to
226 ; each element of the nodeset, until the predicate yields anything but #f or
227 ; nil. Return the elements of the input nodeset that have not been processed:
228 ; that is, return the elements of the input nodeset that follow the first
229 ; element that satisfied the predicate.
230 ; take-after along with take-until partition an input nodeset into three
231 ; parts: the first element that satisfies a predicate, all preceding
232 ; elements and all following elements.
233
234 (define (take-after pred?)
235 (lambda (lst) ; a nodeset or a node (will be converted to a singleton nset)
236 (let loop ((lst (if (nodeset? lst) lst (list lst))))
237 (if (null? lst) lst
238 (let ((pred-result (pred? (car lst))))
239 (if (and pred-result (not (null? pred-result)))
240 (cdr lst)
241 (loop (cdr lst))))
242 ))))
243
244 ; Apply proc to each element of lst and return the list of results.
245 ; if proc returns a nodeset, splice it into the result
246 ;
247 ; From another point of view, map-union is a function Converter->Converter,
248 ; which places an argument-converter in a joining context.
249
250 (define (map-union proc lst)
251 (if (null? lst) lst
252 (let ((proc-res (proc (car lst))))
253 ((if (nodeset? proc-res) append cons)
254 proc-res (map-union proc (cdr lst))))))
255
256 ; node-reverse :: Converter, or
257 ; node-reverse:: Node|Nodeset -> Nodeset
258 ; Reverses the order of nodes in the nodeset
259 ; This basic converter is needed to implement a reverse document order
260 ; (see the XPath Recommendation).
261 (define node-reverse
262 (lambda (node-or-nodeset)
263 (if (not (nodeset? node-or-nodeset)) (list node-or-nodeset)
264 (reverse node-or-nodeset))))
265
266 ; node-trace:: String -> Converter
267 ; (node-trace title) is an identity converter. In addition it prints out
268 ; a node or nodeset it is applied to, prefixed with the 'title'.
269 ; This converter is very useful for debugging.
270
271 (define (node-trace title)
272 (lambda (node-or-nodeset)
273 (display "\n-->")
274 (display title)
275 (display " :")
276 (pretty-print node-or-nodeset)
277 node-or-nodeset))
278
279
280 ;-------------------------
281 ; Converter combinators
282 ;
283 ; Combinators are higher-order functions that transmogrify a converter
284 ; or glue a sequence of converters into a single, non-trivial
285 ; converter. The goal is to arrive at converters that correspond to
286 ; XPath location paths.
287 ;
288 ; From a different point of view, a combinator is a fixed, named
289 ; _pattern_ of applying converters. Given below is a complete set of
290 ; such patterns that together implement XPath location path
291 ; specification. As it turns out, all these combinators can be built
292 ; from a small number of basic blocks: regular functional composition,
293 ; map-union and filter applicators, and the nodeset union.
294
295
296
297 ; select-kids:: Pred -> Node -> Nodeset
298 ; Given a Node, return an (ordered) subset its children that satisfy
299 ; the Pred (a converter, actually)
300 ; select-kids:: Pred -> Nodeset -> Nodeset
301 ; The same as above, but select among children of all the nodes in
302 ; the Nodeset
303 ;
304 ; More succinctly, the signature of this function is
305 ; select-kids:: Converter -> Converter
306
307 (define (select-kids test-pred?)
308 (lambda (node) ; node or node-set
309 (cond
310 ((null? node) node)
311 ((not (pair? node)) '()) ; No children
312 ((symbol? (car node))
313 ((filter test-pred?) (cdr node))) ; it's a single node
314 (else (map-union (select-kids test-pred?) node)))))
315
316
317 ; node-self:: Pred -> Node -> Nodeset, or
318 ; node-self:: Converter -> Converter
319 ; Similar to select-kids but apply to the Node itself rather
320 ; than to its children. The resulting Nodeset will contain either one
321 ; component, or will be empty (if the Node failed the Pred).
322 (define node-self filter)
323
324
325 ; node-join:: [LocPath] -> Node|Nodeset -> Nodeset, or
326 ; node-join:: [Converter] -> Converter
327 ; join the sequence of location steps or paths as described
328 ; in the title comments above.
329 (define (node-join . selectors)
330 (lambda (nodeset) ; Nodeset or node
331 (let loop ((nodeset nodeset) (selectors selectors))
332 (if (null? selectors) nodeset
333 (loop
334 (if (nodeset? nodeset)
335 (map-union (car selectors) nodeset)
336 ((car selectors) nodeset))
337 (cdr selectors))))))
338
339
340 ; node-reduce:: [LocPath] -> Node|Nodeset -> Nodeset, or
341 ; node-reduce:: [Converter] -> Converter
342 ; A regular functional composition of converters.
343 ; From a different point of view,
344 ; ((apply node-reduce converters) nodeset)
345 ; is equivalent to
346 ; (foldl apply nodeset converters)
347 ; i.e., folding, or reducing, a list of converters with the nodeset
348 ; as a seed.
349 (define (node-reduce . converters)
350 (lambda (nodeset) ; Nodeset or node
351 (let loop ((nodeset nodeset) (converters converters))
352 (if (null? converters) nodeset
353 (loop ((car converters) nodeset) (cdr converters))))))
354
355
356 ; node-or:: [Converter] -> Converter
357 ; This combinator applies all converters to a given node and
358 ; produces the union of their results.
359 ; This combinator corresponds to a union, '|' operation for XPath
360 ; location paths.
361 ; (define (node-or . converters)
362 ; (lambda (node-or-nodeset)
363 ; (if (null? converters) node-or-nodeset
364 ; (append
365 ; ((car converters) node-or-nodeset)
366 ; ((apply node-or (cdr converters)) node-or-nodeset)))))
367 ; More optimal implementation follows
368 (define (node-or . converters)
369 (lambda (node-or-nodeset)
370 (let loop ((result '()) (converters converters))
371 (if (null? converters) result
372 (loop (append result (or ((car converters) node-or-nodeset) '()))
373 (cdr converters))))))
374
375
376 ; node-closure:: Converter -> Converter
377 ; Select all _descendants_ of a node that satisfy a converter-predicate.
378 ; This combinator is similar to select-kids but applies to
379 ; grand... children as well.
380 ; This combinator implements the "descendant::" XPath axis
381 ; Conceptually, this combinator can be expressed as
382 ; (define (node-closure f)
383 ; (node-or
384 ; (select-kids f)
385 ; (node-reduce (select-kids (node-typeof? '*)) (node-closure f))))
386 ; This definition, as written, looks somewhat like a fixpoint, and it
387 ; will run forever. It is obvious however that sooner or later
388 ; (select-kids (node-typeof? '*)) will return an empty nodeset. At
389 ; this point further iterations will no longer affect the result and
390 ; can be stopped.
391
392 (define (node-closure test-pred?)
393 (lambda (node) ; Nodeset or node
394 (let loop ((parent node) (result '()))
395 (if (null? parent) result
396 (loop ((select-kids (node-typeof? '*)) parent)
397 (append result
398 ((select-kids test-pred?) parent)))
399 ))))
400
401 ; node-parent:: RootNode -> Converter
402 ; (node-parent rootnode) yields a converter that returns a parent of a
403 ; node it is applied to. If applied to a nodeset, it returns the list
404 ; of parents of nodes in the nodeset. The rootnode does not have
405 ; to be the root node of the whole SXML tree -- it may be a root node
406 ; of a branch of interest.
407 ; Given the notation of Philip Wadler's paper on semantics of XSLT,
408 ; parent(x) = { y | y=subnode*(root), x=subnode(y) }
409 ; Therefore, node-parent is not the fundamental converter: it can be
410 ; expressed through the existing ones. Yet node-parent is a rather
411 ; convenient converter. It corresponds to a parent:: axis of SXPath.
412 ; Note that the parent:: axis can be used with an attribute node as well!
413
414 (define (node-parent rootnode)
415 (lambda (node) ; Nodeset or node
416 (if (nodeset? node) (map-union (node-parent rootnode) node)
417 (let ((pred
418 (node-or
419 (node-reduce
420 (node-self (node-typeof? '*))
421 (select-kids (node-eq? node)))
422 (node-join
423 (select-kids (node-typeof? '@))
424 (select-kids (node-eq? node))))))
425 ((node-or
426 (node-self pred)
427 (node-closure pred))
428 rootnode)))))
429
430 ;-------------------------
431 ; Evaluate an abbreviated SXPath
432 ; sxpath:: AbbrPath -> Converter, or
433 ; sxpath:: AbbrPath -> Node|Nodeset -> Nodeset
434 ; AbbrPath is a list. It is translated to the full SXPath according
435 ; to the following rewriting rules
436 ; (sxpath '()) -> (node-join)
437 ; (sxpath '(path-component ...)) ->
438 ; (node-join (sxpath1 path-component) (sxpath '(...)))
439 ; (sxpath1 '//) -> (node-or
440 ; (node-self (node-typeof? '*any*))
441 ; (node-closure (node-typeof? '*any*)))
442 ; (sxpath1 '(equal? x)) -> (select-kids (node-equal? x))
443 ; (sxpath1 '(eq? x)) -> (select-kids (node-eq? x))
444 ; (sxpath1 ?symbol) -> (select-kids (node-typeof? ?symbol)
445 ; (sxpath1 procedure) -> procedure
446 ; (sxpath1 '(?symbol ...)) -> (sxpath1 '((?symbol) ...))
447 ; (sxpath1 '(path reducer ...)) ->
448 ; (node-reduce (sxpath path) (sxpathr reducer) ...)
449 ; (sxpathr number) -> (node-pos number)
450 ; (sxpathr path-filter) -> (filter (sxpath path-filter))
451
452 (define (sxpath path)
453 (lambda (nodeset)
454 (let loop ((nodeset nodeset) (path path))
455 (cond
456 ((null? path) nodeset)
457 ((nodeset? nodeset)
458 (map-union (sxpath path) nodeset))
459 ((procedure? (car path))
460 (loop ((car path) nodeset) (cdr path)))
461 ((eq? '// (car path))
462 (loop
463 ((if (nodeset? nodeset) append cons) nodeset
464 ((node-closure (node-typeof? '*any*)) nodeset))
465 (cdr path)))
466 ((symbol? (car path))
467 (loop ((select-kids (node-typeof? (car path))) nodeset)
468 (cdr path)))
469 ((and (pair? (car path)) (eq? 'equal? (caar path)))
470 (loop ((select-kids (apply node-equal? (cdar path))) nodeset)
471 (cdr path)))
472 ((and (pair? (car path)) (eq? 'eq? (caar path)))
473 (loop ((select-kids (apply node-eq? (cdar path))) nodeset)
474 (cdr path)))
475 ((pair? (car path))
476 (let reducer ((nodeset
477 (if (symbol? (caar path))
478 ((select-kids (node-typeof? (caar path))) nodeset)
479 (loop nodeset (caar path))))
480 (reducing-path (cdar path)))
481 (cond
482 ((null? reducing-path) (loop nodeset (cdr path)))
483 ((number? (car reducing-path))
484 (reducer ((node-pos (car reducing-path)) nodeset)
485 (cdr reducing-path)))
486 (else
487 (reducer ((filter (sxpath (car reducing-path))) nodeset)
488 (cdr reducing-path))))))
489 (else
490 (error "Invalid path step: " (car path)))))))
491
492 ;;; arch-tag: c4e57abf-6b61-4612-a6aa-d1536d440774
493 ;;; xpath.scm ends here