package bap-main

You can search for identifiers within the package.

in-package search v0.2.0

Build BAP Main Framework Configuration Library

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

B

BAP Team

Maintainers

I

Ivan Gotovchits <ivg@ieee.org>

Sources

v2.5.0.tar.gz

sha256=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174

md5=5abd9b3628b43f797326034f31ca574f

doc/bap-main/Bap_main_event/index.html

Module `Bap_main_event`

Event subsystem.

The event subsystem is a way of communicating between different components of BAP.

type t = ..

type event = t = ..

val stream : t Bap_future.Std.stream

the global stream of events

val send : t -> unit

send event sends the event to the global stream of events stream.

val register_printer : (t -> string option) -> unit

register_printer f when the event e is printed, f e must be None if f is not a subset of events, that is intended to be printed by f. If it is Some str, then str is printed out.

If more than one printer returns Some thing for the same event, then the last registered has the precedence.

module Log : sig ... end

Logging Events

val pp : Format.formatter -> t -> unit

pp ppf event outputs event to the formatter ppf.