[netmod] YANG 1.0 module uses a grouping from a 1.1 module and the grouping contains 1.1 XPath functions?

Jernej Tuljak <jernej.tuljak@mg-soft.si> Thu, 10 October 2019 08:36 UTC

Return-Path: <jernej.tuljak@mg-soft.si>
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 5675D12004A for <netmod@ietfa.amsl.com>; Thu, 10 Oct 2019 01:36:23 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -0.1
X-Spam-Level:
X-Spam-Status: No, score=-0.1 tagged_above=-999 required=5 tests=[BAYES_20=-0.001, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=mg-soft.si
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 fiw8JSumZFSz for <netmod@ietfa.amsl.com>; Thu, 10 Oct 2019 01:36:21 -0700 (PDT)
Received: from galileo.mg-soft.si (gate.mg-soft.si [212.30.73.66]) by ietfa.amsl.com (Postfix) with ESMTP id 1D4D3120033 for <netmod@ietf.org>; Thu, 10 Oct 2019 01:36:20 -0700 (PDT)
Received: from [10.0.0.222] (tp-x61t.mg-soft.si [10.0.0.222]) by galileo.mg-soft.si (Postfix) with ESMTP id B8C1EC41D7FA for <netmod@ietf.org>; Thu, 10 Oct 2019 10:36:16 +0200 (CEST)
DKIM-Filter: OpenDKIM Filter v2.10.3 galileo.mg-soft.si B8C1EC41D7FA
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mg-soft.si; s=default; t=1570696576; bh=2inuC2JsjqfUYqMlgvcuwXuYXFTPe/QTTjLmklK8hSE=; h=To:From:Subject:Date:From; b=G6fsuiKG1jfzWRDTd9vQOBxvKZFWZ5mQrI+VNQ8vLqO4WB/YyXZU7Nfx/B/28nHGM NEtvmCqcvt3QA3YdR/RBO5fpYEm6n2hG7Hg8KRrFuTlRs5EuqkbMd1pZkwmny7WgjM OvJR1KSWbjXaTeIKOtlpJoWs4c/Bv7LY91mAbdh7XYgvjhGKZENaC7DOdWzTcnTH+2 FvVE+WU6DSwCvgxKIICud7kLesDsqt6OCt3auF8lqahoDgUm5bR9bUvd5BO9TuAGXg WIXUe2FGosuRuVkzayKNyd1ixiFKhcAnHqo9hUyeLIUiiSUGyrwG6kEg+4Nt9NGbqw BOIowIaLydBpQ==
To: NETMOD Working Group <netmod@ietf.org>
From: Jernej Tuljak <jernej.tuljak@mg-soft.si>
Message-ID: <d988e178-4755-61ef-dfcc-87ba432da363@mg-soft.si>
Date: Thu, 10 Oct 2019 10:36:15 +0200
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Content-Language: en-US
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/O9fts6KZel7Hqj0J-Exn6inFSiU>
Subject: [netmod] YANG 1.0 module uses a grouping from a 1.1 module and the grouping contains 1.1 XPath functions?
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.29
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: Thu, 10 Oct 2019 08:36:23 -0000

Hi,

there is at least one YANG 1.0 standard module that imports and uses 
groupings from a YANG 1.1 standard module and at least one such grouping 
contains must/when statements referencing XPath functions that are not 
available in 1.0 XPath context.

The modules I'm referring to are part of RFC8533 [1] and RFC8532 [2]. 
ietf-connectionless-oam-methods (a 1.0 module) uses cl-oam:tp-address 
from ietf-connectionless-oam (a 1.1 module), which calls 
"derived-from-or-self" in a when expression of a used node. These RFCs 
were published in April.

Our tools complain about "derived-from-or-self" not being defined in 
ietf-connectionless-oam-methods's XPath context:

[Error]; 
ietf-connectionless-oam-methods@2019-04-16:/cloam-methods:continuity-check/cloam-methods:input/cloam-methods:destination-tp/cloam-methods:mac-address/cloam-methods:when; 
XPath function "derived-from-or-self" is not defined in the XPath context

Is this correct? Or are XPath functions expected to be resolved 
statically, like types?

Jernej

[1] - https://tools.ietf.org/html/rfc8533
[2] -https://tools.ietf.org/html/rfc8532