Add new analyze command (1/4) -- skeleton

Reviewed By: dkgi

Differential Revision: D30466706

fbshipit-source-id: feafc290262db64fae64ba2ef3344b95e646b24e

Author: grievejia

source/command/commands.ml

@@ -9,6 +9,7 @@ module BaseConfiguration = NewCommandStartup.BaseConfiguration
 module Analyze = AnalyzeCommand
 module Check = CheckCommand
 module Infer = InferCommand
+module NewAnalyze = NewAnalyzeCommand
 module NewCheck = NewCheckCommand
 module NewInfer = NewInferCommand
 module NewServer = NewServerCommand

source/command/newAnalyzeCommand.ml

@@ -0,0 +1,24 @@
+(*
+ * Copyright (c) Facebook, Inc. and its affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
+
+open Core
+
+(* Analyze command uses the same exit code scheme as check command. *)
+module ExitStatus = NewCheckCommand.ExitStatus
+
+let run_analyze _configuration_file =
+  Log.warning "Coming soon...";
+  let exit_status = ExitStatus.Ok in
+  Statistics.flush ();
+  exit (ExitStatus.exit_code exit_status)
+
+
+let command =
+  let filename_argument = Command.Param.(anon ("filename" %: Filename.arg_type)) in
+  Command.basic
+    ~summary:"Runs taint analysis"
+    (Command.Param.map filename_argument ~f:(fun filename () -> run_analyze filename))

source/command/newAnalyzeCommand.mli

@@ -0,0 +1,10 @@
+(*
+ * Copyright (c) Facebook, Inc. and its affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
+
+open Core
+
+val command : Command.t

source/main.ml

@@ -14,6 +14,7 @@ let commands =
     "check", Check.check_command;
     "rage", Rage.command;
     "infer", Infer.infer_command;
+    "newanalyze", NewAnalyze.command;
     "newcheck", NewCheck.command;
     "newinfer", NewInfer.command;
     "newserver", NewServer.command;