From 3d301261ec9ae95213611fc446eed9fadbbe96fb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 21 Apr 2023 17:44:40 +0200
Subject: [PATCH] [eva] signal dead-code request after computation
---
ivette/src/frama-c/plugins/eva/api/general/index.ts | 2 +-
src/plugins/eva/api/general_requests.ml | 3 ++-
2 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/ivette/src/frama-c/plugins/eva/api/general/index.ts b/ivette/src/frama-c/plugins/eva/api/general/index.ts
index 78ef1d0ddc1..c0b4c9817db 100644
--- a/ivette/src/frama-c/plugins/eva/api/general/index.ts
+++ b/ivette/src/frama-c/plugins/eva/api/general/index.ts
@@ -255,7 +255,7 @@ const getDeadCode_internal: Server.GetRequest<fct,deadCode> = {
name: 'plugins.eva.general.getDeadCode',
input: jFct,
output: jDeadCode,
- signals: [],
+ signals: [ { name: 'plugins.eva.general.signalComputationState' } ],
};
/** Get the lists of unreachable and of non terminating statements in a function */
export const getDeadCode: Server.GetRequest<fct,deadCode>= getDeadCode_internal;
diff --git a/src/plugins/eva/api/general_requests.ml b/src/plugins/eva/api/general_requests.ml
index 6240f5be74f..154a6650866 100644
--- a/src/plugins/eva/api/general_requests.ml
+++ b/src/plugins/eva/api/general_requests.ml
@@ -48,7 +48,7 @@ module ComputationState = struct
| Aborted -> `String "aborted"
end
-let _computation_signal =
+let computation_signal =
States.register_value ~package
~name:"computationState"
~descr:(Markdown.plain "The current computation state of the analysis.")
@@ -199,6 +199,7 @@ let () = Request.register ~package
statements in a function")
~input:(module Kernel_ast.Function)
~output:(module DeadCode)
+ ~signals:[computation_signal]
dead_code
--
GitLab