From 466cff6ea00f174b5a557e0a38fd034fd1115070 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Wed, 3 Aug 2022 10:29:10 +0200
Subject: [PATCH] [Eva] Use the same iter function in Eva and Server for
Functions table
---
src/plugins/eva/api/general_requests.ml | 8 +-------
src/plugins/server/kernel_ast.mli | 1 +
2 files changed, 2 insertions(+), 7 deletions(-)
diff --git a/src/plugins/eva/api/general_requests.ml b/src/plugins/eva/api/general_requests.ml
index f1abb0ecb34..e5e522cdd53 100644
--- a/src/plugins/eva/api/general_requests.ml
+++ b/src/plugins/eva/api/general_requests.ml
@@ -73,12 +73,6 @@ let () = Request.register ~package
module Functions =
struct
- let iter f =
- Globals.Functions.iter
- (fun kf ->
- let name = Kernel_function.get_name kf in
- if not (Ast_info.is_frama_c_builtin name) then f kf)
-
let _array : kernel_function States.array =
let model = States.model () in
@@ -94,7 +88,7 @@ struct
~key:Server.Kernel_ast.Functions.key
~name:"functions"
~descr:(Markdown.plain "AST Functions")
- ~iter
+ ~iter:Server.Kernel_ast.Functions.iter
~add_reload_hook:(fun f ->
Analysis.register_computation_hook (fun _ -> f () ))
end
diff --git a/src/plugins/server/kernel_ast.mli b/src/plugins/server/kernel_ast.mli
index e882f07dd21..bda08edd105 100644
--- a/src/plugins/server/kernel_ast.mli
+++ b/src/plugins/server/kernel_ast.mli
@@ -95,6 +95,7 @@ end
module Functions :
sig
+ val iter : (kernel_function -> unit) -> unit
val key : kernel_function -> string
val array : kernel_function States.array
end
--
GitLab