Re: [yang-doctors] YANG must statement constraints
"Acee Lindem (acee)" <acee@cisco.com> Fri, 19 March 2021 15:17 UTC
Return-Path: <acee@cisco.com>
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 AF0373A185B
for <yang-doctors@ietfa.amsl.com>; Fri, 19 Mar 2021 08:17:57 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -14.6
X-Spam-Level:
X-Spam-Status: No, score=-14.6 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, RCVD_IN_DNSWL_HI=-5,
SPF_PASS=-0.001, URIBL_BLOCKED=0.001, USER_IN_DEF_DKIM_WL=-7.5]
autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key)
header.d=cisco.com header.b=MsQd751A;
dkim=pass (1024-bit key)
header.d=cisco.onmicrosoft.com header.b=lYA15Nq1
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 ZQ4DvHsi5v3W for <yang-doctors@ietfa.amsl.com>;
Fri, 19 Mar 2021 08:17:55 -0700 (PDT)
Received: from alln-iport-5.cisco.com (alln-iport-5.cisco.com [173.37.142.92])
(using TLSv1.2 with cipher DHE-RSA-SEED-SHA (128/128 bits))
(No client certificate requested)
by ietfa.amsl.com (Postfix) with ESMTPS id 9E46A3A1855
for <yang-doctors@ietf.org>; Fri, 19 Mar 2021 08:17:55 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple;
d=cisco.com; i=@cisco.com; l=1972; q=dns/txt; s=iport;
t=1616167075; x=1617376675;
h=from:to:subject:date:message-id:references:in-reply-to:
content-id:content-transfer-encoding:mime-version;
bh=FH69adaFB9tKn297naPpXlewnz3FTwyYTTL3WK5+aYw=;
b=MsQd751A2HqQ50sdEcpoynQ5P9d1RWvnKyDHoKH1W3ZycRBL2s2ilv7P
ZZ/SqaVMCmR01iMwfsVMH1kDoiI0DQiEdYvJ11jf+GV9W7o4b95EzwDqq
yZHlUj6uBMr3+T41KLS6q5keuxmRXXVGcy5R5fRRKAKkEn2RQqPCd89Rb U=;
X-IPAS-Result: =?us-ascii?q?A0AYBACGv1RgkJtdJa1aHQEBAQEJARIBBQUBQIFQgVNRf?=
=?us-ascii?q?Vo2MQqEOINIA4U5iEuZM4JTA1QLAQEBDQEBHQsKAgQBAYRQAheBZAIlOBMCA?=
=?us-ascii?q?wEBAQMCAwEBAQEFAQEBAgEGBBQBAQEBAQGGOA2GRQEBBAEBIREMAQEsDA8CA?=
=?us-ascii?q?QgYAgImAgICJQsVEAIEARKCcAGCVQMvAQ6fZAKKHneBMoMEAQEGgkyCRhiCE?=
=?us-ascii?q?wMGgQ8qgnaECYZEJhyCC4E4HIJZPoJgAQGBXheCfzWCCSKEBVuBKZRlph4Kg?=
=?us-ascii?q?wacVgMfpDqGZ44XonACBAIEBQIOAQEGgWshgVtwFTsqAYI+UBcCDYhJhVYZg?=
=?us-ascii?q?1aFFIVFczgCBgEJAQEDCXyNSgGBDgEB?=
IronPort-PHdr: A9a23:sKx2mxGSWeX7LKKKDJB3a51GfswY04WcBSYc94YnhrRSc6+q45XlO
gnF6O5wiEPSNa3d6vkCgPiF+6zjWGlV55GHvThCdZFXTBYKhI0QmBBoG8+KD0D3bZuIJyw3F
chPThlpqne8N0UGHsf1IVbA8TW+6DcIEUD5Mgx4bu3+Bo/ViZGx0Oa/s53eaglFnnyze7R3e
R63tg7W8MIRhNgKFw==
IronPort-HdrOrdr: A9a23:EuAEqK6IinERNsHHuAPXwdGFI+orLtY04lQ7vn1ZYSd+NuSFis
Gjm+ka3xfoiDAXHEotg8yEJbPoexLh3LZPy800Ma25VAfr/FGpIoZr8Jf4z1TbdRHW3tV2kZ
1te60WMrLNJHBxh8ri/U2cG9Ev3NGI/MmT9Jvj5l1qShxnbLwlzyoRMHfbLmRdQg5aCZ0lUL
+V4cRarzStEE5nEfiTLH8DQuTFupn3j5rgexELHFoK7wOJgDOu5tfBYlil9z0ZVC5CxqpnzH
jdn2XCl+uemtyY6juZ7W/c6JxKhMDso+EiOOWggtUYQw+c8jqAS59mX9S5zVUIicGprG0nid
zd5yonVv4Dlk/5WkGQjV/T1xL70DAogkWSimOwpXf4u8T2SHYbJqN69PlkWyDU4UYho91wuZ
gjtwny2vYnbmKjoA3H69fFTB1snEavyEBS69I7tWBVUocVddZq3Osi1X5VC5sJEWbb740qAY
BVfbjhzctWal+TYjTluHBuyrWXLxIONyqBK3Jy3vC94nxzpjRU3kEYzMsQkjMr75QmUaRJ4O
zCL+BBiKxOZtV+V9M+OM4xBe+MTkDdSxPFN2yfZX79ErscBn7Lo5nrpJ0o+eCRfoASxpdaou
WFbHpo8UoJP27+A8yH25NGtjrXRn+mYDjrwsZCo790p6P7X7iuFSGYUlghn4+Brpwkc4nmcs
f2HKgTL+7oLGPoF4oM9Rb5QYNuJX4XV9BQtc08X16Iv8LXOoznvuHWa5/oVfzQOAdhflm6Lm
oIXTD1KskFxFusQGXEjB/YXG6oekGXx+MoLIHqu8wojKQdPIxFtQYYzX6j4NuQFDFEuqsqOE
93ILbtlLKntXC7lFy4t1lBC154NAJ48b/gW3RFqUshKEXva4sOvN2ZZCRVx3uIJhh2SsvMCw
5Br1Fr+aa6RqbgghwKOpaCCCa3nnETrHWFQ9M3gauY//rofZs+E9I7QqBrDB7KEBZ0gA5ur2
9GZGY/NxTiPwKrrZ/goI0fBenZedU5vRyiJtRMr2nD8W+Go9s0e3cdVzmycMKejAo0XQBIjl
lp/6J3usvbpR+fbU8ExMUxKhlldXmeCrMuNnX6WKxk3pTQPDxWYUjPrzqAkB03cnft7Cwp9x
3cBBzRX+rKDFpbsm1fyYDw/jpPBzigVnM1TGxmuotgEmmDnXB/3YawF/WO+lrUTEceyecANz
yAWx8uG0dFwtC60wP9okffKVwv2oguMuvBDL4qbrHU3Te3JJeVkLwddsUkj6pNKMrjqasCX+
6ZZmauXUPFIvJs1AqPqnk/Pi5o7HEijPPzwRXgqHO1xXglHJPpURlbbqBeJ9GX9G7/QfmUlJ
1/kNIupOO1W1+BIeKu2OXSbzRZLAnUrnPzR+Y0qYpMtaZ3sLdoBZHUXX/J035AtS9OZvvchQ
cbQK5h5qrGNZIqd8sOezhB9l5sjc+RNiIQw3rLK/57eUtog27QPtuP7baNob0zAleZrA+1PV
WE6SVS8/rMQiPr789XN4sgZWBNLEQs4nVr++2PM5fdDwinbOlP9lu3OH3VSs4UdIGVXbEL6h
pq6dCBmOGaMzfi0AfLpD1hP+ZA9X2kTc7aOnPCJcdYt9ihfVKCjauh7JTt0HP5ST6nZ18Zgo
MAf0oKdchHgiQjiopy0iXacN2Cnms1119FpTdgnRrx34Lj5mHRF0RPKxfYjZVbRiM7CAnAse
3VteyDkG3g6z1E04TZHEhefttSC8EdJ7KHWhtGOIwVpvq05KIhjSRIfQc2A2M9gD772fl63b
3R4oSkZ8TyTXHyOVwA/jZZBol72iwzwFswAfSD0Q==
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-AV: E=Sophos;i="5.81,262,1610409600"; d="scan'208";a="683576685"
Received: from rcdn-core-4.cisco.com ([173.37.93.155])
by alln-iport-5.cisco.com with ESMTP/TLS/DHE-RSA-SEED-SHA;
19 Mar 2021 15:17:54 +0000
Received: from mail.cisco.com (xbe-rcd-007.cisco.com [173.37.102.22])
by rcdn-core-4.cisco.com (8.15.2/8.15.2) with ESMTPS id 12JFHsRS004002
(version=TLSv1.2 cipher=AES256-SHA bits=256 verify=OK);
Fri, 19 Mar 2021 15:17:54 GMT
Received: from xfe-rcd-005.cisco.com (173.37.227.253) by xbe-rcd-007.cisco.com
(173.37.102.22) with Microsoft SMTP Server (version=TLS1_2,
cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.792.3; Fri, 19 Mar 2021
10:17:54 -0500
Received: from xfe-rcd-005.cisco.com (173.37.227.253) by xfe-rcd-005.cisco.com
(173.37.227.253) with Microsoft SMTP Server (version=TLS1_2,
cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.792.3; Fri, 19 Mar 2021
10:17:54 -0500
Received: from NAM11-BN8-obe.outbound.protection.outlook.com (72.163.14.9) by
xfe-rcd-005.cisco.com (173.37.227.253) with Microsoft SMTP Server
(version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.792.3
via Frontend Transport; Fri, 19 Mar 2021 10:17:54 -0500
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none;
b=Lz3CwVjgRyGd9x+8PvaWTc2f5OCB0vsRmv0v7EUvywA32fPJIzcUwsvBPG/ayhRBv4nBwMiUyzoRnWY/aO5By1LA/YnFRTxqUdStAiT9oELRHs+Aj7OEdY/HyumBafNgGiHHSV9nrcEgCqvmf9y4ZX8MQs4HJMnkkSvRjRHip+8+qL0YVZMuPLNZ2mMtMG1LvK9uymBrEZix7A/RGTncVtOYBGMtF4UNDdjAVwaysKGEQa78Cfx7lylz+QgMpLUbiToJV3mbaiX0ILQTFeQbCsqxF0e1i9HSuuNy384hIz1GbESa6j03TBzzwC0YsiZBVXONVoO8vKFHxg8CldFkig==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com;
s=arcselector9901;
h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck;
bh=FH69adaFB9tKn297naPpXlewnz3FTwyYTTL3WK5+aYw=;
b=DsMVo533Mr9dFgKsVU6tVErKItNelb6wXXZkIwWtv0BpElM6QX8CzoXyELava/W56qA3IiIC2SXinbiwtlCL/Jlfeb5J+v3mZuFZ73MGVwatDSo4N329teznby/1qqO8OlZ9pXrcwLXorMOw2E4alLcRHmsSZjNifz80R82SeK5E3T/uvlkS+QxS31SGFFfHgRYSgSEj9H50KbNnNk3YsyC3nn1FEZhxl2U2v/led6WVe3CIAwz6P51JmajReJ9ndPRai9vfKB2RJa42pXflCwygPN20HgxnMgJVWflHPTh0eC2sxkxTK/UzBNNylhmJTAdqMyz1ke1tux+tP3NfcQ==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass
smtp.mailfrom=cisco.com; dmarc=pass action=none header.from=cisco.com;
dkim=pass header.d=cisco.com; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cisco.onmicrosoft.com;
s=selector2-cisco-onmicrosoft-com;
h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck;
bh=FH69adaFB9tKn297naPpXlewnz3FTwyYTTL3WK5+aYw=;
b=lYA15Nq17oiiLFzt3cyo9dbZabd751Y0p1zugwhfuIURUe3i7FKnR9enY44ohVFfFciyd9WTCr3iisFa9hoLkJFiX/GGJ8Qc/u+0MBC6hXg/hRGMN6gzGrqGqXPGYf8yNOsQO5RBxvW/KKFfZAG1im7MqPEKu629HH5fQ1tAVfM=
Received: from BYAPR11MB2887.namprd11.prod.outlook.com (2603:10b6:a03:89::27)
by BY5PR11MB4193.namprd11.prod.outlook.com (2603:10b6:a03:1c8::25)
with Microsoft SMTP Server (version=TLS1_2,
cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3933.32; Fri, 19 Mar
2021 15:17:53 +0000
Received: from BYAPR11MB2887.namprd11.prod.outlook.com
([fe80::f82f:ff98:d282:d5e5]) by BYAPR11MB2887.namprd11.prod.outlook.com
([fe80::f82f:ff98:d282:d5e5%5]) with mapi id 15.20.3933.033; Fri, 19 Mar 2021
15:17:53 +0000
From: "Acee Lindem (acee)" <acee@cisco.com>
To: Ladislav Lhotka <ladislav.lhotka@nic.cz>, YANG Doctors
<yang-doctors@ietf.org>
Thread-Topic: [yang-doctors] YANG must statement constraints
Thread-Index: AQHXHMu0sX77o7RFsEWNIUm7ny8yYKqLadOA//+/lYA=
Date: Fri, 19 Mar 2021 15:17:52 +0000
Message-ID: <0CAB260B-C636-440C-913C-234EECC3DA7D@cisco.com>
References: <27FBDC6F-0D23-4D18-9764-42E4F1826952@cisco.com>
<4c68b8ea-dad7-5097-7b31-09045463da5d@nic.cz>
In-Reply-To: <4c68b8ea-dad7-5097-7b31-09045463da5d@nic.cz>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
user-agent: Microsoft-MacOutlook/16.46.21021202
authentication-results: nic.cz; dkim=none (message not signed)
header.d=none;nic.cz; dmarc=none action=none header.from=cisco.com;
x-originating-ip: [136.56.133.70]
x-ms-publictraffictype: Email
x-ms-office365-filtering-correlation-id: 73acf5ba-0707-4e49-319a-08d8eaea2a99
x-ms-traffictypediagnostic: BY5PR11MB4193:
x-microsoft-antispam-prvs: <BY5PR11MB41930619648592F474EE4995C2689@BY5PR11MB4193.namprd11.prod.outlook.com>
x-ms-oob-tlc-oobclassifiers: OLM:8882;
x-ms-exchange-senderadcheck: 1
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info: Cxl9i504/Rxf0deB+tOV5jt0SC8tMDVPE8ezNyHcj6fOlrfu8dUJrhAQs49W49ZWCG1IlvpO9zy1H1QgmSQ9r32kN7x77CXe5duR2lhRhyQQ9i+f5McjEvbgUU7SHE9K3Ciq1WChu+JjZyYPcdxRH1KzJ6j0D1tahnv5OFtDzmt9teI6sdvBRl02/rhXdsbNCud06fPxUaMI6rbv+iUDxuFosizX0d7ffgwKPnrMFxO7OGRNXwflrMFW4FgHh8K1isUj79li+RMOgbBDtnJlp3BB1ymfjJNihvxoVXFlYOmRr1EOBgnPeqNmoxkl3kpYgLp1DwjdRg1Mhw6nNmmWEiA8zK+PVi8uUqXGzH3qEFjB5DzPwHy/YHGg7leyx4LuFtcJxo5TA6qAb/5VKUkgPH3fq/Q0p3foszc3WEHwAXNgP6teFGKuH4f0kRUkwNQuRgxVZCq5ledscftUeCeYjFvCPrjrC3bLxL+5Uzhs05nx0cDTzQL7mPNfOtSu1L5GWGZ9A/n0Wp8s1FJMTtPOioSaxN5g3s3El2WPvYJNCpUNb42YwIjkmaiyyoBA9NyuYRtDlw7oScOYBexDGmEjQNhC2X5O14B6miiZeSO4a67RNJiYIOxxUuhl7Ej7DhHV9GoYYUmLqLmNX5h0aCo+aAZkzW1ubZYd8R2z0Y0vmvUvLbVSYTiRyjnxYobD2iRb+w4PwJTqPVNUz4WRU5QUjfdBk7E3pOMb9wEMF8KpFlbZxAPmJLwFqDDldvOuyb/4hoI4PfdoMMcSo8heOq0yUQ==
x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:;
IPV:NLI; SFV:NSPM;
H:BYAPR11MB2887.namprd11.prod.outlook.com; PTR:; CAT:NONE;
SFS:(396003)(346002)(39860400002)(136003)(366004)(376002)(110136005)(26005)(36756003)(478600001)(91956017)(6512007)(38100700001)(5660300002)(316002)(2616005)(2906002)(64756008)(186003)(8676002)(66446008)(76116006)(8936002)(66946007)(33656002)(83380400001)(6506007)(6486002)(71200400001)(966005)(86362001)(66476007)(66556008)(45980500001);
DIR:OUT; SFP:1101;
x-ms-exchange-antispam-messagedata: =?utf-8?B?TnJUdUF5MDg2ZUIzQ0N1Q0cxdDFad1VRT1JHRHVaT01JQVdScUF0clYrOHdm?=
=?utf-8?B?cmJKeGRwaHRmSTE0Vm9OTEswclBkMk1pQTNLZjd3TXc5eDRlNWI1Y3RKREdV?=
=?utf-8?B?UVh3ZFk2aGVOK3FpaHBrZnB4NEwzY0hXZ1NNc1BCTFAwSitGUnJIM0l5MmdP?=
=?utf-8?B?SnBrNlN2bCsxVUZvMHcxbTdZdTNlOHhJTWcvOXJWNVU3TjdqdmtMM3RKZjB3?=
=?utf-8?B?MlBxVjNhUDRNaEdqMHRFamJyOUFlRi84VmpIcjZLMW5RZVRDYitUWFo4T3Fs?=
=?utf-8?B?VDNXYk9WUFlnZ3J3dGVtOEx2b2lCTkc0SlZYUC9GbUFvbkM4ODdrZWZlVnlB?=
=?utf-8?B?b2V4RGxNQ3NkRzF3cUxMbjNmWjZOQjhVY281aUVwU2FTMmhHMVFxS2M5MVNX?=
=?utf-8?B?bXhndE15RmVYbVZpSHdPTWpsUmpEN2NBa3BQTG1CdHN5Uy8welRFQk1OdEFa?=
=?utf-8?B?aTVYa0daMm82YjVjWFVWVGFBeFNvZGowTjZmTTVkazErcTlGMHBjYjJhbTE1?=
=?utf-8?B?Q2NzcnJMZFB4bzJHQ1EzSTdQVzZKTVk3M2d1anVSQ0VhL3ZsTXpQNXVzVE4y?=
=?utf-8?B?UVpuR0lRbnAxUlhQT3ZKUnNld0hWVU1xQXVvNlU2ZldQcExsdURJYXd3WmVG?=
=?utf-8?B?V09tckVOakYrdkszWXcrcXJXc1RRYjVvU0hPdmlVNmNPTTBwRCtTdW02NnJu?=
=?utf-8?B?ajYyRkVUb2NBYThabVNqV1I2Rlk1WWFhU2gvUlpLdnRnR0p6d2NFUDZUWE9o?=
=?utf-8?B?T2NkM0NLaW9tZ2JFUmI1WUhtcFU0TWFtbVVqMDBjMGQ1S1BDTGJ2YWZvbVZT?=
=?utf-8?B?cVVpell0QkVzNkFRbTUyenoyWCs3R0wzdldzSUlCZW1NN0xvbUpRcXRhbUVI?=
=?utf-8?B?TDhnb1JESHpGY1lOdFFMclh6L1k3aVp5WCthbkpZakFQd3Izclg5amh5d1N5?=
=?utf-8?B?cEtVNk9sOTZRR1RBSDBwUnhUV09TTHVDTzRkc09ucUVPNXJJMnBRQjVUTU85?=
=?utf-8?B?NDJtK0pHOE1uTzhVK2xKWmh3b1BGRG9QR2hKR05DcFIzQU5qUm5Ub1pTOUxK?=
=?utf-8?B?QzBHQk5XK0tuMUhHMW9MeHdyRjNtUFRLRVFUTGhtcmNxZDExTVNHb1dPTW93?=
=?utf-8?B?YlhqY1hPQkdjWm83aDNOVlA2bVRtb0t1NjA1M3JDM0FLNnpwUmJTV1ZPaG1m?=
=?utf-8?B?c2doaXV0dFk1cElEdFJJMjBvUThVS0JDZTdDNjlCUTlsV2UxUUJHeVRJaG1K?=
=?utf-8?B?WVYzbnoxbUZJQVhRTTc0YmpVMnEwQjd4K0FUaUdGSnpmaGxrdSs1ZnNyOHZS?=
=?utf-8?B?K1JKWUJKSk1LejBWM3I4UXM1ZWhJanRKdE0wejd6dVdrWFhnU01ZWGJvWndu?=
=?utf-8?B?aVU1MHhFSjc0YWs0U1dwWnZiR3Rtb3lLODZJb2pzdXZ4QytzamNDVGlIZE11?=
=?utf-8?B?WFBpN3Q2S29oSWkyNndvYkRqTnhhdFhGb0FnbDRZR0tWZ2FwWnBVVENzUDBL?=
=?utf-8?B?d1Z0bmRrZk5NZU9IaFlNb2FPYzltVWFHNy91aG81N0ZCNE9MaHdwbC9manVw?=
=?utf-8?B?Ny94NmxyR1VpbHpINmg3NCtSaFVDQkVzM01zWEYwVWhtTXVJRzdhTkc1RHBH?=
=?utf-8?B?TU1mODg0dVh2UnVQcHBocU9EOG1yYjZUWTh1S3ptdDFIRXoyQ0JFQTJiNHRR?=
=?utf-8?B?dmxaNEJTY0tBTDRyRjYvc2xpS1ZtaisrZzJ6OHV2c2FkUHVuZVdLQTdrelRF?=
=?utf-8?B?R3FmY2hYaVB3dzFnUEdsandrRkJqd1YzTDNnOElZSi9WaXBvQndzdHp1MFds?=
=?utf-8?B?MnRURkNJU0FlY1RPaUxJZz09?=
x-ms-exchange-transport-forked: True
Content-Type: text/plain; charset="utf-8"
Content-ID: <835809A1F26184429F03865DA65264E5@namprd11.prod.outlook.com>
Content-Transfer-Encoding: base64
MIME-Version: 1.0
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-AuthSource: BYAPR11MB2887.namprd11.prod.outlook.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 73acf5ba-0707-4e49-319a-08d8eaea2a99
X-MS-Exchange-CrossTenant-originalarrivaltime: 19 Mar 2021 15:17:52.9555 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 5ae1af62-9505-4097-a69a-c1553ef7840e
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: RUk/8MIDj/PaCBHBYqzqHrDH0bh2b2HHMxe/xIINRJtBc99yjsHqm80bmzW4gR+A
X-MS-Exchange-Transport-CrossTenantHeadersStamped: BY5PR11MB4193
X-OriginatorOrg: cisco.com
X-Outbound-SMTP-Client: 173.37.102.22, xbe-rcd-007.cisco.com
X-Outbound-Node: rcdn-core-4.cisco.com
Archived-At: <https://mailarchive.ietf.org/arch/msg/yang-doctors/sTJBKyQutY0aMrPfrLgfsShIpgs>
Subject: Re: [yang-doctors] YANG must statement constraints
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: Fri, 19 Mar 2021 15:17:58 -0000
Hi Lada,
I guess the corollary would be that:
must "list/non-key-leaf != 42";
Is satisfied if there is at least one list entry with a non-key-leaf other than 42.
And,
must not("list/non-key-leaf = 42)";
Requires all leaf entries to have non-key-leaf not equal to 42.
What if non-key-leaf is optional and not specified? Would this be equivalent to "!= 42" in the constraint evaluation?
Thanks much,
Acee
On 3/19/21, 11:08 AM, "Ladislav Lhotka" <ladislav.lhotka@nic.cz> wrote:
Hi Acee,
On 19. 03. 21 15:25, Acee Lindem (acee) wrote:
> When the constraint references a non-key leaf in a list, do all members
> of the list have to satisfy the constraint or only one of the list entries?
It depends on how the constraint is written.
If you have e.g.
must "list/non-key-leaf = 42";
then it is sufficient that at least one instance on non-key-leaf exist
with that value. In contrast,
must "not(list/non-key-leaf != 42)";
requires all instances to have that value.
Lada
>
>
>
> Thanks,
> Acee
>
>
> _______________________________________________
> yang-doctors mailing list
> yang-doctors@ietf.org
> https://www.ietf.org/mailman/listinfo/yang-doctors
>
--
Ladislav Lhotka
Head, CZ.NIC Labs
PGP Key ID: 0xB8F92B08A9F76C67
- [yang-doctors] YANG must statement constraints Acee Lindem (acee)
- Re: [yang-doctors] YANG must statement constraints Ladislav Lhotka
- Re: [yang-doctors] YANG must statement constraints Acee Lindem (acee)
- Re: [yang-doctors] YANG must statement constraints Ladislav Lhotka
- Re: [yang-doctors] YANG must statement constraints Acee Lindem (acee)
- Re: [yang-doctors] YANG must statement constraints Ladislav Lhotka