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

module MID = Moveid

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

type move_id = Moveid.t

type move_kind =

| Mnormal
| Mpermutation
| Modd

val move_id_to_string : Moveid.t -> string

val move_kind_to_string : move_kind -> string

type 'node_t t =

| Delete of bool * 'node_t Info.t * 'node_t Info.t list ref
| Insert of bool * 'node_t Info.t * 'node_t Info.t list ref
| Relabel of bool ref * 'node_t Info.t * 'node_t Info.t list ref * 'node_t Info.t * 'node_t Info.t list ref
| Move of move_id ref * move_kind ref * 'node_t Info.t * 'node_t Info.t list ref * 'node_t Info.t * 'node_t Info.t list ref

type tag =

| Tdel
| Tins
| Trel
| Tmov

val tag_to_string : tag -> string

val hash : < uid : UID.t.. > t -> tag * UID.t * UID.t

val to_string : 
  < data : < gid : Diffast_core.Info.GI.t ; label : string.. >
    ; gindex : Diffast_core.Info.GI.t
    ; initial_pos : int
    ; is_collapsed : bool
    ; uid : Diffast_core.Info.UID.t.. >
    t ->
  string

val to_string_gid : 
  < data : < gid : Diffast_core.Info.GI.t ; label : string.. >
    ; gindex : Diffast_core.Info.GI.t
    ; initial_pos : int
    ; is_collapsed : bool.. >
    t ->
  string

val is_whole : < is_collapsed : 'a.. > -> 'a

val make_delete : 
  < data : < src_loc : Diffast_core.Info.Loc.t.. >
    ; is_collapsed : bool.. > as 'a ->
  'a t

val make_insert : 
  < data : < src_loc : Diffast_core.Info.Loc.t.. >
    ; is_collapsed : bool.. > as 'a ->
  'a t

val make_relabel : 
  < data : < src_loc : Diffast_core.Info.Loc.t.. >.. > as 'a ->
  'a ->
  'a t

val _make_move : move_id -> move_kind -> 'a Info.t -> 'a Info.t -> 'a t

val make_move : move_id -> 'a Info.t -> 'a Info.t -> 'a t

val make_move_permutation : move_id -> 'a Info.t -> 'a Info.t -> 'a t

val make_move_odd : move_id -> 'a Info.t -> 'a Info.t -> 'a t