document pragma exist:time

[line-o]

The new pragma {# exist:time #} is severely under documented. I figured out a setup that will work from code comments and trial and error

(# exist:time verbose=yes/no logger-name=xquery.profiling logging-level=TRACE log-message-prefix=this-is-mandatory #) {
    //p (: any expression to be timed :)
}

to be added here https://exist-db.org/exist/apps/doc/xquery.xml#pragmas

[adamretter]

is severely under documented

@line-o Really? I documented it in two places within eXist-db already:

1. [6.x.x] New exist:time XQuery Pragma exist#5077 (comment)
2. https://github.com/eXist-db/exist/blob/develop/exist-core/src/main/java/org/exist/xquery/pragmas/TimePragma.java#L60

[line-o]

Yes, in the documentation - the place I looked first - I could not find it.

[adamretter]

Yes, in the documentation - the place I looked first - I could not find it.

I am guessing now by "documentation". You mean the Documentation expressed in Docbook that is part of the Docs App?
Fair, but most of the knowledge about eXist-db is also not in there either.

[line-o]

@adamretter Yes, correct. I specifically opened an issue here, the repository of the documentation app.