Skip to main content

libxml_rs/xml/xpath/
functions.rs

1//! XPath 1.0 Core Function Library (§25).
2//!
3//! Implements all XPath 1.0 core functions as specified in §4 of the
4//! XPath 1.0 Recommendation.
5//!
6//! # UPSTREAM-PARITY
7//!
8//! All functions follow the XPath 1.0 specification and libxml2
9//! observable behavior, including edge cases and historical quirks.
10//!
11//! # Courts
12//!
13//! XPATH-FUNCTIONS-*
14//!
15//! # Upstream contract
16//!
17//! Mirrors the core-function library of upstream `xpath.c`
18//! (`SRC-LIBXML2-2.15.0-XPATH-C`, parity target libxml2 2.15.3 oracle):
19//! the 25 XPath 1.0 §4 functions (node-set, string, boolean, number
20//! groups) with libxml2 observable edge cases.
21//!
22//! # Conceptual behavior
23//!
24//! Implements each function over already-evaluated `XPathValue` arguments
25//! with the upstream argument-count and coercion behavior: node-set
26//! functions (last, position, count, id, local-name, namespace-uri, name),
27//! string functions (string, concat, starts-with, substring, translate,
28//! ...), boolean functions and number functions (number, sum, floor,
29//! ceiling, round). number()/string() route through the R-000166 number
30//! formatter (1e9/1e-5 scientific threshold, DBL_DIG=15 fraction digits).
31//!
32//! # Ownership & safety invariants
33//!
34//! Functions return owned `XPathValue`s; node-set arguments are borrowed
35//! views over the tree (valid for the call). No function stores or caches
36//! argument pointers — values are copied at the boundary, so the registry
37//! is safe to share.
38//!
39//! # Historical quirks & epochs
40//!
41//! R-000114 (attribute string-value must be the attribute content, not
42//! empty) and R-000166 (full double-precision value-of printing) were
43//! fixed against the 2.15.3 oracle; the number() corpus (967/967 cases)
44//! locks the formatting epoch. The E-008 stable libxslt epoch means any
45//! function-level divergence is a candidate bug, not an epoch difference.
46//!
47//! # Deliberate oddities
48//!
49//! round()/floor()/ceiling() reproduce libxml2 IEEE-754 handling
50//! (including negative zero and NaN propagation) rather than Rust
51//! rounding helpers, which differ on ties and sign.
52//!
53//! # Proving courts
54//!
55//! XPATH-FUNCTIONS-* differential probes and the 967/967 number() corpus
56//! compare results byte-identical against the oracle; the XSLT courts
57//! (CLI-XSLTPROC-0014/0015/0017) exercise value-of/format-number through
58//! these functions.
59//!
60//! # Tempting simplifications that would break parity
61//!
62//! Do not delegate number formatting to Rust float formatting: the
63//! scientific threshold, digit counts and exponent padding are
64//! oracle-observable (R-000166). Do not coerce arguments more eagerly
65//! than upstream (e.g. empty node-sets to string) — R-000114 proved the
66//! string-value rules are observable.
67
68use crate::xml::xpath::context::XPathContext;
69use crate::xml::xpath::types::{node_string_value, string_to_number, NodeSet, XPathValue};
70use std::collections::HashMap;
71
72/// Type alias for XPath functions.
73///
74/// Functions receive already-evaluated arguments as `XPathValue` slices.
75pub type XPathFunction = fn(&mut XPathContext, &[XPathValue]) -> Result<XPathValue, String>;
76
77/// Get all registered XPath core functions.
78pub fn core_functions() -> HashMap<String, XPathFunction> {
79    let mut funcs: HashMap<String, XPathFunction> = HashMap::new();
80
81    // Node set functions (§4.1)
82    funcs.insert("last".into(), fn_last);
83    funcs.insert("position".into(), fn_position);
84    funcs.insert("count".into(), fn_count);
85    funcs.insert("id".into(), fn_id);
86    funcs.insert("local-name".into(), fn_local_name);
87    funcs.insert("namespace-uri".into(), fn_namespace_uri);
88    funcs.insert("name".into(), fn_name);
89
90    // String functions (§4.2)
91    funcs.insert("string".into(), fn_string);
92    funcs.insert("concat".into(), fn_concat);
93    funcs.insert("starts-with".into(), fn_starts_with);
94    funcs.insert("contains".into(), fn_contains);
95    funcs.insert("substring-before".into(), fn_substring_before);
96    funcs.insert("substring-after".into(), fn_substring_after);
97    funcs.insert("substring".into(), fn_substring);
98    funcs.insert("string-length".into(), fn_string_length);
99    funcs.insert("normalize-space".into(), fn_normalize_space);
100    funcs.insert("translate".into(), fn_translate);
101
102    // Boolean functions (§4.3)
103    funcs.insert("boolean".into(), fn_boolean);
104    funcs.insert("not".into(), fn_not);
105    funcs.insert("true".into(), fn_true);
106    funcs.insert("false".into(), fn_false);
107    funcs.insert("lang".into(), fn_lang);
108
109    // Number functions (§4.4)
110    funcs.insert("number".into(), fn_number);
111    funcs.insert("sum".into(), fn_sum);
112    funcs.insert("floor".into(), fn_floor);
113    funcs.insert("ceiling".into(), fn_ceiling);
114    funcs.insert("round".into(), fn_round);
115
116    funcs
117}
118
119// ═══════════════════════════════════════════════════════════════════════════════
120// Helper: extract typed arguments
121// ═══════════════════════════════════════════════════════════════════════════════
122
123fn get_string_arg(args: &[XPathValue], index: usize) -> String {
124    if index < args.len() {
125        args[index].as_string()
126    } else {
127        String::new()
128    }
129}
130
131fn get_number_arg(args: &[XPathValue], index: usize) -> f64 {
132    if index < args.len() {
133        args[index].as_number()
134    } else {
135        f64::NAN
136    }
137}
138
139fn get_boolean_arg(args: &[XPathValue], index: usize) -> bool {
140    if index < args.len() {
141        args[index].as_boolean()
142    } else {
143        false
144    }
145}
146
147fn get_node_set_arg(args: &[XPathValue], index: usize) -> NodeSet {
148    if index < args.len() {
149        match &args[index] {
150            XPathValue::NodeSet(ns) => ns.clone(),
151            _ => NodeSet::new(),
152        }
153    } else {
154        NodeSet::new()
155    }
156}
157
158fn get_first_node(
159    ctx: &XPathContext,
160    args: &[XPathValue],
161    index: usize,
162) -> Option<*mut crate::abi::structs::_xmlNode> {
163    if index < args.len() {
164        match &args[index] {
165            XPathValue::NodeSet(ns) => ns.first(),
166            _ => None,
167        }
168    } else {
169        // Default to context node
170        Some(ctx.context_node)
171    }
172}
173
174// ═══════════════════════════════════════════════════════════════════════════════
175// Node Set Functions (§4.1)
176// ═══════════════════════════════════════════════════════════════════════════════
177
178/// last() — context size.
179const fn fn_last(ctx: &mut XPathContext, _args: &[XPathValue]) -> Result<XPathValue, String> {
180    Ok(XPathValue::Number(ctx.last() as f64))
181}
182
183/// position() — context position.
184const fn fn_position(ctx: &mut XPathContext, _args: &[XPathValue]) -> Result<XPathValue, String> {
185    Ok(XPathValue::Number(ctx.position() as f64))
186}
187
188/// count(node-set) — number of nodes in node-set.
189fn fn_count(_ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
190    let ns = get_node_set_arg(args, 0);
191    Ok(XPathValue::Number(ns.len() as f64))
192}
193
194/// id(object) — select elements by ID.
195const fn fn_id(_ctx: &mut XPathContext, _args: &[XPathValue]) -> Result<XPathValue, String> {
196    // id() is complex: requires DTD validation to know which attributes are ID.
197    // For now, return empty node-set.
198    Ok(XPathValue::NodeSet(NodeSet::new()))
199}
200
201/// local-name(node-set?) — local part of name.
202fn fn_local_name(ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
203    let node = get_first_node(ctx, args, 0);
204    if let Some(node) = node {
205        unsafe {
206            let name = crate::xml::string::xmlstr_to_string((*node).name);
207            // Strip prefix if present
208            if let Some(pos) = name.find(':') {
209                Ok(XPathValue::String(name[pos + 1..].to_string()))
210            } else {
211                Ok(XPathValue::String(name))
212            }
213        }
214    } else {
215        Ok(XPathValue::String(String::new()))
216    }
217}
218
219/// namespace-uri(node-set?) — namespace URI of node.
220fn fn_namespace_uri(ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
221    let node = get_first_node(ctx, args, 0);
222    if let Some(node) = node {
223        unsafe {
224            if let Some(ns) = (*node).ns.as_ref() {
225                let uri = crate::xml::string::xmlstr_to_string(ns.href);
226                Ok(XPathValue::String(uri))
227            } else {
228                Ok(XPathValue::String(String::new()))
229            }
230        }
231    } else {
232        Ok(XPathValue::String(String::new()))
233    }
234}
235
236/// name(node-set?) — QName of node.
237fn fn_name(ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
238    let node = get_first_node(ctx, args, 0);
239    if let Some(node) = node {
240        unsafe {
241            let name = crate::xml::string::xmlstr_to_string((*node).name);
242            Ok(XPathValue::String(name))
243        }
244    } else {
245        Ok(XPathValue::String(String::new()))
246    }
247}
248
249// ═══════════════════════════════════════════════════════════════════════════════
250// String Functions (§4.2)
251// ═══════════════════════════════════════════════════════════════════════════════
252
253/// string(object?) — convert to string.
254fn fn_string(ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
255    if args.is_empty() {
256        // Default: context node's string value
257        Ok(XPathValue::String(node_string_value(ctx.context_node)))
258    } else {
259        Ok(XPathValue::String(args[0].as_string()))
260    }
261}
262
263/// concat(string, string, ...) — concatenate strings.
264fn fn_concat(_ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
265    let mut result = String::new();
266    for arg in args {
267        result.push_str(&arg.as_string());
268    }
269    Ok(XPathValue::String(result))
270}
271
272/// starts-with(string1, string2) — check prefix.
273fn fn_starts_with(_ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
274    let s1 = get_string_arg(args, 0);
275    let s2 = get_string_arg(args, 1);
276    Ok(XPathValue::Boolean(s1.starts_with(&s2)))
277}
278
279/// contains(string1, string2) — check substring.
280fn fn_contains(_ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
281    let s1 = get_string_arg(args, 0);
282    let s2 = get_string_arg(args, 1);
283    Ok(XPathValue::Boolean(s1.contains(&s2)))
284}
285
286/// substring-before(string1, string2) — before first occurrence.
287fn fn_substring_before(_ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
288    let s1 = get_string_arg(args, 0);
289    let s2 = get_string_arg(args, 1);
290    if let Some(pos) = s1.find(&s2) {
291        Ok(XPathValue::String(s1[..pos].to_string()))
292    } else {
293        Ok(XPathValue::String(String::new()))
294    }
295}
296
297/// substring-after(string1, string2) — after first occurrence.
298fn fn_substring_after(_ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
299    let s1 = get_string_arg(args, 0);
300    let s2 = get_string_arg(args, 1);
301    if let Some(pos) = s1.find(&s2) {
302        Ok(XPathValue::String(s1[pos + s2.len()..].to_string()))
303    } else {
304        Ok(XPathValue::String(String::new()))
305    }
306}
307
308/// substring(string, number, number?) — substring extraction.
309///
310/// UPSTREAM-PARITY: XPath substring uses 1-based indexing with rounding.
311fn fn_substring(_ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
312    let s = get_string_arg(args, 0);
313    let start = get_number_arg(args, 1);
314    let has_length = args.len() >= 3;
315    let length = if has_length {
316        get_number_arg(args, 2)
317    } else {
318        f64::MAX
319    };
320
321    let start_rounded = start.round() as isize;
322    let length_rounded = length.round() as isize;
323
324    // XPath 1.0: 1-based indexing
325    let start_index = if start_rounded < 1 {
326        0
327    } else {
328        (start_rounded - 1) as usize
329    };
330    let length = if length_rounded < 0 {
331        0
332    } else {
333        length_rounded as usize
334    };
335
336    if start_index >= s.len() || length == 0 {
337        Ok(XPathValue::String(String::new()))
338    } else {
339        let end = std::cmp::min(start_index + length, s.len());
340        Ok(XPathValue::String(s[start_index..end].to_string()))
341    }
342}
343
344/// string-length(string?) — length of string.
345fn fn_string_length(ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
346    let s = if args.is_empty() {
347        node_string_value(ctx.context_node)
348    } else {
349        get_string_arg(args, 0)
350    };
351    Ok(XPathValue::Number(s.len() as f64))
352}
353
354/// normalize-space(string?) — normalize whitespace.
355fn fn_normalize_space(ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
356    let s = if args.is_empty() {
357        node_string_value(ctx.context_node)
358    } else {
359        get_string_arg(args, 0)
360    };
361    let normalized: Vec<&str> = s.split_whitespace().collect();
362    Ok(XPathValue::String(normalized.join(" ")))
363}
364
365/// translate(string1, string2, string3) — character translation.
366fn fn_translate(_ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
367    let s = get_string_arg(args, 0);
368    let from = get_string_arg(args, 1);
369    let to = get_string_arg(args, 2);
370
371    let result: String = s
372        .chars()
373        .map(|c| {
374            if let Some(pos) = from.find(c) {
375                if pos < to.len() {
376                    to.chars().nth(pos).unwrap_or(c)
377                } else {
378                    '\0' // Remove character
379                }
380            } else {
381                c
382            }
383        })
384        .filter(|&c| c != '\0')
385        .collect();
386
387    Ok(XPathValue::String(result))
388}
389
390// ═══════════════════════════════════════════════════════════════════════════════
391// Boolean Functions (§4.3)
392// ═══════════════════════════════════════════════════════════════════════════════
393
394/// boolean(object) — convert to boolean.
395fn fn_boolean(_ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
396    Ok(XPathValue::Boolean(get_boolean_arg(args, 0)))
397}
398
399/// not(boolean) — logical NOT.
400fn fn_not(_ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
401    Ok(XPathValue::Boolean(!get_boolean_arg(args, 0)))
402}
403
404/// true() — constant true.
405const fn fn_true(_ctx: &mut XPathContext, _args: &[XPathValue]) -> Result<XPathValue, String> {
406    Ok(XPathValue::Boolean(true))
407}
408
409/// false() — constant false.
410const fn fn_false(_ctx: &mut XPathContext, _args: &[XPathValue]) -> Result<XPathValue, String> {
411    Ok(XPathValue::Boolean(false))
412}
413
414/// lang(string) — language test.
415fn fn_lang(ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
416    let lang = get_string_arg(args, 0);
417    let mut node = ctx.context_node;
418    unsafe {
419        while !node.is_null() {
420            let mut prop = (*node).properties;
421            while !prop.is_null() {
422                let attr_name = crate::xml::string::xmlstr_to_string((*prop).name);
423                if attr_name == "lang" || attr_name == "xml:lang" {
424                    // Attribute value is stored in children (text node's content)
425                    if !(*prop).children.is_null() {
426                        let attr_val =
427                            crate::xml::string::xmlstr_to_string((*(*prop).children).content);
428                        if attr_val.to_lowercase() == lang.to_lowercase()
429                            || attr_val
430                                .to_lowercase()
431                                .starts_with(&format!("{}-", lang.to_lowercase()))
432                        {
433                            return Ok(XPathValue::Boolean(true));
434                        }
435                    }
436                }
437                prop = (*prop).next;
438            }
439            node = (*node).parent;
440        }
441    }
442    Ok(XPathValue::Boolean(false))
443}
444
445// ═══════════════════════════════════════════════════════════════════════════════
446// Number Functions (§4.4)
447// ═══════════════════════════════════════════════════════════════════════════════
448
449/// number(object?) — convert to number.
450fn fn_number(ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
451    if args.is_empty() {
452        Ok(XPathValue::Number(string_to_number(&node_string_value(
453            ctx.context_node,
454        ))))
455    } else {
456        Ok(XPathValue::Number(get_number_arg(args, 0)))
457    }
458}
459
460/// sum(node-set) — sum of string->number conversions.
461fn fn_sum(_ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
462    let ns = get_node_set_arg(args, 0);
463    let mut total = 0.0;
464    for node in ns.iter() {
465        let s = node_string_value(node);
466        total += string_to_number(&s);
467    }
468    Ok(XPathValue::Number(total))
469}
470
471/// floor(number) — largest integer <= value.
472fn fn_floor(_ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
473    let n = get_number_arg(args, 0);
474    Ok(XPathValue::Number(n.floor()))
475}
476
477/// ceiling(number) — smallest integer >= value.
478fn fn_ceiling(_ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
479    let n = get_number_arg(args, 0);
480    Ok(XPathValue::Number(n.ceil()))
481}
482
483/// round(number) — round to nearest integer.
484///
485/// UPSTREAM-PARITY: XPath 1.0 rounds towards positive infinity for .5 cases.
486/// Rust's f64::round() rounds half away from zero, which differs for negative .5 values.
487/// See XPath 1.0 §4.4.
488fn fn_round(_ctx: &mut XPathContext, args: &[XPathValue]) -> Result<XPathValue, String> {
489    let n = get_number_arg(args, 0);
490    if n.is_nan() || n.is_infinite() || n == 0.0 {
491        return Ok(XPathValue::Number(n));
492    }
493    // Rust's f64::round() uses "round half away from zero"
494    // XPath 1.0 uses "round half towards positive infinity"
495    // These differ for negative numbers with .5 fractional part
496    let rust_rounded = n.round();
497    let result = if n.is_sign_negative() && (n - rust_rounded).abs() == 0.5 {
498        // XPath: move towards positive infinity (i.e., add 1.0 to the Rust result)
499        rust_rounded + 1.0
500    } else {
501        rust_rounded
502    };
503    Ok(XPathValue::Number(result))
504}
505
506// ═══════════════════════════════════════════════════════════════════════════════
507// Tests
508// ═══════════════════════════════════════════════════════════════════════════════
509
510#[cfg(test)]
511mod tests {
512    use super::*;
513
514    #[test]
515    fn test_true_false() {
516        let mut ctx = XPathContext::new(std::ptr::null_mut());
517        assert!(fn_true(&mut ctx, &[]).unwrap().as_boolean());
518        assert!(!fn_false(&mut ctx, &[]).unwrap().as_boolean());
519    }
520
521    #[test]
522    fn test_boolean_conversion() {
523        let mut ctx = XPathContext::new(std::ptr::null_mut());
524        assert!(fn_boolean(&mut ctx, &[XPathValue::Boolean(true)])
525            .unwrap()
526            .as_boolean());
527        assert!(!fn_boolean(&mut ctx, &[XPathValue::Boolean(false)])
528            .unwrap()
529            .as_boolean());
530    }
531
532    #[test]
533    fn test_not() {
534        let mut ctx = XPathContext::new(std::ptr::null_mut());
535        assert!(!fn_not(&mut ctx, &[XPathValue::Boolean(true)])
536            .unwrap()
537            .as_boolean());
538        assert!(fn_not(&mut ctx, &[XPathValue::Boolean(false)])
539            .unwrap()
540            .as_boolean());
541    }
542
543    #[test]
544    fn test_number_round() {
545        let mut ctx = XPathContext::new(std::ptr::null_mut());
546        assert_eq!(
547            fn_floor(&mut ctx, &[XPathValue::Number(3.7)])
548                .unwrap()
549                .as_number(),
550            3.0
551        );
552        assert_eq!(
553            fn_ceiling(&mut ctx, &[XPathValue::Number(3.2)])
554                .unwrap()
555                .as_number(),
556            4.0
557        );
558        assert_eq!(
559            fn_round(&mut ctx, &[XPathValue::Number(3.5)])
560                .unwrap()
561                .as_number(),
562            4.0
563        );
564        assert_eq!(
565            fn_round(&mut ctx, &[XPathValue::Number(-3.5)])
566                .unwrap()
567                .as_number(),
568            -3.0
569        );
570    }
571
572    #[test]
573    fn test_string_functions() {
574        let mut ctx = XPathContext::new(std::ptr::null_mut());
575        assert_eq!(
576            fn_concat(
577                &mut ctx,
578                &[
579                    XPathValue::String("a".into()),
580                    XPathValue::String("b".into()),
581                    XPathValue::String("c".into())
582                ]
583            )
584            .unwrap()
585            .as_string(),
586            "abc"
587        );
588        assert!(fn_starts_with(
589            &mut ctx,
590            &[
591                XPathValue::String("hello".into()),
592                XPathValue::String("he".into())
593            ]
594        )
595        .unwrap()
596        .as_boolean());
597        assert!(!fn_starts_with(
598            &mut ctx,
599            &[
600                XPathValue::String("hello".into()),
601                XPathValue::String("x".into())
602            ]
603        )
604        .unwrap()
605        .as_boolean());
606        assert!(fn_contains(
607            &mut ctx,
608            &[
609                XPathValue::String("hello".into()),
610                XPathValue::String("ell".into())
611            ]
612        )
613        .unwrap()
614        .as_boolean());
615        assert_eq!(
616            fn_string_length(&mut ctx, &[XPathValue::String("hello".into())])
617                .unwrap()
618                .as_number(),
619            5.0
620        );
621    }
622
623    #[test]
624    fn test_core_functions_registered() {
625        let funcs = core_functions();
626        assert!(funcs.contains_key("last"));
627        assert!(funcs.contains_key("position"));
628        assert!(funcs.contains_key("count"));
629        assert!(funcs.contains_key("string"));
630        assert!(funcs.contains_key("concat"));
631        assert!(funcs.contains_key("boolean"));
632        assert!(funcs.contains_key("not"));
633        assert!(funcs.contains_key("number"));
634        assert!(funcs.contains_key("sum"));
635        assert!(funcs.contains_key("floor"));
636        assert!(funcs.contains_key("ceiling"));
637        assert!(funcs.contains_key("round"));
638        assert!(funcs.contains_key("name"));
639        assert!(funcs.contains_key("local-name"));
640        assert_eq!(funcs.len(), 27);
641        assert!(funcs.contains_key("namespace-uri"));
642    }
643}