Re: [netmod] ?= ?==?utf-8?q? mandatory choice with non-presence container cas

Martin Bjorklund <mbj@tail-f.com> Tue, 25 June 2019 07:58 UTC

Return-Path: <mbj@tail-f.com>
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 1B85F120127 for <netmod@ietfa.amsl.com>; Tue, 25 Jun 2019 00:58:11 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.898
X-Spam-Level:
X-Spam-Status: No, score=-1.898 tagged_above=-999 required=5 tests=[BAD_ENC_HEADER=0.001, BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, 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 oiV03n_A6Te0 for <netmod@ietfa.amsl.com>; Tue, 25 Jun 2019 00:58:09 -0700 (PDT)
Received: from mail.tail-f.com (mail.tail-f.com [46.21.102.45]) by ietfa.amsl.com (Postfix) with ESMTP id 7FD42120219 for <netmod@ietf.org>; Tue, 25 Jun 2019 00:58:09 -0700 (PDT)
Received: from localhost (unknown [173.38.220.61]) by mail.tail-f.com (Postfix) with ESMTPSA id 82DD71AE02F0; Tue, 25 Jun 2019 09:58:08 +0200 (CEST)
Date: Tue, 25 Jun 2019 09:58:12 +0200 (CEST)
Message-Id: <20190625.095812.959182004133340318.mbj@tail-f.com>
To: lhotka@nic.cz
Cc: kent@watsen.net, mvasko@cesnet.cz, netmod@ietf.org
From: Martin Bjorklund <mbj@tail-f.com>
In-Reply-To: <87tvceunai.fsf@nic.cz>
References: <ad3-5d110500-55-63a2bc80@40796557> <0100016b8c38574d-9d8aad57-3e50-45c4-98bb-24091a765ded-000000@email.amazonses.com> <87tvceunai.fsf@nic.cz>
X-Mailer: Mew version 6.7 on Emacs 25.2 / Mule 6.0 (HANACHIRUSATO)
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/EbVBbQq1jT6F7IblWIBFWWxOsDA>
Subject: Re: [netmod] ?= ?==?utf-8?q? mandatory choice with non-presence container cas
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: Tue, 25 Jun 2019 07:58:11 -0000

Ladislav Lhotka <lhotka@nic.cz> wrote:
> Kent Watsen <kent@watsen.net> writes:
> 
> > Hi Michal,  
> >> I agree, but these valid data were correctly printed into invalid
> >> data. I do not think printing is allowed to change the validity of
> >> data.
> >  The NP-container text is unclear.
> 
> This issue IMO has more to do with the "mandatory" statement under
> "choice". Similar problems can be caused by data nodes that depend on
> "when". For example:
> 
> choice sel {
>    madatory true;
>    leaf foo {
>        when "...";
>        ...
>    }
>    leaf bar { ... }
>    leaf baz { ... }
> 
> If "foo" exists in instance data but its when condition becomes false,
> the server is expected to remove the "foo" instance, but what next?
> The data becomes invalid, but the server can hardly include "bar" or
> "baz" on its own.

Right, so that change (that would make the when condition false) will
be rejected by the server, since the resulting config would be
invalid.



/martin




> 
> Lada
> 
> > I'm unsure if you saw the thread in NETCONF, but I filed this issue
> > over the weekend.  Please add to it, if only to include a link to this
> > thread: https://github.com/netmod-wg/yang-next/issues/88. Thanks, Kent
> > _______________________________________________ netmod mailing list
> > netmod@ietf.org https://www.ietf.org/mailman/listinfo/netmod
> 
> -- 
> Ladislav Lhotka Head, CZ.NIC Labs PGP Key ID: 0xB8F92B08A9F76C67
> 
> _______________________________________________
> netmod mailing list
> netmod@ietf.org
> https://www.ietf.org/mailman/listinfo/netmod
>