RestartScheduler (infer.Backend.RestartScheduler)

val setup : unit -> unit

val make : 
  IBase.SourceFile.t list ->
  (Absint.TaskSchedulerTypes.target, Absint.TaskSchedulerTypes.analysis_result)
    IBase.ProcessPool.TaskGenerator.t

val with_lock : 
  get_actives:(unit -> IR.SpecializedProcname.t list) ->
  f:(unit -> 'a) ->
  IR.Procname.t ->
  'a

Run f after having taken a lock on the given Procname.t and unlock after. If the lock is already held by another worker, throw RestartSchedulerException.ProcnameAlreadyLocked so that the dependency can be sent to the scheduler process. Finally, account for time spent analysing each procedure as useful (finished analysis) or not (an exception was thrown, terminating analysis early).

val finish : 
  Absint.TaskSchedulerTypes.analysis_result option ->
  'a ->
  'a option