Re: [abnf-discuss] ABNF colloquialism for end-of-line

Carsten Bormann <cabo@tzi.org> Thu, 16 November 2017 02:35 UTC

Return-Path: <cabo@tzi.org>
X-Original-To: abnf-discuss@ietfa.amsl.com
Delivered-To: abnf-discuss@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 58704129413 for <abnf-discuss@ietfa.amsl.com>; Wed, 15 Nov 2017 18:35:59 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.2
X-Spam-Level:
X-Spam-Status: No, score=-4.2 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_MED=-2.3] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id q6FfzyOS0X6B for <abnf-discuss@ietfa.amsl.com>; Wed, 15 Nov 2017 18:35:58 -0800 (PST)
Received: from mailhost.informatik.uni-bremen.de (mailhost.informatik.uni-bremen.de [IPv6:2001:638:708:30c9::12]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id A5FE6120227 for <abnf-discuss@ietf.org>; Wed, 15 Nov 2017 18:35:57 -0800 (PST)
X-Virus-Scanned: amavisd-new at informatik.uni-bremen.de
Received: from submithost.informatik.uni-bremen.de (submithost.informatik.uni-bremen.de [134.102.201.11]) by mailhost.informatik.uni-bremen.de (8.14.5/8.14.5) with ESMTP id vAG2Zr7u001653; Thu, 16 Nov 2017 03:35:53 +0100 (CET)
Received: from [IPv6:2001:67c:370:128:f1d7:b99a:4881:c8ca] (unknown [IPv6:2001:67c:370:128:f1d7:b99a:4881:c8ca]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by submithost.informatik.uni-bremen.de (Postfix) with ESMTPSA id 3ycljN6RwLzDXsg; Thu, 16 Nov 2017 03:35:52 +0100 (CET)
Content-Type: text/plain; charset="utf-8"
Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\))
From: Carsten Bormann <cabo@tzi.org>
In-Reply-To: <3fbd228d-c6cf-be73-c7f2-f6b15979b852@gmail.com>
Date: Thu, 16 Nov 2017 10:35:48 +0800
Cc: Sean Leonard <dev+ietf@seantek.com>, ABNF-Discuss <abnf-discuss@ietf.org>
X-Mao-Original-Outgoing-Id: 532492548.849602-8ea77adbabec889b201036552d915312
Content-Transfer-Encoding: quoted-printable
Message-Id: <477FA5E8-FBAA-47D4-98A6-79DBAE4498C7@tzi.org>
References: <97E6D6C0-7010-46D6-8641-670F10A2504C@seantek.com> <3fbd228d-c6cf-be73-c7f2-f6b15979b852@gmail.com>
To: Dave Crocker <dcrocker@gmail.com>
X-Mailer: Apple Mail (2.3273)
Archived-At: <https://mailarchive.ietf.org/arch/msg/abnf-discuss/-garyUssviPb9Ktd6_SQO4QpAIo>
Subject: Re: [abnf-discuss] ABNF colloquialism for end-of-line
X-BeenThere: abnf-discuss@ietf.org
X-Mailman-Version: 2.1.22
Precedence: list
List-Id: "General discussion about tools, activities and capabilities involving the ABNF meta-language" <abnf-discuss.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/abnf-discuss>, <mailto:abnf-discuss-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/abnf-discuss/>
List-Post: <mailto:abnf-discuss@ietf.org>
List-Help: <mailto:abnf-discuss-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/abnf-discuss>, <mailto:abnf-discuss-request@ietf.org?subject=subscribe>
X-List-Received-Date: Thu, 16 Nov 2017 02:35:59 -0000

Hi Dave,

On Nov 15, 2017, at 23:37, Dave Crocker <dcrocker@gmail.com> wrote:
> 
> Given that the thread in CBOR says 'matching rules', I'm guessing that the goal here is to describe freeform data coming from the net.  Hence, requiring a simple, canonicalized data form is not appropriate.  (This is an essential point; if it's not correct, then what follows won't be either.)

The thread title unfortunately is misleading.

The ABNF is not for on-the wire packets, but for defining the syntax of the CDDL language (which then defines the syntax of the on-the-wire data items).

So this ABNF is about files on computers, which probably run a form of Linux/Unix or Windows (and very likely not pre-2001 classic MacOS).  So

   EOL = [CR] LF

is probably the right way to describe line ends for these files.

The context for this (with one exception) is

   NL = COMMENT / EOL
   COMMENT = ";" *(SP / VCHAR) EOL
   VCHAR = %x21-7E

Maybe NL is not the best name for the encompassing rule, but it is used only in one additional rule:

   WS = SP / NL

Grüße, Carsten


PS.: If ABNF had cuts, I’d write

   EOL = [CR ^] LF

to get better errors on stray CRs.  Maybe not so important these days.