From 50eab52eb76af21d785c7fdf85b0e5a1fdcae411 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Wed, 8 Jul 2020 09:41:52 +0200
Subject: [PATCH] [Eva] Rename registered data and services.
---
src/plugins/value/api/values_request.ml | 13 ++++---------
1 file changed, 4 insertions(+), 9 deletions(-)
diff --git a/src/plugins/value/api/values_request.ml b/src/plugins/value/api/values_request.ml
index 0c708c5b34c..68e837e3ebf 100644
--- a/src/plugins/value/api/values_request.ml
+++ b/src/plugins/value/api/values_request.ml
@@ -26,12 +26,7 @@ open Cil_types
module Md = Markdown
let package =
- Package.package
- ~plugin:"eva"
- ~name:"eva"
- ~title:"Eva Values"
- ~readme:"eva.md"
- ()
+ Package.package ~plugin:"eva" ~title:"Eva Values" ~readme:"eva.md" ()
type value =
{ value: string;
@@ -126,7 +121,7 @@ module CallStack = struct
(val
(Record.publish
~package
- ~name:"evaCallstack"
+ ~name:"callstack"
~descr:(Md.plain "CallStack")
record) : Record.S with type r = record)
@@ -204,7 +199,7 @@ let array =
in
States.register_array
~package
- ~name:"evaValues"
+ ~name:"values"
~descr:(Md.plain "Abstract values inferred by the Eva analysis")
~key:(fun (cs, _) -> CallStack.key cs)
~iter
@@ -350,7 +345,7 @@ let () =
Server.Request.register
~package
~kind:`GET
- ~name:"getEvaValues"
+ ~name:"getValues"
~descr:(Md.plain "Get the abstract values computed for an expression or lvalue")
~input:(module Kernel_ast.Marker)
~output:(module Junit)
--
GitLab