diffast-langs-cpp 0.1.1 · OCaml Package

Parameters

module L : Cpp_label.T

Signature

module I = Info

module E = Edit

include module type of struct include Change_base end

module Xset = Change_base.Xset

module Otree = Change_base.Otree

module Loc = Change_base.Loc

module EO = Change_base.EO

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

type node_t = Diffast_core.Spec.node_t

type change = Diffast_core.Change_base.change =

| Cdeleted of bool * node_t * node_t
| Cinserted of bool * node_t * node_t
| Cmodified of node_t * node_t
| Cchanged of bool * node_t * node_t
| Crenamed of bool * node_t * node_t
| Cmoved of node_t * node_t
| Ccardinality_changed of node_t * node_t

type change_to_triples = change -> Diffast_core.Triple.t list

type change_maker = unit -> change list

type change_tag = Diffast_core.Change_base.change_tag =

| Tdel
| Tins
| Tmod
| Tcha
| Tren
| Tmov
| Tcar

val hash_change : change -> int

val change_to_string : change -> string

type significance = Diffast_core.Change_base.significance =

| Slow
| Smedium
| Shigh
| Scrucial

val score : significance -> int

type change_info = string * string * string * Loc.t * string * Loc.t

type changes = (string * int * string list) list

type change_infos = (string * int * change_info list) list

class change_set : object ... end

val mkilit : int -> Diffast_core.Triple.node

val p_is_a : Diffast_core.Triple.node

val p_moved_to : Diffast_core.Triple.node

val p_deleted_from : Diffast_core.Triple.node

val p_inserted_into : Diffast_core.Triple.node

val p_pruned_from : Diffast_core.Triple.node

val p_grafted_onto : Diffast_core.Triple.node

val p_gen_removed : Diffast_core.Triple.node

val p_gen_added : Diffast_core.Triple.node

val p_affects_nesting_depth : Diffast_core.Triple.node

val p_nesting_depth : Diffast_core.Triple.node

val p_cardinality : Diffast_core.Triple.node

val l_true : Diffast_core.Triple.node

val make_mkent_pair : 
  < fact_algo : Diffast_core.Triple.Xhash.algo
    ; fact_enc : Diffast_core.Entity.encoding
    ; fact_proj : string.. > ->
  < proj_root : 'a
    ; source_digest : Diffast_core.Triple.Xhash.t
    ; source_path : string
    ; version : string
    ; vkind : Diffast_core.Entity.vkind.. > ->
  < proj_root : 'b
    ; source_digest : Diffast_core.Triple.Xhash.t
    ; source_path : string
    ; version : string
    ; vkind : Diffast_core.Entity.vkind.. > ->
  (< data : 
     < is_phantom : bool
     ; is_special : bool
     ; source_fid : string
     ; src_loc : Diffast_core.Triple.Loc.t
     ; to_string : string.. >.. > ->
  Diffast_core.Triple.node)
  * (< data : 
       < is_phantom : bool
       ; is_special : bool
       ; source_fid : string
       ; src_loc : Diffast_core.Triple.Loc.t
       ; to_string : string.. >.. > ->
  Diffast_core.Triple.node)

val is_ghost : < data : < src_loc : Diffast_core.Triple.Loc.t.. >.. > -> bool

val find_from_or_into : 
  'a ->
  < root : 
    < data : < src_loc : Diffast_core.Triple.Loc.t.. >
    ; initial_parent : 'c.. > as 'c.. > as 'b ->
  < mem_mov12 : 'c -> 'c -> bool.. > ->
  ?mid_opt:'d option ->
  'b ->
  ('c -> 'c) ->
  < initial_parent : 'c.. > ->
  'c

module F = Change_base.F

module CB : sig ... end

val getlab : Diffast_core.Spec.node_t -> L.t

val is_named : Diffast_core.Spec.node_t -> bool

val is_translation_unit : Diffast_core.Spec.node_t -> bool

val get_unit : 
  < get_nearest_containing_unit : 'a -> < data : < label : string.. >.. >.. > ->
  'a ->
  string

val ids_to_str : string list -> string

val subtree_to_str : 
  < subtree_to_simple_string : 'a -> string.. > ->
  < gindex : 'a.. > ->
  string

val get_desc1 : 
  'a ->
  < get_ident_use_list : 'b -> string list
    ; subtree_to_simple_string : 'b -> string.. > ->
  < data : < label : string.. > ; gindex : 'b.. > ->
  string

val get_desc2 : 
  < get_ident_use_list : 'a -> string list
    ; subtree_to_simple_string : 'a -> string.. > ->
  < get_ident_use_list : 'b -> string list
    ; subtree_to_simple_string : 'b -> string.. > ->
  < data : < label : string.. > ; gindex : 'a.. > ->
  < data : < label : string.. > ; gindex : 'b.. > ->
  string

class c : < fact_algo : Diffast_core.Triple.Xhash.algo
  ; fact_enc : Diffast_core.Entity.encoding
  ; fact_for_changes_basic_flag : bool
  ; fact_for_changes_flag : bool
  ; fact_proj : string.. > -> Diffast_core.Spec.tree_t -> Diffast_core.Spec.tree_t -> 
  Diffast_core.Spec.node_t
    Diffast_core.Node_mapping.c -> < add_edit : 
                                     Diffast_core.Spec.node_t
                                       Diffast_core.Editop.t ->
                                     unit
  ; finalize : 
    Diffast_core.Spec.node_t Diffast_core.Node_mapping.c ->
    ('a -> bool) ->
    unit
  ; find_mid12 : 
    Diffast_core.Spec.node_t ->
    Diffast_core.Spec.node_t ->
    Diffast_core.Editop.move_id
  ; iter : (Diffast_core.Spec.node_t Diffast_core.Editop.t -> unit) -> 'b
  ; iter_deletes_and_inserts : 
    (Diffast_core.Spec.node_t Diffast_core.Editop.t -> unit) ->
    'c
  ; iter_moves : (Diffast_core.Spec.node_t Diffast_core.Editop.t -> unit) -> 'd
  ; iter_relabels : 
    (Diffast_core.Spec.node_t Diffast_core.Editop.t -> unit) ->
    'e
  ; mem_mov12 : Diffast_core.Spec.node_t -> Diffast_core.Spec.node_t -> bool
  ; mem_mov2 : Diffast_core.Node_mapping.Nodetbl.key -> bool
  ; remove_edit : Diffast_core.Spec.node_t Diffast_core.Editop.t -> unit.. > -> (
  Diffast_core.Spec.tree_t ->
  Diffast_core.Node_mapping.Nodetbl.key ->
  string) -> (bool ->
  Diffast_core.Spec.tree_t ->
  Diffast_core.Spec.node_t ->
  string) -> (Diffast_core.Spec.tree_t ->
  Diffast_core.Spec.tree_t ->
  Diffast_core.Spec.node_t ->
  Diffast_core.Spec.node_t ->
  string) -> object ... end

val extract : 
  < fact_algo : Diffast_core.Triple.Xhash.algo
    ; fact_enc : Diffast_core.Entity.encoding
    ; fact_for_changes_basic_flag : bool
    ; fact_for_changes_flag : bool
    ; fact_proj : string.. > ->
  Diffast_core.Spec.tree_t ->
  Diffast_core.Spec.tree_t ->
  Diffast_core.Spec.node_t Diffast_core.Node_mapping.c ->
  < add_edit : Diffast_core.Spec.node_t Diffast_core.Editop.t -> unit
    ; finalize : 
      Diffast_core.Spec.node_t Diffast_core.Node_mapping.c ->
      ('a -> bool) ->
      unit
    ; find_mid12 : 
      Diffast_core.Spec.node_t ->
      Diffast_core.Spec.node_t ->
      Diffast_core.Editop.move_id
    ; iter : (Diffast_core.Spec.node_t Diffast_core.Editop.t -> unit) -> 'b
    ; iter_deletes_and_inserts : 
      (Diffast_core.Spec.node_t Diffast_core.Editop.t -> unit) ->
      'c
    ; iter_moves : 
      (Diffast_core.Spec.node_t Diffast_core.Editop.t -> unit) ->
      'd
    ; iter_relabels : 
      (Diffast_core.Spec.node_t Diffast_core.Editop.t -> unit) ->
      'e
    ; mem_mov12 : Diffast_core.Spec.node_t -> Diffast_core.Spec.node_t -> bool
    ; mem_mov2 : Diffast_core.Node_mapping.Nodetbl.key -> bool
    ; remove_edit : Diffast_core.Spec.node_t Diffast_core.Editop.t -> unit.. > ->
  (string * int * string list) list
  * Diffast_core.Spec.node_t Diffast_core.Editop.t list
  * (string
     * int
     * (string
        * string
        * string
        * Diffast_misc.Loc.t
        * string
        * Diffast_misc.Loc.t)
         list)
      list
  * Diffast_core.Triple.t Diffast_misc.Xset.t

package diffast-langs-cpp

Parameters

Signature