rdbg

RDBG: a reactive programs debugger
IN THIS PACKAGE
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 call_graph = link list
type clock = string * Data.v
type call_tbl = ( node_call, link list * RdbgEvent.var list * RdbgEvent.var list * RdbgEvent.var list * RdbgEvent.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 update_tags : node_call -> wire -> tags -> unit
val update_val : node_call -> wire -> Data.v -> unit
exception NoSourceInfo
type src_info_select = (string * (int * int) * (int * int) * RdbgEvent.src_info_atom option) list
val cpt : int ref
val pre_tbl : ( (string * (int * int) * (int * int) * RdbgEvent.src_info_atom option) list, node_call ) Hashtbl.t
val node_tbl : ( string * (string * (int * int) * (int * int) * RdbgEvent.src_info_atom option) list, node_call ) Hashtbl.t
val get_nodecall : RdbgEvent.t -> node_call
val get_val : RdbgEvent.var -> Data.subst list -> Data.v
val link2str : (('a * string) * 'b * string) -> string
val pdf_viewer : string ref
val get_url : string -> string
val gen_dot : RdbgEvent.var list -> RdbgEvent.var list -> RdbgEvent.var list -> RdbgEvent.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 -> RdbgEvent.t -> link list -> 'a -> link list -> unit
val propagate_out_tags : node_call -> node_call -> RdbgEvent.t -> link list -> link list -> clock list -> unit
val update_tagcov : RdbgEvent.t -> unit
val next : RdbgEvent.t -> RdbgEvent.t
val nexti : RdbgEvent.t -> int -> RdbgEvent.t
val dump_call_tbl : unit -> unit
val gen_all_dot : RdbgEvent.t -> unit
val gen_one_dot : RdbgEvent.t -> unit
val init : unit -> unit