Re: xml-parse: file position of elements

Joseph Donaldson <[email protected]> Sun, 30 Jan 2022 02:37:02 +0000 (UTC)
Newsgroups gmane.lisp.scheme.bigloo
Message-ID <[email protected]>
------=_Part_3975050_262487198.1643510222574
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit

 Hello, Sven,
The current implementation of xml-parse does not track the file offset of the xml elements it parses. It may be possible to modify it do so. Can you elaborate a bit further on your exact use case? 

Best Regards,Joe

    On Saturday, January 29, 2022, 10:29:22 AM PST, Sven Hartrumpf <[email protected]> wrote:  
 
 Hi.

I am using bigloo's xml-parse. It is really nice (but undocumented?).
Does anybody know a way to determine the file offset of an xml element
in the result? An option would be really powerful.

Greetings
Sven
  
------=_Part_3975050_262487198.1643510222574
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 7bit

<html><head></head><body><div class="ydp3a72ac6fyahoo-style-wrap" style="font-family: Helvetica Neue, Helvetica, Arial, sans-serif; font-size: 13px;"><div></div>
        <div dir="ltr" data-setdir="false">Hello, Sven,</div><div dir="ltr" data-setdir="false"><br></div><div dir="ltr" data-setdir="false">The current implementation of xml-parse does not track the file offset of the xml elements it parses. It may be possible to modify it do so. Can you elaborate a bit further on your exact use case? <br></div><div dir="ltr" data-setdir="false"><br></div><div dir="ltr" data-setdir="false">Best Regards,</div><div dir="ltr" data-setdir="false">Joe<br></div><div><br></div>
        
        </div><div id="ydp421ec69fyahoo_quoted_3666974009" class="ydp421ec69fyahoo_quoted">
            <div style="font-family:'Helvetica Neue', Helvetica, Arial, sans-serif;font-size:13px;color:#26282a;">
                
                <div>
                    On Saturday, January 29, 2022, 10:29:22 AM PST, Sven Hartrumpf &lt;[email protected]&gt; wrote:
                </div>
                <div><br></div>
                <div><br></div>
                <div><div dir="ltr">Hi.<br></div><div dir="ltr"><br></div><div dir="ltr">I am using bigloo's xml-parse. It is really nice (but undocumented?).<br></div><div dir="ltr">Does anybody know a way to determine the file offset of an xml element<br></div><div dir="ltr">in the result? An option would be really powerful.<br></div><div dir="ltr"><br></div><div dir="ltr">Greetings<br></div><div dir="ltr">Sven<br></div></div>
            </div>
        </div></body></html>
------=_Part_3975050_262487198.1643510222574--