diffast-langs-python 0.1.1 (latest)

module Xset = Diffast_misc.Xset

module Delta_format = Diffast_core.Delta_format

module Comparison = Diffast_core.Comparison

module Edit = Diffast_core.Edit

module Lang = Diffast_core.Lang

module Py_lib_base = Python_base.Py_lib_base

include module type of struct include Py_lib_base end

module Xprint = Py_lib_base.Xprint

module Sourcecode = Py_lib_base.Sourcecode

module Fact_base = Py_lib_base.Fact_base

module Lang_base = Py_lib_base.Lang_base

module Common = Py_lib_base.Common

module Lib = Py_lib_base.Lib

module Label = Py_lib_base.Label

module Tree = Py_lib_base.Tree

module Fact = Py_lib_base.Fact

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

val extract_fact : 'a -> 'b -> 'c -> unit

class tree_builder : Diffast_core.Parser_options.c -> object ... end

module Analyzing : sig ... end

module DF = Delta_format.Format

val extract_change : 
  'a ->
  'b ->
  'c ->
  'd ->
  'e ->
  'f list * 'g list * 'h list * 'i Xset.t

val elaborate_edits : 
  < conflicting_pairs_threshold : int
    ; dump_delta_flag : bool
    ; lock_matches_flag : bool
    ; mapped_neighbours_difference_threshold : float
    ; multi_node_match_flag : bool
    ; prematch_cands_threshold : int
    ; prematch_subtree_cands_threshold : int
    ; rename_rectification_level : int
    ; subtree_match_ratio_threshold : float
    ; use_adjacency_matches_flag : bool
    ; verbose_flag : bool.. > ->
  (Tree.node_t, Tree.c) Comparison.c ->
  < add_starting_pair_for_glueing : 
    (Diffast_core.Spec.node_t * Diffast_core.Spec.node_t) ->
    unit
    ; add_unsettled : 
      Diffast_core.Spec.node_t ->
      Diffast_core.Spec.node_t ->
      Diffast_core.Spec.node_t option * Diffast_core.Spec.node_t option
    ; finalize_mapping : 
      Diffast_core.Spec.node_data_t Diffast_core.Spec.SB.Otree.node2 ->
      Diffast_core.Spec.node_data_t Diffast_core.Spec.SB.Otree.node2 ->
      unit
    ; find : Diffast_core.Spec.node_t -> Diffast_core.Spec.node_t
    ; has_mapping : 
      Diffast_core.Spec.node_t ->
      Diffast_core.Spec.node_t ->
      bool
    ; inv_find : 
      Diffast_core.Spec.node_data_t Diffast_core.Spec.SB.Otree.node2 ->
      Diffast_core.Spec.node_data_t Diffast_core.Spec.SB.Otree.node2
    ; iter : 
      (Diffast_core.Spec.node_data_t Diffast_core.Spec.SB.Otree.node2 ->
        Diffast_core.Spec.node_data_t Diffast_core.Spec.SB.Otree.node2 ->
        unit) ->
      'a
    ; lock_node : ?key:Diffast_core.Key.t -> Diffast_core.Spec.node_t -> unit
    ; mem_cod : 
      Diffast_core.Spec.node_data_t Diffast_core.Spec.SB.Otree.node2 ->
      bool
    ; mem_dom : 
      Diffast_core.Spec.node_data_t Diffast_core.Spec.SB.Otree.node2 ->
      bool
    ; remove : 
      Diffast_core.Node_mapping.Nodetbl.key ->
      Diffast_core.Node_mapping.Nodetbl.key ->
      'b.. > ->
  < add_edit : Diffast_core.Spec.node_t Diffast_core.Editop.t -> unit
    ; find1 : Diffast_core.Spec.node_t -> Diffast_core.Spec.node_t Edit.t list
    ; find12 : 
      Diffast_core.Spec.node_t ->
      Diffast_core.Spec.node_t ->
      Diffast_core.Spec.node_t Edit.t list
    ; find2 : Diffast_core.Spec.node_t -> Diffast_core.Spec.node_t Edit.t list
    ; iter_deletes : (Edit.node_t Edit.t -> unit) -> 'c
    ; iter_inserts : (Edit.node_t Edit.t -> unit) -> 'd
    ; iter_relabels : 
      (Diffast_core.Spec.node_data_t Diffast_core.Spec.SB.Otree.node2 Edit.t ->
        unit) ->
      'e
    ; mem_mov12 : 
      Diffast_core.Spec.node_data_t Diffast_core.Spec.SB.Otree.node2 ->
      Diffast_core.Spec.node_data_t Diffast_core.Spec.SB.Otree.node2 ->
      bool
    ; remove_edit : Diffast_core.Spec.node_t Edit.t -> unit.. > ->
  unit

class tree_patcher : < clear_recover_orig_ast_flag : 'a
  ; clear_sort_unordered_flag : 'b
  ; set_recover_orig_ast_flag : 'a
  ; set_sort_unordered_flag : 'c
  ; verbose_flag : bool.. > -> Diffast_core.Delta_common.SB.node_data_t_shared
                                 Diffast_core.Delta_common.node_t
                                 Diffast_core.Delta_common.SB.tree_t_shared
                                 Diffast_core.Delta_common.tree_t
                                 Diffast_core.Delta_common.tree_t
                                 Diffast_core.Delta_common.tree_t
                                 Diffast_core.Delta_common.SB.tree_factory_t -> object ... end

package diffast-langs-python