Frama-C API - `Server`

module Data : sig ... end

Data Encoding.

module Jbuffer : sig ... end

Rich text buffers with JSON marshalling.

module Kernel_ast : sig ... end

Ast Data

module Kernel_main : sig ... end

Kernel Services

module Kernel_project : sig ... end

Project Services

module Kernel_properties : sig ... end

Kernel Property Status

module Main : sig ... end

Server Main Process

module Package : sig ... end

module Request : sig ... end

Request Registry

module Server_batch : sig ... end

module Server_doc : sig ... end

Server Documentation

module Server_parameters : sig ... end

Server Plugin & Options

module Server_socket : sig ... end

module Server_zmq : sig ... end

module States : sig ... end

Synchronized values between Server and Client