1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
(:*******************************************************:)
(: Test: K-FunctionProlog-20 :)
(: Written by: Frans Englich :)
(: Date: 2007-11-22T11:31:22+01:00 :)
(: Purpose: User functions which in some implementations causes constant propagation combined with function versioning. :)
(:*******************************************************:)
declare function local:func($choose, $whenTrue, $whenFalse)
{
if($choose)
then $whenTrue
else $whenFalse
};
local:func(true(), current-time(), current-date()) instance of xs:time
and
local:func(false(), current-time(), current-date()) instance of xs:date
|
