Re: [babel] Yangdoctors early review of draft-ietf-babel-yang-model-03

[Mahesh Jethanandani <[e-mail]>]

[Trimming the list further down]

> On Oct 17, 2019, at 1:06 AM, Radek Krejčí <[e-mail]> wrote:
> 
> Dne 16. 10. 19 v 20:30 Mahesh Jethanandani napsal(a):
>> [Trimming it down to open issues]
>> 
>>>>> - the text "The value MUST be one of those listed in
>>>>> 'metric-comp-algorithm'." in description just duplicates the type's
>>>>> information (identityref with metric-comp-algorithms base).
>>>> How about if it says “The value MUST be one of those listed in ‘metric-comp-algorithm’ typedef.”?
>>> I see no such typedef in the module (neither in the information model). This is probably again a confusion between information model and yang model. If it refers to information model, I don't think it is a good idea, but it should be at least explicitly stated. If it refers to the leaf's base identity, I don't think that it is necessary to duplicate this information (but I'm not strongly against it, it just make me believe that actually it is some additional restriction to the type itself), because there is already:
>>> 
>>> type identityref {
>>>  base metric-comp-algorithms;
>>> }
>>> 
>>> which also says that the value MUST be one of the identities based on metric-comp-algorithms. And technically, such identities can be added so the possible values do not need to be listed in some text/list/typedef. If you really want to limit the values to some static list, the type should be actually enumeration.
>> How about we say just that, i.e. “The value MUST be one of the identities based on metric-comp-algorithm”?
> 
> my point from the beginning is that it is actually duplicated information. The leaf specification can be read as:
> 
> leaf metric-algorithm {
>   type:  “The value MUST be one of the identities based on metric-comp-algorithms”;
>   it is mandatory;
>   description:  “... The value MUST be one of the identities based on metric-comp-algorithms”;
> }
> 
> So I don't think that it is necessary to have that sentence in the description text at all.
> 
> I've looked at the model again and I've realized, that there is actually babel/metric-comp-algorithms leaf-list. So despite the model defines set of identities, the server is actually allowed to implement just a subset of them, right? Maybe the intention of the description was to require the value to be one of the values of the leaf-list. Confusion is caused by naming - identity as well as the leaf-list have the same name and it is referenced in the text as metric-comp-algorithm. I see that you cannot use leafref from configuration to state data. So, I see 2 options. First, the sentence in the description should be:
> 
> "The value MUST be one of those listed by server as babel/metric-comp-algorithms leaf-list."
> 
> or, and I think this is the right solution, remove the babel/metric-comp-algorithms leaf-list and create features for each (there are 2) metric-comp-algorithms identity (add if-feature into them) so the server can say via YANG features mechanism which identities are actually implemented. Then the value of the metric-algorithm leaf will be limited to the metric-comp-algorithms identities with the feature enabled by the server.

I am ok with the second option. 

Except I do not know why pyang complains about this.

  identity two-out-of-three {
    if-feature two-out-of-three-supported;
    base "metric-comp-algorithms";
    description
      "2-out-of-3 algorithm.";
  }

  identity etx {
    if-feature etx-supported;
    base "metric-comp-algorithms";
    description
      "Expected Transmission Count.";
  }

yang/[e-mail]:88: error: keyword "base" not in canonical order (see RFC 6020, Section 12)
yang/[e-mail]:95: error: keyword "base" not in canonical order (see RFC 6020, Section 12)

Where the ABNF grammar says:

   identity-stmt       = identity-keyword sep identifier-arg-str optsep
                         (";" /
                          "{" stmtsep
                              ;; these stmts can appear in any order
                              *if-feature-stmt
                              *base-stmt
                              [status-stmt]
                              [description-stmt]
                              [reference-stmt]
                          "}") stmtsep


Mahesh Jethanandani
[e-mail]