Module ATDGenerated.Clang_profiler_samples_j

type native_symbol = Clang_profiler_samples_t.native_symbol = {
  1. name : string;
  2. mangled_name : string option;
  3. hashed_mangled_name : string option;
}
type profiler_sample = Clang_profiler_samples_t.profiler_sample = {
  1. test : string;
  2. native_symbols : native_symbol list;
}
val write_native_symbol : Stdlib.Buffer.t -> native_symbol -> unit

Output a JSON value of type native_symbol.

val string_of_native_symbol : ?len:int -> native_symbol -> string

Serialize a value of type native_symbol into a JSON string.

  • parameter len

    specifies the initial length of the buffer used internally. Default: 1024.

val read_native_symbol : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> native_symbol

Input JSON data of type native_symbol.

val native_symbol_of_string : string -> native_symbol

Deserialize JSON data of type native_symbol.

val write_profiler_sample : Stdlib.Buffer.t -> profiler_sample -> unit

Output a JSON value of type profiler_sample.

val string_of_profiler_sample : ?len:int -> profiler_sample -> string

Serialize a value of type profiler_sample into a JSON string.

  • parameter len

    specifies the initial length of the buffer used internally. Default: 1024.

val read_profiler_sample : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> profiler_sample

Input JSON data of type profiler_sample.

val profiler_sample_of_string : string -> profiler_sample

Deserialize JSON data of type profiler_sample.

val write_profiler_samples : Stdlib.Buffer.t -> profiler_samples -> unit

Output a JSON value of type profiler_samples.

val string_of_profiler_samples : ?len:int -> profiler_samples -> string

Serialize a value of type profiler_samples into a JSON string.

  • parameter len

    specifies the initial length of the buffer used internally. Default: 1024.

val read_profiler_samples : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> profiler_samples

Input JSON data of type profiler_samples.

val profiler_samples_of_string : string -> profiler_samples

Deserialize JSON data of type profiler_samples.