[DFDL-WG] Fw: Extra restrictions needed for dfdl:floating 'yes' ?

[Mike Beckerle]

Adding as Errata 2.152.


On Wed, Aug 14, 2013 at 12:31 PM, Steve Hanson <smh at uk.ibm.com> wrote:

> Agreed with the extra restrictions #1 and #2 and the additional/changed
> words in answer to Q2.
> Errata will be added.
>
> Regards
>
> Steve Hanson
> Architect, IBM Data Format Description Language (DFDL)
> Co-Chair, *OGF DFDL Working Group* <http://www.ogf.org/dfdl/>
> IBM SWG, Hursley, UK*
> **smh at uk.ibm.com* <smh at uk.ibm.com>
> tel:+44-1962-815848
> ----- Forwarded by Steve Hanson/UK/IBM on 14/08/2013 17:20 -----
>
> From:        Steve Hanson/UK/IBM
> To:        Tim Kimber/UK/IBM at IBMGB,
> Cc:        dfdl-wg at ogf.org, dfdl-wg-bounces at ogf.org
> Date:        14/08/2013 13:17
> Subject:        Re: [DFDL-WG] Extra restrictions needed for dfdl:floating
> 'yes' ?
> ------------------------------
>
>
> Q1:
> This is already disallowed.
>
> Q2:
> I think the way to look at this is that a non-floating array element must
> have its occurrences appearing contiguously, so the floating element can't
> appear in-between. In other words, floating 'yes' only makes a statement
> about the floating element, not about any other elements in the sequence.
> If we agree, then that needs clarifying in 14.4, and the statement I
> quoted needs modifying.
>
> *"**An ordered sequence of n element children **all** with** either n or
> n-1 of those children with** dfdl:floating='yes' is equivalent to an
> unordered sequence with the same n element children with dfdl:floating='no'.
> **"*
>
> Regards
>
> Steve Hanson
> Architect, IBM Data Format Description Language (DFDL)
> Co-Chair, *OGF DFDL Working Group* <http://www.ogf.org/dfdl/>
> IBM SWG, Hursley, UK*
> **smh at uk.ibm.com* <smh at uk.ibm.com>
> tel:+44-1962-815848
>
>
>
> From:        Tim Kimber/UK/IBM at IBMGB
> To:        dfdl-wg at ogf.org,
> Date:        14/08/2013 12:45
> Subject:        Re: [DFDL-WG] Extra restrictions needed for dfdl:floating
> 'yes' ?
> Sent by:        dfdl-wg-bounces at ogf.org
> ------------------------------
>
>
>
> Good question.Here are a couple more to consider, along the same lines:
>
> Q1: Suppose that the group looks like this:
>
> <*xs:sequence* dfdl:sequenceKind="ordered">
> <*xs:element* name="floating1" dfdl:floating="yes" type="xs:string"/>
> <*xs:group* ref="someGlobalModelGroup">
> <*xs:element* name="floating2" dfdl:floating="yes" type="xs:string"/>
> <*xs:sequence*>
>
> This is effectively an unordered group ( all except one member has
> floating='yes') but it contains a sequence group. Do we need to prohibit
> this?
>
> Q2: Suppose that the group looks like this:
>
> <*xs:sequence* dfdl:sequenceKind="ordered">
> <*xs:element* name="floating1" dfdl:floating="yes" type="xs:string"/>
> <*xs:element* name="nonFloating" dfdl:floating="no" type="xs:string"
>             minOccurs="5" maxOccurs="5"
>             dfdl:occursCountKind="implicit"/>
> <*xs:element* name="floating2" dfdl:floating="yes" type="xs:string"/>
> <*xs:sequence*>
>
> Here, the 5 occurrences of nonFloating could be scattered all over the
> group's content, with floating elements in between. Is that something that
> we want to allow? It seems inconsistent with the decision to re:
> occursCountKind and sequenceKind='unordered'.
>
> regards,
>
> Tim Kimber, DFDL Team,
> Hursley, UK
> Internet:  kimbert at uk.ibm.com
> Tel. 01962-816742
> Internal tel. 37246742
>
>
>
>
> From:        Steve Hanson/UK/IBM at IBMGB
> To:        dfdl-wg at ogf.org,
> Date:        14/08/2013 12:15
> Subject:        [DFDL-WG] Extra restrictions needed for dfdl:floating
> 'yes' ?
> Sent by:        dfdl-wg-bounces at ogf.org
>  ------------------------------
>
>
>
> Section 14.4 of the spec says: *
>
> "**An ordered sequence of n element children with either n or n-1 of
> those children with dfdl:floating='yes' is equivalent to an unordered
> sequence with the same n element children with dfdl:floating='no'.**"*
>
> Does this mean that the extra restrictions we recently added for unordered
> sequences must also apply to floating elements?
>
> If so these would manifest themselves as:
>
> #1: It is a schema definition error if an element with dfdl:floating 'yes'
> is an optional element or an array element and its dfdl:occursCountKind
> property is not ‘parsed’.
>
> #2: It is a schema definition error if two or more elements with
> dfdl:floating 'yes' in the same group have the same name and the same
> namespace.
>
> Regards
>
> Steve Hanson
> Architect, IBM Data Format Description Language (DFDL)
> Co-Chair, *OGF DFDL Working Group* <http://www.ogf.org/dfdl/>
> IBM SWG, Hursley, UK*
> **smh at uk.ibm.com* <smh at uk.ibm.com>
> tel:+44-1962-815848
> 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 at ogf.org
> *https://www.ogf.org/mailman/listinfo/dfdl-wg*<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
> --
>  dfdl-wg mailing list
>  dfdl-wg at 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
>
> 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 at ogf.org
>   https://www.ogf.org/mailman/listinfo/dfdl-wg
>



-- 
Mike Beckerle | OGF DFDL Workgroup Co-Chair | Tresys Technology |
www.tresys.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ogf.org/pipermail/dfdl-wg/attachments/20130816/cd92e71c/attachment-0001.html>