From 83e22db4a4a097fd75352573bc7c372c7de3868e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Mon, 13 Sep 2021 17:51:37 +0200
Subject: [PATCH] [Yvette] Add in menu "Set files"
---
ivette/src/frama-c/index.tsx | 4 +++
ivette/src/frama-c/menu.ts | 49 ++++++++++++++++++++++++++++++++
src/plugins/server/kernel_ast.ml | 6 +++-
3 files changed, 58 insertions(+), 1 deletion(-)
create mode 100644 ivette/src/frama-c/menu.ts
diff --git a/ivette/src/frama-c/index.tsx b/ivette/src/frama-c/index.tsx
index 2efb1200a09..c134dfaf7dc 100644
--- a/ivette/src/frama-c/index.tsx
+++ b/ivette/src/frama-c/index.tsx
@@ -37,6 +37,10 @@ import Properties from 'frama-c/kernel/Properties';
import 'frama-c/kernel/style.css';
+import * as Menu from 'frama-c/menu';
+
+Menu.init();
+
/* --------------------------------------------------------------------------*/
/* --- Frama-C Kernel Groups ---*/
/* --------------------------------------------------------------------------*/
diff --git a/ivette/src/frama-c/menu.ts b/ivette/src/frama-c/menu.ts
new file mode 100644
index 00000000000..21d47914ff2
--- /dev/null
+++ b/ivette/src/frama-c/menu.ts
@@ -0,0 +1,49 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
+/* --------------------------------------------------------------------------*/
+/* --- Frama-C MENU ---*/
+/* --------------------------------------------------------------------------*/
+
+import * as Dome from 'dome';
+import * as Dialogs from 'dome/dialogs';
+import * as Server from 'frama-c/server';
+import * as Ast from 'frama-c/api/kernel/ast';
+
+async function setFiles(): Promise<void> {
+ const files = await Dialogs.showOpenFiles({ message: 'Open files' });
+ await Server.send(Ast.setFiles, files);
+ await Server.send(Ast.compute, { });
+ return;
+}
+
+export function init() {
+ Dome.addMenuItem({
+ menu: 'File',
+ label: 'Set files',
+ id: 'file_add',
+ onClick: setFiles,
+ type: 'normal',
+ });
+}
+
+/* --------------------------------------------------------------------------*/
diff --git a/src/plugins/server/kernel_ast.ml b/src/plugins/server/kernel_ast.ml
index 463499a6e5a..5f98ce74146 100644
--- a/src/plugins/server/kernel_ast.ml
+++ b/src/plugins/server/kernel_ast.ml
@@ -37,6 +37,10 @@ let () = Request.register ~package
~descr:(Md.plain "Ensures that AST is computed")
~input:(module Junit) ~output:(module Junit) Ast.compute
+let ast_update_hook f =
+ Ast.add_hook_on_update f;
+ Ast.apply_after_computed (fun _ -> f ())
+
(* -------------------------------------------------------------------------- *)
(* --- Printers --- *)
(* -------------------------------------------------------------------------- *)
@@ -459,7 +463,7 @@ struct
~name:"functions"
~descr:(Md.plain "AST Functions")
~iter
- ~add_reload_hook:Ast.add_hook_on_update ;
+ ~add_reload_hook:ast_update_hook
end
end
--
GitLab