See my earlier reply. We added the dfdl:checkConstraints() function for use by a dfdl:assert or dfdl:discriminator. It's in the DFDL 1.0 spec (ie, it is not an errata).

Regards

Steve Hanson
Architect, Data Format Description Language (DFDL)
Co-Chair, OGF DFDL Working Group
IBM SWG, Hursley, UK
smh@uk.ibm.com
tel:+44-1962-815848

From: Tim Kimber/UK/IBM@IBMGB
To: Mike Beckerle <mbeckerle.dfdl@gmail.com>
Cc: dfdl-wg@ogf.org, dfdl-wg-bounces@ogf.org
Date: 06/09/2012 10:02
Subject: Re: [DFDL-WG] clarification wanted: fixed values
Sent by: dfdl-wg-bounces@ogf.org

There are two situations where it would be be useful for DFDL to check XML schema constraints/facets when parsing, regardless of the validation setting:
a) The scenario below, where a fixed value is specified
b) The equivalent scenario where the simple type has a single enumeration facet . This scenario can be extended to cover all types of facets.

Both a) and b) are actually used in xsds for industry standards where a choice is resolved by an identifier field. Sometimes the identifier is not the first element on the choice branch, so cannot be used as an initiator. Last time we discussed this, we agreed ( I think ) to add a new dfdl function that checks fixed values and facets and throws a processing error if they do not match the parsed value. Or maybe we agreed to make it a new type of dfdl:assert/discriminator test.

I proposed an alternative scheme in which the DFDL parser unconditionally treats facet validation errors as processing errors. This was not accepted because
a) facet validation can be expensive in CPU, so it is useful to
b) if facet validation was put under control of a parser feature then the info set produced by a parser would depend on information outside of the DFDL schema.
I'm not sure about b), given that we support external variables that could affect backtracking behaviour and therefore affect the contents of the info set.

regards,

Tim Kimber, DFDL Team,
Hursley, UK
Internet: kimbert@uk.ibm.com
Tel. 01962-816742
Internal tel. 37246742

From: Mike Beckerle <mbeckerle.dfdl@gmail.com>
To: dfdl-wg@ogf.org
Date: 06/09/2012 03:09
Subject: [DFDL-WG] clarification wanted: fixed values
Sent by: dfdl-wg-bounces@ogf.org

The spec states that the fixed facet is only used for validation.

That is, it works like default in that it supplies a default that can be used when parsing and unparsing, but the comparison of an existing data value with the schema-specified fixed value is only done for validation. This means that a value not agreeing with the fixed value specified in the schema would never cause backtracking.

Is this right? It seems awkward to me that I have to use a dfdl:assert annotation to achieve this. That said, however, I can achieve the behaviour I need. it's just more verbose than I wanted.

Is this what the current IBM implementation does?

Thanks

--
Mike Beckerle | OGF DFDL WG Co-Chair
Tel: 781-330-0412-- dfdl-wg mailing list dfdl-wg@ogf.orghttps://www.ogf.org/mailman/listinfo/dfdl-wg

Unless stated otherwise above:
IBM United Kingdom Limited - Registered in England and Wales with number 741598.
Registered office: PO Box 41, North Harbour, Portsmouth, Hampshire PO6 3AU-- dfdl-wg mailing list dfdl-wg@ogf.org https://www.ogf.org/mailman/listinfo/dfdl-wg

Unless stated otherwise above:
IBM United Kingdom Limited - Registered in England and Wales with number 741598.
Registered office: PO Box 41, North Harbour, Portsmouth, Hampshire PO6 3AU