package octez-protocol-019-PtParisB-libs

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of struct include Tezos_base.TzPervasives.Internal_event.Simple end

This module provides wrappers to declare events without having to declare a module and apply the Make functor. They are pretty-printed as <DOC> (<PARAMETER> = <VALUE>, ...) (unless there is no parameter at all, in which case they are printed as <DOC>). You may also use braces to inline some parameters in <DOC>. In the example below, hash is inlined.

For consistency, it is suggested that log messages do not start with a capital letter and do not end with a period. For instance, write ~msg: "started something important" instead of ~msg: "Started something important.". The reason is that messages that do not inline all of their parameters are followed by the remaining parameters in parentheses, and a period does not (arguably) look great in those cases. If it does not end with a period, it is not a sentence and thus capitalizing the first word does not make much sense either.

Declare events with one of the declare functions, for instance: let inject = Internal_event.Simple.declare_2 ~name: "inject" ~msg: "injected block {hash}" ("level", int) ("hash", string) You must declare events only once for a given name. Usually you should thus declare them as global variables.

There is one declare_n function for each number n of parameters. For instance, the above example uses declare_2 because it has two parameters: level and hash.

Each parameter has a default pretty-printer that you can override using the ?ppX parameters. For instance, to override the default pretty-printer of the second parameter, pass a ~pp2 argument. This allows to, for instance, print only the first element of a list, remove quotes for strings, decide how many decimal digits are printed for floats, etc.

The default pretty-printer behaves as follows:

  • for base types (booleans, integers, strings, floats), it uses OCaml syntax;
  • for strings which are longer than 64 characters, it prints only the first characters followed by an ellipsis [...];
  • for null or similar encodings, it prints N/A;
  • for unions of Null and another encoding e (this is the encoding of options), it prints null for Null and uses e to decide how to print the value otherwise;
  • for other constructed values (arrays, lists, objects, tuples, unions, and recursive types), it prints a placeholder like <list> or <obj> (see remark below).

Because constructed values such as lists and objects are printed as placeholders such as <list> and <obj> and thus do not give any information, those parameters are not automatically added in parentheses at the end of the messages. You can override the default pretty-printer of those parameters to override this behavior. In that case, values will be printed if your pretty-printer does not output an empty string. Note that you should also override the default pretty-printer of constructed types that you inline using braces, as they would be printed using the placeholder otherwise.

Then emit this event with some parameters like this: Internal_event.Simple.emit inject (42, "BL654654654645654654564") This event will be printed as: injected block BL654654654645654654564 (level = 42)

For all declare functions, the default value for level is Info.

Event declarations where 'a is the type of the event parameters.

val emit : 'a t -> 'a -> unit Lwt.t

Emit an instance of an event.

val emit__dont_wait__use_with_care : 'a t -> 'a -> unit

Emit an instance of an event but do not wait for completion. Only use if you really need to not wait for logging resolution before continuing. May cause increased memory usage and out-of-order log messages.

val declare_0 : ?section:string list -> name:string -> msg:string -> ?level:Tezos_event_logging.Internal_event.level -> unit -> unit t

Declare an event with no parameters.

val declare_1 : ?section:string list -> name:string -> msg:string -> ?level:Tezos_event_logging.Internal_event.level -> ?pp1:(Format.formatter -> 'a -> unit) -> (string * 'a Data_encoding.t) -> 'a t

Declare an event with one parameter.

val declare_2 : ?section:string list -> name:string -> msg:string -> ?level:Tezos_event_logging.Internal_event.level -> ?pp1:(Format.formatter -> 'a -> unit) -> (string * 'a Data_encoding.t) -> ?pp2:(Format.formatter -> 'b -> unit) -> (string * 'b Data_encoding.t) -> ('a * 'b) t

Declare an event with two parameters.

val declare_3 : ?section:string list -> name:string -> msg:string -> ?level:Tezos_event_logging.Internal_event.level -> ?pp1:(Format.formatter -> 'a -> unit) -> (string * 'a Data_encoding.t) -> ?pp2:(Format.formatter -> 'b -> unit) -> (string * 'b Data_encoding.t) -> ?pp3:(Format.formatter -> 'c -> unit) -> (string * 'c Data_encoding.t) -> ('a * 'b * 'c) t

Declare an event with three parameters.

val declare_4 : ?section:string list -> name:string -> msg:string -> ?level:Tezos_event_logging.Internal_event.level -> ?pp1:(Format.formatter -> 'a -> unit) -> (string * 'a Data_encoding.t) -> ?pp2:(Format.formatter -> 'b -> unit) -> (string * 'b Data_encoding.t) -> ?pp3:(Format.formatter -> 'c -> unit) -> (string * 'c Data_encoding.t) -> ?pp4:(Format.formatter -> 'd -> unit) -> (string * 'd Data_encoding.t) -> ('a * 'b * 'c * 'd) t

Declare an event with four parameters.

val declare_5 : ?section:string list -> name:string -> msg:string -> ?level:Tezos_event_logging.Internal_event.level -> ?pp1:(Format.formatter -> 'a -> unit) -> (string * 'a Data_encoding.t) -> ?pp2:(Format.formatter -> 'b -> unit) -> (string * 'b Data_encoding.t) -> ?pp3:(Format.formatter -> 'c -> unit) -> (string * 'c Data_encoding.t) -> ?pp4:(Format.formatter -> 'd -> unit) -> (string * 'd Data_encoding.t) -> ?pp5:(Format.formatter -> 'e -> unit) -> (string * 'e Data_encoding.t) -> ('a * 'b * 'c * 'd * 'e) t

Declare an event with five parameters.

val declare_6 : ?section:string list -> name:string -> msg:string -> ?level:Tezos_event_logging.Internal_event.level -> ?pp1:(Format.formatter -> 'a -> unit) -> (string * 'a Data_encoding.t) -> ?pp2:(Format.formatter -> 'b -> unit) -> (string * 'b Data_encoding.t) -> ?pp3:(Format.formatter -> 'c -> unit) -> (string * 'c Data_encoding.t) -> ?pp4:(Format.formatter -> 'd -> unit) -> (string * 'd Data_encoding.t) -> ?pp5:(Format.formatter -> 'e -> unit) -> (string * 'e Data_encoding.t) -> ?pp6:(Format.formatter -> 'f -> unit) -> (string * 'f Data_encoding.t) -> ('a * 'b * 'c * 'd * 'e * 'f) t

Declare an event with six parameters.

val declare_7 : ?section:string list -> name:string -> msg:string -> ?level:Tezos_event_logging.Internal_event.level -> ?pp1:(Format.formatter -> 'a -> unit) -> (string * 'a Data_encoding.t) -> ?pp2:(Format.formatter -> 'b -> unit) -> (string * 'b Data_encoding.t) -> ?pp3:(Format.formatter -> 'c -> unit) -> (string * 'c Data_encoding.t) -> ?pp4:(Format.formatter -> 'd -> unit) -> (string * 'd Data_encoding.t) -> ?pp5:(Format.formatter -> 'e -> unit) -> (string * 'e Data_encoding.t) -> ?pp6:(Format.formatter -> 'f -> unit) -> (string * 'f Data_encoding.t) -> ?pp7:(Format.formatter -> 'g -> unit) -> (string * 'g Data_encoding.t) -> ('a * 'b * 'c * 'd * 'e * 'f * 'g) t

Declare an event with seven parameters.

val declare_8 : ?section:string list -> name:string -> msg:string -> ?level:Tezos_event_logging.Internal_event.level -> ?pp1:(Format.formatter -> 'a -> unit) -> (string * 'a Data_encoding.t) -> ?pp2:(Format.formatter -> 'b -> unit) -> (string * 'b Data_encoding.t) -> ?pp3:(Format.formatter -> 'c -> unit) -> (string * 'c Data_encoding.t) -> ?pp4:(Format.formatter -> 'd -> unit) -> (string * 'd Data_encoding.t) -> ?pp5:(Format.formatter -> 'e -> unit) -> (string * 'e Data_encoding.t) -> ?pp6:(Format.formatter -> 'f -> unit) -> (string * 'f Data_encoding.t) -> ?pp7:(Format.formatter -> 'g -> unit) -> (string * 'g Data_encoding.t) -> ?pp8:(Format.formatter -> 'h -> unit) -> (string * 'h Data_encoding.t) -> ('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h) t

Declare an event with eight parameters.

val section : string list
val new_head_with_increasing_level : unit t
val new_forge_event : Baking_state.forge_event t
val new_head_while_waiting_for_qc : unit t
val applied_expected_proposal_received : Tezos_base.TzPervasives.Block_hash.t t
val unexpected_new_head_while_waiting_for_application : unit t
val new_valid_proposal_while_waiting_for_qc : unit t
val valid_proposal_received_after_application : unit t
val updating_latest_proposal : Tezos_base.TzPervasives.Block_hash.t t
val baker_is_ahead_of_node : (int32 * int32) t
val switching_branch : unit t
val branch_proposal_has_better_fitness : unit t
val branch_proposal_has_no_prequorum : unit t
val branch_proposal_has_lower_prequorum : unit t
val branch_proposal_has_better_prequorum : unit t
val branch_proposal_has_same_prequorum : unit t
val attempting_preattest_proposal : Tezos_base.TzPervasives.Block_hash.t t
val attempting_vote_proposal : Tezos_base.TzPervasives.Block_hash.t t
val skipping_invalid_proposal : unit t
val outdated_proposal : Tezos_base.TzPervasives.Block_hash.t t
val no_attestable_payload_fresh_block : unit t
val step_current_phase : (Baking_state.phase * Baking_state.event) t
OCaml

Innovation. Community. Security.