1
const char* XQUERY_COMPILATION_[] = { "xquery", "compilation" };
2
const PropertyGroupImpl XQUERY_COMPILATION(2, XQUERY_COMPILATION_);
3
const PropertyImpl XQUERY_COMPILATION_FILENAME(XQUERY_COMPILATION, "filename", 0, Property::STRING);
4
const PropertyImpl XQUERY_COMPILATION_PARSE_DURATION(XQUERY_COMPILATION, "parse-duration", 1, Property::INT);
5
const PropertyImpl XQUERY_COMPILATION_TRANSLATION_DURATION(XQUERY_COMPILATION, "translation-duration", 2, Property::INT);
6
const PropertyImpl XQUERY_COMPILATION_OPTIMIZATION_DURATION(XQUERY_COMPILATION, "optimization-duration", 3, Property::INT);
7
const PropertyImpl XQUERY_COMPILATION_CODEGENERATION_DURATION(XQUERY_COMPILATION, "codegeneration-duration", 4, Property::INT);
10
const PropertyImpl* PROPERTIES[] = {
11
&XQUERY_COMPILATION_FILENAME,
12
&XQUERY_COMPILATION_PARSE_DURATION,
13
&XQUERY_COMPILATION_TRANSLATION_DURATION,
14
&XQUERY_COMPILATION_OPTIMIZATION_DURATION,
15
&XQUERY_COMPILATION_CODEGENERATION_DURATION