`val add : InferBase.SourceFile.t ‑> InferIR.Cfg.t ‑> InferIR.Tenv.per_file ‑> unit`

Add or replace the row corresponding to the source file into the database.

`val get_all : unit ‑> InferBase.SourceFile.t list`

get all the source files in the database

`val proc_names_of_source : InferBase.SourceFile.t ‑> InferIR.Typ.Procname.t list`

list of all the proc names (declared and defined) found in a source file

`val is_captured : InferBase.SourceFile.t ‑> bool`

has the source file been captured?

`val is_empty : unit ‑> bool`

whether there exists at least one captured source file

`val is_freshly_captured : InferBase.SourceFile.t ‑> bool`

whether the source file was captured in the last capture phase

`val mark_all_stale : unit ‑> unit`

mark all source files as stale; do be called at the start of a new capture phase

`val pp_all : ?⁠filter:string ‑> cfgs:bool ‑> type_environment:bool ‑> procedure_names:bool ‑> freshly_captured:bool ‑> Format.formatter ‑> unit ‑> unit`