Module `Tagcov`Source

Sourcetype label = string

Sourcetype uniq_id = string

Sourcetype node_call = label * uniq_id

Sourcetype wire = label

Sourcetype rank = int

Sourcetype port =

| In of int
| Out of int
| Clk

Sourcetype link = node_call * port * wire

Sourcetype call_graph = link list

Sourcetype clock = string * Data.v

Source

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

Sourceval call_tbl : call_tbl

Sourceval verbose : bool ref

Sourceval log_file : string

Sourceval log : out_channel

Sourcetype caller_tbl = (node_call, node_call) Hashtbl.t

Sourceval caller_tbl : caller_tbl

Sourceval top : string * string

Sourceval caller : node_call -> node_call

Sourceval caller_update : node_call -> node_call -> unit

Sourcetype tag = int

Sourcemodule Tags : sig ... end

Sourcetype tags = Tags.t

Sourcetype tags_ref =

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

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

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

Sourceval tag_cpt : int ref

Sourceval tag_tbl : tag_tbl

Sourceval tags_tbl : tags_tbl

Sourceval make_tag : node_call -> wire -> unit

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

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

Sourceval make_tag_ref : node_call -> node_call -> wire -> wire -> unit

Sourceval get_tag : node_call -> wire -> tag

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

Sourceval int_list_to_str : int list -> string list

Sourceval tags2str : Tags.t -> string

Sourceval tags_ref2str : tags_ref -> string

Sourceval val_to_string : Data.v -> string

Sourceval d : unit -> unit

Sourceval get_link_val : link -> Data.v

Sourceval tags_of_link : link -> tags

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

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

Sourceexception NoSourceInfo

Sourceval get_src : RdbgEvent.t -> RdbgEvent.src_info

Source

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

Sourceval cpt : int ref

Source

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

Source

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

Sourceval get_nodecall : RdbgEvent.t -> node_call

Sourceval get_val : RdbgEvent.var -> Data.subst list -> Data.v

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

Source

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

Sourceval pdf_viewer : string ref

Sourceval get_url : string -> string

Source

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

Sourceval clk_stack : clock list ref

Sourceval nc_stack : node_call list ref

Sourceval lk_stack : link list list ref

Sourceval pre_enb : int ref

Sourceval pre_input_tbl : (node_call, link) Hashtbl.t

Sourceval last_arrow_first : bool ref

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

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

Source

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

Source

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

Sourceval update_tagcov : RdbgEvent.t -> unit

Sourceval next : RdbgEvent.t -> RdbgEvent.t

Sourceval nexti : RdbgEvent.t -> int -> RdbgEvent.t

Sourceval dump_call_tbl : unit -> unit

Sourceval gen_all_dot : RdbgEvent.t -> unit

Sourceval gen_one_dot : RdbgEvent.t -> unit

Sourceval init : unit -> unit

package rdbg

Module TagcovSource

Module `Tagcov`Source