package bap-primus

  1. Overview
  2. Docs
package bap-primus
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Observation.Provider

Data interface to the provider.

This interface provides access to the data stream of all providers. The data stream is expressed as a stream of s-expressions.

type t = provider
val name : t -> string

the string representation of the provider name.

The name t is the textual representation of fullname t except that names in the package "primus" are printed unqualifed and all other names are qualified.

val fullname : t -> Bap_core_theory.KB.Name.t

the name of a provider.

  • since 2.3.0
val observers : t -> int

a total number of observers that subscribed to this provider

val triggers : t -> unit Bap_future.Std.stream

a stream of occurrences of this observation

a data stream from this observation

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct