Module StarvationDomain.Event

type t =
  1. | Ipc of {
    1. callee : IR.Procname.t;
    2. thread : ThreadDomain.t;
    }
  2. | LockAcquire of {
    1. locks : Lock.t list;
    2. thread : ThreadDomain.t;
    3. callsite : Absint.CallSite.t option;
    4. call_context : Absint.Errlog.loc_trace;
    }
  3. | MayBlock of {
    1. callee : IR.Procname.t;
    2. thread : ThreadDomain.t;
    }
  4. | MonitorWait of {
    1. lock : Lock.t;
    2. thread : ThreadDomain.t;
    }
  5. | MustNotOccurUnderLock of {
    1. callee : IR.Procname.t;
    2. thread : ThreadDomain.t;
    }
  6. | RegexOp of {
    1. callee : IR.Procname.t;
    2. thread : ThreadDomain.t;
    }
  7. | StrictModeCall of {
    1. callee : IR.Procname.t;
    2. thread : ThreadDomain.t;
    }
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
val describe : F.formatter -> t -> unit
val get_acquired_locks : t -> Lock.t list