[DFDL-WG] checkConstraints example?

[Mike Beckerle]

James,

Taylor excerpted this from our tests. It uses checkConstraints along with
an enumeration constraint. I am assured there are negative tests as well as
this one.

....mike
------------------------------
*From:* Taylor Wise [twise at tresys.com]
*Sent:* Tuesday, March 26, 2013 9:11 AM
*To:* mbeckerle.dfdl at gmail.com
*Subject:* RE: [DFDL-WG] checkConstraints example?

      <xs:element name=*"e"* dfdl:lengthKind=*"delimited"*>

      <xs:annotation>

        <xs:appinfo source=*"http://www.ogf.org/dfdl/dfdl-1.0/"*>

          <dfdl:assert test=*"{ dfdl:checkConstraints(.) }"*

            message=*"Assertion failed for dfdl:checkConstraints(.)"* />

        </xs:appinfo>

      </xs:annotation>

      <xs:simpleType>

        <xs:restriction base=*"ex:stWeekend"* />

      </xs:simpleType>

    </xs:element>



    <xs:simpleType name=*"stWeekend"*>

      <xs:restriction base=*"ex:stWeekdays"*>

        <xs:enumeration value=*"SATURDAY"*/>

        <xs:enumeration value=*"SUNDAY"*/>

      </xs:restriction>

    </xs:simpleType>

    <xs:simpleType name=*"stWeekdays"*>

      <xs:restriction base=*"xs:string"*>

        <xs:enumeration value=*"MONDAY"*/>

        <xs:enumeration value=*"TUESDAY"*/>

        <xs:enumeration value=*"WEDNESDAY"*/>

        <xs:enumeration value=*"THURSDAY"*/>

        <xs:enumeration value=*"FRIDAY"*/>

        <xs:enumeration value=*"SATURDAY"*/>

        <xs:enumeration value=*"SUNDAY"*/>

      </xs:restriction>

    </xs:simpleType>



      <!--

    Test name: checkEnumeration_Pass_Subset

       Schema: checkConstraints

      Purpose: This test demonstrates the use of validation for the

               enumeration facet.

  -->

  <tdml:parserTestCase name=*"checkEnumeration_Pass_Subset"*

    root=*"e"* model=*"TestFacets"*>



    <tdml:document>SATURDAY</tdml:document>

    <tdml:infoset>

      <tdml:dfdlInfoset>

        <e>SATURDAY</e>

      </tdml:dfdlInfoset>

    </tdml:infoset>

  </tdml:parserTestCase>



*From:* Mike Beckerle [mailto:mbeckerle.dfdl at gmail.com]
*Sent:* Tuesday, March 26, 2013 9:03 AM
*To:* Taylor Wise
*Subject:* Fwd: [DFDL-WG] checkConstraints example?




Taylor, do we have a test that calls checkConstraints to check enumeration
facets?

Is that even implemented yet?

...mike

---------- Forwarded message ----------
From: *Garriss Jr., James P.*
<jgarriss at mitre.org<https://exchange10.columbia.tresys.com/owa/redir.aspx?C=aa8b7b062a6b46f4a9be1653e2fa9bf2&URL=mailto%3ajgarriss%40mitre.org>
>
Date: Tue, Mar 26, 2013 at 7:28 AM
Subject: [DFDL-WG] checkConstraints example?
To: "dfdl-wg at ogf.org<https://exchange10.columbia.tresys.com/owa/redir.aspx?C=aa8b7b062a6b46f4a9be1653e2fa9bf2&URL=mailto%3adfdl-wg%40ogf.org>"
<dfdl-wg at ogf.org<https://exchange10.columbia.tresys.com/owa/redir.aspx?C=aa8b7b062a6b46f4a9be1653e2fa9bf2&URL=mailto%3adfdl-wg%40ogf.org>
>

  Can you please supply an example of using checkConstraints to valid an
enumeration?  There’s not one in the spec, and none of the tutorials I have
demo this.



Suppose I have this DFDL:



<xsd:element name="DayOfTheWeek“…>

  <xsd:simpleType>

    <xsd:restriction base="xsd:string">

      <xsd:enumeration value="Mon" />

      <xsd:enumeration value="Tue" />

      <xsd:enumeration value="Wed" />

      …

    </xsd:restriction>

  </xsd:simpleType>

</xsd:element>



TIA


--
  dfdl-wg mailing list
  dfdl-wg at ogf.org<https://exchange10.columbia.tresys.com/owa/redir.aspx?C=aa8b7b062a6b46f4a9be1653e2fa9bf2&URL=mailto%3adfdl-wg%40ogf.org>
  https://www.ogf.org/mailman/listinfo/dfdl-wg<https://exchange10.columbia.tresys.com/owa/redir.aspx?C=aa8b7b062a6b46f4a9be1653e2fa9bf2&URL=https%3a%2f%2fwww.ogf.org%2fmailman%2flistinfo%2fdfdl-wg>




-- 
Mike Beckerle | OGF DFDL Workgroup Co-Chair | Tresys Technology |
www.tresys.com<https://exchange10.columbia.tresys.com/owa/redir.aspx?C=aa8b7b062a6b46f4a9be1653e2fa9bf2&URL=http%3a%2f%2fwww.tresys.com>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ogf.org/pipermail/dfdl-wg/attachments/20130326/fe76bccc/attachment-0001.html>