Re: [netmod] [Editorial Errata Reported] RFC7950 (5642)

Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> Thu, 21 February 2019 18:53 UTC

Return-Path: <j.schoenwaelder@jacobs-university.de>
X-Original-To: netmod@ietfa.amsl.com
Delivered-To: netmod@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 0C2E4131123 for <netmod@ietfa.amsl.com>; Thu, 21 Feb 2019 10:53:15 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.899
X-Spam-Level:
X-Spam-Status: No, score=-1.899 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_NONE=-0.0001, URIBL_BLOCKED=0.001] 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 ZtaT3369IzxS for <netmod@ietfa.amsl.com>; Thu, 21 Feb 2019 10:53:13 -0800 (PST)
Received: from atlas5.jacobs-university.de (atlas5.jacobs-university.de [212.201.44.20]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 63DC513111F for <netmod@ietf.org>; Thu, 21 Feb 2019 10:53:13 -0800 (PST)
Received: from localhost (demetrius5.irc-it.jacobs-university.de [10.70.0.222]) by atlas5.jacobs-university.de (Postfix) with ESMTP id 26E0937; Thu, 21 Feb 2019 19:53:12 +0100 (CET)
X-Virus-Scanned: amavisd-new at jacobs-university.de
Received: from atlas5.jacobs-university.de ([10.70.0.217]) by localhost (demetrius5.jacobs-university.de [10.70.0.222]) (amavisd-new, port 10032) with ESMTP id IktqlHooEDW8; Thu, 21 Feb 2019 19:53:11 +0100 (CET)
Received: from hermes.jacobs-university.de (hermes.jacobs-university.de [212.201.44.23]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "hermes.jacobs-university.de", Issuer "Jacobs University CA - G01" (verified OK)) by atlas5.jacobs-university.de (Postfix) with ESMTPS; Thu, 21 Feb 2019 19:53:11 +0100 (CET)
Received: from localhost (demetrius5.irc-it.jacobs-university.de [10.70.0.222]) by hermes.jacobs-university.de (Postfix) with ESMTP id D0C8A20058; Thu, 21 Feb 2019 19:53:11 +0100 (CET)
X-Virus-Scanned: amavisd-new at jacobs-university.de
Received: from hermes.jacobs-university.de ([212.201.44.23]) by localhost (demetrius5.jacobs-university.de [10.70.0.222]) (amavisd-new, port 10028) with ESMTP id z7s93RgthVKe; Thu, 21 Feb 2019 19:53:11 +0100 (CET)
Received: from exchange.jacobs-university.de (sxchmb03.jacobs.jacobs-university.de [10.70.0.155]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "exchange.jacobs-university.de", Issuer "DFN-Verein Global Issuing CA" (verified OK)) by hermes.jacobs-university.de (Postfix) with ESMTPS id 73F9B20057; Thu, 21 Feb 2019 19:53:11 +0100 (CET)
Received: from anna.localdomain (10.50.218.117) by sxchmb03.jacobs.jacobs-university.de (10.70.0.155) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.1.1591.10; Thu, 21 Feb 2019 19:53:10 +0100
Received: by anna.localdomain (Postfix, from userid 501) id DC09030069AACC; Thu, 21 Feb 2019 19:53:09 +0100 (CET)
Date: Thu, 21 Feb 2019 19:53:09 +0100
From: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
To: Peter Loborg <peter.loborg@ericsson.com>
CC: "netmod@ietf.org" <netmod@ietf.org>
Message-ID: <20190221185309.sh3hegyt5lapm6bb@anna.jacobs.jacobs-university.de>
Reply-To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
Mail-Followup-To: Peter Loborg <peter.loborg@ericsson.com>, "netmod@ietf.org" <netmod@ietf.org>
References: <20190221163919.5196EB81AF4@rfc-editor.org> <20190221170126.2kv5vxhvbsycvwxf@anna.jacobs.jacobs-university.de> <HE1PR0701MB29055B448AE01114B277C478EA7E0@HE1PR0701MB2905.eurprd07.prod.outlook.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
In-Reply-To: <HE1PR0701MB29055B448AE01114B277C478EA7E0@HE1PR0701MB2905.eurprd07.prod.outlook.com>
User-Agent: NeoMutt/20180716
X-ClientProxiedBy: SXCHMB03.jacobs.jacobs-university.de (10.70.0.155) To sxchmb03.jacobs.jacobs-university.de (10.70.0.155)
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/K7YWZ3FEuekv3kqmSQ2NUIrG-lQ>
Subject: Re: [netmod] [Editorial Errata Reported] RFC7950 (5642)
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: NETMOD WG list <netmod.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/netmod>, <mailto:netmod-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/netmod/>
List-Post: <mailto:netmod@ietf.org>
List-Help: <mailto:netmod-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/netmod>, <mailto:netmod-request@ietf.org?subject=subscribe>
X-List-Received-Date: Thu, 21 Feb 2019 18:53:15 -0000

On Thu, Feb 21, 2019 at 05:26:43PM +0000, Peter Loborg wrote:
> The following two rules in section 14:
> 
> enum-stmt           = enum-keyword sep string optsep
>                          (";" /
>                           "{" stmtsep
>                               ;; these stmts can appear in any order
>                               *if-feature-stmt
>                               [value-stmt]
>                               [status-stmt]
>                               [description-stmt]
>                               [reference-stmt]
>                            "}") stmtsep
> 
> string              = < an unquoted string, as returned by >
>                          < the scanner, that matches the rule >
>                          < yang-string >

The key here is "as returned by the scanner".
 
> ...and the definition of unquoted string in section 6.1.3 about its content... (not a problem in your example)
> 
>    An unquoted string is any sequence of characters that does not
>    contain any space, tab, carriage return, or line feed characters, a
>    single or double quote character, a semicolon (";"), braces ("{" or
>    "}"), or comment sequences ("//", "/*", or "*/").
> 
> ...and the explicit descriptions of single-quoted strings and double-quoted strings further down in 6.1.3 as being enclosed by said quotes.

Section 6.1 defines the lexical rules and what the scanner returns is
an unquopted string but it accepts unquoted strings and quoted string
and combinations thereof with the "+" concatenation operator as input.

The errata should be rejected.

/js

-- 
Juergen Schoenwaelder           Jacobs University Bremen gGmbH
Phone: +49 421 200 3587         Campus Ring 1 | 28759 Bremen | Germany
Fax:   +49 421 200 3103         <https://www.jacobs-university.de/>