From nobody Fri May 10 02:28:09 2024 Delivered-To: importer@patchew.org Received-SPF: pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) client-ip=192.237.175.120; envelope-from=xen-devel-bounces@lists.xenproject.org; helo=lists.xenproject.org; Authentication-Results: mx.zohomail.com; spf=pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org Return-Path: Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) by mx.zohomail.com with SMTPS id 1709048266471865.4762621881727; Tue, 27 Feb 2024 07:37:46 -0800 (PST) Received: from list by lists.xenproject.org with outflank-mailman.686235.1068008 (Exim 4.92) (envelope-from ) id 1rezWM-000080-Le; Tue, 27 Feb 2024 15:37:30 +0000 Received: by outflank-mailman (output) from mailman id 686235.1068008; Tue, 27 Feb 2024 15:37:30 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1rezWM-00007l-J7; Tue, 27 Feb 2024 15:37:30 +0000 Received: by outflank-mailman (input) for mailman id 686235; Tue, 27 Feb 2024 15:37:29 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1rezWL-00007f-Gc for xen-devel@lists.xenproject.org; Tue, 27 Feb 2024 15:37:29 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 1c4478d5-d586-11ee-a1ee-f123f15fe8a2; Tue, 27 Feb 2024 16:37:27 +0100 (CET) Received: from beta.station (net-93-144-106-196.cust.dsl.teletu.it [93.144.106.196]) by support.bugseng.com (Postfix) with ESMTPSA id 7B29A4EE0742; Tue, 27 Feb 2024 16:37:26 +0100 (CET) X-Outflank-Mailman: Message body and most headers restored to incoming version X-BeenThere: xen-devel@lists.xenproject.org List-Id: Xen developer discussion List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xenproject.org Precedence: list Sender: "Xen-devel" X-Inumbo-ID: 1c4478d5-d586-11ee-a1ee-f123f15fe8a2 From: Simone Ballarin To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Simone Ballarin , Doug Goldstein , Stefano Stabellini , Andrew Cooper , George Dunlap , Jan Beulich , Julien Grall , Wei Liu Subject: [XEN PATCH] docs: Move function and macro properties in docs/misra Date: Tue, 27 Feb 2024 16:36:30 +0100 Message-Id: X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZM-MESSAGEID: 1709048268155100001 Content-Type: text/plain; charset="utf-8" The list of function/macro properties is not MISRA-specific documentation. Their addition was directly motivated to address MISRA findings and they are not used elsewhere. For this reason, this patch moves these properties in docs/misra. This patch also fixes a Sphinx warning caused by the missing inclusion of the rst file in the toctree. Reported-by: Andrew Cooper Fixes: f4519ee8 ("eclair: move function and macro properties outside ECLAIR= ") Signed-off-by: Simone Ballarin Acked-by: Andrew Cooper --- automation/eclair_analysis/propertyparser.py | 2 +- .../function-macro-properties.json} | 0 .../function-macro-properties.rst} | 0 docs/misra/index.rst | 1 + 4 files changed, 2 insertions(+), 1 deletion(-) rename docs/{function_macro_properties.json =3D> misra/function-macro-prop= erties.json} (100%) rename docs/{function_macro_properties.rst =3D> misra/function-macro-prope= rties.rst} (100%) diff --git a/automation/eclair_analysis/propertyparser.py b/automation/ecla= ir_analysis/propertyparser.py index 0d02f505a6..5059a68fec 100644 --- a/automation/eclair_analysis/propertyparser.py +++ b/automation/eclair_analysis/propertyparser.py @@ -2,7 +2,7 @@ import json import os =20 script_dir =3D os.path.dirname(__file__) -properties_path =3D os.path.join(script_dir, "../../docs/function_macro_pr= operties.json") +properties_path =3D os.path.join(script_dir, "../../docs/misra/function-ma= cro-properties.json") output_path =3D os.path.join(script_dir, "ECLAIR/call_properties.ecl") =20 with open(properties_path) as fp: diff --git a/docs/function_macro_properties.json b/docs/misra/function-macr= o-properties.json similarity index 100% rename from docs/function_macro_properties.json rename to docs/misra/function-macro-properties.json diff --git a/docs/function_macro_properties.rst b/docs/misra/function-macro= -properties.rst similarity index 100% rename from docs/function_macro_properties.rst rename to docs/misra/function-macro-properties.rst diff --git a/docs/misra/index.rst b/docs/misra/index.rst index 5068ee5aef..bde9d9cffb 100644 --- a/docs/misra/index.rst +++ b/docs/misra/index.rst @@ -16,3 +16,4 @@ Xen hypervisor code and related documents. documenting-violations exclude-list xen-static-analysis + function-macro-properties --=20 2.34.1