Marking up util:time output
Tuesday, 21 February 2012 · 2 messages
CD
Charles Duffy21 Feb 2012 20:55 #
Howdy --
If I'm running a query which includes a number of util:time calls against different data, how can I know which one is doing what given that execution order is undefined? Is there another function I can use to emit an arbitrary value to the "info view"?
If not, an optional parameter providing a string to tag profiling times with would be convenient.
Thanks!
CG
Christian Grün21 Feb 2012 22:46 #
Hi Charles,
thanks for the feature proposal. I have just updated the function signatures of util:mem() and util:time() with a third string argument to label the profiling results [1]; feel free to check out the latest snapshot [2].
Christian
[1] http://docs.basex.org/wiki/Utility_Module#Profiling
[2] http://docs.basex.org/wiki/Releases
Quoted text · Charles Duffy · 17 lines
On Tue, Feb 21, 2012 at 8:55 PM, Charles Duffy <charles at dyfis.net> wrote: > Howdy -- > > If I'm running a query which includes a number of util:time calls against > different data, how can I know which one is doing what given that > execution order is undefined? Is there another function I can use to emit > an arbitrary value to the "info view"? > > If not, an optional parameter providing a string to tag profiling times > with would be convenient. > > Thanks! > > _______________________________________________ > BaseX-Talk mailing list > BaseX-Talk at mailman.uni-konstanz.de > https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk
Written for BaseX 7.1. BaseX may have changed since: please check the current documentation.
⚡Generated with XQuery