#547 XQuery pragma, unprefixed

v8.7.3
closed
Michael Kay
5
2012-10-08
2006-06-19
Michael Kay
No

In an XQUery extension expression (pragma), Saxon
reports no error if the QName identifying the pragma
is unprefixed.

Source fix: in net.sf.saxon.query.QueryParser, method
parseExtensionExpression at line 2103, after

int nameCode = makeNameCode(s.currentTokenValue, false);

add

String uri = env.getNamePool().getURI(nameCode);
if (uri.equals("")) {
grumble("The QName identifying an option
declaration must be prefixed", "XPST0081");
}

Test case: K-ExtensionExpression-4 in XQTS

Discussion