Re: [netmod] [Technical Errata Reported] RFC7950 (6031)

[Martin Björklund <[e-mail]>]

[re-sent w/ correct address]

Juergen Schoenwaelder <[e-mail]> wrote:
> Hi,
> 
> two comments:
> 
> - It is unclear to me whether this really qualifies as an errata.
> 
> - If we add this, then there should probably text about which
>   combinations are allowed. For example, for pattern and ranges, there
>   is explicit text that says further restrictions of the value space
>   are possible, bot not expansions. If we follow that logic, then
> 
>   typedef a {
>     type leaf-ref {
>       path "/some/thing";
>       require-instance true;
>     }
>   }
> 
>   typedef b {
>     type a {
>       require-instance false;
>     }
>   }
> 
>   might be illegal since b has a larger value space than a.

The value space of b is the same as for a. "require-instance" doesn't
change the value space; it changes semantic validation of the given
values ((see my mail from 17 Mar, "Require-instance problem").


/martin


> 
> /js
> 
> On Fri, Mar 27, 2020 at 03:18:12AM -0700, RFC Errata System wrote:
> > The following errata report has been submitted for RFC7950,
> > "The YANG 1.1 Data Modeling Language".
> > 
> > --------------------------------------
> > You may review the report below and at:
> > https://www.rfc-editor.org/errata/eid6031
> > 
> > --------------------------------------
> > Type: Technical
> > Reported by: Radek Krejci <[e-mail]>
> > 
> > Section: 9.9.3
> > 
> > Original Text
> > -------------
> > The "require-instance" statement, which is a substatement to the 
> > "type" statement, MAY be present if the type is "instance-identifier"
> > or "leafref".  It takes as an argument the string "true" or "false".
> > If this statement is not present, it defaults to "true".
> > 
> > Corrected Text
> > --------------
> > The "require-instance" statement, which is a substatement to the
> > "type" statement, MAY be present if the type is "instance-identifier",
> > "leafref" or a type derived from them. It takes as an argument the
> > string "true" or "false". If this statement is not present, it defaults
> > to "true".
> > 
> > Notes
> > -----
> > As discussed in https://mailarchive.ietf.org/arch/browse/netconf/?gbt=1&index=p_zRKwQ6TBxTuCDPc5wJbdZgWTcgWTc, authors expect that the require-instance statement is available not only for leafref and instance-identifier types, but also for all the types derived from them using typedef statement. Since no one argued against this understanding, this errata changes the text to the same form as in other restrictions applicable to derived types.
> > 
> > Instructions:
> > -------------
> > This erratum is currently posted as "Reported". If necessary, please
> > use "Reply All" to discuss whether it should be verified or
> > rejected. When a decision is reached, the verifying party  
> > can log in to change the status and edit the report, if necessary. 
> > 
> > --------------------------------------
> > RFC7950 (draft-ietf-netmod-rfc6020bis-14)
> > --------------------------------------
> > Title               : The YANG 1.1 Data Modeling Language
> > Publication Date    : August 2016
> > Author(s)           : M. Bjorklund, Ed.
> > Category            : PROPOSED STANDARD
> > Source              : Network Modeling
> > Area                : Operations and Management
> > Stream              : IETF
> > Verifying Party     : IESG
> > 
> > _______________________________________________
> > netmod mailing list
> > [e-mail]
> > https://www.ietf.org/mailman/listinfo/netmod
> 
> -- 
> Juergen Schoenwaelder           Jacobs University Bremen gGmbH
> Phone: [phone]         Campus Ring 1 | 28759 Bremen | Germany
> Fax:   [phone]         <https://www.jacobs-university.de/>
> 
> _______________________________________________
> netmod mailing list
> [e-mail]
> https://www.ietf.org/mailman/listinfo/netmod