Module `Tagcov`

type label = string

type uniq_id = string

type node_call = label * uniq_id

type wire = label

type rank = int

type port =

| In of int
| Out of int
| Clk

type link = node_call * port * wire

type call_graph = link list

type clock = string * Data.v

type call_tbl =
  (node_call,
    link list
    * Event.var list
    * Event.var list
    * Event.var list
    * Event.src_info)
    Hashtbl.t

val call_tbl : call_tbl

val verbose : bool ref

val log_file : string

val log : out_channel

type caller_tbl = (node_call, node_call) Hashtbl.t

val caller_tbl : caller_tbl

val top : string * string

val caller : node_call -> node_call

val caller_update : node_call -> node_call -> unit

type tag = int

module Tags : sig ... end

type tags = Tags.t

type tags_ref =

| Tag of Tags.t
| Ref of node_call * wire

type tag_tbl = (node_call * wire, tag) Hashtbl.t

type tags_tbl = (node_call * wire, Data.v * tags_ref) Hashtbl.t

val tag_cpt : int ref

val tag_tbl : tag_tbl

val tags_tbl : tags_tbl

val make_tag : node_call -> wire -> unit

val get_tags : node_call -> wire -> node_call * wire * Data.v * tags

val get_tags_nf : node_call -> wire -> node_call * wire * Data.v * tags

val make_tag_ref : node_call -> node_call -> wire -> wire -> unit

val get_tag : node_call -> wire -> tag

val pack : 'a list -> int -> 'a list list

val int_list_to_str : int list -> string list

val tags2str : Tags.t -> string

val tags_ref2str : tags_ref -> string

val val_to_string : Data.v -> string

val d : unit -> unit

val get_link_val : link -> Data.v

val tags_of_link : link -> tags

val update_tags : node_call -> wire -> tags -> unit

val update_val : node_call -> wire -> Data.v -> unit

exception NoSourceInfo

val get_src : Event.t -> Event.src_info

type src_info_select =
  (string * (int * int) * (int * int) * Event.src_info_atom option) list

val cpt : int ref

val pre_tbl : 
  ((string * (int * int) * (int * int) * Event.src_info_atom option) list,
    node_call)
    Hashtbl.t

val node_tbl : 
  (string
   * (string * (int * int) * (int * int) * Event.src_info_atom option) list,
    node_call)
    Hashtbl.t

val get_nodecall : Event.t -> node_call

val get_val : Event.var -> Data.subst list -> Data.v

val link2str : (('a * string) * 'b * string) -> string

val get_links : Event.t -> node_call -> node_call -> clock list -> link list

val pdf_viewer : string ref

val get_url : string -> string

val gen_dot : 
  Event.var list ->
  Event.var list ->
  Event.var list ->
  Event.src_info ->
  node_call ->
  bool ->
  bool ->
  call_graph ->
  unit

val clk_stack : clock list ref

val nc_stack : node_call list ref

val lk_stack : link list list ref

val pre_enb : int ref

val pre_input_tbl : (node_call, link) Hashtbl.t

val last_arrow_first : bool ref

val add_tags : node_call -> link list -> tags -> unit

val boolred_do : int -> int -> node_call -> link list -> link list -> unit

val propagate_tags_predef : 
  node_call ->
  node_call ->
  Event.t ->
  link list ->
  'a ->
  link list ->
  unit

val propagate_out_tags : 
  node_call ->
  node_call ->
  Event.t ->
  link list ->
  link list ->
  clock list ->
  unit

val update_tagcov : Event.t -> unit

val next : Event.t -> Event.t

val nexti : Event.t -> int -> Event.t

val dump_call_tbl : unit -> unit

val gen_all_dot : Event.t -> unit

val gen_one_dot : Event.t -> unit

val init : unit -> unit

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/rdbg-plugin.rdbg/Tagcov/index.html

Module `Tagcov`

package rdbg

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/rdbg-plugin.rdbg/Tagcov/index.html

Module Tagcov

dune-project
Dependency

Module `Tagcov`