Re: [netmod] choice/case in tree diagrams
Ladislav Lhotka <lhotka@nic.cz> Mon, 05 March 2018 15:06 UTC
Return-Path: <lhotka@nic.cz>
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 0BCFF12D777 for <netmod@ietfa.amsl.com>; Mon, 5 Mar 2018 07:06:58 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -7.009
X-Spam-Level:
X-Spam-Status: No, score=-7.009 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RCVD_IN_DNSWL_HI=-5, T_RP_MATCHES_RCVD=-0.01, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=nic.cz
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 I8iyLQYKh9k0 for <netmod@ietfa.amsl.com>; Mon, 5 Mar 2018 07:06:56 -0800 (PST)
Received: from mail.nic.cz (mail.nic.cz [217.31.204.67]) (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 D69B4127337 for <netmod@ietf.org>; Mon, 5 Mar 2018 07:06:55 -0800 (PST)
Received: from birdie (unknown [IPv6:2001:718:1a02:1::380]) by mail.nic.cz (Postfix) with ESMTPSA id 467F8623E1 for <netmod@ietf.org>; Mon, 5 Mar 2018 16:06:54 +0100 (CET)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nic.cz; s=default; t=1520262414; bh=HpowFLhz+FovyBIJ7DkCg2xx1QYaXrwTo6/mgz/yYJQ=; h=From:To:Date; b=xvE+9wIxQafN3S8W0CpjCRssVsc1KZFakD+Nx8k25ltMYuO4MlE7l4gt9+2oz7icX xox3nYAnxuM2yX0jrxgejs+a4hNfOVmK34Q0yuBz4knG9zp4TWI7W6yWGg4A9kjiSM aGSYisGOo3BVFY21P0cwFqfnPtvdgd7E3FQIvCrQ=
Message-ID: <1520262414.7198.35.camel@nic.cz>
From: Ladislav Lhotka <lhotka@nic.cz>
To: netmod@ietf.org
Date: Mon, 05 Mar 2018 16:06:54 +0100
In-Reply-To: <114ab291-27d2-2aa5-1327-23d80d35cc9f@tail-f.com>
References: <20180305134934.neam7t2snb2wdvon@elstar.local> <20180305.145418.2010818875235650756.mbj@tail-f.com> <20180305141355.gi6kfej3eifdxtjq@elstar.local> <20180305.152602.113020152789243398.mbj@tail-f.com> <1520260878.7198.28.camel@nic.cz> <114ab291-27d2-2aa5-1327-23d80d35cc9f@tail-f.com>
Organization: CZ.NIC
Content-Type: text/plain; charset="UTF-8"
X-Mailer: Evolution 3.26.5
Mime-Version: 1.0
Content-Transfer-Encoding: 7bit
X-Virus-Scanned: clamav-milter 0.99.2 at mail
X-Virus-Status: Clean
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/lBKR834dBTaIMzQHWFmPD50Ub7k>
Subject: Re: [netmod] choice/case in tree diagrams
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.22
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, 05 Mar 2018 15:06:58 -0000
On Mon, 2018-03-05 at 15:49 +0100, Per Hedeland wrote: > On 2018-03-05 15:41, Ladislav Lhotka wrote: > > On Mon, 2018-03-05 at 15:26 +0100, Martin Bjorklund wrote: > > > Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> wrote: > > > > On Mon, Mar 05, 2018 at 02:54:18PM +0100, Martin Bjorklund wrote: > > > > > > > > > > > > So it seems the running code got it right. ;-) > > > > > > > > > > As the author of that code, I think that was purely by accident... > > > > > > > > > > But I'm not convinced it is the correct solution. We have one example > > > > > in the other thread where someone was confused by the "rw" flag and > > > > > thought that it implied that the node would be present in the data > > > > > tree. > > > > > > > > > > > > > So what does rw mean? > > > > > > > > (i) The schema node has a rw property. > > > > (ii) The schema node can be instantiated and the instantiated data node > > > > has a rw property. > > > > > > > > I think it is difficult to have both at the same time. If the tree is > > > > a representation of schema nodes, then (i) seems to make more > > > > sense. That said, the explanation in 2.6 is somewhat vague since it > > > > says 'data' and not 'nodes' (like everywhere else): > > > > > > > > OLD: > > > > > > > > <flags> is one of: > > > > rw for configuration data > > > > ro for non-configuration data, output parameters to rpcs > > > > and actions, and notification parameters > > > > > > > > NEW: > > > > > > > > <flags> is one of: > > > > rw for configuration data nodes > > > > ro for non-configuration data nodes, output parameters to rpcs > > > > and actions, and notification parameters > > > > > > I think this is ok. But that means that we also have to add: > > > > > > -- for a choice or case node > > > > > > But in order to be consistent, we should probably have: > > > > > > -- for a choice, case, input or output node > > > > But unlike the three other statements, "choice" can have the config > > substatement, so "rw/ro" makes sense there. > > I don't think so - that config statement does not a define a property of > the choice node (it can obviously neither be read nor written), only a > default for descendant data nodes, as described in section 7.21.1 of RFC > 7950. It is not a default - if a choice has "config false", then no descendant can be "config true". One of the benefits of having rw/ro in the ascii tree is to see where a state data subtree actually starts. Lada > > --Per > > > Lada > > > > > > > > > > > This means that the correct tree syntax for choice and case will be: > > > > > > +-- (subnet)? > > > +-- :(prefix-length) > > > | +--rw prefix-length? uint8 > > > +-- :(netmask) > > > +--rw netmask? yang:dotted-quad > > > > > > > > > /martin > > > > > > > > > > The document (as far as I searched for it) does not clearly say that > > > > 'node' means 'schema node'. In hindsight, it might have been useful to > > > > explicitely import terminology from RFC 7950 and to use it carefully > > > > (RFC 7950 has 'schema node' and 'data node' but here we largely talk > > > > about 'nodes' - and my assumption is that this means 'schema nodes'.) > > > > > > _______________________________________________ > > > netmod mailing list > > > netmod@ietf.org > > > https://www.ietf.org/mailman/listinfo/netmod > > _______________________________________________ > netmod mailing list > netmod@ietf.org > https://www.ietf.org/mailman/listinfo/netmod -- Ladislav Lhotka Head, CZ.NIC Labs PGP Key ID: 0xB8F92B08A9F76C67
- [netmod] choice/case in tree diagrams Martin Bjorklund
- Re: [netmod] choice/case in tree diagrams Juergen Schoenwaelder
- Re: [netmod] choice/case in tree diagrams Vladimir Vassilev
- Re: [netmod] choice/case in tree diagrams Juergen Schoenwaelder
- Re: [netmod] choice/case in tree diagrams Martin Bjorklund
- Re: [netmod] choice/case in tree diagrams Juergen Schoenwaelder
- Re: [netmod] choice/case in tree diagrams Vladimir Vassilev
- Re: [netmod] choice/case in tree diagrams Martin Bjorklund
- Re: [netmod] choice/case in tree diagrams Martin Bjorklund
- Re: [netmod] choice/case in tree diagrams Ladislav Lhotka
- Re: [netmod] choice/case in tree diagrams Per Hedeland
- Re: [netmod] choice/case in tree diagrams Ladislav Lhotka
- Re: [netmod] choice/case in tree diagrams Per Hedeland
- Re: [netmod] choice/case in tree diagrams Mahesh Jethanandani
- Re: [netmod] choice/case in tree diagrams Vladimir Vassilev
- Re: [netmod] choice/case in tree diagrams Martin Bjorklund
- Re: [netmod] choice/case in tree diagrams Martin Bjorklund
- Re: [netmod] choice/case in tree diagrams Robert Wilton
- Re: [netmod] choice/case in tree diagrams Lou Berger
- Re: [netmod] choice/case in tree diagrams Martin Bjorklund
- Re: [netmod] choice/case in tree diagrams Lou Berger
- Re: [netmod] choice/case in tree diagrams Juergen Schoenwaelder
- Re: [netmod] choice/case in tree diagrams Benoit Claise
- Re: [netmod] choice/case in tree diagrams Martin Bjorklund
- Re: [netmod] choice/case in tree diagrams Juergen Schoenwaelder
- Re: [netmod] choice/case in tree diagrams Martin Bjorklund
- Re: [netmod] choice/case in tree diagrams Juergen Schoenwaelder
- Re: [netmod] choice/case in tree diagrams Ladislav Lhotka
- Re: [netmod] choice/case in tree diagrams joel jaeggli
- [netmod] Closing this issue: choice/case in tree … Benoit Claise
- Re: [netmod] Closing this issue: choice/case in t… Benoit Claise