sync the repo
[hiphop-php.git] / hphp / hack / src / client / clientLogCommand.ml
blob5e5b970c119192f9d8af312ecc367e2c116bd82e
1 (*
2 * Copyright (c) 2015, Facebook, Inc.
3 * All rights reserved.
5 * This source code is licensed under the MIT license found in the
6 * LICENSE file in the "hack" directory of this source tree.
8 *)
10 (* The full type ClientCommand.command refers to environment types in
11 * other client modules like ClientStart.env, ClientBuild.env, etc. If
12 * we want to do logging from, e.g. inside ClientBuild, then the fact
13 * that EventLogger's logging functions take the current client
14 * command as an argument, this creates a circular dependency
16 * ClientBuild -> EventLogger -> ClientCommand
17 * ^-------------------------------v
19 * To avoid this, we have here a stripped-down version of
20 * ClientCommand.command where the data carried by each branch is only
21 * the data required for logging. *)
23 type log_command =
24 | LCCheck of Path.t * (* from *) string * (* mode *) string
25 | LCStart of Path.t
26 | LCStop of Path.t
27 | LCRestart of Path.t
28 | LCBuild of
29 Path.t
30 * [ `Push | `Full | `Incremental | `Steps ]
31 * (* random id *) string