TextualFile (infer.Textuallib.TextualParser.TextualFile)

type t =

| StandaloneFile of string
(*
Path to a file with textual SIL as content.
*)
| TranslatedFile of {
1. source_path : string;
2. content : string;
3. line_map : LineMap.t;
}
(*
File with textual SIL content which is a result of translation of a file at source_path.
*)

type sil = {

sourcefile : Textual.SourceFile.t;
cfg : IR.Cfg.t;
tenv : IR.Tenv.t;

}

val source_path : t -> string

val parse : 
  t ->
  (Textual.SourceFile.t * Textual.Module.t, Textual.SourceFile.t * error list)
    IStdlib.IStd.result

val verify : 
  Textual.SourceFile.t ->
  Textual.Module.t ->
  (Textual.Module.t, Textual.SourceFile.t * error list) IStdlib.IStd.result

val textual_to_sil : 
  Textual.SourceFile.t ->
  Textual.Module.t ->
  (sil * Textual.Module.t, Textual.SourceFile.t * error list)
    IStdlib.IStd.result

val capture : 
  ?textual_module:Textual.Module.t ->
  use_global_tenv:bool ->
  sil ->
  unit

Store the captured CFG and tenv in capture.db. When textual_module is provided and --store-textual is set, the module is pretty-printed and stored in capture.db for later export with infer debug --export-textual.

val line_map : t -> LineMap.t option