[server] New kernel request to save the current session.

ivette/src/frama-c/api/generated/kernel/services/index.ts

@@ -75,6 +75,15 @@ const load_internal: Server.SetRequest<string,string | undefined> = {
 /** Load a save file. Returns an error, if not successfull. */
 export const load: Server.SetRequest<string,string | undefined>= load_internal;
 
+const save_internal: Server.SetRequest<string,string | undefined> = {
+  kind: Server.RqKind.SET,
+  name:   'kernel.services.save',
+  input:  Json.jString,
+  output: Json.jString,
+};
+/** Save the current session. Returns an error, if not successfull. */
+export const save: Server.SetRequest<string,string | undefined>= save_internal;
+
 /** Source file positions. */
 export type source =
   { dir: string, base: string, file: string, line: number };

src/plugins/server/kernel_main.ml

@@ -74,6 +74,16 @@ let () =
        try Project.load_all (Filepath.Normalized.of_string file); None
        with Project.IOError err -> Some err)
 
+
+let () =
+  Request.register ~package ~kind:`SET ~name:"save"
+    ~descr:(Md.plain "Save the current session. Returns an error, if not successfull.")
+    ~input:(module Jstring)
+    ~output:(module Joption(Jstring))
+    (fun file ->
+       try Project.save_all (Filepath.Normalized.of_string file); None
+       with Project.IOError err -> Some err)
+
 (* -------------------------------------------------------------------------- *)
 (* --- File Positions                                                     --- *)
 (* -------------------------------------------------------------------------- *)