From d6c4ede65061b8a4ebf4aaff50d9857f30e29ed1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 10 Oct 2022 16:58:16 +0200
Subject: [PATCH] [from] Minor reorganization of the From.mli interface.
---
src/plugins/from/{from.ml => From.ml} | 0
src/plugins/from/{from.mli => From.mli} | 13 +++++++++++--
2 files changed, 11 insertions(+), 2 deletions(-)
rename src/plugins/from/{from.ml => From.ml} (100%)
rename src/plugins/from/{from.mli => From.mli} (96%)
diff --git a/src/plugins/from/from.ml b/src/plugins/from/From.ml
similarity index 100%
rename from src/plugins/from/from.ml
rename to src/plugins/from/From.ml
diff --git a/src/plugins/from/from.mli b/src/plugins/from/From.mli
similarity index 96%
rename from src/plugins/from/from.mli
rename to src/plugins/from/From.mli
index f71b8ed9ebe..ba438f58b2c 100644
--- a/src/plugins/from/from.mli
+++ b/src/plugins/from/From.mli
@@ -22,16 +22,25 @@
open Cil_types
-val self : State.t
+(** {3 Analysis} *)
+
val is_computed : kernel_function -> bool
val compute : kernel_function -> unit
val compute_all : unit -> unit
-val compute_all_calldeps : unit -> unit
+
val get : Cil_types.kernel_function -> Function_Froms.froms
val access : Locations.Zone.t -> Function_Froms.Memory.t -> Locations.Zone.t
+
+val self : State.t
+
+(** {3 Pretty-printing} *)
+
val pretty : Format.formatter -> kernel_function -> unit
val display : Format.formatter -> unit
+(** {3 Callsite-wise analysis} *)
+
+val compute_all_calldeps : unit -> unit
module Callwise : sig
val iter : (Cil_types.kinstr -> Function_Froms.froms -> unit) -> unit
val find : Cil_types.kinstr -> Function_Froms.froms
--
GitLab