From 6d0628c8efd83681dffc5fd905f7280b3868fa95 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Wed, 3 Aug 2022 10:24:16 +0200
Subject: [PATCH] [Eva] Server and Eva use the same key for Ivette's Functions
table
---
src/plugins/eva/api/general_requests.ml | 5 ++---
src/plugins/server/kernel_ast.mli | 1 +
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/plugins/eva/api/general_requests.ml b/src/plugins/eva/api/general_requests.ml
index 09b052ace96..f1abb0ecb34 100644
--- a/src/plugins/eva/api/general_requests.ml
+++ b/src/plugins/eva/api/general_requests.ml
@@ -73,8 +73,6 @@ let () = Request.register ~package
module Functions =
struct
- let key kf = Printf.sprintf "kf#%d" (Kernel_function.get_id kf)
-
let iter f =
Globals.Functions.iter
(fun kf ->
@@ -92,7 +90,8 @@ struct
~get:Results.is_called;
States.register_array model
- ~package ~key
+ ~package
+ ~key:Server.Kernel_ast.Functions.key
~name:"functions"
~descr:(Markdown.plain "AST Functions")
~iter
diff --git a/src/plugins/server/kernel_ast.mli b/src/plugins/server/kernel_ast.mli
index e18092b2f9e..e882f07dd21 100644
--- a/src/plugins/server/kernel_ast.mli
+++ b/src/plugins/server/kernel_ast.mli
@@ -95,6 +95,7 @@ end
module Functions :
sig
+ val key : kernel_function -> string
val array : kernel_function States.array
end
--
GitLab