Module ATDGenerated__Jsonbug_j
type nullsafe_mode= ATDGenerated.Jsonbug_t.nullsafe_modetype nullsafe_meta_issue_info= ATDGenerated.Jsonbug_t.nullsafe_meta_issue_info={num_issues : int;curr_nullsafe_mode : nullsafe_mode;can_be_promoted_to : nullsafe_mode option;}type method_info= ATDGenerated.Jsonbug_t.method_info={class_name : string;package : string;method_name : string;call_line : int;}type nullsafe_extra= ATDGenerated.Jsonbug_t.nullsafe_extra={class_name : string;package : string option;nullable_methods : method_info list option;unvetted_3rd_party : string list option;meta_issue_info : nullsafe_meta_issue_info option;}type loc= ATDGenerated.Jsonbug_t.loc={file : string;lnum : int;cnum : int;enum : int;}type json_trace_item= ATDGenerated.Jsonbug_t.json_trace_item={level : int;filename : string;line_number : int;column_number : int;description : string;}type extra= ATDGenerated.Jsonbug_t.extra={cost_polynomial : string option;cost_degree : int option;nullsafe_extra : nullsafe_extra option;}type jsonbug= ATDGenerated.Jsonbug_t.jsonbug={bug_type : string;doc_url : string option;qualifier : string;severity : string;line : int;column : int;procedure : string;procedure_start_line : int;file : string;bug_trace : json_trace_item list;key : string;node_key : string option;hash : string;dotty : string option;infer_source_loc : loc option;bug_type_hum : string;linters_def_file : string option;traceview_id : int option;censored_reason : string option;access : string option;extras : extra option;}type report= ATDGenerated.Jsonbug_t.reporttype hum_info= ATDGenerated.Jsonbug_t.hum_info={hum_polynomial : string;hum_degree : string;big_o : string;}type cost_info= ATDGenerated.Jsonbug_t.cost_info={polynomial_version : int;polynomial : string;degree : int option;hum : hum_info;trace : json_trace_item list;}type cost_item= ATDGenerated.Jsonbug_t.cost_item={hash : string;loc : loc;procedure_name : string;procedure_id : string;is_on_ui_thread : bool;exec_cost : cost_info;autoreleasepool_size : cost_info;}type costs_report= ATDGenerated.Jsonbug_t.costs_report
val write_nullsafe_mode : Bi_outbuf.t -> nullsafe_mode -> unitOutput a JSON value of type
nullsafe_mode.
val string_of_nullsafe_mode : ?len:int -> nullsafe_mode -> stringSerialize a value of type
nullsafe_modeinto a JSON string.- parameter len
specifies the initial length of the buffer used internally. Default: 1024.
val read_nullsafe_mode : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> nullsafe_modeInput JSON data of type
nullsafe_mode.
val nullsafe_mode_of_string : string -> nullsafe_modeDeserialize JSON data of type
nullsafe_mode.
val write_nullsafe_meta_issue_info : Bi_outbuf.t -> nullsafe_meta_issue_info -> unitOutput a JSON value of type
nullsafe_meta_issue_info.
val string_of_nullsafe_meta_issue_info : ?len:int -> nullsafe_meta_issue_info -> stringSerialize a value of type
nullsafe_meta_issue_infointo a JSON string.- parameter len
specifies the initial length of the buffer used internally. Default: 1024.
val read_nullsafe_meta_issue_info : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> nullsafe_meta_issue_infoInput JSON data of type
nullsafe_meta_issue_info.
val nullsafe_meta_issue_info_of_string : string -> nullsafe_meta_issue_infoDeserialize JSON data of type
nullsafe_meta_issue_info.
val write_method_info : Bi_outbuf.t -> method_info -> unitOutput a JSON value of type
method_info.
val string_of_method_info : ?len:int -> method_info -> stringSerialize a value of type
method_infointo a JSON string.- parameter len
specifies the initial length of the buffer used internally. Default: 1024.
val read_method_info : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> method_infoInput JSON data of type
method_info.
val method_info_of_string : string -> method_infoDeserialize JSON data of type
method_info.
val write_nullsafe_extra : Bi_outbuf.t -> nullsafe_extra -> unitOutput a JSON value of type
nullsafe_extra.
val string_of_nullsafe_extra : ?len:int -> nullsafe_extra -> stringSerialize a value of type
nullsafe_extrainto a JSON string.- parameter len
specifies the initial length of the buffer used internally. Default: 1024.
val read_nullsafe_extra : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> nullsafe_extraInput JSON data of type
nullsafe_extra.
val nullsafe_extra_of_string : string -> nullsafe_extraDeserialize JSON data of type
nullsafe_extra.
val string_of_loc : ?len:int -> loc -> stringSerialize a value of type
locinto a JSON string.- parameter len
specifies the initial length of the buffer used internally. Default: 1024.
val write_json_trace_item : Bi_outbuf.t -> json_trace_item -> unitOutput a JSON value of type
json_trace_item.
val string_of_json_trace_item : ?len:int -> json_trace_item -> stringSerialize a value of type
json_trace_iteminto a JSON string.- parameter len
specifies the initial length of the buffer used internally. Default: 1024.
val read_json_trace_item : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> json_trace_itemInput JSON data of type
json_trace_item.
val json_trace_item_of_string : string -> json_trace_itemDeserialize JSON data of type
json_trace_item.
val string_of_extra : ?len:int -> extra -> stringSerialize a value of type
extrainto a JSON string.- parameter len
specifies the initial length of the buffer used internally. Default: 1024.
val read_extra : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> extraInput JSON data of type
extra.
val string_of_jsonbug : ?len:int -> jsonbug -> stringSerialize a value of type
jsonbuginto a JSON string.- parameter len
specifies the initial length of the buffer used internally. Default: 1024.
val read_jsonbug : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> jsonbugInput JSON data of type
jsonbug.
val string_of_report : ?len:int -> report -> stringSerialize a value of type
reportinto a JSON string.- parameter len
specifies the initial length of the buffer used internally. Default: 1024.
val read_report : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> reportInput JSON data of type
report.
val string_of_hum_info : ?len:int -> hum_info -> stringSerialize a value of type
hum_infointo a JSON string.- parameter len
specifies the initial length of the buffer used internally. Default: 1024.
val read_hum_info : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> hum_infoInput JSON data of type
hum_info.
val string_of_cost_info : ?len:int -> cost_info -> stringSerialize a value of type
cost_infointo a JSON string.- parameter len
specifies the initial length of the buffer used internally. Default: 1024.
val read_cost_info : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> cost_infoInput JSON data of type
cost_info.
val string_of_cost_item : ?len:int -> cost_item -> stringSerialize a value of type
cost_iteminto a JSON string.- parameter len
specifies the initial length of the buffer used internally. Default: 1024.
val read_cost_item : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> cost_itemInput JSON data of type
cost_item.
val write_costs_report : Bi_outbuf.t -> costs_report -> unitOutput a JSON value of type
costs_report.
val string_of_costs_report : ?len:int -> costs_report -> stringSerialize a value of type
costs_reportinto a JSON string.- parameter len
specifies the initial length of the buffer used internally. Default: 1024.
val read_costs_report : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> costs_reportInput JSON data of type
costs_report.
val costs_report_of_string : string -> costs_reportDeserialize JSON data of type
costs_report.