Module Nullsafe.NullsafeIssue

type t
val make : issue_type:IBase.IssueType.t -> description:string -> loc:IBase.Location.t -> severity:IBase.IssueType.severity -> field_name:IR.Fieldname.t option -> t
val with_third_party_dependent_methods : (IR.Procname.Java.t * AnnotatedSignature.t) list -> t -> t
val with_nullable_methods : TypeOrigin.method_call_origin list -> t -> t
val with_inconsistent_param_index : int option -> t -> t

Only for the "Inconsistent subclass param annotation" issue

val with_parameter_not_nullable_info : param_index:int -> proc_name:IR.Procname.Java.t -> t -> t

Only for the "Paremeter not nullable" issue

val get_issue_type : t -> IBase.IssueType.t
val get_description : t -> string
val get_loc : t -> IBase.Location.t
val get_severity : t -> IBase.IssueType.severity
val get_nullsafe_extra : t -> IR.Procname.Java.t -> ATDGenerated.Jsonbug_t.nullsafe_extra