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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
|
<?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:mainModule>
<xqx:prolog>
<xqx:functionDecl>
<xqx:functionName xqx:prefix="local">mysum</xqx:functionName>
<xqx:paramList>
<xqx:param>
<xqx:varName>i</xqx:varName>
<xqx:typeDeclaration>
<xqx:atomicType xqx:prefix="xs">integer</xqx:atomicType>
</xqx:typeDeclaration>
</xqx:param>
<xqx:param>
<xqx:varName>j</xqx:varName>
<xqx:typeDeclaration>
<xqx:atomicType xqx:prefix="xs">integer</xqx:atomicType>
</xqx:typeDeclaration>
</xqx:param>
</xqx:paramList>
<xqx:functionBody>
<xqx:flworExpr>
<xqx:letClause>
<xqx:letClauseItem>
<xqx:typedVariableBinding>
<xqx:varName>j</xqx:varName>
</xqx:typedVariableBinding>
<xqx:letExpr>
<xqx:addOp>
<xqx:firstOperand>
<xqx:varRef>
<xqx:name>i</xqx:name>
</xqx:varRef>
</xqx:firstOperand>
<xqx:secondOperand>
<xqx:varRef>
<xqx:name>j</xqx:name>
</xqx:varRef>
</xqx:secondOperand>
</xqx:addOp>
</xqx:letExpr>
</xqx:letClauseItem>
</xqx:letClause>
<xqx:returnClause>
<xqx:varRef>
<xqx:name>j</xqx:name>
</xqx:varRef>
</xqx:returnClause>
</xqx:flworExpr>
</xqx:functionBody>
</xqx:functionDecl>
<xqx:functionDecl>
<xqx:functionName xqx:prefix="local">invoke_mysum</xqx:functionName>
<xqx:paramList/>
<xqx:functionBody>
<xqx:flworExpr>
<xqx:letClause>
<xqx:letClauseItem>
<xqx:typedVariableBinding>
<xqx:varName>s</xqx:varName>
</xqx:typedVariableBinding>
<xqx:letExpr>
<xqx:integerConstantExpr>
<xqx:value>1</xqx:value>
</xqx:integerConstantExpr>
</xqx:letExpr>
</xqx:letClauseItem>
</xqx:letClause>
<xqx:forClause>
<xqx:forClauseItem>
<xqx:typedVariableBinding>
<xqx:varName>d</xqx:varName>
</xqx:typedVariableBinding>
<xqx:forExpr>
<xqx:sequenceExpr>
<xqx:integerConstantExpr>
<xqx:value>1</xqx:value>
</xqx:integerConstantExpr>
<xqx:integerConstantExpr>
<xqx:value>2</xqx:value>
</xqx:integerConstantExpr>
<xqx:integerConstantExpr>
<xqx:value>3</xqx:value>
</xqx:integerConstantExpr>
<xqx:integerConstantExpr>
<xqx:value>4</xqx:value>
</xqx:integerConstantExpr>
<xqx:integerConstantExpr>
<xqx:value>5</xqx:value>
</xqx:integerConstantExpr>
</xqx:sequenceExpr>
</xqx:forExpr>
</xqx:forClauseItem>
</xqx:forClause>
<xqx:letClause>
<xqx:letClauseItem>
<xqx:typedVariableBinding>
<xqx:varName>s</xqx:varName>
</xqx:typedVariableBinding>
<xqx:letExpr>
<xqx:functionCallExpr>
<xqx:functionName xqx:prefix="local">mysum</xqx:functionName>
<xqx:arguments>
<xqx:varRef>
<xqx:name>s</xqx:name>
</xqx:varRef>
<xqx:varRef>
<xqx:name>d</xqx:name>
</xqx:varRef>
</xqx:arguments>
</xqx:functionCallExpr>
</xqx:letExpr>
</xqx:letClauseItem>
</xqx:letClause>
<xqx:returnClause>
<xqx:varRef>
<xqx:name>s</xqx:name>
</xqx:varRef>
</xqx:returnClause>
</xqx:flworExpr>
</xqx:functionBody>
</xqx:functionDecl>
</xqx:prolog>
<xqx:queryBody>
<xqx:functionCallExpr>
<xqx:functionName xqx:prefix="local">invoke_mysum</xqx:functionName>
<xqx:arguments>
</xqx:arguments>
</xqx:functionCallExpr>
</xqx:queryBody>
</xqx:mainModule>
</xqx:module>
|
