Module Absint__Reporting

type log_t = ?⁠ltr:Absint.Errlog.loc_trace -> ?⁠extras:ATDGenerated.Jsonbug_t.extra -> IBase.Checker.t -> IBase.IssueType.t -> string -> unit
val log_issue_from_summary : ?⁠severity_override:IBase.IssueType.severity -> IR.Procdesc.t -> Absint.Errlog.t -> node:Absint.Errlog.node -> session:int -> loc:IBase.Location.t -> ltr:Absint.Errlog.loc_trace -> ?⁠extras:ATDGenerated.Jsonbug_t.extra -> IBase.Checker.t -> Absint.IssueToReport.t -> unit
val log_frontend_issue : Absint.Errlog.t -> loc:IBase.Location.t -> node_key:IR.Procdesc.NodeKey.t -> ltr:Absint.Errlog.loc_trace -> Absint.IssueToReport.t -> unit

Report a frontend issue of a given kind in the given error log.

val log_issue : IR.Procdesc.t -> Absint.Errlog.t -> loc:IBase.Location.t -> log_t

Add an issue to the given error log.

val log_issue_external : IR.Procname.t -> issue_log:Absint.IssueLog.t -> ?⁠severity_override:IBase.IssueType.severity -> loc:IBase.Location.t -> ltr:Absint.Errlog.loc_trace -> ?⁠access:string -> ?⁠extras:ATDGenerated.Jsonbug_t.extra -> IBase.Checker.t -> IBase.IssueType.t -> string -> Absint.IssueLog.t

Log an issue to the error log in IssueLog associated with the given procname.

val is_suppressed : ?⁠field_name:IR.Fieldname.t option -> IR.Tenv.t -> IR.ProcAttributes.t -> IBase.IssueType.t -> bool

should an issue report be suppressed due to a @SuppressLint("issue") annotation?