Hi all, Not many people are going to understand a must statement like that. Maybe a good idea to also describe this constraint in a description statement somewhere in the model ? Jason
> -----Original Message----- > From: netmod <netmod-boun...@ietf.org> On Behalf Of Kent Watsen > Sent: Tuesday, August 23, 2022 9:32 PM > To: Jernej Tuljak <jernej.tul...@mg-soft.si> > Cc: netmod@ietf.org > Subject: Re: [netmod] Must expression: how to test all instances? > > Hi Jernej, > > > Lada's second example selects everything that does not match a condition > then states such a selection should return nothing: > > > > not(deref(.)/../ts:public-key/ts:public-key-format[not(derived-from-or-self(., > "ct:ssh-public-key-format"))]) > > It works - thank-you! :) > > > > Check if the corner cases work out for your needs, however. Returns true() > > for > an empty list, for example. > > When the lists are empty, the validation succeeds, which seems correct in this > context. > > > > Jernej > > Kent > > _______________________________________________ > 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