forked from facebook/pyre-check
-
Notifications
You must be signed in to change notification settings - Fork 0
/
configuration.mli
106 lines (92 loc) · 2.4 KB
/
configuration.mli
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
(** Copyright (c) 2016-present, Facebook, Inc.
This source code is licensed under the MIT license found in the
LICENSE file in the root directory of this source tree. *)
open Pyre
module Analysis: sig
type t = {
start_time: float;
infer: bool;
recursive_infer: bool;
run_additional_checks: bool;
parallel: bool;
filter_directories: (Path.t list) option;
number_of_workers: int;
local_root: Path.t;
sections: string list;
debug: bool;
project_root: Path.t;
search_path: Path.t list;
typeshed: Path.t option;
verbose: bool;
expected_version: string option;
strict: bool;
declare: bool;
show_error_traces: bool;
log_identifier: string;
logger: string option;
}
[@@deriving show, eq]
val create
: ?start_time: float
-> ?infer: bool
-> ?recursive_infer: bool
-> ?run_additional_checks: bool
-> ?parallel: bool
-> ?filter_directories: Path.t list
-> ?number_of_workers: int
-> ?local_root: Path.t
-> ?sections: string list
-> ?project_root: Path.t
-> ?search_path: Path.t list
-> ?typeshed: Path.t
-> ?verbose: bool
-> ?expected_version: string
-> ?strict: bool
-> ?declare: bool
-> ?debug: bool
-> ?show_error_traces: bool
-> ?log_identifier: string
-> ?logger: string
-> unit
-> t
val set_global: t -> unit
val get_global: unit -> t option
val localize: t -> local_debug: bool -> local_strict: bool -> declare: bool -> t
val pyre_root: t -> Path.t
val search_path: t -> Path.t list
end
module Server: sig
type load_parameters = {
shared_memory_path: Path.t;
changed_files_path: Path.t;
}
type load =
| LoadFromFiles of load_parameters
| LoadFromProject of string
type saved_state_action =
| Save of string
| Load of load
type t = {
(* Server-specific configuration options *)
socket_path: Path.t;
socket_link: Path.t;
lock_path: Path.t;
pid_path: Path.t;
log_path: Path.t;
daemonize: bool;
use_watchman: bool;
watchman_creation_timeout: float;
saved_state_action: saved_state_action option;
(* Analysis configuration *)
configuration: Analysis.t;
}
val set_global: t -> unit
val get_global: unit -> t option
end
module StaticAnalysis: sig
type t = {
result_json_path: Path.t option;
(* Analysis configuration *)
configuration: Analysis.t;
}
end