Trace_tef.WriterWrite JSON events to a buffer.
This is the part of the code that knows how to emit TEF-compliant JSON from raw event data.
val emit_duration_event :
pid:int ->
tid:int ->
name:string ->
start:float ->
end_:float ->
args:(string * Trace_core.user_data) list ->
Stdlib.Buffer.t ->
unitval emit_begin_async :
pid:int ->
tid:int ->
name:string ->
trace_id:Types.trace_id ->
ts:float ->
args:(string * Trace_core.user_data) list ->
Stdlib.Buffer.t ->
unitval emit_end_async :
pid:int ->
tid:int ->
name:string ->
trace_id:Types.trace_id ->
ts:float ->
args:(string * Trace_core.user_data) list ->
Stdlib.Buffer.t ->
unitval emit_instant_event :
pid:int ->
tid:int ->
name:string ->
ts:float ->
args:(string * Trace_core.user_data) list ->
Stdlib.Buffer.t ->
unitval emit_name_thread :
pid:int ->
tid:int ->
name:string ->
Stdlib.Buffer.t ->
unitval emit_name_process : pid:int -> name:string -> Stdlib.Buffer.t -> unitval emit_process_sort_index : pid:int -> int -> Stdlib.Buffer.t -> unitval emit_thread_sort_index :
pid:int ->
tid:int ->
int ->
Stdlib.Buffer.t ->
unitval emit_counter :
pid:int ->
tid:int ->
name:string ->
ts:float ->
Stdlib.Buffer.t ->
float ->
unit