ATDGenerated.Jsonbug_jtype transitive_callee_resolution = Jsonbug_t.transitive_callee_resolutionval equal_transitive_callee_resolution :
transitive_callee_resolution ->
transitive_callee_resolution ->
booltype transitive_callee_kind = Jsonbug_t.transitive_callee_kindval equal_transitive_callee_kind :
transitive_callee_kind ->
transitive_callee_kind ->
booltype transitive_callee = Jsonbug_t.transitive_callee = {callsite_filename : string;callsite_absolute_position_in_file : int;caller_name : string;callsite_relative_position_in_caller : int;kind : transitive_callee_kind;resolution : transitive_callee_resolution;}val equal_transitive_callee : transitive_callee -> transitive_callee -> booltype taint_extra = Jsonbug_t.taint_extra = {taint_source : string option;taint_sink : string option;taint_policy_privacy_effect : string option;tainted_expression : string option;}val equal_taint_extra : taint_extra -> taint_extra -> boolval equal_redundant_fixme_info :
redundant_fixme_info ->
redundant_fixme_info ->
boolval equal_issue_method : issue_method -> issue_method -> booltype parameter_not_nullable_info = Jsonbug_t.parameter_not_nullable_info = {class_name : string;package_name : string option;method_info : issue_method;param_index : int;}val equal_parameter_not_nullable_info :
parameter_not_nullable_info ->
parameter_not_nullable_info ->
booltype nullsafe_mode = Jsonbug_t.nullsafe_modeval equal_nullsafe_mode : nullsafe_mode -> nullsafe_mode -> booltype nullsafe_meta_issue_info = Jsonbug_t.nullsafe_meta_issue_info = {num_issues : int;num_fixmes : int;curr_nullsafe_mode : nullsafe_mode;can_be_promoted_to : nullsafe_mode option;}val equal_nullsafe_meta_issue_info :
nullsafe_meta_issue_info ->
nullsafe_meta_issue_info ->
boolval equal_method_info : method_info -> method_info -> boolval equal_field_name : field_name -> field_name -> booltype access_level = Jsonbug_t.access_levelval equal_access_level : access_level -> access_level -> booltype annotation_point_method = Jsonbug_t.annotation_point_method = {method_name : string;params : string list;access_level : access_level;}val equal_annotation_point_method :
annotation_point_method ->
annotation_point_method ->
booltype annotation_point_kind = Jsonbug_t.annotation_point_kindval equal_annotation_point_kind :
annotation_point_kind ->
annotation_point_kind ->
booltype annotation_point = Jsonbug_t.annotation_point = {id : string;kind : annotation_point_kind;method_info : annotation_point_method option;field_name : string option;param_num : int option;num_violations : int;dependent_point_ids : string list;}val equal_annotation_point : annotation_point -> annotation_point -> booltype nullsafe_extra = Jsonbug_t.nullsafe_extra = {class_name : string;package : string option;method_info : issue_method option;field : field_name option;inconsistent_param_index : int option;parameter_not_nullable_info : parameter_not_nullable_info option;nullable_methods : method_info list option;unvetted_3rd_party : string list option;meta_issue_info : nullsafe_meta_issue_info option;annotation_graph : annotation_point list option;redundant_fixme_info : redundant_fixme_info option;}val equal_nullsafe_extra : nullsafe_extra -> nullsafe_extra -> boolval equal_missed_capture : missed_capture -> missed_capture -> boolval equal_json_trace_item : json_trace_item -> json_trace_item -> boolval equal_config_usage_extra : config_usage_extra -> config_usage_extra -> booltype extra = Jsonbug_t.extra = {cost_polynomial : string option;cost_degree : int option;nullsafe_extra : nullsafe_extra option;copy_type : string option;config_usage_extra : config_usage_extra option;taint_extra : taint_extra option;transitive_callees : transitive_callee list;transitive_missed_captures : missed_capture list;}type jsonbug = Jsonbug_t.jsonbug = {bug_type : string;qualifier : string;suggestion : string option;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;traceview_id : int option;censored_reason : string option;access : string option;extras : extra option;}type report = Jsonbug_t.reportval write_transitive_callee_resolution :
Stdlib.Buffer.t ->
transitive_callee_resolution ->
unitOutput a JSON value of type transitive_callee_resolution.
val string_of_transitive_callee_resolution :
?len:int ->
transitive_callee_resolution ->
stringSerialize a value of type transitive_callee_resolution into a JSON string.
val read_transitive_callee_resolution :
Yojson.Safe.lexer_state ->
Stdlib.Lexing.lexbuf ->
transitive_callee_resolutionInput JSON data of type transitive_callee_resolution.
val transitive_callee_resolution_of_string :
string ->
transitive_callee_resolutionDeserialize JSON data of type transitive_callee_resolution.
val write_transitive_callee_kind :
Stdlib.Buffer.t ->
transitive_callee_kind ->
unitOutput a JSON value of type transitive_callee_kind.
val string_of_transitive_callee_kind :
?len:int ->
transitive_callee_kind ->
stringSerialize a value of type transitive_callee_kind into a JSON string.
val read_transitive_callee_kind :
Yojson.Safe.lexer_state ->
Stdlib.Lexing.lexbuf ->
transitive_callee_kindInput JSON data of type transitive_callee_kind.
val transitive_callee_kind_of_string : string -> transitive_callee_kindDeserialize JSON data of type transitive_callee_kind.
val write_transitive_callee : Stdlib.Buffer.t -> transitive_callee -> unitOutput a JSON value of type transitive_callee.
val string_of_transitive_callee : ?len:int -> transitive_callee -> stringSerialize a value of type transitive_callee into a JSON string.
val read_transitive_callee :
Yojson.Safe.lexer_state ->
Stdlib.Lexing.lexbuf ->
transitive_calleeInput JSON data of type transitive_callee.
val transitive_callee_of_string : string -> transitive_calleeDeserialize JSON data of type transitive_callee.
val write_taint_extra : Stdlib.Buffer.t -> taint_extra -> unitOutput a JSON value of type taint_extra.
val string_of_taint_extra : ?len:int -> taint_extra -> stringSerialize a value of type taint_extra into a JSON string.
val read_taint_extra :
Yojson.Safe.lexer_state ->
Stdlib.Lexing.lexbuf ->
taint_extraInput JSON data of type taint_extra.
val taint_extra_of_string : string -> taint_extraDeserialize JSON data of type taint_extra.
val write_redundant_fixme_info :
Stdlib.Buffer.t ->
redundant_fixme_info ->
unitOutput a JSON value of type redundant_fixme_info.
val string_of_redundant_fixme_info : ?len:int -> redundant_fixme_info -> stringSerialize a value of type redundant_fixme_info into a JSON string.
val read_redundant_fixme_info :
Yojson.Safe.lexer_state ->
Stdlib.Lexing.lexbuf ->
redundant_fixme_infoInput JSON data of type redundant_fixme_info.
val redundant_fixme_info_of_string : string -> redundant_fixme_infoDeserialize JSON data of type redundant_fixme_info.
val write_issue_method : Stdlib.Buffer.t -> issue_method -> unitOutput a JSON value of type issue_method.
val string_of_issue_method : ?len:int -> issue_method -> stringSerialize a value of type issue_method into a JSON string.
val read_issue_method :
Yojson.Safe.lexer_state ->
Stdlib.Lexing.lexbuf ->
issue_methodInput JSON data of type issue_method.
val issue_method_of_string : string -> issue_methodDeserialize JSON data of type issue_method.
val write_parameter_not_nullable_info :
Stdlib.Buffer.t ->
parameter_not_nullable_info ->
unitOutput a JSON value of type parameter_not_nullable_info.
val string_of_parameter_not_nullable_info :
?len:int ->
parameter_not_nullable_info ->
stringSerialize a value of type parameter_not_nullable_info into a JSON string.
val read_parameter_not_nullable_info :
Yojson.Safe.lexer_state ->
Stdlib.Lexing.lexbuf ->
parameter_not_nullable_infoInput JSON data of type parameter_not_nullable_info.
val parameter_not_nullable_info_of_string :
string ->
parameter_not_nullable_infoDeserialize JSON data of type parameter_not_nullable_info.
val write_nullsafe_mode : Stdlib.Buffer.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_mode into a JSON string.
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 :
Stdlib.Buffer.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_info into a JSON string.
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 : Stdlib.Buffer.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_info into a JSON string.
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_field_name : Stdlib.Buffer.t -> field_name -> unitOutput a JSON value of type field_name.
val string_of_field_name : ?len:int -> field_name -> stringSerialize a value of type field_name into a JSON string.
val read_field_name :
Yojson.Safe.lexer_state ->
Stdlib.Lexing.lexbuf ->
field_nameInput JSON data of type field_name.
val field_name_of_string : string -> field_nameDeserialize JSON data of type field_name.
val write_access_level : Stdlib.Buffer.t -> access_level -> unitOutput a JSON value of type access_level.
val string_of_access_level : ?len:int -> access_level -> stringSerialize a value of type access_level into a JSON string.
val read_access_level :
Yojson.Safe.lexer_state ->
Stdlib.Lexing.lexbuf ->
access_levelInput JSON data of type access_level.
val access_level_of_string : string -> access_levelDeserialize JSON data of type access_level.
val write_annotation_point_method :
Stdlib.Buffer.t ->
annotation_point_method ->
unitOutput a JSON value of type annotation_point_method.
val string_of_annotation_point_method :
?len:int ->
annotation_point_method ->
stringSerialize a value of type annotation_point_method into a JSON string.
val read_annotation_point_method :
Yojson.Safe.lexer_state ->
Stdlib.Lexing.lexbuf ->
annotation_point_methodInput JSON data of type annotation_point_method.
val annotation_point_method_of_string : string -> annotation_point_methodDeserialize JSON data of type annotation_point_method.
val write_annotation_point_kind :
Stdlib.Buffer.t ->
annotation_point_kind ->
unitOutput a JSON value of type annotation_point_kind.
val string_of_annotation_point_kind :
?len:int ->
annotation_point_kind ->
stringSerialize a value of type annotation_point_kind into a JSON string.
val read_annotation_point_kind :
Yojson.Safe.lexer_state ->
Stdlib.Lexing.lexbuf ->
annotation_point_kindInput JSON data of type annotation_point_kind.
val annotation_point_kind_of_string : string -> annotation_point_kindDeserialize JSON data of type annotation_point_kind.
val write_annotation_point : Stdlib.Buffer.t -> annotation_point -> unitOutput a JSON value of type annotation_point.
val string_of_annotation_point : ?len:int -> annotation_point -> stringSerialize a value of type annotation_point into a JSON string.
val read_annotation_point :
Yojson.Safe.lexer_state ->
Stdlib.Lexing.lexbuf ->
annotation_pointInput JSON data of type annotation_point.
val annotation_point_of_string : string -> annotation_pointDeserialize JSON data of type annotation_point.
val write_nullsafe_extra : Stdlib.Buffer.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_extra into a JSON string.
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 write_missed_capture : Stdlib.Buffer.t -> missed_capture -> unitOutput a JSON value of type missed_capture.
val string_of_missed_capture : ?len:int -> missed_capture -> stringSerialize a value of type missed_capture into a JSON string.
val read_missed_capture :
Yojson.Safe.lexer_state ->
Stdlib.Lexing.lexbuf ->
missed_captureInput JSON data of type missed_capture.
val missed_capture_of_string : string -> missed_captureDeserialize JSON data of type missed_capture.
val write_json_trace_item : Stdlib.Buffer.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_item into a JSON string.
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 write_config_usage_extra : Stdlib.Buffer.t -> config_usage_extra -> unitOutput a JSON value of type config_usage_extra.
val string_of_config_usage_extra : ?len:int -> config_usage_extra -> stringSerialize a value of type config_usage_extra into a JSON string.
val read_config_usage_extra :
Yojson.Safe.lexer_state ->
Stdlib.Lexing.lexbuf ->
config_usage_extraInput JSON data of type config_usage_extra.
val config_usage_extra_of_string : string -> config_usage_extraDeserialize JSON data of type config_usage_extra.
val string_of_extra : ?len:int -> extra -> stringSerialize a value of type extra into a JSON string.
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 jsonbug into a JSON string.
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 report into a JSON string.