Reporting (infer.Absint.Reporting)

type log_t =
  ?loc_instantiated:IBase.Location.t ->
  ?ltr:Errlog.loc_trace ->
  ?extras:ATDGenerated.Jsonbug_t.extra ->
  ?suggestion:string ->
  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_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 ->
  ?suggestion:string ->
  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?