package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Server_api.Update`Source

Sourceval computation_signal : Server.Request.signal

Signal emitted when the computation state of Eva changes.

Sourceval callstack_signal : Server.Request.signal

Signal emitted when the set of selected callstacks changes.

Sourceval signals : Server.Request.signal list

All signals above.

Sourceval add_computation_hook : (unit -> unit) -> unit

Adds an hook applied when the computation state of Eva changes.

Sourceval add_callstack_hook : (unit -> unit) -> unit

Adds an hook applied when the set of selected callstacks changes.

Sourceval add_hook : (unit -> unit) -> unit

All hooks above.

module CurrentCallstacks : 
  Frama_c_kernel.State_builder.List_ref with type data = Eva.Callstack.t list