Bug #1472: Saxon says "cannot compare" (schema-aware mode) for an XPath expression - Saxon - Saxonica Developer Community

Actions

Send by e-mail Copy link

Bug #1472

closed

Saxon says "cannot compare" (schema-aware mode) for an XPath expression

Added by Jakub Maly about 12 years ago. Updated almost 12 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Michael Kay

Category:

Schema-Aware processing

Sprint/Milestone:

Start date:

2012-04-07

Due date:

% Done:

100%

Estimated time:

Legacy ID:

Applies to branch:

Fix Committed on Branch:

Fixed in Maintenance Release:

Platforms:

Description

I translated a schematron schema into an XSLT stylesheet. When I run it against an XML document with XSD schema attached, it gives the error "XPTY0004: Cannot compare".

The problem seems to be the expression "qualification/@open eq true()", but that seems right to me, since @open is defined in the schema to be a xs:boolean.

Files

Download all files

TournamentsSchedule.xml (1.05 KB) TournamentsSchedule.xml		Jakub Maly, 2012-04-07 17:45
TournamentsSchedule.xsd (1.48 KB) TournamentsSchedule.xsd		Jakub Maly, 2012-04-07 17:45
TournamentsScheduleSA.xslt (9.43 KB) TournamentsScheduleSA.xslt		Jakub Maly, 2012-04-07 17:45

Actions

Copy link

Updated by Jakub Maly about 12 years ago

I am running saxon from the command line:

java -jar saxon9ee.jar -sa -s:TournamentsSchedule.xml -o:out.svrl -xsl:TournamentsScheduleSA.xslt.

Actions

Copy link

Updated by Jakub Maly about 12 years ago

I entered wrong version number, it should be: SAXON-EE 9.4.0.3J

Actions

Copy link

Updated by Michael Kay about 12 years ago

Status changed from New to In Progress
Assignee set to Michael Kay

You need to add -val:strict to the command line to ensure that the source file is validated against the schema.

The clue is in the message

Comparison of xs:untypedAtomic? to xs:boolean will fail unless the first operand is empty

which tells you that the input document is untyped.

I shall look at the message "Cannot compare" to see how it can be improved.

Actions

Copy link

Updated by Jakub Maly about 12 years ago

Thank you for directing me to -val:strict.

The warning

Comparison of xs:untypedAtomic? to xs:boolean will fail unless the first operand is empty

Is printed only when I run it without -sa switch, when I added -sa, the warning disappeared. That is why I assumed the schema was loaded and taken into account.

Actions

Copy link

Updated by Michael Kay about 12 years ago

Ah yes. Without -sa, the compiler knows that data will be untyped and can make inferences based on this. With -sa, the compiler doesn't know whether the data at run-time will be typed or untyped, so it can't issue the warning. The thing that causes the data to be validated and therefore typed is the -val flag.

Actions

Copy link