Module IBase.DBWriterCommand

type t =
  1. | AddSourceFile of {
    1. source_file : Sqlite3.Data.t;
    2. tenv : Sqlite3.Data.t;
    3. integer_type_widths : Sqlite3.Data.t;
    4. proc_names : Sqlite3.Data.t;
    }
  2. | Checkpoint
  3. | DeleteAllSpecs
  4. | DeleteAttributes of {
    1. proc_uid : string;
    }
  5. | DeleteIssueLogs of {
    1. source_file : Sqlite3.Data.t;
    }
  6. | DeleteSpecs of {
    1. proc_uids : string list;
    }
  7. | MarkAllSourceFilesStale
  8. | MergeCaptures of {
    1. root : string;
    2. infer_deps_file : string;
    }
  9. | MergeSummaries of {
    1. infer_outs : string list;
    }
  10. | ReplaceAttributes of {
    1. proc_uid : string;
    2. proc_attributes : Sqlite3.Data.t;
    3. cfg : Sqlite3.Data.t;
    4. callees : Sqlite3.Data.t;
    5. analysis : bool;
    }
  11. | ShrinkAnalysisDB
  12. | Start
  13. | StoreIssueLog of {
    1. checker : string;
    2. source_file : Sqlite3.Data.t;
    3. issue_log : Sqlite3.Data.t;
    }
  14. | StoreSpec of {
    1. transaction : bool;
    2. analysis_req : AnalysisRequest.t;
    3. proc_uid : string;
    4. proc_name : Sqlite3.Data.t;
    5. merge_pulse_payload : old_pulse_payload:Sqlite3.Data.t option -> Sqlite3.Data.t list;
    6. merge_report_summary : old_report_summary:Sqlite3.Data.t option -> Sqlite3.Data.t;
    7. merge_summary_metadata : old_summary_metadata:Sqlite3.Data.t option -> Sqlite3.Data.t;
    }
  15. | Terminate
  16. | UpdateReportSummary of {
    1. transaction : bool;
    2. proc_uid : string;
    3. merge_report_summary : old_report_summary:Sqlite3.Data.t option -> Sqlite3.Data.t;
    }
val to_string : t -> string
val pp : Stdlib.Format.formatter -> t -> unit
val perform : t -> unit