Module Core_profiler_offline_tool__Reader.Header

module Item : sig ... end

A Header.Item.t is anything that is uniquely identified by a Probe_id.t.

type t = (Item.tCore.read) Core_profiler_offline_tool.Id_table.t
val find_exn : t -> Core_profiler.Probe_id.t -> Item.t
val find_single_exn : t -> Core_profiler.Probe_id.t -> Item.single
val find_group_exn : t -> Core_profiler.Probe_id.t -> Item.group
val find_group_point_exn : t -> Core_profiler.Probe_id.t -> Item.group_point
val get_parent_id_exn : t -> Core_profiler.Probe_id.t -> Core_profiler.Probe_id.t

Get a group point's parent

val get_parent_exn : t -> Core_profiler.Probe_id.t -> Item.group
val get_name_exn : t -> ?⁠with_group:string -> Core_profiler.Probe_id.t -> string

If add_group is specified and the id refers to a group point, group_name ^ add_group ^ group_point_name is returned

val get_spec_exn : t -> Core_profiler.Probe_id.t -> Core_profiler.Probe_type.t
val get_units_exn : t -> Core_profiler.Probe_id.t -> Core_profiler.Std_offline.Profiler_units.t
val create_table : t -> ?⁠singles:bool -> ?⁠groups:bool -> ?⁠group_points:bool -> ?⁠timers:bool -> ?⁠probes:bool -> 'a -> ('a_) Core_profiler_offline_tool.Id_table.t

Conditions are ANDed, and default to true