It can’t be ends-with() because there might be a fragment identifier in the @href value.

Cheers,

_____________________________________________

Eliot Kimber

Sr Staff Content Engineer

O: 512 554 9368

M: 512 554 9368

From: Liam R. E. Quin <liam@fromoldbooks.org>
Date: Friday, January 14, 2022 at 10:14 AM
To: Eliot Kimber <eliot.kimber@servicenow.com>, basex-talk@mailman.uni-konstanz.de <basex-talk@mailman.uni-konstanz.de>
Subject: Re: [basex-talk] Where-Used: Performance Improvement Strategies?

[External Email]

On Fri, 2022-01-14 at 15:41 +0000, Eliot Kimber wrote:
>
>
> $topics//*[tokenize(@href, '/') = $filename]

Is this really, ends-with(@href, $filename) ?

--
Liam Quin, https://urldefense.com/v3/__https://www.delightfulcomputing.com/__;!!N4vogdjhuJM!SWefjHp1QDMTJfLSIZHicmuDUqM7GEX7HxoJl5vbZh51kMnsyOQqlLyOsrfYiZJp42uOnw$
Available for XML/Document/Information Architecture/XSLT/
XSL/XQuery/Web/Text Processing/A11Y training, work & consulting.
Barefoot Web-slave, antique illustrations: https://urldefense.com/v3/__http://www.fromoldbooks.org__;!!N4vogdjhuJM!SWefjHp1QDMTJfLSIZHicmuDUqM7GEX7HxoJl5vbZh51kMnsyOQqlLyOsrfYiZJv_3YRMg$