From 31f7e1bd6f61479909f3d75383f3ccf83c2a66a9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 23 Feb 2022 14:44:02 +0100
Subject: [PATCH] [ivette/api] fix signal generation
---
ivette/src/frama-c/api_generator.ml | 5 +++--
ivette/src/frama-c/kernel/api/ast/index.ts | 2 +-
2 files changed, 4 insertions(+), 3 deletions(-)
diff --git a/ivette/src/frama-c/api_generator.ml b/ivette/src/frama-c/api_generator.ml
index 371495e1643..b72055204a8 100644
--- a/ivette/src/frama-c/api_generator.ml
+++ b/ivette/src/frama-c/api_generator.ml
@@ -349,8 +349,9 @@ let makeDeclaration fmt names d =
Format.fprintf fmt " name: '%s',@\n" (Pkg.name_of_ident d.d_ident) ;
Format.fprintf fmt " input: %a,@\n" makeParam input ;
Format.fprintf fmt " output: %a,@\n" makeParam output ;
- Format.fprintf fmt " signals: [%a],@\n"
- (Pretty_utils.pp_list ~pre:"@[<hov 2>[ " ~sep:",@ " ~suf:"@ ]@]"
+ Format.fprintf fmt " signals: %a,@\n"
+ (Pretty_utils.pp_list
+ ~empty:"[]" ~pre:"@[<hov 2>[ " ~sep:",@ " ~suf:"@ ]@]"
(fun fmt s -> Format.fprintf fmt "{ name: '%s' }" s))
rq.rq_signals;
Format.fprintf fmt "};@\n" ;
diff --git a/ivette/src/frama-c/kernel/api/ast/index.ts b/ivette/src/frama-c/kernel/api/ast/index.ts
index 8e2a100ffc9..b646c002db8 100644
--- a/ivette/src/frama-c/kernel/api/ast/index.ts
+++ b/ivette/src/frama-c/kernel/api/ast/index.ts
@@ -478,7 +478,7 @@ const getInformations_internal: Server.GetRequest<
title: Json.jFail(Json.jString,'String expected'),
descr: jTextSafe,
})),
- signals: [[ { name: 'kernel.ast.getInformationsUpdate' } ]],
+ signals: [ { name: 'kernel.ast.getInformationsUpdate' } ],
};
/** Get available informations about markers. When no marker is given, returns all kinds of informations (with empty `descr` field). */
export const getInformations: Server.GetRequest<
--
GitLab