module S = Diffast_misc.Storagemodule SB = Spec_basetype extracted_change =
Change_base.changes
* Change_base.node_t Editop.t list
* Change_base.change_infos
* Triple.t Diffast_core.Change_base.Xset.tclass virtual tree_comparator : object ... endclass virtual tree_patcher : object ... endclass make_null_tree_patcher : 'a -> 'b -> object ... endtype opts_t = Options.ctype ('node, 'tree) edits_t = ('node, 'tree) Edit_base.seq_basetype ('node, 'tree) cmp_t = ('node, 'tree) Comparison.ctype nmapping_t = Change_base.node_t Node_mapping.cclass type lang_t = object ... endclass c : ?subname:string option -> make_tree_builder:(opts_t ->
Lang_base.tree_builder) -> make_tree_comparator:(lang_t ->
opts_t ->
?cache_path:string ->
Diffast_core.Lang_base.S.file ->
Diffast_core.Lang_base.S.file ->
tree_comparator) -> extract_change:(opts_t ->
Spec.tree_t ->
Spec.tree_t ->
nmapping_t ->
(Change_base.node_t, Spec.tree_t) edits_t ->
extracted_change) -> extract_fact:(opts_t ->
string ->
Spec.tree_t ->
unit) -> ?get_cache_key:(Diffast_core.Lang_base.S.file -> string) option -> ?node_filter:
(opts_t ->
Change_base.node_t ->
bool)
option -> ?node_pair_filter:(opts_t ->
Change_base.node_t ->
Change_base.node_t ->
bool)
option -> ?elaborate_edits:(opts_t ->
(Change_base.node_t,
Spec.tree_t)
cmp_t ->
nmapping_t ->
(Change_base.node_t,
Spec.tree_t)
edits_t ->
unit)
option
option -> ?make_tree_patcher:
(opts_t ->
Lang_base.tree_factory ->
make_null_tree_patcher)
option -> string -> object ... endval _extract_mapping_fact :
< fact_algo : Diffast_core.Triple.Xhash.algo
; fact_compression : Diffast_core.Triple.C.c
; fact_enc : Entity.encoding
; fact_into_directory : string
; fact_into_virtuoso : string
; fact_proj : string
; fact_size_threshold : int
; fact_virtuoso_temp_dir : string
; local_cache_name : string
; verbose_flag : bool.. > ->
< iter_settled :
(< data :
< eq :
< is_phantom : bool
; is_special : bool
; source_fid : string
; src_loc : Diffast_core.Triple.Loc.t
; to_string : string.. > as 'b ->
bool
; is_phantom : bool
; is_special : bool
; source_fid : string
; src_loc : Diffast_core.Triple.Loc.t
; to_string : string.. >.. > as 'a ->
< data : 'b.. > as 'c ->
unit) ->
'd
; iter_unsettled : ('a -> 'c -> unit) -> 'e.. > ->
('a -> 'c -> bool) ->
string ->
< proj_root : 'f
; source_digest : Diffast_core.Triple.Xhash.t
; source_path : string
; version : string
; vkind : Entity.vkind.. > ->
< proj_root : 'g
; source_digest : Diffast_core.Triple.Xhash.t
; source_path : string
; version : string
; vkind : Entity.vkind.. > ->
unitval extract_mapping_fact :
< clear_fact_restricted_flag : unit
; fact_algo : Diffast_core.Triple.Xhash.algo
; fact_compression : Diffast_core.Triple.C.c
; fact_enc : Entity.encoding
; fact_for_mapping_restricted_flag : bool
; fact_into_directory : string
; fact_into_virtuoso : string
; fact_proj : string
; fact_restricted_flag : bool
; fact_size_threshold : int
; fact_virtuoso_temp_dir : string
; local_cache_name : string
; set_fact_restricted_flag : unit
; verbose_flag : bool.. > as 'a ->
< node_pair_filter :
'a ->
< data :
< eq :
< is_phantom : bool
; is_special : bool
; source_fid : string
; src_loc : Diffast_core.Triple.Loc.t
; to_string : string.. > as 'c ->
bool
; is_phantom : bool
; is_special : bool
; source_fid : string
; src_loc : Diffast_core.Triple.Loc.t
; to_string : string.. >.. > as 'b ->
< data : 'c.. > as 'd ->
bool.. > ->
< iter_settled : ('b -> 'd -> unit) -> 'e
; iter_unsettled : ('b -> 'd -> unit) -> 'f.. > ->
string ->
< proj_root : 'g
; source_digest : Diffast_core.Triple.Xhash.t
; source_path : string
; version : string
; vkind : Entity.vkind.. > ->
< proj_root : 'h
; source_digest : Diffast_core.Triple.Xhash.t
; source_path : string
; version : string
; vkind : Entity.vkind.. > ->
unitval register_external :
string ->
string ->
(string -> string -> lang_t) ->
unitval register : string -> (string -> lang_t) -> unitval setup_options : opts_t -> unit