1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
<?xml version="1.0"?>
<xqx:module xmlns:xqx="http://www.w3.org/2005/XQueryX"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://www.w3.org/2005/XQueryX
http://www.w3.org/2005/XQueryX/xqueryx.xsd">
<xqx:libraryModule>
<xqx:moduleDecl>
<xqx:prefix>errata6_2</xqx:prefix>
<xqx:uri>http://www.w3.org/TestModules/errata6-2</xqx:uri>
</xqx:moduleDecl>
<xqx:prolog>
<xqx:schemaImport>
<xqx:namespacePrefix>a</xqx:namespacePrefix>
<xqx:targetNamespace>http://www.w3.org/XQueryTest/userDefinedTypes</xqx:targetNamespace>
</xqx:schemaImport>
<xqx:functionDecl>
<xqx:functionName xqx:prefix="errata6_2">hatsize-add</xqx:functionName>
<xqx:paramList>
<xqx:param>
<xqx:varName>a</xqx:varName>
</xqx:param>
<xqx:param>
<xqx:varName>b</xqx:varName>
</xqx:param>
</xqx:paramList>
<xqx:typeDeclaration>
<xqx:atomicType xqx:prefix="a">hatsize</xqx:atomicType>
</xqx:typeDeclaration>
<xqx:functionBody>
<xqx:functionCallExpr>
<xqx:functionName xqx:prefix="a">hatsize</xqx:functionName>
<xqx:arguments>
<xqx:addOp>
<xqx:firstOperand>
<xqx:varRef>
<xqx:name>a</xqx:name>
</xqx:varRef>
</xqx:firstOperand>
<xqx:secondOperand>
<xqx:varRef>
<xqx:name>b</xqx:name>
</xqx:varRef>
</xqx:secondOperand>
</xqx:addOp>
</xqx:arguments>
</xqx:functionCallExpr>
</xqx:functionBody>
</xqx:functionDecl>
</xqx:prolog>
</xqx:libraryModule>
</xqx:module>
|
