[refactor] InferAnalyze initialization code into separate Exe module

Reviewed By: jvillard

Differential Revision: D4114514

fbshipit-source-id: 74fa97a

infer/src/Makefile

@@ -63,7 +63,7 @@ C_STUBS_OBJ = $(C_STUBS_SOURCE:.c=.o)
 #### Backend declarations ####
 
 INFER_MAIN = backend/infer
-INFERANALYZE_MAIN = backend/InferAnalyze
+INFERANALYZE_MAIN = backend/InferAnalyzeExe
 
 #### Checkers declarations ####
 
@@ -251,7 +251,7 @@ rei:
 %.rei : %.mli
 	refmt -assume-explicit-arity -heuristics-file unary.txt -parse ml -print re $< > $*.rei
 
-roots:=Infer InferAnalyze InferClang JMain InferPrintExe BuckCompilationDatabase
+roots:=Infer InferAnalyzeExe InferClang JMain InferPrintExe BuckCompilationDatabase
 clusters:=base clang java IR
 
 src_dirs:=$(shell find * -type d)

infer/src/backend/InferAnalyze.re

@@ -15,22 +15,6 @@ let module L = Logging;
 
 let module F = Format;
 
-let () = {
-  Logging.set_log_file_identifier
-    CommandLineOption.Analyze (Option.map Filename.basename Config.cluster_cmdline);
-  if Config.print_builtins {
-    Builtin.print_and_exit ()
-  };
-  switch Config.modified_targets {
-  | Some file => MergeCapture.modified_file file
-  | None => ()
-  };
-  if (not (Sys.file_exists Config.results_dir)) {
-    L.err "ERROR: results directory %s does not exist@.@." Config.results_dir;
-    Config.print_usage_exit ()
-  }
-};
-
 let analyze_exe_env exe_env => {
   let init_time = Unix.gettimeofday ();
   L.log_progress_file ();
@@ -125,7 +109,20 @@ let register_perf_stats_report () => {
   PerfStats.register_report_at_exit stats_file
 };
 
-let () = {
+let main () => {
+  Logging.set_log_file_identifier
+    CommandLineOption.Analyze (Option.map Filename.basename Config.cluster_cmdline);
+  if Config.print_builtins {
+    Builtin.print_and_exit ()
+  };
+  switch Config.modified_targets {
+  | Some file => MergeCapture.modified_file file
+  | None => ()
+  };
+  if (not (Sys.file_exists Config.results_dir)) {
+    L.err "ERROR: results directory %s does not exist@.@." Config.results_dir;
+    Config.print_usage_exit ()
+  };
   register_perf_stats_report ();
   BuiltinDefn.init ();
   if Config.developer_mode {
@@ -148,7 +145,7 @@ let () = {
       ClusterMakefile.create_cluster_makefile clusters Config.makefile_cmdline
     } else {
       IList.iteri (fun i cluster => analyze_cluster i cluster) clusters;
-      L.stdout "Analysis finished in %as@." pp_elapsed_time ()
+      L.stdout "@\nAnalysis finished in %as@." pp_elapsed_time ()
     };
     output_json_makefile_stats clusters
   }

infer/src/backend/InferAnalyze.rei

@@ -8,4 +8,9 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  */
 open! Utils;
+
+
 /** Main module for the analysis after the capture phase */
+let main: unit => unit;
+
+let output_json_makefile_stats: list DB.source_dir => unit;

infer/src/backend/InferAnalyzeExe.re

@@ -0,0 +1,13 @@
+/*
+ * Copyright (c) 2016 - present Facebook, Inc.
+ * All rights reserved.
+ *
+ * This source code is licensed under the BSD style license found in the
+ * LICENSE file in the root directory of this source tree. An additional grant
+ * of patent rights can be found in the PATENTS file in the same directory.
+ */
+open! Utils;
+
+
+/** Main module for the analysis after the capture phase */
+let () = InferAnalyze.main ();

infer/src/backend/InferAnalyzeExe.rei

@@ -0,0 +1,10 @@
+/*
+ * Copyright (c) 2016 - present Facebook, Inc.
+ * All rights reserved.
+ *
+ * This source code is licensed under the BSD style license found in the
+ * LICENSE file in the root directory of this source tree. An additional grant
+ * of patent rights can be found in the PATENTS file in the same directory.
+ */
+open! Utils;
+/** Main module for the analysis after the capture phase */