xquery version "1.0"; declare namespace util="http://exist-db.org/xquery/util"; declare namespace i18n="http://apache.org/cocoon/i18n/2.1"; import module namespace classmenu="http://www.risten.no/shared/classmenu" at "../xquery/classmenu.xqm"; (: Main function - retrieves some request attributes, forks further processing to other defined functions depending on the retrieved values :) declare function local:main() as element()+ { let $class := request:get-session-attribute("class" ), $top := request:get-session-attribute("newrectop" ), $mid := request:get-session-attribute("newrecmid" ), $botm := request:get-session-attribute("newrecbotm"), $lang := request:get-session-attribute("newreclang"), $pos := request:get-session-attribute("newrecpos" ), $date := current-dateTime() return ( { classmenu:get-classification("SD-class") } ) };

{ let $start := util:system-time() return ( local:main(),

SearchTime { seconds-from-duration(util:system-time()-$start) }

) }