Re: [yang-doctors] Yang syntax for a globally-unique key?

On 25. 08. 20 19:14, Andy Bierman wrote:
> 
> 
> On Tue, Aug 25, 2020 at 10:06 AM Ladislav Lhotka <ladislav.lhotka@nic.cz
> <mailto:ladislav.lhotka@nic.cz>> wrote:
> 
> 
> 
>     On 25. 08. 20 17:08, Andy Bierman wrote:
>     >
>     >
>     > On Tue, Aug 25, 2020 at 6:23 AM Kent Watsen <kent@watsen.net
>     <mailto:kent@watsen.net>
>     > <mailto:kent@watsen.net <mailto:kent@watsen.net>>> wrote:
>     >
>     >     [trying here before the “netmod” list]
>     >
>     >     YANG Doctors,
>     >
>     >     Assume data model:
>     >
>     >       +—rw tenants
>     >           +—rw tenant [key]
>     >               +—rw  key        string
>     >               +—rw admins
>     >                   +—rw admin [name]
>     >                        +—rw name     string
>     >
>     >     The "admin" list’s key “name” ensures that the names are
>     unique per
>     >     tenant, but not globally.   Is it possible to place a “must”
>     >     statement on the “tenants” container to ensure globally-unique
>     admin
>     >     names?
>     >
>     >     Can anyone offer syntax to do so?
>     >
>     >
>     > Isn't this a use-case for unique-stmt?
>     >
>     >    list tenant {
>     >        unique "admins/admin/name";
>     >        ...
>     >    }
>     >
> 
>     I am surprised it is you who is proposing this. :-)
> 
>     https://mailarchive.ietf.org/arch/msg/netmod/MYq9CT7BKuKBp63urg-q6-GP7mM/

> 
> 
> This is a separate issue about intentionally augmenting a target with
> multiple siblings with the same local-name.  This is not CLI friendly
> (and that mattered a lot more in 2012 than it does now)

I don't see any augmentation involved in either case. Anyway, I do agree
that the unique statement should work. Otherwise, section 12.16 of RFC
6110 essentially gives what Kent asks for, which is in this case:

    must "not(preceding-sibling::tenant[current()/admins/admin/name])";

Lada

> 
>  
> 
>     Lada
> 
> 
> Andy
>  
> 
> 
>     >  
>     >
>     >     Kent
>     >
>     >
>     >
>     > Andy
>     >  
>     >
>     >     _______________________________________________
>     >     yang-doctors mailing list
>     >     yang-doctors@ietf.org <mailto:yang-doctors@ietf.org>
>     <mailto:yang-doctors@ietf.org <mailto:yang-doctors@ietf.org>>
>     >     https://www.ietf.org/mailman/listinfo/yang-doctors
>     >
>     >
>     > _______________________________________________
>     > yang-doctors mailing list
>     > yang-doctors@ietf.org <mailto:yang-doctors@ietf.org>
>     > https://www.ietf.org/mailman/listinfo/yang-doctors
>     >
> 
>     -- 
>     Ladislav Lhotka
>     Head, CZ.NIC Labs
>     PGP Key ID: 0xB8F92B08A9F76C67
> 
>     _______________________________________________
>     yang-doctors mailing list
>     yang-doctors@ietf.org <mailto:yang-doctors@ietf.org>
>     https://www.ietf.org/mailman/listinfo/yang-doctors
> 

-- 
Ladislav Lhotka
Head, CZ.NIC Labs
PGP Key ID: 0xB8F92B08A9F76C67