Re: [apps-discuss] draft-yevstifeyev-abnf-separated-lists-00.txt

Tony Hansen <tony@att.com> Mon, 06 December 2010 18:07 UTC

Return-Path: <tony@att.com>
X-Original-To: apps-discuss@core3.amsl.com
Delivered-To: apps-discuss@core3.amsl.com
Received: from localhost (localhost [127.0.0.1]) by core3.amsl.com (Postfix) with ESMTP id 65DF63A684B for <apps-discuss@core3.amsl.com>; Mon, 6 Dec 2010 10:07:07 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -106.489
X-Spam-Level:
X-Spam-Status: No, score=-106.489 tagged_above=-999 required=5 tests=[AWL=0.109, BAYES_00=-2.599, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_MED=-4, USER_IN_WHITELIST=-100]
Received: from mail.ietf.org ([64.170.98.32]) by localhost (core3.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id eJM-LALA-LYo for <apps-discuss@core3.amsl.com>; Mon, 6 Dec 2010 10:07:06 -0800 (PST)
Received: from mail167.messagelabs.com (mail167.messagelabs.com [216.82.253.179]) by core3.amsl.com (Postfix) with ESMTP id 7C8873A6822 for <apps-discuss@ietf.org>; Mon, 6 Dec 2010 10:07:04 -0800 (PST)
X-VirusChecked: Checked
X-Env-Sender: tony@att.com
X-Msg-Ref: server-10.tower-167.messagelabs.com!1291658903!25990682!1
X-StarScan-Version: 6.2.9; banners=-,-,-
X-Originating-IP: [144.160.20.145]
Received: (qmail 6502 invoked from network); 6 Dec 2010 18:08:26 -0000
Received: from sbcsmtp6.sbc.com (HELO mlpd192.enaf.sfdc.sbc.com) (144.160.20.145) by server-10.tower-167.messagelabs.com with DHE-RSA-AES256-SHA encrypted SMTP; 6 Dec 2010 18:08:26 -0000
Received: from enaf.sfdc.sbc.com (localhost.localdomain [127.0.0.1]) by mlpd192.enaf.sfdc.sbc.com (8.14.4/8.14.4) with ESMTP id oB6I8htx013707 for <apps-discuss@ietf.org>; Mon, 6 Dec 2010 13:08:43 -0500
Received: from alpd052.aldc.att.com (alpd052.aldc.att.com [130.8.42.31]) by mlpd192.enaf.sfdc.sbc.com (8.14.4/8.14.4) with ESMTP id oB6I8eAH013683 for <apps-discuss@ietf.org>; Mon, 6 Dec 2010 13:08:40 -0500
Received: from aldc.att.com (localhost.localdomain [127.0.0.1]) by alpd052.aldc.att.com (8.14.4/8.14.4) with ESMTP id oB6I8KKa008277 for <apps-discuss@ietf.org>; Mon, 6 Dec 2010 13:08:20 -0500
Received: from mailgw1.maillennium.att.com (mailgw1.maillennium.att.com [135.25.114.99]) by alpd052.aldc.att.com (8.14.4/8.14.4) with ESMTP id oB6I8GqP008158 for <apps-discuss@ietf.org>; Mon, 6 Dec 2010 13:08:17 -0500
Received: from [135.70.94.119] (vpn-135-70-94-119.vpn.swst.att.com[135.70.94.119]) by maillennium.att.com (mailgw1) with ESMTP id <20101206180815gw1004lklne> (Authid: tony); Mon, 6 Dec 2010 18:08:15 +0000
X-Originating-IP: [135.70.94.119]
Message-ID: <4CFD268E.3090701@att.com>
Date: Mon, 06 Dec 2010 13:08:14 -0500
From: Tony Hansen <tony@att.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-US; rv:1.9.2.12) Gecko/20101027 Thunderbird/3.1.6
MIME-Version: 1.0
To: apps-discuss@ietf.org
References: <4CFC4694.5070408@att.com> <AANLkTimX4B3WTYaPS5mj+GjcNYYvKf3MpB8SB0TwA_dm@mail.gmail.com> <4CFCF71C.4050908@att.com> <4CFD0B37.7010601@gmail.com> <4CFD1078.6030902@att.com>
In-Reply-To: <4CFD1078.6030902@att.com>
Content-Type: multipart/alternative; boundary="------------080402050606030300050108"
Subject: Re: [apps-discuss] draft-yevstifeyev-abnf-separated-lists-00.txt
X-BeenThere: apps-discuss@ietf.org
X-Mailman-Version: 2.1.9
Precedence: list
List-Id: General discussion of application-layer protocols <apps-discuss.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/listinfo/apps-discuss>, <mailto:apps-discuss-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/apps-discuss>
List-Post: <mailto:apps-discuss@ietf.org>
List-Help: <mailto:apps-discuss-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/apps-discuss>, <mailto:apps-discuss-request@ietf.org?subject=subscribe>
X-List-Received-Date: Mon, 06 Dec 2010 18:07:07 -0000

On 12/6/2010 11:34 AM, Tony Hansen wrote:
> ...
I'm happy with the definitions of n, m and o that are given in -01.
>>> Note also: your introduction is incorrect. It talks about ABNF 
>>> having the # rule. However, it does not. The original 822 ABNF had 
>>> the # rule, but it was dropped when ABNF was extracted for the *234 
>>> series.
>> Maybe I meant the construction form RFC 2616.
>
> That's fine -- say so then.
>
> Note that the #rule in 2616 also uses a minimum of n and a maximum of 
> m -- it does not use a difference for the second number.
>
> If you're going to offer this as an update to RFC 5234, you may wish 
> to specify that the #rule be added in as well.

You may wish to add to the Introduction that RFCs 733, 822, 1945, 2068, 
2543, 2616 and 2831 all defined a limited version of this rule, 
specifically for a comma separator.

More comments from version -01:

I disagree with adding SP / HT to the production list for a:

     a = VCHAR / SP / HT / <any other separator>

Your example that uses this:

     1^(SP)element indicates the list of elements separated by spaces
     which consists of any amount of elements but not less than 1.

has serious issues as a protocol element. It allows for arbitrary 
amounts of SP or HT followed by a single SP followed by arbitary amounts 
of SP or HT. What any self-respecting protocol would really want is a 
list separated by at least one SP or HT, as in

     1*(1*LWS element)

This is more obvious and exact. I'd hate to write a parser for 1^(SP), 
or debug protocol problems with it. (Is there really at least one SP 
character between those elements?)

The example

     ^(-)element indicates the list of elements separated by hyphens ("-")

cannot use a bare "-" like that. It must be specified as

     ^("-")element

Hope this helps.

I think it would be useful to find ABNF constructs in existing protocols 
that provide for lists and give examples of how their ABNF would have 
been simplified if this new ABNF construct were available.

     Tony Hansen
     tony@att.com