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 Xlist = Diffast_misc.Xlist

module Xset = Diffast_misc.Xset

module Xstring = Diffast_misc.Xstring

module Xprint = Diffast_misc.Xprint

module Xfile = Diffast_misc.Xfile

module Xchannel = Diffast_misc.Xchannel

module XML = Diffast_misc.XML

module Path = Diffast_misc.Path

module Elem = Path.Elem

module MID = Moveid

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

exception Not_element

val delta_file_name : string

val delta_ns : string

val delta_prefix : string

val mktag : string -> string

val bundle_tag : string

val loc_attr : string

val root_tag : string

val old_tag : string

val new_tag : string

val text_tag : string

val del_tag : string

val ins_tag : string

val mov_tag : string

val chg_tag : string

val achg_tag : string

val adel_tag : string

val ains_tag : string

val add_file_tag : string

val remove_file_tag : string

val rename_file_tag : string

val move_file_tag : string

val change_file_tag : string

val digest1_attr : string

val digest2_attr : string

val path_attr : string

val path_from_attr : string

val path_to_attr : string

val path1_attr : string

val path1from_attr : string

val path1to_attr : string

val path2_attr : string

val path2from_attr : string

val path2to_attr : string

val mid_attr : string

val bdry_attr : string

val bdry_from_attr : string

val bdry_to_attr : string

val bdry1_attr : string

val bdry1from_attr : string

val bdry1to_attr : string

val bdry2_attr : string

val bdry2from_attr : string

val bdry2to_attr : string

val attr_attr : string

val ov_attr : string

val nv_attr : string

val v_attr : string

val rvs_attr : string

val normd_attr : string

val lang_attr : string

val stid_attr : string

val adj_attr : string

val adj1_attr : string

val adj2_attr : string

val depth_attr : string

val depth1_attr : string

val depth2_attr : string

val parent_attr : string

val parent1_attr : string

val parent2_attr : string

val shift_attr : string

val shift1_attr : string

val shift2_attr : string

val potential_dup_attr : string

type move_control =

| Mfull
| MdeleteOnly
| MinsertOnly

val move_control_to_string : move_control -> string

val move_control_of_string : string -> move_control

val move_control_attr : string

val is_file_edit_tag : string -> bool

type subtree_id = int

val stid_to_str : subtree_id -> string

val stid_of_str : string -> subtree_id

type subtree_key =

| K_stid of subtree_id
| K_mid of MID.t
| K_stable
| K_del of subtree_id

val key_of_stid : subtree_id -> subtree_key

val key_of_mid : MID.t -> subtree_key

val key_stable : subtree_key

val key_of_del_stid : subtree_id -> subtree_key

val is_move_key : subtree_key -> bool

val key_opt_of_stid_opt : subtree_id option -> subtree_key option

val key_opt_of_mid_opt : MID.t option -> subtree_key option

val key_to_string : subtree_key -> string

val key_to_raw : subtree_key -> string

val key_opt_to_string : subtree_key option -> string

val keys_to_string : subtree_key list -> string

val key_of_string : string -> subtree_key

val path_opt_to_string : Path.t option -> string

val ups_sym : string

val stay_sym : string

val key_sep_sym : string

val sub_path_sep_sym : string

val ups_to_str : int -> string

class path_c : ?upstream:int option -> ?key_opt:subtree_key option option -> ?stay:
  bool
    option -> Path.t -> object ... end

class boundary_path : ?upstream:int option -> ?key_opt:subtree_key option option -> ?sub_path_opt:
  Path.t option
    option -> Path.t -> object ... end

val key_sep_pat : Str.regexp

val sub_path_sep_pat : Str.regexp

val ups_sep_pat : Str.regexp

type attr = string

type value = string

type boundary = boundary_path list

val boundary_to_string : ?sep:string -> < to_string : string.. > list -> string

val _path_of_string : (int -> string -> bool -> 'a) -> string -> 'a

val path_of_string : string -> path_c

val boundary_path_of_string : string -> boundary_path

val semicolon_pat : Str.regexp

val boundary_of_string : string -> boundary_path list

val int_opt_to_attr : 'a -> int option -> ('a * string) list

val key_opt_to_attr : 'a -> subtree_key option -> ('a * string) list

val is_edit_tag : string -> bool

type err = {

reason : string;
file : string;
line : int;
col : int;

}

val err_to_string : err -> string

val mkerr : < lc : int * int.. > -> string -> string -> err

exception Invalid_delta of err

val invalid_delta : < lc : int * int.. > -> ?file:string -> string -> 'a

val setup_ns_mgr : < add_ns : string -> string -> 'a.. > -> 'a

val parse_file : 'a -> XML.ns_manager -> string -> XML.node * bool * bool

val parse_bundle_file : 
  'a ->
  XML.ns_manager ->
  string ->
  (string * XML.node) list

val interpret_dir_delta : 
  < root_path : string ; verbose_flag : bool.. > ->
  < iter_children : 
    (< get_attr : string -> string
       ; iter_children : (< data : string ; lc : int * int.. > -> unit) -> 'a
       ; lc : int * int
       ; tag : string.. > ->
      unit) ->
    unit
    ; tag : string.. > ->
  unit

val attr_to_string : (string * string) -> string

val attrs_to_string : (string * string) list -> string

val output_string : Xchannel.out_channel -> string -> unit

val fprintf : Xchannel.out_channel -> ('a, unit, string, unit) format4 -> 'a

val _mkbdry : string -> boundary -> string

val mkbdry : boundary -> string

val mkbdry1 : boundary -> string

val mkbdry2 : boundary -> string

val mkbdry_from : boundary -> string

val mkbdry_to : boundary -> string

val mkbdry1from : boundary -> string

val mkbdry1to : boundary -> string

val mkbdry2from : boundary -> string

val mkbdry2to : boundary -> string

val ns_decl_to_string : (string * string) -> string

val ns_decls_to_string : (string * string) list -> string

val make_st_elem_root : 
  ?extra_ns_decls:(string * string) list ->
  ?irreversible_flag:bool ->
  ?normalized_delta_flag:bool ->
  string ->
  string ->
  string ->
  string

val output_st_elem_root : 
  ?extra_ns_decls:(string * string) list ->
  ?irreversible_flag:bool ->
  ?normalized_delta_flag:bool ->
  string ->
  string ->
  string ->
  Xchannel.out_channel ->
  unit

val ed_elem_root : string

val output_ed_elem_root : Xchannel.out_channel -> unit

val output_st_elem_bi_del : 
  int ->
  Xchannel.out_channel ->
  < to_string : string.. > ->
  boundary ->
  < to_string : string.. > ->
  boundary ->
  subtree_key option ->
  int option ->
  int option ->
  int option ->
  unit

val output_st_elem_del : 
  Xchannel.out_channel ->
  < to_string : string.. > ->
  boundary ->
  unit

val output_ed_elem_del : Xchannel.out_channel -> unit

val make_remove_file_elem : string -> string

val output_st_elem_bi_ins : 
  int ->
  Xchannel.out_channel ->
  < to_string : string.. > ->
  boundary ->
  subtree_key option ->
  int option ->
  int option ->
  int option ->
  < to_string : string.. > ->
  boundary ->
  unit

val output_st_elem_ins : 
  int ->
  Xchannel.out_channel ->
  < to_string : string.. > ->
  boundary ->
  subtree_key option ->
  int option ->
  int option ->
  int option ->
  unit

val output_ed_elem_ins : Xchannel.out_channel -> unit

val make_add_file_elem : string -> Xchannel.input_channel -> string

val make_change_file_elem : string -> Xchannel.input_channel -> string

val output_elem_mov : 
  Xchannel.out_channel ->
  MID.t ->
  move_control option ->
  < to_string : string.. > ->
  boundary ->
  < to_string : string.. > ->
  boundary ->
  subtree_key option ->
  int option ->
  int option ->
  int option ->
  unit

val output_elem_bi_mov : 
  Xchannel.out_channel ->
  MID.t ->
  move_control option ->
  < to_string : string.. > ->
  boundary ->
  < to_string : string.. > ->
  boundary ->
  subtree_key option ->
  int option ->
  int option ->
  int option ->
  < to_string : string.. > ->
  boundary ->
  < to_string : string.. > ->
  boundary ->
  subtree_key option ->
  int option ->
  int option ->
  int option ->
  unit

val make_move_file_elem : string -> string -> string

val output_st_elem_bi_chg : 
  Xchannel.out_channel ->
  < to_string : string.. > ->
  boundary ->
  < to_string : string.. > ->
  boundary ->
  unit

val output_st_elem_chg : 
  Xchannel.out_channel ->
  < to_string : string.. > ->
  boundary ->
  unit

val output_st_elem_old : Xchannel.out_channel -> unit

val output_ed_elem_old : Xchannel.out_channel -> unit

val output_st_elem_new : Xchannel.out_channel -> unit

val output_ed_elem_new : Xchannel.out_channel -> unit

val output_ed_elem_chg : Xchannel.out_channel -> unit

val make_rename_file_elem : string -> string -> string

val mk_elem_bi_achg : 
  < to_string : string.. > ->
  < to_string : string.. > ->
  string ->
  string ->
  string ->
  string

val mk_elem_irr_achg : < to_string : string.. > -> string -> string -> string

val mk_elem_bi_adel : 
  < to_string : string.. > ->
  < to_string : string.. > ->
  string ->
  string ->
  string

val mk_elem_irr_adel : < to_string : string.. > -> string -> string

val mk_elem_bi_ains : 
  < to_string : string.. > ->
  < to_string : string.. > ->
  string ->
  string ->
  string

val mk_elem_irr_ains : < to_string : string.. > -> string -> string -> string

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

val tbl_add_set : ('a, 'b Xset.t) Hashtbl.t -> 'a -> 'b -> unit

val tbl_add_tbl : ('a, ('b, 'c) Hashtbl.t) Hashtbl.t -> 'a -> 'b -> 'c -> unit

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

val tbl_add_tbl2 : 
  ('a, ('b, ('c, 'd) Hashtbl.t) Hashtbl.t) Hashtbl.t ->
  'a ->
  'b ->
  'c ->
  'd ->
  unit

val tbl_add_tbl2_list : 
  ('a, ('b, ('c, 'd list) Hashtbl.t) Hashtbl.t) Hashtbl.t ->
  'a ->
  'b ->
  'c ->
  'd ->
  unit

val sort_paths : Path.t list -> Path.t list

type content_dumper = Xchannel.out_channel -> unit

module Fmt : sig ... end