[server] New GET request getMainFunction returning the current entry point.

In ivette, selects the entry point after opening new source files.

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

@@ -284,6 +284,15 @@ export const byLocation: Compare.Order<location> =
     marker: byMarker,
   });
 
+const getMainFunction_internal: Server.GetRequest<null,Json.key<'#fct'>> = {
+  kind: Server.RqKind.GET,
+  name:   'kernel.ast.getMainFunction',
+  input:  Json.jNull,
+  output: Json.jKey<'#fct'>('#fct'),
+};
+/** Get the current 'main' function. */
+export const getMainFunction: Server.GetRequest<null,Json.key<'#fct'>>= getMainFunction_internal;
+
 const getFunctions_internal: Server.GetRequest<null,Json.key<'#fct'>[]> = {
   kind: Server.RqKind.GET,
   name:   'kernel.ast.getFunctions',

ivette/src/frama-c/menu.ts

@@ -46,7 +46,8 @@ async function setFiles(): Promise<void> {
   });
   await Server.send(Ast.setFiles, files);
   await Server.send(Ast.compute, { });
-  States.setSelection({fct: undefined});
+  const main = await Server.send(Ast.getMainFunction, { });
+  States.setSelection({ fct: main });
   return;
 }
 

src/plugins/server/kernel_ast.ml

@@ -353,6 +353,12 @@ end
 (* --- Functions                                                          --- *)
 (* -------------------------------------------------------------------------- *)
 
+let () = Request.register ~package
+    ~kind:`GET ~name:"getMainFunction"
+    ~descr:(Md.plain "Get the current 'main' function.")
+    ~input:(module Junit) ~output:(module Kf)
+    (fun () -> fst (Globals.entry_point ()))
+
 let () = Request.register ~package
     ~kind:`GET ~name:"getFunctions"
     ~descr:(Md.plain "Collect all functions in the AST")