Updated proposal based on comments




Alan Powell

MP 211, IBM UK Labs, Hursley,  Winchester, SO21 2JN, England
Notes Id: Alan Powell/UK/IBM     email: alan_powell@uk.ibm.com  
Tel: +44 (0)1962 815073                  Fax: +44 (0)1962 816898

----- Forwarded by Alan Powell/UK/IBM on 06/10/2009 18:15 -----
From: Steve Hanson/UK/IBM
To: Tim Kimber/UK/IBM@IBMGB
Cc: Alan Powell/UK/IBM@IBMGB, Suman Kalia/Toronto/IBM@IBMCA, Mike Beckerle <mbeckerle.dfdl@gmail.com>, Peter Lambros/UK/IBM@IBMGB, steve.marting@progeny.net
Date: 30/09/2009 10:31
Subject: Re: Parsing Rules for resolving points of uncertainty (speculative         parsing)




Some more comments in here.

Steve copied in as will be discussed on call today.

[attachment "Resolving Uncertainty v1.doc" deleted by Alan Powell/UK/IBM]

Regards

Steve Hanson
Programming Model Architect, WebSphere Message  Brokers,
OGF DFDL WG Co-Chair,
Hursley, UK,
Internet: smh@uk.ibm.com,
Phone (+44)/(0) 1962-815848



From: Tim Kimber/UK/IBM
To: Mike Beckerle <mbeckerle.dfdl@gmail.com>
Cc: Alan Powell/UK/IBM@IBMGB, Suman Kalia <kalia@ca.ibm.com>, Peter Lambros/UK/IBM@IBMGB, Robert Connolly <rconnoll@us.ibm.com>, Steve Hanson/UK/IBM@IBMGB
Date: 28/09/2009 14:20
Subject: Re: Parsing Rules for resolving points of uncertainty (speculative         parsing)




re: Mike's point, I would suggest
- member of a choice group/unordered group/group containing floating elements: scope of uncertainty is the scope of the element
- optional occurrence : parser tries first to parse another occurrence, and the scope of uncertainty is the scope of the element. Secondly, parser tries to parse the item following the element ( which may be a group ) and the scope of uncertainty is the scope of that element/group.

re: Alan's draft, I think the final para could be replaced with the following two statements:
- if a processing error is encountered while parsing an option, the parser will back up and try the next option. If there are no further options, the processing error will propagate out to the next enclosing point of uncertainty.
- a dfdl:assert can be used to trigger a processing error. If the expression evaluates to false, the parser will behave exactly as if a normal processing error had been encountered.

Wording can probably be improved...

regards,

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




From: Mike Beckerle <mbeckerle.dfdl@gmail.com>
To: Alan Powell/UK/IBM@IBMGB
Cc: Steve Hanson/UK/IBM@IBMGB, Tim Kimber/UK/IBM@IBMGB, Robert Connolly <rconnoll@us.ibm.com>, Peter Lambros/UK/IBM@IBMGB, Suman Kalia <kalia@ca.ibm.com>
Date: 25/09/2009 21:53
Subject: Re: Parsing Rules for resolving points of uncertainty (speculative         parsing)





Some feedback attached.

We need some notion of the region of uncertainty, so we can discuss where assertions and discriminators have effect, and so we can say when the uncertainty ends and we no longer consider backtracking that region just because we finished without processing error.



On Fri, Sep 25, 2009 at 11:51 AM, Alan Powell <alan_powell@uk.ibm.com> wrote:

Guys  (limited distribution initially)



I have simplified the previous speculative parsing description into a set of simple rules.


Discussion points

1.        Deemed to be found rule 1 'All the components of the option are found' could severely limit the ability to do partial parsing as it includes everything up to the terminator.
2.        Do all/more the processing errors need to be listed for Not Found rule 3?




Alan Powell

MP 211, IBM UK Labs, Hursley,  Winchester, SO21 2JN, England
Notes Id: Alan Powell/UK/IBM     email:
alan_powell@uk.ibm.com  
Tel: +44 (0)1962 815073                  Fax: +44 (0)1962 816898





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





[attachment "Resolving Uncertainty v1.doc" deleted by Tim Kimber/UK/IBM]

[attachment "Resolving Uncertainty v1.doc" deleted by Steve Hanson/UK/IBM]






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