Changes

Jump to navigation Jump to search
203 bytes removed ,  14:23, 22 January 2024
* The namespace of the function name identifies the Java class.
* The local part of the name, which is rewritten to camel case, identifies a variable or function of that class.
* The middle dot character <code>[https://www.fileformat.info/info/unicode/char/b7/index.htm ·]</code> (<code>&amp;#xB7;</code>), a valid character in XQuery names, but not in Java) can be used to append exact Java parameter types to the function name. Class types must be referenced by their full path. Three adjacent dots can be used to address an array argument.
{| class="wikitable"
In the following example, the Java {{Code|Math}} class is referenced. When executed, the query returns the cosine of an angle by calling the static method {{Code|cos()}}, and the value of π by addressing the static variable via {{Code|PI()}}:
<syntaxhighlight pre lang="'xquery"'>
declare namespace math = "java:java.lang.Math";
math:cos(xs:double(0)), math:PI()
With the [[XQuery 3.0#Expanded QNames|Expanded QName]] notation of XQuery 3.0, the namespace can directly be embedded in the function call:
<syntaxhighlight pre lang="'xquery"'>
Q{java:java.lang.Math}cos(xs:double(0))
</pre>
The constructor of a class can be invoked by calling the virtual function {{Code|new()}}. Instance methods can then called by passing on the resulting Java object as first argument. In the following example, 256 bytes are written to the file {{Code|output.txt}}. First, a new {{Code|FileWriter}} instance is created, and its {{Code|write()}} function is called in the next step:
<syntaxhighlight pre lang="'xquery"'>
declare namespace fw = 'java:java.io.FileWriter';
let $file := fw:new('output.txt')
If the result of a Java call contains invalid XML characters, it will be rejected. The validity check can be disabled by setting {{Option|CHECKSTRINGS}} to false. In the example below, a file with a single {{Code|00}} byte is written, and this file will then be accessed by via Java functions:
<syntaxhighlight pre lang="'xquery"'>
declare namespace br = 'java:java.io.BufferedReader';
declare namespace fr = 'java:java.io.FileReader';
The option can also be specified via a pragma:
<syntaxhighlight pre lang="'xquery"'>
(# db:checkstrings #) {
br:new(fr:new('00.bin')) ! (br:readLine(.), br:close(.))
In the (side-effecting) example below, a HashSet instance is created, values are added, and the size of the set is returned. As {{Code|set:add()}} returns boolean values, {{Function|Profiling|prof:void}} is used to swallow the values:
<syntaxhighlight pre lang="'xquery"'>
import module namespace set = "java:java.util.HashSet";
prof:void(
In the following code, information from the static query context is returned by the first function, and a query exception is raised by the second function:
<syntaxhighlight pre lang="'xquery"'>
import module namespace context = 'org.basex.examples.query.ContextModule';
The imported Java class is shown below:
<syntaxhighlight pre lang="java">
package org.basex.examples.query;
The result will look as follows:
<syntaxhighlight pre lang="xml">
<user>admin</admin>
<error>Integer conversion failed: abc</error>
The {{Code|@Updating}} annotation can be applied to mark Java functions that perform write or update operations:
<syntaxhighlight pre lang="java">
@Updating
public void backup() {
If you want to synchronize the execution of your code with BaseX locks, you can take advantage of the {{Code|@Lock}} annotation:
<syntaxhighlight pre lang="java">
@Lock("HEAVYIO")
public void read() {
If a numeric value is supplied for which no exact matching is defined, it is cast to the appropriate type unless it exceeds its limits. The following two function calls are equivalent:
<syntaxhighlight pre lang="'xquery"'>
(: exact match :)
Q{String}codePointAt('ABC', xs:int(1)),
The conversion of the wrapped Java value to XQuery is enforced by invoking the function item: Values in {{Code|Iterator}} and {{Code|Iterable}} instances (Lists, Sets and Collections) are converted to items, and maps are converted to XQuery maps:
<syntaxhighlight pre lang="'xquery"'>
declare namespace Scanner = 'java:java.util.Scanner';
let $scanner := Scanner:new("A B C") => Scanner:useDelimiter(" ")
If no conversion is defined, a string is returned, resulting from the {{Code|toString()}} method of the object. This method is also called if the string representation of a Java item is requested:
<syntaxhighlight pre lang="'xquery"'>
(: returns the string representations of a HashMap and an ArrayList instance :)
'Map: ' || Q{java.util.HashMap}new(),
In the following example, the result of the first function – a char array – is wrapped and passed on to a {{Code|CharBuffer}} function. Without the option, the single-value array would be converted to an {{Code|xs:unsignedShort}} item and the second function call would fail:
<syntaxhighlight pre lang="'xquery"'>
(: Without the pragma, the result of toChars would be converted to an xs:unsignedShort item, and the second function call would fail :)
The next example demonstrates a use case for the {{Code|instance}} option:
<syntaxhighlight pre lang="'xquery"'>
(: Thanks to the pragma, the function calls can be chained :)
The {{Code|void}} option is helpful if side-effecting methods return values that do not contribute to the final result:
<syntaxhighlight pre lang="'xquery"'>
(: Without the pragma, 100 booleans would be returned by the FLWOR expression :)
Bureaucrats, editor, reviewer, Administrators
13,554

edits

Navigation menu