Bureaucrats, editor, reviewer, Administrators
13,554
edits
Changes
Jump to navigation
Jump to search
m
{{Mark|Introduced with Version 9.3:}}
Text replacement - "syntaxhighlight" to "pre"
This [[Module Library|XQuery Module]] contains functions for extracting internal information about modules and functions and generating documentation.
With {{Announce|Version 11}}, {{Code|inspect:function-annotations}} has been removed as it is now available in the official specification as [https://qt4cg.org/specifications/xpath-functions-40/Overview.html#func-function-annotations <code>fn:function-annotations</code>].
=Conventions=
{| width='100%'
|-valign="top"| width='120' | '''SignaturesSignature'''|{{Func|inspect:functions||function(*)*}}<br/pre>{{Func|inspect:functions|( $uri href as xs:string| := ()) as function(*)*}}</pre>|-valign="top"
| '''Summary'''
|Returns function items for all user-defined functions (both public and private) that are known in the current query context. If a an {{Code|$urihref}} value is specified, the specified resource will be retrieved as a string and compiled, and its functions will be added to the query context and returned to the user. A relative URI will be resolved against the static base URI of the query.|-valign="top"
|'''Examples'''
|Invokes the declared functions and returns their values:<br/>
<pre classlang="brush:'xquery"'>
declare %private function local:one() { 12 };
declare %private function local:two() { 34 };
</pre>
Compiles all functions in {{Code|code.xqm}} and invokes the function named {{Code|run}}:
<pre classlang="brush:'xquery"'>
let $uri := 'code.xqm'
let $name := "'run"'
for $f in inspect:functions($uri)
where local-name-from-QName(function-name($f)) = $name
return $f()
</pre>
|} ==inspect:function-annotationsvalign== {| width='100%'"top"|-| width='120' | '''SignaturesErrors'''|{{FuncError|inspect:function-annotationsparse|$function as function(*)?|map(xs:QName, xs:anyAtomicType*)#Errors}}<br/>|-| '''Summary'''|Returns the annotations of the specified {{Code|$function}} in Error while parsing a mapmodule.|-| '''Examples'''|* Returns an empty map:<pre class="brush:xquery">inspect:function-annotations(true#0)</pre>* Returns a map with a single key <code><nowiki>Q{http://www.w3.org/2012/xquery}private</nowiki></code> and an empty sequence as value:<pre class="brush:xquery">declare %private function local:f() { 'well hidden' };inspect:function-annotations(local:f#0)</pre>
|}
{| width='100%'
|-valign="top"| width='120' | '''SignaturesSignature'''|{{Func|<pre>inspect:static-context|( $function as function(*)?, $name as xs:string|) as item()*}}<br/pre>|-valign="top"
| '''Summary'''
|Returns a component of the [https://www.w3.org/TR/xquery-31/#dt-static-context static context] of a {{Code|$function}} with the specified {{Code|$name}}. If no function is supplied, the current static context is considered.<br/>The following components can be requested:
* {{Code|copy-namespaces}}: Copy-namespaces mode ({{Code|inherit}}/{{Code|no-inherit}}, {{Code|preserve}}/{{Code|no-preserve}})
* {{Code|decimal-formats}}: Nested map with all statically known decimal formats
|-valign="top"
| '''Examples'''
|
* Returns the static base URI (same as {{Code|static-base-uri()}}):
<pre classlang="brush:'xquery"'>
inspect:static-context((), 'base-uri')
</pre>
* Returns a map with all namespaces that are statically known in the module of the specified function:
<pre classlang="brush:'xquery"'>
import module namespace data = 'data.xqm';
inspect:static-context(data:get#1, 'namespaces')
</pre>
|-valign="top"
| '''Errors'''
|{{Error|unknown|#Errors}} The specified component does not exist.
==inspect:type==
{| width='100%'
|-valign="top"| width='120' | '''SignaturesSignature'''|{{Func|<pre>inspect:type|( $value input as item()*|, $options as map(*)? := map { }) as xs:string}}</pre>|-valign="top"
| '''Summary'''
|Returns a string representation of the type of a value as stringthe given {{Code|$input}}:* The string representation includes the occurrence indicator.* The actual type of a value functions and nodes may be the stricter than the returned type.* For actual type checking, the standard functions expressions {{Code|typeswitch}} and {{Code|instance of}} should be usedinstead.The following {{Code|$options}} are available:* {{Code|item}}: If enabled, only the item type is returned and the occurrence indicator is omitted. The default is {{Code|false()}}.* {{Code|mode}}: If {{Code|value}} is specified, the assigned type of the result value is returned. With {{Code|expression}} the type of the input expression is returned (please note that the original expression may already have been rewritten at compile-time). With {{Code|computed}}, the exact value is computed at runtime, based on the expression and the result value. The default is {{Code|computed}}.|-valign="top"
| '''Examples'''
|
* <code>inspect:type(1 to 100(<a/>, <a/>))</code> returns yields <code>xs:integerelement(a)+</code>* <code>inspect:type(map { 'a': (1, 2)[. = 1] })</code> returns yields <code>map(*xs:string, xs:integer)</code> (a stricter type representation would be * <code>inspect:type(1 to 100, map{ 'item': true() })</code> yields <code>xs:string, xs:stringinteger</code>
|}
{| width='100%'
|-valign="top"| width='120' | '''SignaturesSignature'''|{{Func|<pre>inspect:function|( $function as function(*)|) as element(function)}}</pre>|-valign="top"
| '''Summary'''
|Inspects the specified {{Code|$function}} and returns an element that describes its structure. The output of this function is similar to eXist-db’s [httphttps://exist-db.org/exist/apps/fundocs/view.html?uri=http://exist-db.org/xquery/inspection&location=java:org.exist.xquery.functions.inspect.InspectionModule inspect:inspect-function] function.|-valign="top"
|'''Examples'''
|The query {{Code|inspect:function(count#1)}} yields:
<pre classlang="brush:xml">
<function name="count" uri="http://www.w3.org/2005/xpath-functions" external="false">
<argument type="item()" occurrence="*"/>
</pre>
The function…
<pre classlang="brush:'xquery"'>
(:~
: This function simply returns the specified integer.
</pre>
…is represented by {{Code|inspect:function(local:same#1)}} as…
<pre classlang="brush:xml">
<function name="local:same" uri="http://www.w3.org/2005/xquery-local-functions" external="false">
<argument type="xs:integer" name="number">number to return</argument>
{| width='100%'
|-valign="top"| width='120' | '''SignaturesSignature'''|{{Func|<pre>inspect:context||() as element(context)}}</pre>|-valign="top"
| '''Summary'''
|Generates an element that describes all variables and functions in the current query context.
|-valign="top"
| '''Examples'''
|Evaluate all user-defined functions with zero arguments in the query context:<br/>
<pre classlang="brush:'xquery"'>
inspect:context()/function ! function-lookup(QName(@uri, @name), 0) ! .()
</pre>
Return the names of all private functions in the current context:
<pre classlang="brush:'xquery"'>
for $f in inspect:context()/function
where $f/annotation/@name = 'private'
{| width='100%'
|-valign="top"| width='120' | '''SignaturesSignature'''|{{Func|<pre>inspect:module|( $uri as xs:string|) as element(module)}}</pre>|-valign="top"
| '''Summary'''
|Retrieves the resource located at the specified {{Code|$uri}}, parses it as XQuery module, and generates an element that describes the module's structure. A relative URI will be resolved against the static base URI of the query.
|-valign="top"
|'''Examples'''
|An example is [[#Examples|shown below]].
|- valign="top"
| '''Errors'''
|{{Error|parse|#Errors}} Error while parsing a module.
|}
{| width='100%'
|-valign="top"| width='120' | '''SignaturesSignature'''|{{Func|<pre>inspect:xqdoc|( $uri as xs:string|) as element(xqdoc:xqdoc)}}</pre>|-valign="top"
| '''Summary'''
|Retrieves the resource located at the specified {{Code|$uri}}, parses it as XQuery module, and generates an xqDoc element. A relative URI will be resolved against the static base URI of the query.<br/>[http://xqdoc.org / xqDoc] provides a simple vendor-neutral solution for generating documentation from XQuery modules. The documentation conventions have been inspired by the JavaDoc standard. Documentation comments begin with {{Code|(:~}} and end with {{Code|:)}}, and tags start with {{Code|@}}. xqDoc comments can be specified for main and library modules and variable and function declarations.<br/>We have slightly extended the xqDoc conventions to do justice to more recent versions of XQuery (Schema: [httphttps://files.basex.org/etc/xqdoc-1.1.30052013.xsd xqdoc-1.1.30052013.xsd]):<br/>
* an {{Code|<xqdoc:annotations/>}} node is added to each variable or function that uses annotations. The xqdoc:annotation child nodes may have additional {{Code|xqdoc:literal}} elements with {{Code|type}} attributes (xs:string, xs:integer, xs:decimal, xs:double) and values.
* a single {{Code|<xqdoc:namespaces/>}} node is added to the root element, which summarizes all prefixes and namespace URIs used or declared in the module.
* name and type elements are added to variables.
|-valign="top"
|'''Examples'''
|An example is [[#Examples|shown below]].
|- valign="top"
| '''Errors'''
|{{Error|parse|#Errors}} Error while parsing a module.
|}
This is the {{Code|sample.xqm}} library module:
<pre classlang="brush:'xquery"'>
(:~
: This module provides some sample functions to demonstrate
If {{Code|inspect:module('sample.xqm')}} is run, the following output will be generated:
<pre classlang="brush:xml">
<module prefix="samples" uri="http://basex.org/modules/samples">
<description>This module provides some sample functions to demonstrate
The output looks as follows if {{Code|inspect:xqdoc('sample.xqm')}} is called:
<pre classlang="brush:xml">
<xqdoc:xqdoc xmlns:xqdoc="http://www.xqdoc.org/1.0">
<xqdoc:control>
! width="110"|Code
|Description
|-valign="top"|{{Code|parse}}|Error while parsing a module.|- valign="top"
|{{Code|unknown}}
|The specified component does not exist.
=Changelog=
;Version 11.0
* Removed: {{Code|inspect:function-annotations}}
;Version 9.6
* Updated: {{Function||inspect:type}}: options added
;Version 9.3
* Added: [[#inspect:type{{Function||inspect:type]]}}
;Version 8.5
* Added: [[#inspect:function-annotations{{Function||inspect:function-annotations]]}}, [[#inspect:static-context{{Function||inspect:static-context]]}}
* Updated: {{Code|external}} attribute added to variables and functions
* Updated: Relative URIs will always be resolved against the static base URI of the query
;Version 7.9
* Updated: a query URI can now be specified with [[#inspect:functions{{Function||inspect:functions]]}}.
This module was introduced with Version 7.7.
