Profiling Module - Revision history

CG: Text replacement - "" to "

2023-12-01T16:37:15Z

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

CG: Text replacement - "" to ""

2023-12-01T16:35:21Z

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

CG at 12:54, 31 October 2023

2023-10-31T12:54:00Z

CG: /* prof:void */

2023-04-25T16:50:52Z

prof:void

CG at 16:44, 9 March 2023

2023-03-09T16:44:59Z

CG at 14:56, 9 March 2023

2023-03-09T14:56:05Z

CG at 14:06, 9 March 2023

2023-03-09T14:06:54Z

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

2023-03-09T13:04:20Z

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

CG at 11:07, 9 March 2023

2023-03-09T11:07:40Z

CG: Text replacement - "
" to "
"

2023-03-09T08:18:27Z

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

@@ Line 34: / Line 34: @@
+|
 * Return a human-readable representation of the memory consumption caused by fetching an XML document. {{Function||fetch:doc}} is used, as <code>fn:doc</code> may already be evaluated at compilation time:
-<syntaxhighlight lang="xquery">
+<pre lang='xquery'>
 prof:track(fetch:doc('factbook.xml'))?memory
 => prof:human()
 </pre>
 * The function call <code>prof:track((1 to 1000000)[. mod 2 = 0], map { 'time': false() })</code> will return something similar to:
-<syntaxhighlight lang="xquery">
+<pre lang='xquery'>
 map {
    "memory": 21548400,
@@ Line 122: / Line 122: @@
 | '''Examples'''
 | Measures the time of an expression:
-<syntaxhighlight lang="xquery">
+<pre lang='xquery'>
 let $ns1 := prof:current-ns()
 return (

@@ Line 37: / Line 37: @@
 prof:track(fetch:doc('factbook.xml'))?memory
 => prof:human()
-</syntaxhighlight>
+</pre>
 * The function call <code>prof:track((1 to 1000000)[. mod 2 = 0], map { 'time': false() })</code> will return something similar to:
 <syntaxhighlight lang="xquery">
@@ Line 44: / Line 44: @@
    "value": (2, 4, 6, 8, 10, ...)
+}
-</syntaxhighlight>
+</pre>
 |}
@@ Line 131: / Line 131: @@
    return $ms || ' ms'
+)
-</syntaxhighlight>
+</pre>
 |}

@@ Line 29: / Line 29: @@
 |- valign="top"
 | '''Properties'''
-|The function is ''non-deterministic'': evaluation order will be preserved by the compiler.
+|The function is ''nondeterministic'': evaluation order will be preserved by the compiler.
 |- valign="top"
 | '''Examples'''
@@ Line 61: / Line 61: @@
 |- valign="top"
 | '''Properties'''
-|The function is ''non-deterministic'': evaluation order will be preserved by the compiler.
+|The function is ''nondeterministic'': evaluation order will be preserved by the compiler.
 |- valign="top"
 | '''Examples'''
@@ Line 82: / Line 82: @@
 |- valign="top"
 | '''Properties'''
-|The function is ''non-deterministic'': evaluation order will be preserved by the compiler.
+|The function is ''nondeterministic'': evaluation order will be preserved by the compiler.
 |- valign="top"
 | '''Examples'''
@@ Line 100: / Line 100: @@
 |- valign="top"
 | '''Properties'''
-|In contrast to {{Code|fn:current-time()}}, the function is ''non-deterministic'' and returns different values every time it is called. Its evaluation order will be preserved by the compiler.
+|In contrast to {{Code|fn:current-time()}}, the function is ''nondeterministic'' and returns different values every time it is called. Its evaluation order will be preserved by the compiler.
 |- valign="top"
 | '''Examples'''
@@ Line 118: / Line 118: @@
 |- valign="top"
 | '''Properties'''
-|In contrast to {{Code|fn:current-time()}}, the function is ''non-deterministic'' and returns different values every time it is called. Its evaluation order will be preserved by the compiler.
+|In contrast to {{Code|fn:current-time()}}, the function is ''nondeterministic'' and returns different values every time it is called. Its evaluation order will be preserved by the compiler.
 |- valign="top"
 | '''Examples'''
@@ Line 164: / Line 164: @@
 |- valign="top"
 | '''Properties'''
-|The function is ''non-deterministic'': evaluation order will be preserved by the compiler.
+|The function is ''nondeterministic'': evaluation order will be preserved by the compiler.
 |- valign="top"
 | '''Examples'''
@@ Line 236: / Line 236: @@
 |- valign="top"
 | '''Properties'''
-|The function is ''non-deterministic'': evaluation order will be preserved by the compiler.
+|The function is ''nondeterministic'': evaluation order will be preserved by the compiler.
 |- valign="top"
 | '''Examples'''
@@ Line 256: / Line 256: @@
 |- valign="top"
 | '''Properties'''
-|The function is ''non-deterministic'': evaluation order will be preserved by the compiler.
+|The function is ''nondeterministic'': evaluation order will be preserved by the compiler.
 |}

@@ Line 233: / Line 233: @@
 |- valign="top"
 | '''Summary'''
-|Swallows all items of the specified {{Code|$input}} and returns an empty sequence. This function is helpful if some code needs to be evaluated and if the resulting value is irrelevant.
+|Absorbs the specified {{Code|$input}} and returns an empty sequence. This function is helpful if some (often nondeterministic or side-effecting) code needs to be evaluated and if the resulting value is not required.
 |- valign="top"
 | '''Properties'''

@@ Line 54: / Line 54: @@
 |<pre>prof:time(
    $input  as item(),
-   $label  as xs:string  := ()
+   $label  as xs:string?  := ()
 ) as item()*</pre>
 |- valign="top"
@@ Line 75: / Line 75: @@
 |<pre>prof:memory(
    $input  as item(),
-   $label  as xs:string  := ()
+   $label  as xs:string?  := ()
 ) as item()*</pre>
 |- valign="top"
@@ Line 143: / Line 143: @@
 |<pre>prof:dump(
    $input  as item()*,
-   $label  as xs:string  := ()
+   $label  as xs:string?  := ()
 ) as empty-sequence()</pre>
 |- valign="top"

@@ Line 14: / Line 14: @@
 |<pre>prof:track(
    $input   as item()*,
-   $options as map(*)?  := ()
+   $options as map(*)?  := map { }
 ) as item()*</pre>
 |- valign="top"

@@ Line 11: / Line 11: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>prof:track(
    $expression  as item()
@@ Line 51: / Line 51: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>prof:time(
    $expr   as item()
@@ Line 72: / Line 72: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>prof:memory(
    $expr   as item()
@@ Line 93: / Line 93: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>prof:current-ms() as xs:integer</pre>
 |- valign="top"
@@ Line 111: / Line 111: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>prof:current-ns() as xs:integer</pre>
 |- valign="top"
@@ Line 140: / Line 140: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>prof:dump(
    $expr   as item()*
@@ Line 157: / Line 157: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>prof:variables() as empty-sequence()</pre>
 |- valign="top"
@@ Line 175: / Line 175: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>prof:type(
    $expr  as item()*
@@ Line 188: / Line 188: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>prof:gc(
    $count  as xs:integer  := ()
@@ Line 201: / Line 201: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>prof:runtime(
    $name of xs:string  as
@@ Line 227: / Line 227: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>prof:void(
    $value  as item()*
@@ Line 247: / Line 247: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>prof:sleep(
    $ms  as xs:integer
@@ Line 263: / Line 263: @@
 {| width='100%'
 |- valign="top"
-| width='120' | '''Signatures'''
+| width='120' | '''Signature'''
 |<pre>prof:human(
    $number  as xs:integer