package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

sha256=3ac0f995261ec829a7bd042bf70fc29ac6379029eb9df30bcc044748eb4d2a56

val self : Frama_c_kernel.State.t

val name : string

val mark_as_computed : ?project:Frama_c_kernel.Project.t -> unit -> unit

val is_computed : ?project:Frama_c_kernel.Project.t -> unit -> bool

module Datatype : sig ... end

val add_hook_on_update : (Datatype.t -> unit) -> unit

val howto_marshal : (Datatype.t -> 'a) -> ('a -> Datatype.t) -> unit

type data = Frama_c_kernel.Datatype.Int.t

val set : data -> unit

val get : unit -> data

val clear : unit -> unit

val add_hook_on_change : (data -> unit) -> unit