Re: [netmod] Adding a pre-existing leaf into a new 'choice' - NBC change?

Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> Fri, 23 November 2018 12:39 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 403AF12E043 for <netmod@ietfa.amsl.com>; Fri, 23 Nov 2018 04:39:15 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.9
X-Spam-Level:
X-Spam-Status: No, score=-1.9 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_NONE=-0.0001] 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 E5vy4JyKZxJn for <netmod@ietfa.amsl.com>; Fri, 23 Nov 2018 04:39:12 -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 6737012958B for <netmod@ietf.org>; Fri, 23 Nov 2018 04:39:11 -0800 (PST)
Received: from localhost (demetrius5.irc-it.jacobs-university.de [10.70.0.222]) by atlas5.jacobs-university.de (Postfix) with ESMTP id 52E36E16; Fri, 23 Nov 2018 13:39:09 +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 byQmrELZV4VB; Fri, 23 Nov 2018 13:39:09 +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; Fri, 23 Nov 2018 13:39:09 +0100 (CET)
Received: from localhost (demetrius1.jacobs-university.de [212.201.44.46]) by hermes.jacobs-university.de (Postfix) with ESMTP id 3D08D2003C; Fri, 23 Nov 2018 13:39:09 +0100 (CET)
X-Virus-Scanned: amavisd-new at jacobs-university.de
Received: from hermes.jacobs-university.de ([212.201.44.23]) by localhost (demetrius1.jacobs-university.de [212.201.44.32]) (amavisd-new, port 10024) with ESMTP id SdU25Mh0_9U6; Fri, 23 Nov 2018 13:39:08 +0100 (CET)
Received: from exchange.jacobs-university.de (sxchmb04.jacobs.jacobs-university.de [10.70.0.156]) (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 AC53320037; Fri, 23 Nov 2018 13:39:08 +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; Fri, 23 Nov 2018 13:39:08 +0100
Received: by anna.localdomain (Postfix, from userid 501) id D6DCB30044A385; Fri, 23 Nov 2018 13:39:07 +0100 (CET)
Date: Fri, 23 Nov 2018 13:39:07 +0100
From: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
To: Ladislav Lhotka <lhotka@nic.cz>
CC: netmod@ietf.org
Message-ID: <20181123123907.4wuuojmoikb7fegr@anna.jacobs.jacobs-university.de>
Reply-To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
Mail-Followup-To: Ladislav Lhotka <lhotka@nic.cz>, netmod@ietf.org
References: <20181122163046.bkzck2bmbrf3fzm7@anna.jacobs.jacobs-university.de> <87tvk85et8.fsf@nic.cz> <20181123093813.gpxrtanbxgadpwih@anna.jacobs.jacobs-university.de> <20181123.110548.845126088727972359.mbj@tail-f.com> <20181123113341.br77pxmfhcwn6yck@anna.jacobs.jacobs-university.de> <d4e91369c2fe948fe6e2a884ee8dc889f6ce12c6.camel@nic.cz>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
In-Reply-To: <d4e91369c2fe948fe6e2a884ee8dc889f6ce12c6.camel@nic.cz>
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/sCy9trBOl62XThGcC2l5fxD6k24>
Subject: Re: [netmod] Adding a pre-existing leaf into a new 'choice' - NBC change?
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: Fri, 23 Nov 2018 12:39:15 -0000

On Fri, Nov 23, 2018 at 01:02:03PM +0100, Ladislav Lhotka wrote:
> > 
> > Here is an attempt to rewrite things in a way according to how I
> > understand things works. It should be possible to describe what we
> > mean. If we can't do that, we have a bigger problem. (I have changed
> > only the last two sentences.)
> > 
> > OLD
> > 
> >    The leafref built-in type is restricted to the value space of some
> >    leaf or leaf-list node in the schema tree and optionally further
> >    restricted by corresponding instance nodes in the data tree.  The
> >    "path" substatement (Section 9.9.2) is used to identify the referred
> >    leaf or leaf-list node in the schema tree.  The value space of the
> >    referring node is the value space of the referred node.
> > 
> > NEW
> > 
> >    The leafref built-in type is restricted to the value space of some
> >    leaf or leaf-list node in the schema tree and optionally further
> >    restricted by corresponding instance nodes in the data tree.  The
> >    "path" substatement (Section 9.9.2) is used to identify a leaf or
> >    leaf-list node in the data tree. The value space of the leafref
> >    node is determined by the value space of the schema tree node
> 
> The term "value space of a schema tree node" is not defined.

OK. So we say 'the value space of the type of the schema tree node'.
 
> >    definining the referenced data tree node.
> 
> With require-instance=false there needn't be any referenced data tree node.

So we add "(irrespective whether the node exists or not).

> > This likely is not perfect yet but perhaps we manage to make it
> > perfect. ;-) What is not yet clearly described I think is what
> > 'further restricted by corresponding instance nodes in the data tree'
> > means (and that I think depends on require-instance). Perhaps add
> 
> Right. In this case it is not "further restricted" but rather there is a
> discrete set of possible values.

A discrete set of possible values is a restriction so I do not
understand your comment. So here is the next iteration:

NEW:

    The leafref built-in type is restricted to the value space of some
    leaf or leaf-list node in the schema tree and optionally further
    restricted by corresponding instance nodes in the data tree (see
    Section 9.9.3).  The "path" substatement (Section 9.9.2) is used
    to identify a leaf or leaf-list node in the data tree. The value
    space of the leafref node is determined by the value space of the
    type of the schema tree node definining the referenced data tree
    node (irrespective whether the referenced data tree node exists or
    not).

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