task interface and java helper

This commit is contained in:
Andy Bunce 2017-04-21 14:48:37 +01:00
parent 20dd832c82
commit 57f3c1eee7
35 changed files with 793 additions and 251 deletions

View file

@ -16,7 +16,7 @@ declare namespace pkg="http://expath.org/ns/pkg";
declare function files($src as xs:string) as xs:string*
{
fn:filter(file:list($src,fn:true()),
function ($f){file:is-file($src || $f)}
function ($f){($src || $f)=>fn:translate("\","/")=>file:is-file()}
)
!fn:translate(.,"\","/")
};
@ -25,7 +25,7 @@ declare namespace pkg="http://expath.org/ns/pkg";
: write xqdoc for $src/$path to $dest
:)
declare %updating function write-xqdoc($path,$src,$dest){
let $url:=fn:resolve-uri( $path,$src)
let $url:=fn:resolve-uri( $path,$src)=>fn:trace()
let $type:=fetch:content-type($url)
return switch($type)