Re: [netmod] if-feature vs. Identifiers and Their Namespaces

Martin Bjorklund <mbj@tail-f.com> Sun, 05 August 2018 11:32 UTC

Return-Path: <mbj@tail-f.com>
X-Original-To: netmod@ietfa.amsl.com
Delivered-To: netmod@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 7C6AE130E1D for <netmod@ietfa.amsl.com>; Sun, 5 Aug 2018 04:32:11 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.9
X-Spam-Level:
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 mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id Hw0L5Vr66MhS for <netmod@ietfa.amsl.com>; Sun, 5 Aug 2018 04:32:09 -0700 (PDT)
Received: from mail.tail-f.com (mail.tail-f.com [46.21.102.45]) by ietfa.amsl.com (Postfix) with ESMTP id 8E09C1294D7 for <netmod@ietf.org>; Sun, 5 Aug 2018 04:32:09 -0700 (PDT)
Received: from localhost (h-80-27.A165.priv.bahnhof.se [212.85.80.27]) by mail.tail-f.com (Postfix) with ESMTPSA id 9C5B81AE0144; Sun, 5 Aug 2018 13:32:06 +0200 (CEST)
Date: Sun, 05 Aug 2018 13:32:06 +0200
Message-Id: <20180805.133206.1339559704042694800.mbj@tail-f.com>
To: nite@hq.sk
Cc: netmod@ietf.org
From: Martin Bjorklund <mbj@tail-f.com>
In-Reply-To: <357fbf04-0092-93f4-1cb1-f8e27cf639c2@hq.sk>
References: <357fbf04-0092-93f4-1cb1-f8e27cf639c2@hq.sk>
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: <https://mailarchive.ietf.org/arch/msg/netmod/2kNg-Bc7oawq5fV6UBwvMnSBG-Q>
Subject: Re: [netmod] if-feature vs. Identifiers and Their Namespaces
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.27
Precedence: list
List-Id: NETMOD WG list <netmod.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/netmod>, <mailto:netmod-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/netmod/>
List-Post: <mailto:netmod@ietf.org>
List-Help: <mailto:netmod-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/netmod>, <mailto:netmod-request@ietf.org?subject=subscribe>
X-List-Received-Date: Sun, 05 Aug 2018 11:32:12 -0000

Robert Varga <nite@hq.sk> wrote:
> Hello,
> 
> I have went through RFC7950, but I cannot find the text which would give
> answer whether:
> 
> feature foo;
> feature bar;
> 
> container baz {
>    if-feature "foo and (not baz)";
> }
> 
> list baz {
>    if-feature "(not foo) and baz";
> }
> 
> is valid YANG or not. The two statements violate Section 6.1.2, but they
> are mutually exlusive when conformance comes into play.

I think you mean 6.2.1.  You are right; these two statements violate
6.2.1 and this is thus not legal.

Consider what this would mean in the model above:

  augement /baz {
    ...
  }

> Does compliance (Section 5.6) have any bearing on namespaces (Section
> 6.1.2)?

Section 5.6 is about server conformance, and the first sentence is:

   Conformance to a model is a measure of how accurately a server
   follows the model.

Namespaces are not related to how accurately a server follows a model.



/martin