Lazy Module - Revision history

CG: Text replacement - "" to ""

2023-12-01T16:33:59Z

Text replacement - "</syntaxhighlight>" to "</pre>"

CG: Text replacement - "" to "

2023-12-01T16:30:36Z

Text replacement - "<syntaxhighlight lang="xquery">" to "<pre lang='xquery'>"

2023-03-09T15:14:06Z

2023-03-09T13:59:10Z

2023-03-09T13:03:57Z

Text replacement - "'''Signatures'''" to "'''Signature'''"

2023-03-09T11:06:46Z

2023-03-09T08:18:13Z

Text replacement - "<br />" to "<br/>"

2023-01-30T19:01:32Z

2023-01-30T18:59:50Z

2022-07-20T16:46:05Z

@@ Line 26: / Line 26: @@
 <pre lang='xquery'>
 file:write-binary('output.data', fetch:binary('http://files.basex.org/xml/xmark111mb.zip'))
-</syntaxhighlight>
+</pre>
 If lazy items are serialized, they will be streamed as well.
@@ Line 59: / Line 59: @@
 let $text := lazy:cache(file:read-text($file))
 return (file:delete($file), $text)
-</syntaxhighlight>
+</pre>
 |}

@@ Line 24: / Line 24: @@
 The XQuery expression below serves as an example on how large files can be downloaded and written to a file with constant memory consumption:
-<syntaxhighlight lang="xquery">
+<pre lang='xquery'>
 file:write-binary('output.data', fetch:binary('http://files.basex.org/xml/xmark111mb.zip'))
 </syntaxhighlight>
@@ Line 55: / Line 55: @@
 | '''Example'''
 |In the following example, a file is deleted before its content is returned. To avoid a “file not found” error when serializing the result, the content must be cached:
-<syntaxhighlight lang="xquery">
+<pre lang='xquery'>
 let $file := 'data.txt'
 let $text := lazy:cache(file:read-text($file))

@@ Line 43: / Line 43: @@
 |<pre>lazy:cache(
    $input  as item()*,
-   $lazy   as xs:boolean  := ()
+   $lazy   as xs:boolean?  := false()
 ) as item()*</pre>
 |- valign="top"

@@ Line 42: / Line 42: @@
 | width='120' | '''Signature'''
 |<pre>lazy:cache(
-   $items  as item()*
+   $input  as item()*,
    $lazy   as xs:boolean  := ()
 ) as item()*</pre>
 |- valign="top"
 | '''Summary'''
-|Caches the data of lazy {{Code|$items}} in a sequence:<br/>
+|Caches the data of lazy {{Code|$input}} items:<br/>
 * data of lazy items are retrieved and cached inside the item.
 * non-lazy items, or lazy items with cached data, are simply passed through.

@@ Line 40: / Line 40: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>lazy:cache(
    $items  as item()*
@@ Line 66: / Line 66: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>lazy:is-lazy(
    $item  as item()
@@ Line 79: / Line 79: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>lazy:is-cached(
    $item  as item()

@@ Line 45: / Line 45: @@
 | '''Summary'''
 |Caches the data of lazy {{Code|$items}} in a sequence:<br />
-* data of lazy items will be retrieved and cached inside the item.
+* data of lazy items are retrieved and cached inside the item.
-* non-lazy items, or lazy items with cached data, will simply be passed through.
+* non-lazy items, or lazy items with cached data, are simply passed through.
-* If {{Code|$lazy}} is set to {{Code|true()}}, caching is deferred until the data is eventually requested. Streaming will be disabled: Data will always be cached before a stream is returned.
+* If {{Code|$lazy}} is set to {{Code|true()}}, caching is deferred until the data is eventually requested. Streaming will be disabled: Data will be cached before a stream is returned.
 Caching is advisable if an item is processed more than once, or if the data may not be available anymore at a later stage.
 |- valign="top"

@@ Line 1: / Line 1: @@
 This [[Module Library|XQuery Module]] contains functions for handling ''lazy'' items.
-In contrast to standard XQuery items, a lazy item contains a reference to the actual data, and the data itself will only be retrieved if it is requested. Hence, possible errors will be postponed, and no memory will be occupied by a lazy item as long as its content has not been requested yet.
+In contrast to standard XQuery items, a lazy item contains a reference to the actual data, and the data itself will only be retrieved if it is processed. Hence, possible errors will be postponed, and no memory will be occupied by a lazy item as long as its content has not been requested yet.
 The following BaseX functions return lazy items: