From aa3a4c5f7895a0525f0316a1b927bfc9233fb88a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 25 Nov 2020 11:04:27 +0100
Subject: [PATCH] [Eva] New request isComputed to known if the analysis has
been done.
---
src/plugins/value/api/general_requests.ml | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/src/plugins/value/api/general_requests.ml b/src/plugins/value/api/general_requests.ml
index abf821d1d69..bbb5c957243 100644
--- a/src/plugins/value/api/general_requests.ml
+++ b/src/plugins/value/api/general_requests.ml
@@ -31,6 +31,12 @@ let package =
~readme:"eva.md"
()
+let () = Request.register ~package
+ ~kind:`GET ~name:"isComputed"
+ ~descr:(Markdown.plain "True if the Eva analysis has been done")
+ ~input:(module Data.Junit) ~output:(module Data.Jbool)
+ Db.Value.is_computed
+
let is_computed kf =
Db.Value.is_computed () &&
match kf with
--
GitLab