Re: [xml-dev] XSD 1.1 assertions are a great mistery for me

Ok, if I change my @abstract definition to this, it works as expected. 
Thanks a lot !

     <xs:attribute name="abstract" type="TTrue" use="optional" />

   <xs:simpleType name="TTrue">
     <xs:restriction base="xs:boolean">
       <xs:pattern value="true"/>
     </xs:restriction>
   </xs:simpleType>

Best,
Christophe

Le 2017-03-29 15:36, Michael Kay a écrit :
> I suspect you have overlooked that the data model supplied as input to
> the assertions is in effect the result of applying validation using
> everything in the schema except the assertions. In consequence, the
> fixed value of the @abstract attribute will be expanded, so tests like
> exists(@abstract) will always be true.
> 
> Michael Kay
> Saxonica
> 
>> On 29 Mar 2017, at 14:20,  wrote:
>> 
>> Hello !
>> 
>> I want to define a complex type that represents a parameter.
>> A parameter MUST have a @name
>> A parameter MAY have a @as
>> A parameter has either a @value, or a @abstract
>> A parameter that has a @abstract MUST have @as
>> 
>> I've defined this :
>> 
>> <xs:schema
>>  xmlns:xs="http://www.w3.org/2001/XMLSchema"
>>  xmlns:vc="http://www.w3.org/2007/XMLSchema-versioning"
>>  elementFormDefault="qualified"
>>  attributeFormDefault="unqualified"
>>  vc:minVersion="1.1">
>> 
>>  <xs:element name="data">
>>    <xs:complexType>
>>      <xs:sequence maxOccurs="unbounded">
>>        <xs:element name="param" type="TParam"/>
>>      </xs:sequence>
>>    </xs:complexType>
>>  </xs:element>
>> 
>>  <xs:complexType name="TParam">
>>    <xs:attribute name="name" type="xs:string" use="required"/>
>>    <xs:attribute name="as" type="xs:string" use="optional"/>
>>    <xs:attribute name="value" type="xs:string" use="optional"/>
>>    <xs:attribute name="abstract" fixed="true" use="optional" />
>>    <xs:assert test="count(@value | @abstract) eq 1" id="assert1"/>
>>    <xs:assert test="if(exists(@abstract)) then exists(@as) else 
>> true()" id="assert2"/>
>>  </xs:complexType>
>> </xs:schema>
>> 
>> And this file :
>> 
>> <data xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
>>  xsi:noNamespaceSchemaLocation="param.xsd">
>>  <param name="p1" />                               <!-- should fail 
>> assert1 -->
>>  <param name="p2" value="v2"/>                     <!-- should be 
>> valid -->
>>  <param name="p3" value="v3" as="xs:string"/>      <!-- should be 
>> valid -->
>>  <param name="p4" as="xs:string" abstract="true"/> <!-- should be 
>> valid -->
>>  <param name="p5" abstract="true"/>                <!-- should fail 
>> assert2 -->
>>  <param name="p6" abstract="true" value="v6"/>     <!-- should fail 
>> assert2 -->
>> </data>
>> 
>> All param except p4 are invalid.
>> p1 fails assert2
>> p2 fails assert1 & assert2
>> p3 fails assert2
>> p4 is valid
>> p5 fails assert2
>> p6 fails assert1 & assert2
>> 
>> I do not know what I miss... Any help will be much appreciated !
>> 
>> Best,
>> Christophe
>> 
>> _______________________________________________________________________
>> 
>> XML-DEV is a publicly archived, unmoderated list hosted by OASIS
>> to support XML implementation and development. To minimize
>> spam in the archives, you must subscribe before posting.
>> 
>> [Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/
>> Or unsubscribe: 
>> subscribe: 
>> List archive: http://lists.xml.org/archives/xml-dev/
>> List Guidelines: http://www.oasis-open.org/maillists/guidelines.php
> 
> 
> _______________________________________________________________________
> 
> XML-DEV is a publicly archived, unmoderated list hosted by OASIS
> to support XML implementation and development. To minimize
> spam in the archives, you must subscribe before posting.
> 
> [Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/
> Or unsubscribe: 
> subscribe: 
> List archive: http://lists.xml.org/archives/xml-dev/
> List Guidelines: http://www.oasis-open.org/maillists/guidelines.php