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

module GI = Diffast_misc.GIndex

module Otree = Diffast_misc.Otree

module Loc = Diffast_misc.Loc

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

exception Segment

exception Dummy_info

type 'node_t t = {

i_node : 'node_t option;
i_loc : Loc.t;
mutable i_size : int;

}

val make : < data : < src_loc : Loc.t.. >.. > as 'a -> 'a t

val get_node : 'a t -> 'a

val get_desc : 
  < data : < label : string.. > ; initial_pos : int ; is_collapsed : bool.. > t ->
  string

val get_gindex : < gindex : GI.t.. > t -> GI.t

val get_gid : < data : < gid : GI.t.. > ; gindex : GI.t.. > t -> GI.t

val get_uid : < uid : UID.t.. > t -> UID.t

val get_loc : 'a t -> Loc.t

val get_size : 'a t -> int

val set_size : 'a t -> int -> unit

val get_id_loc : < data : < id_loc : 'a.. >.. > t -> 'a

val is_included : 'a t -> 'b t -> bool

val of_region : ?fname:string -> (int * int) -> 'a t

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

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

val to_region : 'a t -> int * int

val infos_to_string : 'a t list -> string

val resolve_inclusion_of_infos : 'a t list -> 'a t list

val sort_infos : 'a t list -> 'a t list

val fuse_locs : Loc.t list -> Loc.t list

val is_contained : 'a t -> 'b t -> bool

exception Contained

val is_contained_some : 'a t -> 'b t list -> bool

exception Phantom of int * int

val segment : ('a t * 'b t list) -> (int * int) list

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

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

val excluded_to_nodes : 'a t list -> 'a list