[Home] [By Thread] [By Date] [Recent Entries]

Subject: Re: except
From: David Carlisle <davidc@xxxxxxxxx>
Date: Mon, 03 Feb 2014 10:33:58 +0000
On 03/02/2014 03:28, Graydon wrote:
So if it's div/* except heading

that comes out to

(div/child::*) except (div/child::heading)



No!


except takes arguments in the same way as |

div/* | heading

is child::div/child::* | child::heading

and is the union of grandchildren of your child div, and your child heading.


div/* except heading


is child::div/child::* except child::heading

and is those grandchildren which are not child:heading which is necessarily the same as

div/*

as there is no intersection between div/* and heading.

David


________________________________________________________________________ The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is: Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs. ________________________________________________________________________


Current Thread
Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member