[XSL-LIST Mailing List Archive Home] [By Thread] [By Date]

Re: [xsl] Increasing sequence ?


Subject: Re: [xsl] Increasing sequence ?
From: "Leo Studer leo.studer@xxxxxxxxxxx" <xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx>
Date: Thu, 26 Mar 2015 19:01:33 -0000

Thank you Michael

it came up in an xs:assertion and worked well with 10000 elements.

Leo

> On 25.03.2015, at 20:10, Michael Kay mike@xxxxxxxxxxxx
<xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx> wrote:
>
> That's what I use. It should be O(n).
>
> These sort of expressions come up quite often when writing XSD 1.1
assertions.
>
> Something to bear in mind is that Saxon gives special treatment to
assertions that use the "every ... satisfies..." format - the diagnostics will
tell you not only that the assertion failed, but which item in the sequence
caused it to fail.
>
> Michael Kay
> Saxonica
> mike@xxxxxxxxxxxx
> +44 (0) 118 946 5893
>
>
>
>
> On 25 Mar 2015, at 17:20, Leo Studer leo.studer@xxxxxxxxxxx
<xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx> wrote:
>
>> A similar problem as before, is the integer sequence increasing?
>>
>> this is my solution:
>>
>> every $v in 1 to (count($sequence)-1) satisfies ($sequence[$v] lt
$sequence[$v+1])
>>
>> Do you have a better one?
>>
>> Cheers
>> Leo


Current Thread
Keywords
xsd