Validation for the yang in different key-path in annotation file

Hi,

  1. yang1 leaf must statement XPath expression where something like substring(., string-length(.)) mod 2 = 0 checks if the last digit is even.
  2. & 3. A separate yang2 and yang3 leaf must statements where the XPath expressions seem straightforward.

You can, for example, annotate the YANG model with the three must statements suggested above for the three leafs.

See this old post for pointers to some relevant XPath documentation.