Module Absint.TaskSchedulerTypes

type target =
  1. | Procname of IR.Procname.t
  2. | File of IBase.SourceFile.t
  3. | ProcUID of string
    (*

    matches primary key of procedures and specs tables; see Database.ml

    *)
type analysis_result =
  1. | Ok
    (*

    Analysis finished normally.

    *)
  2. | RaceOn of {
    1. dependency_filename : string;
    }
    (*

    Analysis stopped when trying to access the summary of a callee and that callee is being analyzed by another worker. dependency_filename is the path to the callee's lock file.

    *)