[kernel] Removes unused functions from Db.

src/kernel_services/plugin_entry_points/db.ml

@@ -20,21 +20,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
-open Cil_types
 open Extlib
 
-let register r f = r := f
-
-let register_compute name deps r f =
-  let name = "!Db." ^ name in
-  let compute, self = State_builder.apply_once name deps f in
-  r := compute;
-  self
-
-let register_guarded_compute is_computed r f =
-  let compute () = if not (is_computed ()) then f () in
-  r := compute
-
 module Main = struct
   include Hook.Make()
   let play = mk_fun "Main.play"

src/kernel_services/plugin_entry_points/db.mli

@@ -45,26 +45,6 @@
      line)
 *)
 
-open Cil_types
-
-(* ************************************************************************* *)
-(** {2 Registering} *)
-(* ************************************************************************* *)
-
-val register: 'a ref -> 'a -> unit
-(** Plugins must register values with this function. *)
-
-val register_compute:
-  string ->
-  State.t list ->
-  (unit -> unit) ref -> (unit -> unit) -> State.t
-
-val register_guarded_compute:
-  (unit -> bool) ->
-  (unit -> unit) ref -> (unit -> unit) -> unit
-(** @before 26.0-Iron there was a string parameter (first position) that was
-            only used for Journalization, that has been removed. *)
-
 (** Frama-C main interface.
     @since Lithium-20081201
     @see <https://frama-c.com/download/frama-c-plugin-development-guide.pdf> *)