package diffast-core

  1. Overview
  2. Docs

Module Diffast_core.Info

module Xlist = Diffast_misc.Xlist
module UID = Diffast_misc.UID
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 = {
  1. i_node : 'node_t option;
  2. i_loc : Loc.t;
  3. 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:??? -> (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