Module `V_lib.Change`Source

module I = Diffast_core.Info

module E = Diffast_core.Edit

module Xset = Diffast_misc.Xset

module Otree = Diffast_misc.Otree

module Loc = Diffast_misc.Loc

module EO = Diffast_core.Editop

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

type node_t = Diffast_core.Spec.node_t

type 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 =

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

val hash_change : change -> int

val change_to_string : change -> string

type 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 (L : Diffast_core.Spec.LABEL_T) : sig ... end

module CB : sig ... end

Sourceval getlab : Diffast_core.Spec.node_t -> Label.t

Sourceval is_always_construct : Diffast_core.Spec.node_t -> bool

Sourceval is_timing_control : Diffast_core.Spec.node_t -> bool

Sourceval is_continuous_assign : Diffast_core.Spec.node_t -> bool

Sourceval is_blocking_assign : Diffast_core.Spec.node_t -> bool

Sourceval is_non_blocking_assign : Diffast_core.Spec.node_t -> bool

Sourceval is_if : Diffast_core.Spec.node_t -> bool

Sourceval is_case : Diffast_core.Spec.node_t -> bool

Sourceval is_case_item : Diffast_core.Spec.node_t -> bool

Sourceval is_case_cond : Diffast_core.Spec.node_t -> bool

Sourceval is_ports : Diffast_core.Spec.node_t -> bool

Sourceval is_port : Diffast_core.Spec.node_t -> bool

Sourceval is_port_dir : Diffast_core.Spec.node_t -> bool

Sourceval is_net_type : Diffast_core.Spec.node_t -> bool

Sourceval is_data_type : Diffast_core.Spec.node_t -> bool

Sourceval is_var_data_type : Diffast_core.Spec.node_t -> bool

Sourceval is_signing : Diffast_core.Spec.node_t -> bool

Sourceval is_ranges : Diffast_core.Spec.node_t -> bool

Sourceval is_variable_dims : Diffast_core.Spec.node_t -> bool

Sourceval is_inst : Diffast_core.Spec.node_t -> bool

Sourceval is_initial_construct : Diffast_core.Spec.node_t -> bool

Sourceval is_final_construct : Diffast_core.Spec.node_t -> bool

Sourceval is_generate_region : Diffast_core.Spec.node_t -> bool

Sourceval is_param_port_decl : Diffast_core.Spec.node_t -> bool

Sourceval is_param_assign : Diffast_core.Spec.node_t -> bool

Sourceval is_reg : Diffast_core.Spec.node_t -> bool

Sourceval is_data_decl_var : Diffast_core.Spec.node_t -> bool

Sourceval is_net_decl : Diffast_core.Spec.node_t -> bool

Sourceval is_wire : Diffast_core.Spec.node_t -> bool

Sourceval is_expr : Diffast_core.Spec.node_t -> bool

Sourceval is_stmt : Diffast_core.Spec.node_t -> bool

Sourceval is_pp_define : Diffast_core.Spec.node_t -> bool

Sourceval is_pp_include : Diffast_core.Spec.node_t -> bool

Sourceval is_if_cond : Diffast_core.Spec.node_t -> bool

Sourceval is_branch : Diffast_core.Spec.node_t -> int -> bool

Sourceval is_then_branch : Diffast_core.Spec.node_t -> bool

Sourceval is_else_branch : Diffast_core.Spec.node_t -> bool

Sourceval is_port_value : Diffast_core.Spec.node_t -> bool

Sourceval is_reg_decl : Diffast_core.Spec.node_t -> bool

Sourceval is_wire_decl : Diffast_core.Spec.node_t -> bool

Source

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

Sourceval ids_to_str : string list -> string

Source

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

Source

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

Source

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

Source

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

Source

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-verilog

Module V_lib.ChangeSource

Module `V_lib.Change`Source