[yang-doctors] YANG documentation for "must" and "when" statement semantics and syntax
"Acee Lindem (acee)" <acee@cisco.com> Wed, 30 September 2020 19:15 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 1A2643A0AD3 for <yang-doctors@ietfa.amsl.com>; Wed, 30 Sep 2020 12:15:37 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -9.597
X-Spam-Level:
X-Spam-Status: No, score=-9.597 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, HTML_MESSAGE=0.001, RCVD_IN_MSPIKE_H4=0.001, RCVD_IN_MSPIKE_WL=0.001, 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=T0MRL20Y; dkim=pass (1024-bit key) header.d=cisco.onmicrosoft.com header.b=NttmU2y/
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 yJcj59dN3qdh for <yang-doctors@ietfa.amsl.com>; Wed, 30 Sep 2020 12:15:35 -0700 (PDT)
Received: from alln-iport-3.cisco.com (alln-iport-3.cisco.com [173.37.142.90]) (using TLSv1.2 with cipher DHE-RSA-SEED-SHA (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id A98653A0AD8 for <yang-doctors@ietf.org>; Wed, 30 Sep 2020 12:15:35 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=cisco.com; i=@cisco.com; l=2727; q=dns/txt; s=iport; t=1601493335; x=1602702935; h=from:to:subject:date:message-id:mime-version; bh=i0k5WTpQBeD0RYuPkZneLHBPEtEN/GjLA0Yz4dtOEkY=; b=T0MRL20Yu4VWcvr8eCr1P0W3tGAmCw4Aaiz0TCp2ojLozAy4BJhNr/BE 7hC8mQbbSYnAG42af+9fsx/j+Lnvq9aDi3blkBZDjGGZQpP9e5hKd3AvU drJGRJqeN/2+3gW2WBe8VHwVhcOXNMUmnFjxyA3GzNx99xr9G4Wd27NCX g=;
X-IPAS-Result: A0C8PwCc2HRf/5FdJa1gHQEBPAEFBQECAQkBgVoIAQMBgSAbAhJRB3BZLywKhDODRgOiCIRuglMDVQsBAQENAQEtAgQBAYRkghoCJTkFDQIDAQEBAwIDAQEBAQUBAQECAQYEbYVcDIYLER0BATgRAQwBPQIEMCcENYMEAYF+TQMuAatMAoE5iGF2gTKDAQEBBYJLgkYYghAJgTYCAQGCcINphlMbggCBOByKXzOCCyKTOYZ/nQ8KgmeaWAMfoRWGGqx+AgQCBAUCDgEBBYFsIoFXcBVlAYI+UBcCDZIQilZ0NwIGAQkBAQMJfIx6AYEQAQE
IronPort-PHdr: 9a23:VTLvTBMUz+SI1sy21oQl6mtXPHoupqn0MwgJ65Eul7NJdOG58o//OFDEvKw33l7EQYud7OhL2KLasKHlDGoH55vJ8HUPa4dFWBJNj8IK1xchD8iIBQyeTrbqYiU2Ed4EWApj+He2YklYBMi4YEfd8TW+6DcIEUD5Mgx4bu3+Bo/ViZGx0Oa/s53eaglFnnyze7R3eR63tg7W8MIRhNhv
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-AV: E=Sophos;i="5.77,322,1596499200"; d="scan'208,217";a="543522436"
Received: from rcdn-core-9.cisco.com ([173.37.93.145]) by alln-iport-3.cisco.com with ESMTP/TLS/DHE-RSA-SEED-SHA; 30 Sep 2020 19:15:34 +0000
Received: from XCH-RCD-001.cisco.com (xch-rcd-001.cisco.com [173.37.102.11]) by rcdn-core-9.cisco.com (8.15.2/8.15.2) with ESMTPS id 08UJFYm6017026 (version=TLSv1.2 cipher=AES256-SHA bits=256 verify=FAIL) for <yang-doctors@ietf.org>; Wed, 30 Sep 2020 19:15:34 GMT
Received: from xhs-rcd-003.cisco.com (173.37.227.248) by XCH-RCD-001.cisco.com (173.37.102.11) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Wed, 30 Sep 2020 14:15:34 -0500
Received: from xhs-rcd-002.cisco.com (173.37.227.247) by xhs-rcd-003.cisco.com (173.37.227.248) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Wed, 30 Sep 2020 14:15:34 -0500
Received: from NAM10-DM6-obe.outbound.protection.outlook.com (72.163.14.9) by xhs-rcd-002.cisco.com (173.37.227.247) with Microsoft SMTP Server (TLS) id 15.0.1497.2 via Frontend Transport; Wed, 30 Sep 2020 14:15:33 -0500
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=SxnMAPE/Xzfri+WllL0OvdV1hXwsrJlv+z4hqw0ziAvj1hfQFsktNqajOzptCX/rCmyW9ZkbvH9KLGTi+rdvDbb3gK8jHSOfP6jKGImr7wb1DQbZiEKZpqELMKNJeg/DOCVyf065xUCbdwyOOEwmhSW+5MXCmWXVqVFFHbYH209fKiu2pFudFKCoEmxljGiAiIvs2VZLYOwRbN6JkBiMu0UBg+z3oK8YWX29vHLgcbOI+hzIbVH5RaKACifPo+dcEjnw6HTsra0A57npzVRoht348kJpS7Ka2whwjrXjiYg1Qu/0zq8baQSVpmFuOrNsnpD8x9FMx1m944mSR7dwGA==
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=i0k5WTpQBeD0RYuPkZneLHBPEtEN/GjLA0Yz4dtOEkY=; b=lrlz/CrhYYi1MMWuUk/glS+3j1VzCM2yRDbeWgVXYpGnq8pcH4VvtAq2iNw4WYpnmnOvm+TohkHDVeQ75ck/J03GOotLJ4geCaagQrxQgTTpyoOhNMH7AwdByFyL+rGVvl+W8iCD/f8O2KXoR5FI7kT2IWmDmV9wQoSVpGnde6xxURfognLYH3cU2IuPSZnE9zduMaMtFnwHbsC50+yHDAqaM+01yV2IoLHXMbv2lIdJGAr3860OCnxFmV5LVCkd+zPXe39v7xXDPDkx6i5McK7dk1fzrq2EX4PW7bgIIKBYvDiyAA3DpHSYFAqcLpe8VjuIaeaxGJAO1XuTlONkMQ==
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=i0k5WTpQBeD0RYuPkZneLHBPEtEN/GjLA0Yz4dtOEkY=; b=NttmU2y/Q0CD0uaBBI9zQxteKYvLlPycOJaDtdccKv9XXWwnVVXPJDgK9gxNSawMKkEYHTm4eKgEMd6QVDly44Az7uqthHy39Zt30oJbfXYfK0Gmsqu7XxrIZf85rjkiTz74BWWGNPwiT/kul3nZv4x09/oW/V2Z8CCA1fNJL3Q=
Received: from BYAPR11MB2887.namprd11.prod.outlook.com (2603:10b6:a03:89::27) by BYAPR11MB2888.namprd11.prod.outlook.com (2603:10b6:a03:8c::19) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3412.29; Wed, 30 Sep 2020 19:15:16 +0000
Received: from BYAPR11MB2887.namprd11.prod.outlook.com ([fe80::1ddc:cdb4:32cc:f078]) by BYAPR11MB2887.namprd11.prod.outlook.com ([fe80::1ddc:cdb4:32cc:f078%3]) with mapi id 15.20.3412.029; Wed, 30 Sep 2020 19:15:16 +0000
From: "Acee Lindem (acee)" <acee@cisco.com>
To: YANG Doctors <yang-doctors@ietf.org>
Thread-Topic: YANG documentation for "must" and "when" statement semantics and syntax
Thread-Index: AQHWl14GDHMueXI+ME+VULnOPjfGhQ==
Date: Wed, 30 Sep 2020 19:15:14 +0000
Message-ID: <C8FCF532-E079-43A9-B501-799B7D60E07B@cisco.com>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
user-agent: Microsoft-MacOutlook/16.41.20091302
authentication-results: ietf.org; dkim=none (message not signed) header.d=none;ietf.org; 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: 6c1ce7da-ec70-43b1-9972-08d8657529ef
x-ms-traffictypediagnostic: BYAPR11MB2888:
x-microsoft-antispam-prvs: <BYAPR11MB2888DD0A9F068265F465DF24C2330@BYAPR11MB2888.namprd11.prod.outlook.com>
x-ms-oob-tlc-oobclassifiers: OLM:7219;
x-ms-exchange-senderadcheck: 1
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info: QEZFJfdXC6PxPy+9tX/Ep3ouv0UXbZlpR+HMzB8IHv2GpV6F+ijV+Sw1MOcAiA4mWpS6lYGhSA1GAJqwp9hWBrg6vFHTPyYvMVrUOotd6mjqdlg/Jb8kUEKTouuz50aEajstzK/qF9pUMqmNuhsFb0K03jz9q4WUJtkEI8Mnn+zikfcaitw4OWYQ8Zwz2ILiD5VoCuA42EcWoPM/WBZ/qqslPFsd4u7mCV0sjlIwBpqJdllJDQzk8oiq6UrVQ2dQBBxNsoQKzOsXCJ8CaZSW5F9+/euvts2HrpnrIV4fJxG40P5LonoxQQxFb0pUHuFfedVYm0Zz8WC5kLNWpX20s+4wTMst5TAzG7V2lh/IcBkhx1nx+I/juEA69lnsR2ZY
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:(366004)(136003)(396003)(39860400002)(376002)(346002)(5660300002)(86362001)(8936002)(2616005)(8676002)(316002)(2906002)(26005)(6506007)(186003)(6512007)(6916009)(558084003)(6486002)(33656002)(36756003)(66946007)(66556008)(66446008)(71200400001)(64756008)(478600001)(76116006)(66476007); DIR:OUT; SFP:1101;
x-ms-exchange-antispam-messagedata: Dg0fAN97JNO6c+ueN4Q52NjD3ShGAupNffHbcRUqDpeXcsXQKboBkaCBkF3ox4Z0u3dnuorSN3GbhmSIHjioEz7xM4Pvw4MMEhNA7HZmSrTH+9iQp6oDl6E34NRKaePmBQIxrABsbPRnpFm6Nk0M3OzJeaDZ59/g4qo/zmCnOsM0oamGQOfeYG3V4zI+7852xheTlCoSRzVJ56gPZFJchT4AgBlSYrF9Hu67ud74/3GueNQ1259V/fJEnxZ7xG6rZqWPJrs4KE6o3EPxbTWpIyNv4KQ3wWur7DKheTFBjgVvuAYeA+xp45pPD60y5bxnUk6AVnHjrQF/jsc1vwkS8Puxo7rc5b9jqn+G1cSAdaj1GPcVMtT49w5lMSQQXp9YBT5HeJJH9OsNEvOhqBT/kyC7lylKDeUlwtL4sP0j6y40k5UJ30FevXX5JX0s8rJG7+DNt9Q91yLE1PJ1W3MOK01H5/HmHSLKREi/zpuFakGAwKVfevc4JfO3lXWuYIPTvScXWlPmZue+fnfrCNfJt8s964YlZCTl0txjwFELxQxOxzMlVPm4Bf+eCsbg/ruPsiHeFamlPAwMhR4m93+w9357/q8rsN2ZI9sB3iE1sYsfaqRPRjqkk/vOqgb/712qgVOVucwbhhop0S0csqUyLQ==
x-ms-exchange-transport-forked: True
Content-Type: multipart/alternative; boundary="_000_C8FCF532E07943A9B501799B7D60E07Bciscocom_"
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: 6c1ce7da-ec70-43b1-9972-08d8657529ef
X-MS-Exchange-CrossTenant-originalarrivaltime: 30 Sep 2020 19:15:16.0603 (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: cgQeqVyQFo/mSwzN2veLn3XabEOSu5KH3Dr7SfLA2cTA9aShlp1c7YChO7GxrUxk
X-MS-Exchange-Transport-CrossTenantHeadersStamped: BYAPR11MB2888
X-OriginatorOrg: cisco.com
X-Outbound-SMTP-Client: 173.37.102.11, xch-rcd-001.cisco.com
X-Outbound-Node: rcdn-core-9.cisco.com
Archived-At: <https://mailarchive.ietf.org/arch/msg/yang-doctors/M6KOiHNMOolayGF0luAgg8OT0mk>
Subject: [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: Wed, 30 Sep 2020 19:15:37 -0000
Is there any place where this is documented? Including operators such as “not “? I wanted to provide a reference but couldn’t find out. Thanks, Acee
- [yang-doctors] YANG documentation for "must" and … Acee Lindem (acee)
- Re: [yang-doctors] YANG documentation for "must" … Martin Björklund