Module Absint.Reporting

type log_t = ?⁠ltr: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 -> Errlog.t -> node:Errlog.node -> session:int -> loc:IBase.Location.t -> ltr:Errlog.loc_trace -> ?⁠extras:ATDGenerated.Jsonbug_t.extra -> IBase.Checker.t -> IssueToReport.t -> unit
val log_frontend_issue : Errlog.t -> loc:IBase.Location.t -> node_key:IR.Procdesc.NodeKey.t -> ltr:Errlog.loc_trace -> IssueToReport.t -> unit

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

val log_issue : IR.Procdesc.t -> 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:IssueLog.t -> ?⁠severity_override:IBase.IssueType.severity -> loc:IBase.Location.t -> ltr:Errlog.loc_trace -> ?⁠access:string -> ?⁠extras:ATDGenerated.Jsonbug_t.extra -> IBase.Checker.t -> IBase.IssueType.t -> string -> 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?