Re: [yang-doctors] automating yang doctor reviews

Martin Bjorklund <> Tue, 24 April 2018 20:57 UTC

Return-Path: <>
Received: from localhost (localhost []) by (Postfix) with ESMTP id 9E55012DA08 for <>; Tue, 24 Apr 2018 13:57:22 -0700 (PDT)
X-Virus-Scanned: amavisd-new at
X-Spam-Flag: NO
X-Spam-Score: -1.9
X-Spam-Status: No, score=-1.9 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Received: from ([]) by localhost ( []) (amavisd-new, port 10024) with ESMTP id yqiya-GFan5N for <>; Tue, 24 Apr 2018 13:57:20 -0700 (PDT)
Received: from ( []) by (Postfix) with ESMTP id 8A93A12DA3D for <>; Tue, 24 Apr 2018 13:57:08 -0700 (PDT)
Received: from localhost ( []) by (Postfix) with ESMTPSA id EF0751AE0471; Tue, 24 Apr 2018 22:57:06 +0200 (CEST)
Date: Tue, 24 Apr 2018 22:57:03 +0200 (CEST)
Message-Id: <>
From: Martin Bjorklund <>
In-Reply-To: <>
References: <>
X-Mailer: Mew version 6.7 on Emacs 24.5 / Mule 6.0 (HANACHIRUSATO)
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Archived-At: <>
Subject: Re: [yang-doctors] automating yang doctor reviews
X-Mailman-Version: 2.1.22
Precedence: list
List-Id: Email list of the yang-doctors directorate <>
List-Unsubscribe: <>, <>
List-Archive: <>
List-Post: <>
List-Help: <>
List-Subscribe: <>, <>
X-List-Received-Date: Tue, 24 Apr 2018 20:57:23 -0000

Hi Kent,

While I appreciate the effort, I'm not sure this will actually make
the YANG doctor's job any easier.  For example, re including the
command to generate the tree diagram - if people knew how to do this
properly, they could as easily write a Makefile (or similar) that
always generate the diagram so that the tree diagram is always up to
date.  But we know that this is not the case.  So why do we think that
the addition of the 'gen' attribute will make people produce good

Also, I'm not sure it helps to include specific commands like this --
what it tells me as a YD is that the probability that the examples
validate is somewhat higher than w/o this attribute.  It does not tell
me that the examples are valid.

And sometimes examples and tree diagrams are manually edited for
formatting reason (e.g., replace chunks of noise with "...").   This
is difficult to capture formally, and people will still have to
validate examples.

As have been pointed out, there is often dependencies to other
modules; capturing all this seems a bit tricky.  And the question is
what problem is actually solves.

Another approach might be to encourage people to keep their draft work
on github, have separate files for examples, use 'make' to generate
tree diagrams and to validate examples.  This is less formal, but
achieves the same goal.


Kent Watsen <> wrote:
> Doctors,
> Here's a stab at how we might automate the basic parts of a YANG
> Doctor review, something I've mentioned wanting at the YD-lunch
> meeting at the last two IETF meetings.
> I'll be the first to say that this proposal has issues, but hopefully
> it's in the ballpark, and we can finish it off together, assuming
> there is interest in bringing it forward at all...
> Note, I assume that this document will be AD-sponsored, just like RFC
> 7991 was, hence why the draft name is what it is.
> PS: I'm falling into a black hole, and may not reply to any responses
> until early next week.
> Kent