Event (frama-c.Frama_c_kernel.Log.Event)

type t = event

Pretty prints the event header and message. This function outputs the semantic tags if any in the event message.

parameter truncate
if set, the output will be truncated if the message size is bigger than the given integer.

val pretty : 
  ?truncate:Rich_text.truncation ->
  Stdlib.Format.formatter ->
  t ->
  unit

Pretty prints the event header and message. This function outputs the semantic tags if any in the event message.

parameter truncate
if set, the output will be truncated if the message size is bigger than the given integer.

val message : t -> string

Extract the message as a string. The output will be truncated if the message is too long.