Module ATDGenerated__Jsonbug_j
type nullsafe_mode
= ATDGenerated.Jsonbug_t.nullsafe_mode
type 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.report
type 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 -> unit
Output a JSON value of type
nullsafe_mode
.
val string_of_nullsafe_mode : ?len:int -> nullsafe_mode -> string
Serialize a value of type
nullsafe_mode
into 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_mode
Input JSON data of type
nullsafe_mode
.
val nullsafe_mode_of_string : string -> nullsafe_mode
Deserialize JSON data of type
nullsafe_mode
.
val write_nullsafe_meta_issue_info : Bi_outbuf.t -> nullsafe_meta_issue_info -> unit
Output a JSON value of type
nullsafe_meta_issue_info
.
val string_of_nullsafe_meta_issue_info : ?len:int -> nullsafe_meta_issue_info -> string
Serialize a value of type
nullsafe_meta_issue_info
into 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_info
Input JSON data of type
nullsafe_meta_issue_info
.
val nullsafe_meta_issue_info_of_string : string -> nullsafe_meta_issue_info
Deserialize JSON data of type
nullsafe_meta_issue_info
.
val write_method_info : Bi_outbuf.t -> method_info -> unit
Output a JSON value of type
method_info
.
val string_of_method_info : ?len:int -> method_info -> string
Serialize a value of type
method_info
into 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_info
Input JSON data of type
method_info
.
val method_info_of_string : string -> method_info
Deserialize JSON data of type
method_info
.
val write_nullsafe_extra : Bi_outbuf.t -> nullsafe_extra -> unit
Output a JSON value of type
nullsafe_extra
.
val string_of_nullsafe_extra : ?len:int -> nullsafe_extra -> string
Serialize a value of type
nullsafe_extra
into 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_extra
Input JSON data of type
nullsafe_extra
.
val nullsafe_extra_of_string : string -> nullsafe_extra
Deserialize JSON data of type
nullsafe_extra
.
val string_of_loc : ?len:int -> loc -> string
Serialize a value of type
loc
into 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 -> unit
Output a JSON value of type
json_trace_item
.
val string_of_json_trace_item : ?len:int -> json_trace_item -> string
Serialize a value of type
json_trace_item
into 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_item
Input JSON data of type
json_trace_item
.
val json_trace_item_of_string : string -> json_trace_item
Deserialize JSON data of type
json_trace_item
.
val string_of_extra : ?len:int -> extra -> string
Serialize a value of type
extra
into 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 -> extra
Input JSON data of type
extra
.
val string_of_jsonbug : ?len:int -> jsonbug -> string
Serialize a value of type
jsonbug
into 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 -> jsonbug
Input JSON data of type
jsonbug
.
val string_of_report : ?len:int -> report -> string
Serialize a value of type
report
into 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 -> report
Input JSON data of type
report
.
val string_of_hum_info : ?len:int -> hum_info -> string
Serialize a value of type
hum_info
into 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_info
Input JSON data of type
hum_info
.
val string_of_cost_info : ?len:int -> cost_info -> string
Serialize a value of type
cost_info
into 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_info
Input JSON data of type
cost_info
.
val string_of_cost_item : ?len:int -> cost_item -> string
Serialize a value of type
cost_item
into 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_item
Input JSON data of type
cost_item
.
val write_costs_report : Bi_outbuf.t -> costs_report -> unit
Output a JSON value of type
costs_report
.
val string_of_costs_report : ?len:int -> costs_report -> string
Serialize a value of type
costs_report
into 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_report
Input JSON data of type
costs_report
.
val costs_report_of_string : string -> costs_report
Deserialize JSON data of type
costs_report
.