Module Server_api.UpdateSource

Signals

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.

Hooks

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.

States