Re: [netmod] 6021 ipv4-prefix

Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> Mon, 29 April 2019 16:12 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 833BE12034E for <netmod@ietfa.amsl.com>; Mon, 29 Apr 2019 09:12:29 -0700 (PDT)
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 FzRlWoz4Iou2 for <netmod@ietfa.amsl.com>; Mon, 29 Apr 2019 09:12:28 -0700 (PDT)
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 E2341120168 for <netmod@ietf.org>; Mon, 29 Apr 2019 09:12:27 -0700 (PDT)
Received: from localhost (demetrius5.irc-it.jacobs-university.de [10.70.0.222]) by atlas5.jacobs-university.de (Postfix) with ESMTP id A430AB46; Mon, 29 Apr 2019 18:12:26 +0200 (CEST)
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 Okbw7LrvmBjB; Mon, 29 Apr 2019 18:12:26 +0200 (CEST)
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; Mon, 29 Apr 2019 18:12:26 +0200 (CEST)
Received: from localhost (demetrius5.irc-it.jacobs-university.de [10.70.0.222]) by hermes.jacobs-university.de (Postfix) with ESMTP id 6869B200E0; Mon, 29 Apr 2019 18:12:26 +0200 (CEST)
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 X4mq4NOGfI30; Mon, 29 Apr 2019 18:12:26 +0200 (CEST)
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 148FC200DF; Mon, 29 Apr 2019 18:12:25 +0200 (CEST)
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.1713.5; Mon, 29 Apr 2019 18:12:25 +0200
Received: by anna.localdomain (Postfix, from userid 501) id 2316E3008A056E; Mon, 29 Apr 2019 18:12:24 +0200 (CEST)
Date: Mon, 29 Apr 2019 18:12:24 +0200
From: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
To: "Rob Wilton (rwilton)" <rwilton@cisco.com>
CC: Ladislav Lhotka <lhotka@nic.cz>, NETMOD WG <netmod@ietf.org>
Message-ID: <20190429161224.qevjf7754pevokje@anna.jacobs.jacobs-university.de>
Reply-To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
Mail-Followup-To: "Rob Wilton (rwilton)" <rwilton@cisco.com>, Ladislav Lhotka <lhotka@nic.cz>, NETMOD WG <netmod@ietf.org>
References: <20190429103451.yink4bdvvmlh7ohe@anna.jacobs.jacobs-university.de> <c03aa9a27ed544c5be88fd0750d782e3@XCH-RCD-007.cisco.com> <20190429134615.f32zkbia6fqwk3to@anna.jacobs.jacobs-university.de> <b404565930694fd8af93326b5e754a2b@XCH-RCD-007.cisco.com> <0c4265d31adbf208a680f76216cc4bc42c766eae.camel@nic.cz> <959ed1a8092f4798ac0b923384962049@XCH-RCD-007.cisco.com> <3ec0ba130610b31709e1c511e014f9574fccd846.camel@nic.cz> <fb1edb59b75745438bfd6d1c4f293d85@XCH-RCD-007.cisco.com> <def7cc0f4a4c9b3c2ef09bc4b4f6eb4353141c72.camel@nic.cz> <0875c548bfb84cf2b0ecf838f1541572@XCH-RCD-007.cisco.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
In-Reply-To: <0875c548bfb84cf2b0ecf838f1541572@XCH-RCD-007.cisco.com>
User-Agent: NeoMutt/20180716
X-ClientProxiedBy: SXCHMB02.jacobs.jacobs-university.de (10.70.0.121) To sxchmb03.jacobs.jacobs-university.de (10.70.0.155)
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/u8XfxrAnqXzBInodpnvHUnLodrA>
Subject: Re: [netmod] 6021 ipv4-prefix
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: Mon, 29 Apr 2019 16:12:30 -0000

On Mon, Apr 29, 2019 at 03:58:03PM +0000, Rob Wilton (rwilton) wrote:
> 
> 
> But according to RFC-7950, from a language POV, I think that it is reasonable to interpret the canonical format of ipv4-prefix to match that of its base YANG type, i.e. string.
> 
> 9.4.2.  Canonical Form
> 
>    The canonical form is the same as the lexical representation.  No
>    Unicode normalization of string values is performed.
> 
> Section "9.1.  Canonical Representation" does not state that the canonical format of a type may be overridden by a description statement.
>

Section 9.1 talks about 'types' - the text does not indicate that this
is restricted to built-in types.

We are defining canonical formats of typedefs since RFC 6021, which
was published together with the first version of YANG (RFC 6020). Are
you telling us that we got this all wrong? How do you test for say an
IPv6 address in an xpath expression if you cannot predict how it is
lexically represented?

/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/>