Skip to content

Commit

Permalink
include the full bug_type in text output
Browse files Browse the repository at this point in the history
Reviewed By: geralt-encore

Differential Revision: D61112850

fbshipit-source-id: 9561aca5fdb869618e58e1c346b849c14a83eeac
  • Loading branch information
martintrojer authored and facebook-github-bot committed Aug 12, 2024
1 parent 0a292c4 commit db0f633
Showing 1 changed file with 7 additions and 6 deletions.
13 changes: 7 additions & 6 deletions infer/src/integration/TextReport.ml
Original file line number Diff line number Diff line change
Expand Up @@ -66,15 +66,16 @@ end

let pp_suggestion fmt = Option.iter ~f:(F.pp_print_string fmt)

let pp_jsonbug fmt {Jsonbug_t.file; severity; line; bug_type_hum; qualifier; suggestion; _} =
F.fprintf fmt "%s:%d: %s: %s@\n %s %a" file line (String.lowercase severity) bug_type_hum
qualifier pp_suggestion suggestion
let pp_jsonbug fmt {Jsonbug_t.file; severity; line; bug_type; bug_type_hum; qualifier; suggestion; _}
=
F.fprintf fmt "%s:%d: %s: %s(%s)@\n %s %a" file line (String.lowercase severity) bug_type_hum
bug_type qualifier pp_suggestion suggestion


let pp_jsonbug_with_number fmt
(i, {Jsonbug_t.file; severity; line; bug_type_hum; qualifier; suggestion; _}) =
F.fprintf fmt "#%d@\n%s:%d: %s: %s@\n %s %a" i file line (String.lowercase severity) bug_type_hum
qualifier pp_suggestion suggestion
(i, {Jsonbug_t.file; severity; line; bug_type; bug_type_hum; qualifier; suggestion; _}) =
F.fprintf fmt "#%d@\n%s:%d: %s: %s(%s)@\n %s %a" i file line (String.lowercase severity)
bug_type_hum bug_type qualifier pp_suggestion suggestion


let pp_source_context ~indent fmt
Expand Down

0 comments on commit db0f633

Please sign in to comment.