Module ATDGenerated.Jsonbug_j

type transitive_callee_resolution = Jsonbug_t.transitive_callee_resolution
val equal_transitive_callee_resolution : transitive_callee_resolution -> transitive_callee_resolution -> bool
type transitive_callee_kind = Jsonbug_t.transitive_callee_kind
val equal_transitive_callee_kind : transitive_callee_kind -> transitive_callee_kind -> bool
type transitive_callee = Jsonbug_t.transitive_callee = {
  1. callsite_filename : string;
  2. callsite_absolute_position_in_file : int;
  3. caller_name : string;
  4. callsite_relative_position_in_caller : int;
  5. kind : transitive_callee_kind;
  6. resolution : transitive_callee_resolution;
}
val equal_transitive_callee : transitive_callee -> transitive_callee -> bool
type taint_extra = Jsonbug_t.taint_extra = {
  1. taint_source : string option;
  2. taint_sink : string option;
  3. taint_policy_privacy_effect : string option;
  4. tainted_expression : string option;
}
val equal_taint_extra : taint_extra -> taint_extra -> bool
type redundant_fixme_info = Jsonbug_t.redundant_fixme_info = {
  1. present_issue_types : string list;
  2. comment_start_line : int;
  3. comment_end_line : int;
}
val equal_redundant_fixme_info : redundant_fixme_info -> redundant_fixme_info -> bool
type issue_method = Jsonbug_t.issue_method = {
  1. name : string;
  2. params : string list;
}
val equal_issue_method : issue_method -> issue_method -> bool
type parameter_not_nullable_info = Jsonbug_t.parameter_not_nullable_info = {
  1. class_name : string;
  2. package_name : string option;
  3. method_info : issue_method;
  4. param_index : int;
}
val equal_parameter_not_nullable_info : parameter_not_nullable_info -> parameter_not_nullable_info -> bool
type nullsafe_mode = Jsonbug_t.nullsafe_mode
val equal_nullsafe_mode : nullsafe_mode -> nullsafe_mode -> bool
type nullsafe_meta_issue_info = Jsonbug_t.nullsafe_meta_issue_info = {
  1. num_issues : int;
  2. num_fixmes : int;
  3. curr_nullsafe_mode : nullsafe_mode;
  4. can_be_promoted_to : nullsafe_mode option;
}
val equal_nullsafe_meta_issue_info : nullsafe_meta_issue_info -> nullsafe_meta_issue_info -> bool
type method_info = Jsonbug_t.method_info = {
  1. class_name : string;
  2. package : string;
  3. method_name : string;
  4. call_line : int;
}
val equal_method_info : method_info -> method_info -> bool
type field_name = Jsonbug_t.field_name = {
  1. class_name : string;
  2. package_name : string option;
  3. field : string;
}
val equal_field_name : field_name -> field_name -> bool
type access_level = Jsonbug_t.access_level
val equal_access_level : access_level -> access_level -> bool
type annotation_point_method = Jsonbug_t.annotation_point_method = {
  1. method_name : string;
  2. params : string list;
  3. access_level : access_level;
}
val equal_annotation_point_method : annotation_point_method -> annotation_point_method -> bool
type annotation_point_kind = Jsonbug_t.annotation_point_kind
val equal_annotation_point_kind : annotation_point_kind -> annotation_point_kind -> bool
type annotation_point = Jsonbug_t.annotation_point = {
  1. id : string;
  2. kind : annotation_point_kind;
  3. method_info : annotation_point_method option;
  4. field_name : string option;
  5. param_num : int option;
  6. num_violations : int;
  7. dependent_point_ids : string list;
}
val equal_annotation_point : annotation_point -> annotation_point -> bool
type nullsafe_extra = Jsonbug_t.nullsafe_extra = {
  1. class_name : string;
  2. package : string option;
  3. method_info : issue_method option;
  4. field : field_name option;
  5. inconsistent_param_index : int option;
  6. parameter_not_nullable_info : parameter_not_nullable_info option;
  7. nullable_methods : method_info list option;
  8. unvetted_3rd_party : string list option;
  9. meta_issue_info : nullsafe_meta_issue_info option;
  10. annotation_graph : annotation_point list option;
  11. redundant_fixme_info : redundant_fixme_info option;
}
val equal_nullsafe_extra : nullsafe_extra -> nullsafe_extra -> bool
type missed_capture = Jsonbug_t.missed_capture = {
  1. class_name : string;
}
val equal_missed_capture : missed_capture -> missed_capture -> bool
type loc = Jsonbug_t.loc = {
  1. file : string;
  2. lnum : int;
  3. cnum : int;
  4. enum : int;
}
val equal_loc : loc -> loc -> bool
type json_trace_item = Jsonbug_t.json_trace_item = {
  1. level : int;
  2. filename : string;
  3. line_number : int;
  4. column_number : int;
  5. description : string;
}
val equal_json_trace_item : json_trace_item -> json_trace_item -> bool
type config_usage_extra = Jsonbug_t.config_usage_extra = {
  1. config_name : string;
  2. function_name : string;
  3. filename : string;
  4. line_number : int;
}
val equal_config_usage_extra : config_usage_extra -> config_usage_extra -> bool
type extra = Jsonbug_t.extra = {
  1. cost_polynomial : string option;
  2. cost_degree : int option;
  3. nullsafe_extra : nullsafe_extra option;
  4. copy_type : string option;
  5. config_usage_extra : config_usage_extra option;
  6. taint_extra : taint_extra option;
  7. transitive_callees : transitive_callee list;
  8. transitive_missed_captures : missed_capture list;
}
val equal_extra : extra -> extra -> bool
type jsonbug = Jsonbug_t.jsonbug = {
  1. bug_type : string;
  2. qualifier : string;
  3. suggestion : string option;
  4. severity : string;
  5. category : string;
  6. line : int;
  7. column : int;
  8. procedure : string;
  9. procedure_start_line : int;
  10. file : string;
  11. bug_trace : json_trace_item list;
  12. bug_trace_length : int;
  13. bug_trace_max_depth : int;
  14. key : string;
  15. node_key : string option;
  16. hash : string;
  17. dotty : string option;
  18. infer_source_loc : loc option;
  19. bug_type_hum : string;
  20. traceview_id : int option;
  21. censored_reason : string option;
  22. access : string option;
  23. extras : extra option;
}
val equal_jsonbug : jsonbug -> jsonbug -> bool
type report = Jsonbug_t.report
val equal_report : report -> report -> bool
val write_transitive_callee_resolution : Stdlib.Buffer.t -> transitive_callee_resolution -> unit

Output a JSON value of type transitive_callee_resolution.

val string_of_transitive_callee_resolution : ?len:int -> transitive_callee_resolution -> string

Serialize a value of type transitive_callee_resolution into a JSON string.

  • parameter len

    specifies the initial length of the buffer used internally. Default: 1024.

val read_transitive_callee_resolution : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> transitive_callee_resolution

Input JSON data of type transitive_callee_resolution.

val transitive_callee_resolution_of_string : string -> transitive_callee_resolution

Deserialize JSON data of type transitive_callee_resolution.

val write_transitive_callee_kind : Stdlib.Buffer.t -> transitive_callee_kind -> unit

Output a JSON value of type transitive_callee_kind.

val string_of_transitive_callee_kind : ?len:int -> transitive_callee_kind -> string

Serialize a value of type transitive_callee_kind into a JSON string.

  • parameter len

    specifies the initial length of the buffer used internally. Default: 1024.

val read_transitive_callee_kind : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> transitive_callee_kind

Input JSON data of type transitive_callee_kind.

val transitive_callee_kind_of_string : string -> transitive_callee_kind

Deserialize JSON data of type transitive_callee_kind.

val write_transitive_callee : Stdlib.Buffer.t -> transitive_callee -> unit

Output a JSON value of type transitive_callee.

val string_of_transitive_callee : ?len:int -> transitive_callee -> string

Serialize a value of type transitive_callee into a JSON string.

  • parameter len

    specifies the initial length of the buffer used internally. Default: 1024.

val read_transitive_callee : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> transitive_callee

Input JSON data of type transitive_callee.

val transitive_callee_of_string : string -> transitive_callee

Deserialize JSON data of type transitive_callee.

val write_taint_extra : Stdlib.Buffer.t -> taint_extra -> unit

Output a JSON value of type taint_extra.

val string_of_taint_extra : ?len:int -> taint_extra -> string

Serialize a value of type taint_extra into a JSON string.

  • parameter len

    specifies the initial length of the buffer used internally. Default: 1024.

val read_taint_extra : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> taint_extra

Input JSON data of type taint_extra.

val taint_extra_of_string : string -> taint_extra

Deserialize JSON data of type taint_extra.

val write_redundant_fixme_info : Stdlib.Buffer.t -> redundant_fixme_info -> unit

Output a JSON value of type redundant_fixme_info.

val string_of_redundant_fixme_info : ?len:int -> redundant_fixme_info -> string

Serialize a value of type redundant_fixme_info into a JSON string.

  • parameter len

    specifies the initial length of the buffer used internally. Default: 1024.

val read_redundant_fixme_info : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> redundant_fixme_info

Input JSON data of type redundant_fixme_info.

val redundant_fixme_info_of_string : string -> redundant_fixme_info

Deserialize JSON data of type redundant_fixme_info.

val write_issue_method : Stdlib.Buffer.t -> issue_method -> unit

Output a JSON value of type issue_method.

val string_of_issue_method : ?len:int -> issue_method -> string

Serialize a value of type issue_method into a JSON string.

  • parameter len

    specifies the initial length of the buffer used internally. Default: 1024.

val read_issue_method : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> issue_method

Input JSON data of type issue_method.

val issue_method_of_string : string -> issue_method

Deserialize JSON data of type issue_method.

val write_parameter_not_nullable_info : Stdlib.Buffer.t -> parameter_not_nullable_info -> unit

Output a JSON value of type parameter_not_nullable_info.

val string_of_parameter_not_nullable_info : ?len:int -> parameter_not_nullable_info -> string

Serialize a value of type parameter_not_nullable_info into a JSON string.

  • parameter len

    specifies the initial length of the buffer used internally. Default: 1024.

val read_parameter_not_nullable_info : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> parameter_not_nullable_info

Input JSON data of type parameter_not_nullable_info.

val parameter_not_nullable_info_of_string : string -> parameter_not_nullable_info

Deserialize JSON data of type parameter_not_nullable_info.

val write_nullsafe_mode : Stdlib.Buffer.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 : Stdlib.Buffer.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 : Stdlib.Buffer.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_field_name : Stdlib.Buffer.t -> field_name -> unit

Output a JSON value of type field_name.

val string_of_field_name : ?len:int -> field_name -> string

Serialize a value of type field_name into a JSON string.

  • parameter len

    specifies the initial length of the buffer used internally. Default: 1024.

val read_field_name : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> field_name

Input JSON data of type field_name.

val field_name_of_string : string -> field_name

Deserialize JSON data of type field_name.

val write_access_level : Stdlib.Buffer.t -> access_level -> unit

Output a JSON value of type access_level.

val string_of_access_level : ?len:int -> access_level -> string

Serialize a value of type access_level into a JSON string.

  • parameter len

    specifies the initial length of the buffer used internally. Default: 1024.

val read_access_level : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> access_level

Input JSON data of type access_level.

val access_level_of_string : string -> access_level

Deserialize JSON data of type access_level.

val write_annotation_point_method : Stdlib.Buffer.t -> annotation_point_method -> unit

Output a JSON value of type annotation_point_method.

val string_of_annotation_point_method : ?len:int -> annotation_point_method -> string

Serialize a value of type annotation_point_method into a JSON string.

  • parameter len

    specifies the initial length of the buffer used internally. Default: 1024.

val read_annotation_point_method : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> annotation_point_method

Input JSON data of type annotation_point_method.

val annotation_point_method_of_string : string -> annotation_point_method

Deserialize JSON data of type annotation_point_method.

val write_annotation_point_kind : Stdlib.Buffer.t -> annotation_point_kind -> unit

Output a JSON value of type annotation_point_kind.

val string_of_annotation_point_kind : ?len:int -> annotation_point_kind -> string

Serialize a value of type annotation_point_kind into a JSON string.

  • parameter len

    specifies the initial length of the buffer used internally. Default: 1024.

val read_annotation_point_kind : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> annotation_point_kind

Input JSON data of type annotation_point_kind.

val annotation_point_kind_of_string : string -> annotation_point_kind

Deserialize JSON data of type annotation_point_kind.

val write_annotation_point : Stdlib.Buffer.t -> annotation_point -> unit

Output a JSON value of type annotation_point.

val string_of_annotation_point : ?len:int -> annotation_point -> string

Serialize a value of type annotation_point into a JSON string.

  • parameter len

    specifies the initial length of the buffer used internally. Default: 1024.

val read_annotation_point : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> annotation_point

Input JSON data of type annotation_point.

val annotation_point_of_string : string -> annotation_point

Deserialize JSON data of type annotation_point.

val write_nullsafe_extra : Stdlib.Buffer.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 write_missed_capture : Stdlib.Buffer.t -> missed_capture -> unit

Output a JSON value of type missed_capture.

val string_of_missed_capture : ?len:int -> missed_capture -> string

Serialize a value of type missed_capture into a JSON string.

  • parameter len

    specifies the initial length of the buffer used internally. Default: 1024.

val read_missed_capture : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> missed_capture

Input JSON data of type missed_capture.

val missed_capture_of_string : string -> missed_capture

Deserialize JSON data of type missed_capture.

val write_loc : Stdlib.Buffer.t -> loc -> unit

Output a JSON value of type loc.

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 read_loc : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> loc

Input JSON data of type loc.

val loc_of_string : string -> loc

Deserialize JSON data of type loc.

val write_json_trace_item : Stdlib.Buffer.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 write_config_usage_extra : Stdlib.Buffer.t -> config_usage_extra -> unit

Output a JSON value of type config_usage_extra.

val string_of_config_usage_extra : ?len:int -> config_usage_extra -> string

Serialize a value of type config_usage_extra into a JSON string.

  • parameter len

    specifies the initial length of the buffer used internally. Default: 1024.

val read_config_usage_extra : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> config_usage_extra

Input JSON data of type config_usage_extra.

val config_usage_extra_of_string : string -> config_usage_extra

Deserialize JSON data of type config_usage_extra.

val write_extra : Stdlib.Buffer.t -> extra -> unit

Output a JSON value of type extra.

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 extra_of_string : string -> extra

Deserialize JSON data of type extra.

val write_jsonbug : Stdlib.Buffer.t -> jsonbug -> unit

Output a JSON value of type jsonbug.

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 jsonbug_of_string : string -> jsonbug

Deserialize JSON data of type jsonbug.

val write_report : Stdlib.Buffer.t -> report -> unit

Output a JSON value of type report.

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 report_of_string : string -> report

Deserialize JSON data of type report.