Re: [yang-doctors] YANG documentation for "must" and "when" statement semantics and syntax

Martin Björklund <mbj+ietf@4668.se> Thu, 01 October 2020 06:25 UTC

Return-Path: <mbj+ietf@4668.se>
X-Original-To: yang-doctors@ietfa.amsl.com
Delivered-To: yang-doctors@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 839A33A0AE9 for <yang-doctors@ietfa.amsl.com>; Wed, 30 Sep 2020 23:25:21 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -0.101
X-Spam-Level:
X-Spam-Status: No, score=-0.101 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, PDS_NAKED_TO_NUMERO=1.997, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=no autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=4668.se header.b=kqX8Fmp9; dkim=pass (2048-bit key) header.d=messagingengine.com header.b=HWP8T+Y6
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 K-XCrQcpNNOC for <yang-doctors@ietfa.amsl.com>; Wed, 30 Sep 2020 23:25:20 -0700 (PDT)
Received: from out5-smtp.messagingengine.com (out5-smtp.messagingengine.com [66.111.4.29]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 318533A0AE6 for <yang-doctors@ietf.org>; Wed, 30 Sep 2020 23:25:20 -0700 (PDT)
Received: from compute4.internal (compute4.nyi.internal [10.202.2.44]) by mailout.nyi.internal (Postfix) with ESMTP id 63A535C07AD; Thu, 1 Oct 2020 02:25:19 -0400 (EDT)
Received: from mailfrontend2 ([10.202.2.163]) by compute4.internal (MEProxy); Thu, 01 Oct 2020 02:25:19 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=4668.se; h=date :message-id:to:cc:subject:from:in-reply-to:references :mime-version:content-type:content-transfer-encoding; s=fm2; bh= PYcbi3nrA+zGhtqu9fq1V+YC8OfRwUiUyfZfTwF4u2c=; b=kqX8Fmp9GmSPtlRI qskqq8hwaOmMVfVQs45kQMAM3bG5f9ut6dQxAohtVRHjfMfQFssMHRvVQXms5Hw5 wiQskRzy3vu+3jPA825kEGNt3aMaWKeriRM5SRD7jAwzAbXLn9rvebPJXzJzKyds tzg2NYmlvHnKtW9SjsQpiP2ltIHFKYCIOpOAMCeRXkzheFI729rR2MYvG2vhXPvL KfT3G+NfIfrKGfrTwJ8g47sDNAPCVncjoklbqf6Durvp3WZ5BjpMxQbBa78/653U UGfMuuYHOd9+lFlAKbeR2nm3YdwO0Ont6jodpTfdJd976JBwcaaxJNkCyf8maRrM DzamIQ==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-me-proxy:x-me-proxy:x-me-sender:x-me-sender :x-sasl-enc; s=fm3; bh=PYcbi3nrA+zGhtqu9fq1V+YC8OfRwUiUyfZfTwF4u 2c=; b=HWP8T+Y64aCcAwb5n2Bi+lc6XhYkhscZvyR92qkgO1gTcPFKdgyU3cgOn +1qD+SelDQboCtrFHanzilUYkwXz63WsvZhJ3FffR/PytcZIETLo8aYYgloTfnko Q7VWL/jnTYLLkA8XKTo1gp9B9NlUQ0RgmJVrdzw7LZ6lCCe1it/bvDhjQlbPckKk ra3M88pGsuYocO0q6LnIlzLtDBxAhvKpBKCYn+ecMGLCVssbTj38uSWXwDndR7wU m0spE9/verg4IqheJ1IxYEdWMB3fEyJpRcXkv0vyYTOhFw0CFVvL5u3N/pbJrA1+ BEfAO1ilp98LvSf0OTklsm1zoTfZg==
X-ME-Sender: <xms:TnZ1X6gbAu7PirwHl5gPUYqGr5hyvuoLGqDbTcbG6169o3xsqmznNQ> <xme:TnZ1X7DSlLKILY3udll9imnKnW-AjeQDwmhHF_Khe_AAxTyKnD-jEgvtaocvXS9EZ MT5_Yj9kZ54NzbRBuw>
X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedujedrfeefgddutdelucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucenucfjughrpeffkffvuffhjghfofggtgfgsehtsg ertdertdejnecuhfhrohhmpeforghrthhinhcuuehjnphrkhhluhhnugcuoehmsghjodhi vghtfhesgeeiieekrdhsvgeqnecuggftrfgrthhtvghrnhepleeltddvjeduvddugfeile ffvdejffehtdefjeehgfefhedtgeefvdelieejueeinecuffhomhgrihhnpeiffedrohhr ghenucfkphepudehkedrudejgedrgedrvdduheenucevlhhushhtvghrufhiiigvpedtne curfgrrhgrmhepmhgrihhlfhhrohhmpehmsghjodhivghtfhesgeeiieekrdhsvg
X-ME-Proxy: <xmx:TnZ1XyEtSJDpcqovpq2AcRJh0tZ0Z35MXTJjupF7NuL9BwY5XYVOpg> <xmx:TnZ1XzRJlsTW4jSRJrzvYadDvMKbYgxOAhFmcC4BWMbx23AbcI9Vvg> <xmx:TnZ1X3yn9YnaTwD0PzhCIWRRrv3DT4drQgaIuMF2C9tTCRfHUZNPig> <xmx:T3Z1X4urPqciDO0Gl0mKmVxzhWYjKBiIwr2ui_NoLfgolWEAL7c-rg>
Received: from localhost (unknown [158.174.4.215]) by mail.messagingengine.com (Postfix) with ESMTPA id 799573064680; Thu, 1 Oct 2020 02:25:18 -0400 (EDT)
Date: Thu, 01 Oct 2020 08:25:17 +0200
Message-Id: <20201001.082517.1383166818102398881.id@4668.se>
To: acee=40cisco.com@dmarc.ietf.org
Cc: yang-doctors@ietf.org
From: Martin Björklund <mbj+ietf@4668.se>
In-Reply-To: <C8FCF532-E079-43A9-B501-799B7D60E07B@cisco.com>
References: <C8FCF532-E079-43A9-B501-799B7D60E07B@cisco.com>
X-Mailer: Mew version 6.8 on Emacs 26.3
Mime-Version: 1.0
Content-Type: Text/Plain; charset="utf-8"
Content-Transfer-Encoding: base64
Archived-At: <https://mailarchive.ietf.org/arch/msg/yang-doctors/lw_rDq1RyhMTyaI5Ta6bS0uVn9c>
Subject: Re: [yang-doctors] YANG documentation for "must" and "when" statement semantics and syntax
X-BeenThere: yang-doctors@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Email list of the yang-doctors directorate <yang-doctors.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/yang-doctors>, <mailto:yang-doctors-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/yang-doctors/>
List-Post: <mailto:yang-doctors@ietf.org>
List-Help: <mailto:yang-doctors-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/yang-doctors>, <mailto:yang-doctors-request@ietf.org?subject=subscribe>
X-List-Received-Date: Thu, 01 Oct 2020 06:25:22 -0000

"Acee Lindem \(acee\)" <acee=40cisco.com@dmarc.ietf.org> wrote:
> Is there any place where this is documented? Including operators
> such as “not “? I wanted to provide a reference but couldn’t find
> out.

RFC 7950 has the reference:

   [XPATH]    Clark, J. and S. DeRose, "XML Path Language (XPath)
              Version 1.0", World Wide Web Consortium Recommendation
              REC-xpath-19991116, November 1999,
              <http://www.w3.org/TR/1999/REC-xpath-19991116>.

/martin