Skip to content

Commit

Permalink
fix scuba deadcode
Browse files Browse the repository at this point in the history
Reviewed By: ngorogiannis

Differential Revision: D67079855

fbshipit-source-id: 30faaddab35f0ea7fb7f7248571398774b0a1817
  • Loading branch information
Martin Trojer authored and facebook-github-bot committed Dec 11, 2024
1 parent 7f8fc07 commit 0fb7520
Show file tree
Hide file tree
Showing 7 changed files with 17 additions and 45 deletions.
19 changes: 10 additions & 9 deletions infer/man/man1/infer-full.txt
Original file line number Diff line number Diff line change
Expand Up @@ -2758,10 +2758,6 @@ INTERNAL OPTIONS
--debug-level-reset
Cancel the effect of --debug-level.

--[DEPRECATED] scuba-logging
Activates: (direct) logging to scuba (Conversely:
--no-[DEPRECATED] scuba-logging)

--developer-mode
Activates: Show internal exceptions (Conversely:
--no-developer-mode)
Expand Down Expand Up @@ -3353,18 +3349,23 @@ INTERNAL OPTIONS


--scuba-execution-id int64
[DEPRECATED] Execution ID attached to all samples logged to scuba
[DOES NOTHING] Execution ID attached to all samples logged to
scuba

--scuba-execution-id-reset
Cancel the effect of --scuba-execution-id.

--scuba-logging
Activates: [DOES NOTHING] (direct) logging to scuba (Conversely:
--no-scuba-logging)

--scuba-normal +key=value
[DEPRECATED] add an extra string (normal) field to be set for each
sample of scuba, format <name>=<value>
[DOES NOTHING] add an extra string (normal) field to be set for
each sample of scuba, format <name>=<value>

--scuba-tags +key=value
[DEPRECATED] add an extra set of strings (tagset) field to be set
for each sample of scuba, format
[DOES NOTHING] add an extra set of strings (tagset) field to be
set for each sample of scuba, format
<name>=(<value>,<value>,<value>|NONE)

--select-reset
Expand Down
22 changes: 7 additions & 15 deletions infer/src/base/Config.ml
Original file line number Diff line number Diff line change
Expand Up @@ -3241,22 +3241,22 @@ and scope_leakage_config =
|}


and scuba_execution_id =
and _scuba_execution_id =
CLOpt.mk_int64_opt ~long:"scuba-execution-id"
"[DEPRECATED] Execution ID attached to all samples logged to scuba"
"[DOES NOTHING] Execution ID attached to all samples logged to scuba"


and scuba_logging = CLOpt.mk_bool ~long:"[DEPRECATED] scuba-logging" "(direct) logging to scuba"
and _scuba_logging = CLOpt.mk_bool ~long:"scuba-logging" "[DOES NOTHING] (direct) logging to scuba"

and scuba_normals =
and _scuba_normals =
CLOpt.mk_string_map ~long:"scuba-normal"
"[DEPRECATED] add an extra string (normal) field to be set for each sample of scuba, format \
"[DOES NOTHING] add an extra string (normal) field to be set for each sample of scuba, format \
<name>=<value>"


and scuba_tags =
and _scuba_tags =
CLOpt.mk_string_map ~long:"scuba-tags"
"[DEPRECATED] add an extra set of strings (tagset) field to be set for each sample of scuba, \
"[DOES NOTHING] add an extra set of strings (tagset) field to be set for each sample of scuba, \
format <name>=(<value>,<value>,<value>|NONE)"


Expand Down Expand Up @@ -4760,14 +4760,6 @@ and scheduler = !scheduler

and scope_leakage_config = !scope_leakage_config

and scuba_execution_id = !scuba_execution_id

and scuba_logging = !scuba_logging

and scuba_normals = !scuba_normals

and scuba_tags = String.Map.map !scuba_tags ~f:(fun v -> String.split v ~on:',')

and select =
match !select with
| None ->
Expand Down
8 changes: 0 additions & 8 deletions infer/src/base/Config.mli
Original file line number Diff line number Diff line change
Expand Up @@ -815,14 +815,6 @@ val scheduler : scheduler

val scope_leakage_config : Yojson.Safe.t

val scuba_execution_id : Int64.t option

val scuba_logging : bool

val scuba_normals : string String.Map.t

val scuba_tags : string list String.Map.t

val select : [`All | `Select of int] option

val show_buckets : bool
Expand Down
2 changes: 0 additions & 2 deletions infer/src/base/LogEntry.ml
Original file line number Diff line number Diff line change
Expand Up @@ -40,5 +40,3 @@ let global_entry_log : t list ref = ref []
let global_log_get () = List.rev !global_entry_log

let global_log_erase () = global_entry_log := []

let global_log_add entry = global_entry_log := entry :: !global_entry_log
2 changes: 0 additions & 2 deletions infer/src/base/LogEntry.mli
Original file line number Diff line number Diff line change
Expand Up @@ -30,5 +30,3 @@ val mk_string : label:string -> message:string -> t
val global_log_get : unit -> t list

val global_log_erase : unit -> unit

val global_log_add : t -> unit
5 changes: 0 additions & 5 deletions infer/src/base/StatsSample.ml
Original file line number Diff line number Diff line change
Expand Up @@ -31,11 +31,6 @@ let add_normal ~name ~value sample =
{sample with normal_section}


let add_tagset ~name ~value sample =
let tagset_section = SMap.add name value sample.tagset_section in
{sample with tagset_section}


let sample_to_json sample =
let map_to_assoc value_to_json key_value_map =
let pairs = SMap.bindings key_value_map in
Expand Down
4 changes: 0 additions & 4 deletions infer/src/base/StatsSample.mli
Original file line number Diff line number Diff line change
Expand Up @@ -22,8 +22,4 @@ val add_normal : name:string -> value:string -> sample -> sample
(** Set a new string field and its value to the sample. Overwrites if a field with this name was
already set. *)

val add_tagset : name:string -> value:string list -> sample -> sample
(** Set a new set of strings field and its value to the sample. Overwrites if a field with this name
was already set. *)

val sample_to_json : sample -> Yojson.t

0 comments on commit 0fb7520

Please sign in to comment.