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

[Kent Watsen <[e-mail]>]

Unique did not work with `yanglint`:

	err : Unique argument references list.

This MAY be a bug in yanglint.  Hard to say from that GitHub issue if this syntax is supposed to work or not.

Lada writes that a “must” statement could be used when a “unique” statement fails.  What might that “must” statement look like?

Kent


> On Aug 25, 2020, at 11:22 AM, Reshad Rahman (rrahman) <rrahman=[e-mail]> wrote:
> 
> I don’t think unique-stmt works for this case, see https://github.com/netmod-wg/yang-next/issues/74 <https://github.com/netmod-wg/yang-next/issues/74>
>  
> Regards,
> Reshad.
>  
> From: yang-doctors <[e-mail] <mailto:[e-mail]>> on behalf of 'Andy Bierman' <[e-mail] <mailto:[e-mail]>>
> Date: Tuesday, August 25, 2020 at 11:08 AM
> To: Kent Watsen <[e-mail] <mailto:[e-mail]>>
> Cc: YANG Doctors <[e-mail] <mailto:[e-mail]>>
> Subject: Re: [yang-doctors] Yang syntax for a globally-unique key?
>  
>  
>  
> On Tue, Aug 25, 2020 at 6:23 AM Kent Watsen <[e-mail] <mailto:[e-mail]>> 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";
>        ...
>    }
>  
>  
>> Kent
>> 
>  
>  
> Andy
>  
>> _______________________________________________
>> yang-doctors mailing list
>> [e-mail] <mailto:[e-mail]>
>> https://www.ietf.org/mailman/listinfo/yang-doctors <https://www.ietf.org/mailman/listinfo/yang-doctors>_______________________________________________
> yang-doctors mailing list
> [e-mail] <mailto:[e-mail]>
> https://www.ietf.org/mailman/listinfo/yang-doctors <https://www.ietf.org/mailman/listinfo/yang-doctors>