add is_a_patch in Remanent_parameters

Author: reb-ddm

core/KaSa_rep/export/export.ml

@@ -70,10 +70,10 @@ functor
     (******************************************************************)
     (*operations of module signatures*)
 
-    let init ?compil ?files ~called_from () =
+    let init ?compil ?files ?(is_a_patch=false) ~called_from () =
       match compil with
       | Some compil ->
-        let parameters = Remanent_parameters.get_parameters ~called_from () in
+        let parameters = Remanent_parameters.get_parameters ~called_from ~is_a_patch () in
         let state =
           Remanent_state.create_state parameters (Remanent_state.Compil compil)
         in
@@ -85,9 +85,9 @@ functor
           let errors = Exception.empty_exceptions_caught_and_uncaught in
           let errors, parameters, files =
             match files with
-            | None -> Get_option.get_option errors
+            | None -> Get_option.get_option ~is_a_patch errors
             | Some x ->
-              let a, b, _ = Get_option.get_option errors in
+              let a, b, _ = Get_option.get_option ~is_a_patch errors in
               a, b, x
           in
           let log = Remanent_parameters.get_logger parameters in
@@ -287,6 +287,7 @@ functor
       let parameters = get_parameters state in
       let syntax_version = Remanent_parameters.get_syntax_version parameters in
       let removed_rules = Remanent_parameters.get_rules_to_remove parameters in
+      let is_a_patch = Remanent_parameters.get_is_a_patch parameters in
       let current_chapter =
         Remanent_parameters.get_current_chapter parameters
       in
@@ -300,6 +301,11 @@ functor
         | Remanent_state.Files files ->
           let () = show_title state in
           (try
+            if is_a_patch then 
+              ( errors,
+               Cli_init.get_ast_from_list_of_files ~current_chapter:files ~rules_in_ws:[]
+                 ~removed_rules:[] syntax_version [])
+            else
              ( errors,
                Cli_init.get_ast_from_list_of_files ~current_chapter ~rules_in_ws
                  ~removed_rules syntax_version files )
@@ -2438,7 +2444,7 @@ functor
         | Some false | None -> false
       in
       let errors = get_errors state in
-      let state' = init ~called_from ?compil ?files () in
+      let state' = init ~called_from ?compil ?files ~is_a_patch:true () in
       let state' = set_errors errors state' in
       let state', _ = get_compilation state' in
       let state' =

core/KaSa_rep/export/export_to_KaSim.ml

@@ -18,6 +18,7 @@ module type Type = sig
   val init :
     ?compil:Ast.parsing_compil ->
     ?files:string list ->
+    ?is_a_patch:bool ->
     called_from:Remanent_parameters_sig.called_from ->
     unit ->
     state

core/KaSa_rep/export/export_to_KaSim.mli

@@ -18,6 +18,7 @@ module type Type = sig
   val init :
     ?compil:Ast.parsing_compil ->
     ?files:string list ->
+    ?is_a_patch:bool ->
     called_from:Remanent_parameters_sig.called_from ->
     unit ->
     state

core/parameters/get_option.ml

@@ -519,11 +519,11 @@ let options =
         Hidden );
     ]
 
-let get_option error =
+let get_option ?(is_a_patch = false) error =
   let title = Version.version_kasa_full_name in
   let () = SuperargTk.parse ~title options FileNames.input in
   let parameters =
-    Remanent_parameters.get_parameters ~called_from:Remanent_parameters_sig.KaSa
+    Remanent_parameters.get_parameters ~called_from:Remanent_parameters_sig.KaSa ~is_a_patch
       ()
   in
   error, parameters, !FileNames.input

core/parameters/remanent_parameters.ml

@@ -340,7 +340,7 @@ let fetch_backdoors () =
     Remanent_parameters_sig.backdoor_directory = !Config.backdoor_directory;
   }
 
-let get_parameters ?(html_mode = true) ~called_from () =
+let get_parameters ?(html_mode = true) ?(is_a_patch=false) ~called_from () =
   let channel, channel_err, channel_backdoor, html_mode, command =
     match called_from with
     | Remanent_parameters_sig.Server ->
@@ -479,6 +479,7 @@ let get_parameters ?(html_mode = true) ~called_from () =
       | Some channel -> Loggers.open_logger_from_channel channel);
     Remanent_parameters_sig.compression_status = Loggers.dummy_txt_logger;
     Remanent_parameters_sig.print_efficiency = !Config.print_efficiency;
+    Remanent_parameters_sig.is_a_patch = is_a_patch;
     Remanent_parameters_sig.profiler =
       (match channel with
       | None -> Loggers.dummy_txt_logger
@@ -1438,12 +1439,12 @@ let get_compression_status_logger parameter =
 
 let get_kasa_state = compose get_kasa_state_1 get_marshalisable
 
-let set_print_efficiency parameter bool =
-  { parameter with Remanent_parameters_sig.print_efficiency = bool }
-
 let get_print_efficiency parameter =
   parameter.Remanent_parameters_sig.print_efficiency
 
+let get_is_a_patch parameter =
+  parameter.Remanent_parameters_sig.is_a_patch
+
 let set_logger parameter logger =
   { parameter with Remanent_parameters_sig.logger }
 

core/parameters/remanent_parameters.mli

@@ -20,6 +20,7 @@ val ext_format : Remanent_parameters_sig.graph_format -> string
 
 val get_parameters :
   ?html_mode:bool ->
+  ?is_a_patch:bool ->
   called_from:Remanent_parameters_sig.called_from ->
   unit ->
   Remanent_parameters_sig.parameters
@@ -335,10 +336,7 @@ val update_call_stack :
 
 val get_print_efficiency : Remanent_parameters_sig.parameters -> bool
 
-val set_print_efficiency :
-  Remanent_parameters_sig.parameters ->
-  bool ->
-  Remanent_parameters_sig.parameters
+val get_is_a_patch : Remanent_parameters_sig.parameters -> bool
 
 val open_influence_map_file :
   Remanent_parameters_sig.parameters -> Remanent_parameters_sig.parameters

core/parameters/remanent_parameters_sig.ml

@@ -167,6 +167,7 @@ type parameters = {
   profiler: Loggers.t;
   compression_status: Loggers.t;
   print_efficiency: bool;
+  is_a_patch: bool;
   save_error_list:
     Exception_without_parameter.exceptions_caught_and_uncaught -> unit;
   save_progress_bar: bool * int * int * int -> unit;