ATDGenerated.Jsonbug_t
val equal_transitive_callee_resolution :
transitive_callee_resolution ->
transitive_callee_resolution ->
bool
val equal_transitive_callee_kind :
transitive_callee_kind ->
transitive_callee_kind ->
bool
type 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 -> bool
val equal_taint_extra : taint_extra -> taint_extra -> bool
val equal_redundant_fixme_info :
redundant_fixme_info ->
redundant_fixme_info ->
bool
val equal_issue_method : issue_method -> issue_method -> bool
type 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 ->
bool
val equal_nullsafe_mode : nullsafe_mode -> nullsafe_mode -> bool
type 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 ->
bool
val equal_method_info : method_info -> method_info -> bool
val equal_field_name : field_name -> field_name -> bool
val equal_access_level : access_level -> access_level -> bool
type annotation_point_method = {
method_name : string;
params : string list;
access_level : access_level;
}
val equal_annotation_point_method :
annotation_point_method ->
annotation_point_method ->
bool
val equal_annotation_point_kind :
annotation_point_kind ->
annotation_point_kind ->
bool
type 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 -> bool
type 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 -> bool
val equal_missed_capture : missed_capture -> missed_capture -> bool
val equal_json_trace_item : json_trace_item -> json_trace_item -> bool
val equal_config_usage_extra : config_usage_extra -> config_usage_extra -> bool
type 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 = {
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 list