PureXML/Sources/XPath/AxisNavigation.swift
Mihaela Mihaljevic 720263ee58
perf(xpath): fuse the node test into the attribute traversal (#287)
The attribute axis built an XPath node for every attribute of the element
and then filtered by the step's node test. A predicate like [@name='value']
runs that per matched element, so for a wide document it wrapped many
attributes only to discard all but one, and each wrap retains the owner
element and copies the attribute's qualified name and value.

Apply the same fusion the descendant axes use: test the raw attribute during
the walk and wrap only the ones that pass. matches delegates, for an
attribute node, to a new matchesAttribute (the attribute axis always carries
the attribute principal kind, so the reduction is exact), and the attribute
walk applies it as a keep filter. The node-set, declaration order, and
uniqueness are identical to build-then-filter.

Measured xpath ~20% faster on the 20k-item generated corpus via a same-state
A/B (count unchanged at 10000); xpath is now ~2x libxml2, down from ~13x at
the start of this work. XPathFusedAttributeTests covers every node-test kind
through the fused path, and an adversarial equivalence review found no query
whose result changes. Full suite, Apache Xalan XSLT gold output, and the WASM
build stay green.
2026-06-25 07:51:29 +02:00

234 lines
10 KiB
Swift

extension PureXML.XPath {
/// Produces the nodes reachable from a context node along an axis, before any
/// node test or predicate. Forward axes come back in document order and
/// reverse axes nearest-first, so positional predicates number correctly.
enum AxisNavigation {
private static let xmlNamespaceURI = "http://www.w3.org/XML/1998/namespace"
static func nodes(on axis: Axis, from context: Node) -> [Node] {
verticalNodes(on: axis, from: context) ?? lateralNodes(on: axis, from: context)
}
/// The self, child, descendant, parent, and ancestor families; nil for an
/// axis handled by ``lateralNodes(on:from:)``.
private static func verticalNodes(on axis: Axis, from context: Node) -> [Node]? {
switch axis {
case .child: children(of: context)
case .descendant: descendants(of: context)
case .descendantOrSelf: descendantsOrSelf(of: context)
case .parent: context.parent.map { [$0] } ?? []
case .ancestor: ancestors(of: context)
case .ancestorOrSelf: [context] + ancestors(of: context)
case .selfAxis: [context]
default: nil
}
}
/// The sibling, following/preceding, attribute, and namespace axes.
private static func lateralNodes(on axis: Axis, from context: Node) -> [Node] {
switch axis {
case .followingSibling: followingSiblings(of: context)
case .precedingSibling: precedingSiblings(of: context)
case .following: following(of: context)
case .preceding: preceding(of: context)
case .attribute: attributes(of: context)
case .namespace: namespaces(of: context)
default: []
}
}
static func children(of node: Node) -> [Node] {
guard case let .tree(tree) = node else { return [] }
return tree.children.map(Node.tree)
}
static func descendants(of node: Node) -> [Node] {
guard case let .tree(tree) = node else { return [] }
var result: [Node] = []
appendDescendants(of: tree, into: &result)
return result
}
static func descendantsOrSelf(of node: Node) -> [Node] {
guard case let .tree(tree) = node else { return [node] }
var result: [Node] = [node]
appendDescendants(of: tree, into: &result)
return result
}
/// Appends every descendant of `tree` in document order through a single
/// shared accumulator. Recursing on the raw ``TreeNode`` rather than on a
/// wrapped ``Node`` means the traversal builds no intermediate per-level
/// arrays and wraps each node exactly once, when it is appended.
private static func appendDescendants(of tree: PureXML.Model.TreeNode, into result: inout [Node]) {
for child in tree.children {
result.append(.tree(child))
appendDescendants(of: child, into: &result)
}
}
/// The descendants of `tree` that satisfy `keep`, in document order. The
/// whole subtree is still traversed (every node may have matching
/// descendants), but a node `keep` rejects is never wrapped in a ``Node``,
/// so it is never retained. This fuses a step's node test into the axis
/// walk, the common case being `descendant::name` over a wide subtree
/// where most nodes do not match.
static func descendants(of tree: PureXML.Model.TreeNode, where keep: (PureXML.Model.TreeNode) -> Bool) -> [Node] {
var result: [Node] = []
appendDescendants(of: tree, where: keep, into: &result)
return result
}
/// `descendant-or-self` with a `keep` filter: the context node itself is
/// tested first, then its descendants.
static func descendantsOrSelf(of tree: PureXML.Model.TreeNode, where keep: (PureXML.Model.TreeNode) -> Bool) -> [Node] {
var result: [Node] = []
if keep(tree) { result.append(.tree(tree)) }
appendDescendants(of: tree, where: keep, into: &result)
return result
}
private static func appendDescendants(
of tree: PureXML.Model.TreeNode,
where keep: (PureXML.Model.TreeNode) -> Bool,
into result: inout [Node],
) {
for child in tree.children {
if keep(child) { result.append(.tree(child)) }
appendDescendants(of: child, where: keep, into: &result)
}
}
static func ancestors(of node: Node) -> [Node] {
var result: [Node] = []
var current = node.parent
while let ancestor = current {
result.append(ancestor)
current = ancestor.parent
}
return result
}
private static func followingSiblings(of node: Node) -> [Node] {
guard let (parent, index) = siblingPosition(of: node) else { return [] }
return parent.children[(index + 1)...].map(Node.tree)
}
private static func precedingSiblings(of node: Node) -> [Node] {
guard let (parent, index) = siblingPosition(of: node) else { return [] }
return parent.children[..<index].reversed().map(Node.tree)
}
private static func following(of node: Node) -> [Node] {
let all = documentNodes(of: node)
if let index = all.firstIndex(of: node) {
let excluded = Set(descendants(of: node))
return all[(index + 1)...].filter { !excluded.contains($0) }
}
// An attribute or namespace start: document order places it after
// its owner and before the owner's children, and it has no
// descendants, so everything after the owner follows.
guard let owner = node.parent, let index = all.firstIndex(of: owner) else { return [] }
return Array(all[(index + 1)...])
}
private static func preceding(of node: Node) -> [Node] {
let all = documentNodes(of: node)
let anchorIndex = all.firstIndex(of: node) ?? node.parent.flatMap { all.firstIndex(of: $0) }
guard let index = anchorIndex else { return [] }
let excluded = Set(ancestors(of: node))
return all[..<index].filter { !excluded.contains($0) }.reversed()
}
private static func attributes(of node: Node) -> [Node] {
guard case let .tree(tree) = node, tree.kind == .element else { return [] }
return tree.attributes
.filter { !isNamespaceDeclaration($0) }
.map { Node.attribute(owner: tree, $0) }
}
/// The attributes of `tree` that satisfy `keep`, in declaration order. An
/// attribute `keep` rejects is never wrapped in a ``Node``, so it is never
/// retained (each wrap retains the owner and copies the attribute's
/// qualified name and value). This fuses a step's node test into the
/// attribute walk, the common case being `@name` selecting one of several
/// attributes (as in a `[@x='y']` predicate).
static func attributes(of tree: PureXML.Model.TreeNode, where keep: (PureXML.Model.Attribute) -> Bool) -> [Node] {
guard tree.kind == .element else { return [] }
var result: [Node] = []
for attribute in tree.attributes where !isNamespaceDeclaration(attribute) && keep(attribute) {
result.append(.attribute(owner: tree, attribute))
}
return result
}
private static func namespaces(of node: Node) -> [Node] {
guard case let .tree(tree) = node, tree.kind == .element else { return [] }
var bindings: [String: String] = ["xml": xmlNamespaceURI]
var current: PureXML.Model.TreeNode? = tree
while let element = current {
if element.kind == .element {
collectBindings(from: element, into: &bindings)
}
current = element.parent
}
return bindings.compactMap { prefix, uri in
uri.isEmpty ? nil : Node.namespace(owner: tree, prefix: prefix, uri: uri)
}
}
private static func collectBindings(
from element: PureXML.Model.TreeNode,
into bindings: inout [String: String],
) {
for attribute in element.attributes {
let name = attribute.name
if name.prefix == nil, name.localName == "xmlns" {
if bindings[""] == nil { bindings[""] = attribute.value }
} else if name.prefix == "xmlns", bindings[name.localName] == nil {
bindings[name.localName] = attribute.value
}
}
}
private static func isNamespaceDeclaration(_ attribute: PureXML.Model.Attribute) -> Bool {
let name = attribute.name
return name.prefix == "xmlns" || (name.prefix == nil && name.localName == "xmlns")
}
private static func siblingPosition(of node: Node) -> (PureXML.Model.TreeNode, Int)? {
guard case let .tree(tree) = node, let parent = tree.parent else { return nil }
guard let index = parent.children.firstIndex(where: { $0 === tree }) else { return nil }
return (parent, index)
}
/// Every tree node of the containing document, in document order. Used to
/// derive the following and preceding axes by position.
private static func documentNodes(of node: Node) -> [Node] {
guard let root = rootTree(of: node) else { return [] }
var result: [Node] = []
appendSubtree(root, into: &result)
return result
}
private static func appendSubtree(_ tree: PureXML.Model.TreeNode, into result: inout [Node]) {
result.append(.tree(tree))
for child in tree.children {
appendSubtree(child, into: &result)
}
}
private static func rootTree(of node: Node) -> PureXML.Model.TreeNode? {
let start: PureXML.Model.TreeNode? = switch node {
case let .tree(tree): tree
case let .attribute(owner, _), let .namespace(owner, _, _): owner
}
guard var current = start else { return nil }
while let parent = current.parent {
current = parent
}
return current
}
}
}