diffast-api 0.1.1 (latest)

val extra_source_file_tbl : (string, Storage.file) Hashtbl.t

val extra_source_file_tbl1 : (string, Storage.file) Hashtbl.t

val extra_source_file_tbl2 : (string, Storage.file) Hashtbl.t

method virtual __parse_file : ?proj_root:string ->
  ?version:Entity.version ->
  Storage.file ->
  Spec.tree_t

method private _add_extra_source_file : (string, Storage.file) Hashtbl.t ->
  string ->
  Storage.file ->
  unit

method private _extra_source_files : (string, Storage.file) Hashtbl.t ->
  Storage.file list

method add_extra_source_file : string -> Storage.file -> unit

method add_extra_source_files : string -> Storage.file list -> unit

method extra_source_files : Storage.file list

method add_extra_source_file1 : string -> Storage.file -> unit

method add_extra_source_file2 : string -> Storage.file -> unit

method add_extra_source_files1 : string -> Storage.file list -> unit

method add_extra_source_files2 : string -> Storage.file list -> unit

method extra_source_files1 : Storage.file list

method extra_source_files2 : Storage.file list

method verbose_msg : 'a. ('a, unit, string, unit) format4 -> 'a

method get_cache_path1 : Storage.file -> string

method search_cache_for_info : string -> Diffast_core.Cache.search_result list

method search_cache_for_stat : string -> Cache.search_result list

method is_processed_tree : DTB.c option ref -> DTB.Storage.tree -> bool

method private _dump_dir_info : string -> DTB.c -> int -> unit

method private dump_coverage_ch : (int * int * float) -> out_channel -> unit

method private dump_coverage : string -> (int * int * float) -> unit

method private mkfragfilepath : string -> string -> int -> string

method private dump_fragment : frag_dump_mode ->
  string ->
  (< data : 
     < ending : string
     ; label : string
     ; origin : string
     ; src_loc : Loc.t.. >.. >,
    < data : < not_frommacro : bool.. > ; gindex : GIDfragment.gid.. > list)
    Hashtbl.t ->
  unit

method parse_file : ?fact_store:Fact_base.fact_store option ->
  ?show_info:bool ->
  ?proj_root:string ->
  ?version:(Entity.vkind * string) ->
  ?versions:(Diffast_core.Entity.vkind * string) list ->
  ?get_cache_dir_only:bool ->
  Storage.file ->
  SF.info

method handle_file_versions : ?lock:bool ->
  Fact_base.fact_store option ->
  string ->
  string ->
  Storage.file ->
  (Diffast_core.Entity.vkind * string) list ->
  unit

method _parse_file : ?fact_store:Fact_base.fact_store option ->
  ?show_info:bool ->
  ?proj_root:string ->
  ?version:(Entity.vkind * string) ->
  ?versions:(Diffast_core.Entity.vkind * string) list ->
  ?get_cache_dir_only:bool ->
  Storage.file ->
  SF.info

method private parse_file_and_handle_info : ?head:string ->
  Fact_base.fact_store option ->
  string ->
  (Entity.vkind * string) ->
  Storage.file ->
  (SF.info -> unit) ->
  unit

method virtual __force_to_process : bool

method extract_fact_from_dir : DTB.Storage.tree -> unit

package diffast-api