From c5584737c864f08ba0bd818c5957719fba9a7b5f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9cile=20RUET-CROS?= <cecile.ruet-cros@cea.fr>
Date: Mon, 26 Aug 2024 09:59:35 +0200
Subject: [PATCH] [region] API access

---
 src/plugins/region/Region.ml  | 7 +++++++
 src/plugins/region/Region.mli | 7 +++++--
 2 files changed, 12 insertions(+), 2 deletions(-)

diff --git a/src/plugins/region/Region.ml b/src/plugins/region/Region.ml
index 9017bdeb5e7..f270318461d 100644
--- a/src/plugins/region/Region.ml
+++ b/src/plugins/region/Region.ml
@@ -60,3 +60,10 @@ let pointed_by (map:map) (region:region) : region list =
 
 let iter (map:map) (f:region -> unit) : unit =
   Memory.iter map.map f
+
+
+let pp_region fmt region : unit = Memory.pp_region fmt region
+
+
+
+let accesses (map:map) (region:region) : Access.acs list = []
diff --git a/src/plugins/region/Region.mli b/src/plugins/region/Region.mli
index 67a70648255..ed48c4c8edd 100644
--- a/src/plugins/region/Region.mli
+++ b/src/plugins/region/Region.mli
@@ -22,14 +22,13 @@
 
 (** Interface for the Region plug-in. *)
 
-open Cil_types
 
+open Cil_types
 
 
 type region
 module R : Qed.Collection.S with type t = region
 
-
 type map
 val get_map : kernel_function -> map
 
@@ -44,3 +43,7 @@ val pointed_by : map -> region -> region list
 
 
 val iter : map -> (region -> unit) -> unit
+
+val pp_region : Format.formatter -> region -> unit
+
+val accesses : map -> region -> Access.acs list
-- 
GitLab