package diffast-core

  1. Overview
  2. Docs
Core functions of Diff/AST

Install 

dune-project
 Dependency

github.com Edit opam file Versions (6)

Authors

  1. C
    Codinuum <codinuum@me.com>
  2. M
    Masatomo Hashimoto <m.hashimoto@stair.center>

Maintainers

  1. C
    Codinuum <codinuum@me.com>
  2. M
    Masatomo Hashimoto <m.hashimoto@stair.center>

Sources

v0.4.tar.gz
sha256=f58dc5326c1698e22b84e3b808e6008228071f5796cda65433106e0d42c0dad5
sha512=8e451ab99433ef479c7d3aa0396bab6650894a2c3282e72cc65014d61f59dde578020d4bc9d423045e66d1d4592b58e877d7bd830788aeb96e5fa4ba534b4b78

doc/diffast-core/Diffast_core/Lang/index.html

Module Diffast_core.Lang

module SB = Spec_base
class virtual tree_comparator : object ... end
class virtual tree_patcher : object ... end
class make_null_tree_patcher : 'a -> 'b -> object ... end
type opts_t = Options.c
type ('node, 'tree) edits_t = ('node, 'tree) Edit_base.seq_base
type ('node, 'tree) cmp_t = ('node, 'tree) Comparison.c
class type lang_t = object ... end
class c : ?subname:string option -> make_tree_builder:(opts_t -> Lang_base.tree_builder) -> make_tree_comparator:(lang_t -> opts_t -> ?cache_path:??? -> 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 ... end
val _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.. > -> unit
val 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.. > -> unit
val register_external : string -> string -> (string -> string -> lang_t) -> unit
val register : string -> (string -> lang_t) -> unit
val setup_options : opts_t -> unit