package diffast-core

You can search for identifiers within the package.

in-package search v0.2.0

diffast-core
- Diffast_core
  - Adiff
  - Analyzing
    
    F
    
    Label
    
    Postprocessing
    
    mid_data
    
    tree_comparator
  - Astml
    
    Attr
  - Cache
  - Change_base
    
    F
    
    L
    
    c
    
    change_set
  - Charpool
  - Comparison
    
    c
    
    multiple_node_matches
    
    multiple_subtree_matches
    
    pairs
  - Const
  - Delta
    
    Edit
    
    seq
  - Delta_base
    
    Fmt
    
    Irr
    
    Rev
    
    edit_tbl
    
    node_tbl
    
    boundary_path
    
    path_c
  - Delta_common
  - Delta_format
    
    Format
    
    IrreversibleFormat
    
    ReversibleFormat
  - Delta_interpret
    
    interpreter
  - Delta_options
    
    c
  - Dirtree
    
    c
    
    diff_result
    
    node_data
    
    node_map
  - Dirtree_base
    
    c
    
    node_data
  - Edit
    
    formatters_base
    
    seq
    
    seq_base
  - Edit_base
    
    formatters_base
    
    seq_base
  - Editop
  - Engine_options
    
    c
  - Entity
  - Fact_base
    
    F
    
    L
    
    extractor_base
    
    fact_buffer_tbl
    
    fact_store
    
    separate_fact_buffer_tbl
    
    unified_fact_buffer_tbl
  - Fact_options
    
    c
  - Flattreediff
  - GIDfragment
    
    c
  - Info
  - Key
  - Lang
    
    c
    
    lang_t
    
    make_null_tree_patcher
    
    tree_comparator
    
    tree_patcher
  - Lang_base
    
    c
    
    lang_t
    
    tree_builder
    
    tree_factory
  - Misc
    
    Tbl1
    
    Tbl2
    
    Tbl3
    
    Tbl4
    
    counter
    
    stopwatch
  - Moveid
    
    generator
  - Node
    
    M
    
    Tbl
  - Node_mapping
    
    Json
    
    c
  - Options
    
    c
  - Parser_options
    
    c
  - Postprocessing
    
    F
    
    Label
    
    mid_data
  - Proximity
    
    node_proximity
  - Pruned
    
    nodes
  - Sites
    
    Plugins
    
    Lang_specs
    
    Langs
    
    Sites
  - Sourcecode
    
    Tree
    
    L
    
    c
    
    node_data
    
    node_maker
    
    ordinal_tbl
    
    stack
    
    visitor
  - Spec
    
    LABEL_T
    
    nmapping_t
    
    node_data_t
    
    npairs_t
    
    tree_t
  - Spec_base
    
    OutChannel
    
    node_data_t_shared
    
    tree_factory_t
    
    tree_t_shared
  - Stat
    
    Dir
    
    File
  - Treediff
  - Triple
    
    buffer
    
    buffer_base
    
    buffer_directory
    
    buffer_odbc
    
    buffer_virtuoso
    
    dumper
    
    dumper_gen

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Xprint = Diffast_misc.Xprint

module Xstring = Diffast_misc.Xstring

module Xset = Diffast_misc.Xset

module Xlist = Diffast_misc.Xlist

module Xhash = Diffast_misc.Xhash

module Xchannel = Diffast_misc.Xchannel

module Storage = Diffast_misc.Storage

module Fs = Diffast_misc.Fs

module T = Triple

module UID = Diffast_misc.UID

module Otree = Diffast_misc.Otree

module S = Stat

module SF = Stat.File

module SD = Stat.Dir

val sprintf : ('a, unit, string) format -> 'a

val printf : ('a, out_channel, unit) format -> 'a

val fprintf : out_channel -> ('a, out_channel, unit) format -> 'a

val auxfile_exts : string list

val is_auxfile : string -> bool

val path_concat : string list -> string

val union : 'a list list -> 'a list

class node_data : Storage.tree -> Storage.entry_t -> object ... end

type node_t = node_data Otree.node2

class c : < hash_algo : Diffast_misc.Xhash.algo.. > -> node_t -> ?id:string option -> 
  bool -> object ... end

val _tbl_add : ('a, 'b list) Hashtbl.t -> 'a -> 'b -> unit

val collapse_tree : 
  < collapse_node : < data : < digest : 'b.. > ; is_leaf : bool.. > as 'a -> 'c
    ; init : 'd
    ; root : 'a
    ; scan_all : ('a -> unit) -> 'e
    ; set_digest_of_root : unit.. > ->
  ('b, 'a list) Hashtbl.t

exception To_be_skipped

val of_tree : 
  < check_extension : string -> bool
    ; designated_parser : string
    ; hash_algo : Diffast_misc.Xhash.algo
    ; is_disabled_parser : string -> bool
    ; uid_generator : Diffast_misc.UID.generator
    ; verbose_flag : bool.. > ->
  bool ->
  Storage.tree ->
  c * (Diffast_misc.Xhash.t, node_data Otree.node2 list) Hashtbl.t

val of_dir : 
  < check_extension : string -> bool
    ; designated_parser : string
    ; git_hash_flag : bool
    ; hash_algo : Diffast_misc.Xhash.algo
    ; is_disabled_parser : string -> bool
    ; keep_filtered_temp_file_flag : bool
    ; uid_generator : Diffast_misc.UID.generator
    ; verbose_flag : bool.. > ->
  bool ->
  string ->
  c * (Diffast_misc.Xhash.t, node_data Otree.node2 list) Hashtbl.t

val split : ('a -> 'b) -> 'a list -> ('b, 'a list) Hashtbl.t

val get_cache_path1 : 
  < get_cache_path_for_dir_digest1 : 'a -> 'b.. > ->
  < digest : 'a.. > ->
  'b

val get_cache_path2 : 
  < get_cache_path_for_dir_digest2 : 'a -> 'b -> 'c.. > ->
  < digest : 'a.. > ->
  < digest : 'b.. > ->
  'c

val get_cache_path_for_dir1 : 
  < check_extension : string -> bool
    ; designated_parser : string
    ; get_cache_path_for_dir_digest1 : Diffast_misc.Xhash.t -> string
    ; hash_algo : Diffast_misc.Xhash.algo
    ; is_disabled_parser : string -> bool
    ; uid_generator : Diffast_misc.UID.generator
    ; verbose_flag : bool.. > ->
  Storage.tree ->
  string

val get_cache_path_for_dir2 : 
  < check_extension : string -> bool
    ; designated_parser : string
    ; get_cache_path_for_dir_digest2 : 
      Diffast_misc.Xhash.t ->
      Diffast_misc.Xhash.t ->
      string
    ; hash_algo : Diffast_misc.Xhash.algo
    ; is_disabled_parser : string -> bool
    ; uid_generator : Diffast_misc.UID.generator
    ; verbose_flag : bool.. > ->
  Storage.tree ->
  Storage.tree ->
  string

val mkfile : 
  Storage.tree ->
  < data : < content_digest : Diffast_misc.Xhash.t option ; path : string.. >.. > ->
  Storage.file

val mkfiles : 
  Storage.tree ->
  < data : < content_digest : Diffast_misc.Xhash.t option ; path : string.. >.. >
    list ->
  Storage.file list

val fid_of_nd : 
  ?force_PVF:bool ->
  < fact_algo : T.Xhash.algo
    ; fact_enc : Entity.encoding
    ; fact_proj : string.. > ->
  'a ->
  (Entity.vkind * string) ->
  < data : < get_content_digest : T.Xhash.t ; path : string.. >.. > ->
  string

val fent_of_nd : 
  < fact_algo : T.Xhash.algo
    ; fact_enc : Entity.encoding
    ; fact_proj : string.. > ->
  ?force_PVF:bool ->
  'a ->
  (Entity.vkind * string) ->
  < data : < get_content_digest : T.Xhash.t ; path : string.. >.. > ->
  T.node

val create_fact_buf : 
  < fact_compression : Diffast_core.Triple.C.c
    ; fact_into_directory : string
    ; fact_into_virtuoso : string
    ; fact_size_threshold : int
    ; fact_virtuoso_temp_dir : string
    ; local_cache_name : string
    ; verbose_flag : bool.. > ->
  ?acquire_lock:(unit -> unit) ->
  ?fact_file_path:string ->
  ?cache_name:string ->
  into_virtuoso:bool ->
  into_directory:bool ->
  string ->
  Triple.buffer_virtuoso

val _extract_fact : 
  < add : (T.node * T.node * T.node) -> unit
    ; add_group : (T.node * T.node * T.node) list -> unit.. > ->
  < fact_algo : T.Xhash.algo
    ; fact_enc : Entity.encoding
    ; fact_proj : string.. > ->
  'a ->
  (Entity.vkind * string) ->
  < data : 
    < get_content_digest : T.Xhash.t
    ; is_auxfile : bool
    ; path : string.. >.. >
    list ->
  string * T.node

val extract_fact : 
  < check_extension : string -> bool
    ; clear_cache_flag : bool
    ; default_dir_permission : Unix.file_perm
    ; designated_parser : string
    ; fact_algo : T.Xhash.algo
    ; fact_compression : Diffast_core.Triple.C.c
    ; fact_enc : Entity.encoding
    ; fact_flag : bool
    ; fact_into_directory : string
    ; fact_into_virtuoso : string
    ; fact_proj : string
    ; fact_size_threshold : int
    ; fact_virtuoso_temp_dir : string
    ; get_cache_path_for_dir_digest1 : Diffast_misc.Xhash.t -> string
    ; hash_algo : Diffast_misc.Xhash.algo
    ; is_disabled_parser : string -> bool
    ; local_cache_name : string
    ; uid_generator : Diffast_misc.UID.generator
    ; verbose_flag : bool.. > ->
  dtree_opt:c option ->
  proj_root:'a ->
  version:(Entity.vkind * string) ->
  Storage.tree ->
  string * c * Storage.file list